proj
* [Self:proj-thingsToLearn thingsToLearn] * [Self:proj-software software] * [Self:proj-concordDemocracy . . .
1K - last updated 2020-05-21 10:35 UTC by BayleShanks
proj--index
* [Self:proj-thingsToLearn thingsToLearn] * [Self:proj-software software] * [Self:proj-concordDemocracy . . .
1K - last updated 2020-05-21 10:35 UTC by BayleShanks
proj-oot
* [Self:proj-oot-ootMetaprogramming ootMetaprogramming] * [Self:proj-oot-ootIdeNotes2 ootIdeNotes2] * . . .
19K - last updated 2023-12-11 05:08 UTC by BayleShanks
proj-oot--index
* [Self:proj-oot-ootMetaprogramming ootMetaprogramming] * [Self:proj-oot-ootIdeNotes2 ootIdeNotes2] * . . .
19K - last updated 2023-12-11 05:08 UTC by BayleShanks
proj-oot-bootDesignOld200622
= Boot (Oot Boot) design choices discussion :hardbreaks: === Motivation Boot is one component of the . . .
62K - last updated 2020-07-08 06:20 UTC by BayleShanks
proj-oot-bootExtendedReferenceOld200622
= Boot Extended (Oot BootX) reference :hardbreaks: :toc: macro :toclevels: 0 Version: unreleased/in-progress/under . . .
50K - last updated 2020-07-08 06:35 UTC by BayleShanks
proj-oot-bootReferenceAdocOld200622
= Boot (Oot Boot) reference :hardbreaks: :toc: macro :toclevels: 1 Version: unreleased/in-progress/under . . .
109K - last updated 2020-07-08 06:33 UTC by BayleShanks
proj-oot-bootReferenceOld191229
= Boot (Oot Boot) reference :hardbreaks: :toc: macro :toclevels: 1 Version: unreleased/in-progress/under . . .
109K - last updated 2020-01-10 10:47 UTC by BayleShanks
proj-oot-bootReferenceOld200622
# Boot (Oot Boot) reference Version: unreleased (0.0.0-0) Boot is a low-level 'assembly language' virtual . . .
19K - last updated 2020-07-08 06:32 UTC by BayleShanks
proj-oot-bootReferenceOld201018
# Boot (Oot Boot) reference Version: unreleased (0.0.0-0) Boot is a low-level 'assembly language' virtual . . .
36K - last updated 2020-10-21 14:56 UTC by BayleShanks
proj-oot-bootReferenceOld201026
# Boot (Oot Boot) reference Version: unreleased (0.0.0-0) Boot is a low-level 'assembly language'-style . . .
33K - last updated 2020-11-26 08:22 UTC by BayleShanks
proj-oot-bootReferenceOld201027
# Boot (Oot Boot) reference Version: unreleased (0.0.0-0) Boot is a low-level 'assembly language'-style . . .
31K - last updated 2020-11-26 08:40 UTC by BayleShanks
proj-oot-bootxReferenceOld201018
# Boot (Oot BootX) reference Version: unreleased (0.0.0-0) BootX is a set of optional extensions to Boot. . . .
24K - last updated 2020-10-21 14:58 UTC by BayleShanks
proj-oot-bootxReferenceOld201101
# Boot (Oot BootX) reference Version: unreleased (0.0.0-0) VERY EARLY DRAFT BootX names and defines various . . .
41K - last updated 2020-11-26 08:40 UTC by BayleShanks
proj-oot-concurrency
=== Concurrency ideas === ==== transactions ==== ==== futures ==== (see http://en.wikipedia.org/wiki/Future_%28programming%29) . . .
21K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-duffyRelatedNotes
I read some blog posts by Joe Duffy, who worked on Singularity and Midori. Related notes are here. There . . .
52K - last updated 2016-12-10 02:41 UTC by BayleShanks
proj-oot-error
== exceptions == module interfaces must declare new types of exceptions? or must declare all thrown exceptions??? . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-graphTechnicalNotes
= Technical notes on Oot "graphs" = What we call "graphs" in Oot is a type of value which are what is . . .
4K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-intelOptimizeManualNotes
= Intel Optimization Manual notes = notes from http://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-optimization-manual.pdf . . .
46K - last updated 2015-02-11 02:00 UTC by BayleShanks
proj-oot-lowEndTargets
* [Self:proj-oot-lowEndTargets-contemporaryMcus contemporaryMcus] * [Self:proj-oot-lowEndTargets-comparisons . . .
2K - last updated 2021-06-29 05:21 UTC by BayleShanks
proj-oot-lowEndTargets--index
* [Self:proj-oot-lowEndTargets-contemporaryMcus contemporaryMcus] * [Self:proj-oot-lowEndTargets-comparisons . . .
2K - last updated 2021-06-29 05:21 UTC by BayleShanks
proj-oot-lowEndTargets-comparisons
= Embedded and low-end hardware survey: comparisons = --- http://users.ece.cmu.edu/~koopman/stack_computers/sec4_1.html . . .
8K - last updated 2015-02-02 03:54 UTC by BayleShanks
proj-oot-lowEndTargets-contemporaryLinuxCapableSystems
= Embedded and low-end hardware survey: Contemporary Linux-capable systems = circa 2014 https://learn.adafruit.com/embedded-linux-board-comparison/overview . . .
8K - last updated 2015-01-16 01:02 UTC by BayleShanks
proj-oot-lowEndTargets-contemporaryMcus
= Embedded and low-end hardware survey: Contemporary MCUs = circa 2014 === Teensy 3.0 === http://www.kickstarter.com/projects/paulstoffregen/teensy-30-32-bit-arm-cortex-m4-usable-in-arduino-a . . .
14K - last updated 2017-11-09 08:49 UTC by BayleShanks
proj-oot-lowEndTargets-embeddableJvmAndJavaImplementations
== JVMs and Java dialects == On PCs, the JVM is known for being relatively memory-hungry, so it's interesting . . .
56K - last updated 2014-12-05 10:19 UTC by BayleShanks
proj-oot-lowEndTargets-embeddableLanguageImplementations
= Embedded and low-end hardware survey: Embeddable language implementations = also libraries and OSs . . .
37K - last updated 2018-01-18 21:30 UTC by BayleShanks
proj-oot-lowEndTargets-gpus
= Embedded and low-end hardware survey: Contemporary MCUs = could also look at the resources available . . .
24K - last updated 2017-11-11 01:51 UTC by BayleShanks
proj-oot-lowEndTargets-legacyMicrocomputers
= Embedded and low-end hardware survey: Legacy microcomputers = == Apples == ==== Apple I ==== 4K or . . .
17K - last updated 2014-12-05 10:19 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargets
Wouldn't it be interesting if Oot could be a good choice for embedded systems too? This is not one of . . .
7K - last updated 2014-12-05 10:19 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargetsUnsorted
--- https://www.spark.io/ STM32F103 microcontroller ARM Cortex M3 architecture 32-bit 72Mhz processor . . .
74K - last updated 2019-05-31 23:24 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargetsUnsorted2
--- http://www.excamera.com/sphinx/fpga-j1.html J1 is a small (200 lines of Verilog) stack-based CPU, . . .
87K - last updated 2019-05-31 23:23 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargetsUnsorted3
--- Freedom U500, Linux-capable, 1.5GH quad-core RV64GC SoC: Jack Kang Freedom Unleashed 500: 250M+ transistors, . . .
64K - last updated 2019-05-31 23:24 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargetsUnsorted4
--- https://internalregister.github.io/2019/03/14/Homebrew-Console.html 64k program ram (of which 8k . . .
70K - last updated 2020-10-21 14:51 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargetsUnsorted5
two ppl suggested NXP (Freescale) for chips for major projects: https://news.ycombinator.com/item?id=24800037 . . .
51K - last updated 2021-07-16 21:45 UTC by BayleShanks
proj-oot-lowEndTargets-lowEndTargetsUnsorted6
https://blog.cloudflare.com/branch-predictor/ " Some time ago I was looking at a hot section in our code . . .
55K - last updated 2023-12-11 03:23 UTC by BayleShanks
proj-oot-lowEndTargets-mcuComparisons
--- comparison between cortex M0 and MSP430: http://deltas.blog.com/2013/03/13/arm-cortex-m0-vs-msp430-or-are-m0-based-devices-really-16-bit-mcu-replacements-2/ . . .
168K - last updated 2017-11-15 06:53 UTC by BayleShanks
proj-oot-lowEndTargets-propellerXmos
about the Propeller and the XMOS: " 1) Dispense with all those peripheral devices, UART, USB etc etc . . .
50K - last updated 2017-11-09 08:50 UTC by BayleShanks
proj-oot-old
* [Self:proj-oot-old-150618 150618] * [Self:proj-oot-old-whyOot whyOot] * [Self:proj-oot-old-ootAssemblyNotes17 . . .
1K - last updated 2018-03-23 10:30 UTC by BayleShanks
proj-oot-old--index
* [Self:proj-oot-old-150618 150618] * [Self:proj-oot-old-whyOot whyOot] * [Self:proj-oot-old-ootAssemblyNotes17 . . .
1K - last updated 2018-03-23 10:30 UTC by BayleShanks
proj-oot-old-150618
* [Self:proj-oot-old-150618-ootConcurrencyThoughts ootConcurrencyThoughts] * [Self:proj-oot-old-150618-ootNet . . .
12K - last updated 2016-04-12 00:08 UTC by BayleShanks
proj-oot-old-150618--index
* [Self:proj-oot-old-150618-ootConcurrencyThoughts ootConcurrencyThoughts] * [Self:proj-oot-old-150618-ootNet . . .
12K - last updated 2016-04-12 00:08 UTC by BayleShanks
proj-oot-old-150618-concurrency
=== Concurrency ideas === ==== transactions ==== ==== futures ==== (see http://en.wikipedia.org/wiki/Future_%28programming%29) . . .
21K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-error
== exceptions == module interfaces must declare new types of exceptions? or must declare all thrown exceptions??? . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-graphTechnicalNotes
= Technical notes on Oot "graphs" = What we call "graphs" in Oot is a type of value which are what is . . .
4K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-intelOptimizeManualNotes
= Intel Optimization Manual notes = notes from http://www.intel.com/content/dam/www/public/us/en/documents/manuals/64-ia-32-architectures-optimization-manual.pdf . . .
46K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-oot
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
98K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-oot131027
i'd replace oot.txt but i don't wanna read thru the old stuff right now, so: == syntax == commentary: . . .
12K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootAlgebraNotes1
an algebraic transform = an optional macro, by which i mean that when you say something like (a * x) . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootArithmeticNotes1
" > map (^0) [0] 15:36:22 <lambdabot> [1] 15:36:24 <mar77a> NOOOOOOO 15:36:32 <mar77a> . . .
32K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes1
note that MOV can accomplish loads and stores by having one operand be a register or stack, and another . . .
57K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes2
-- so, Oot Assembly may be fixed-length, not for efficiency, but for ease of implementation. Code density . . .
70K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes3
i've been reading about Lua's VM from http://luaforge.net/docman/83/98/ANoFrillsIntroToLua51VMInstructions.pdf . . .
128K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes4
in Oot, do we want a base register to make addresses relative? probably not; that's probably assumed/encapsulated . . .
69K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyNotes5
how does our role system map to natural language parts of speech and phrasal categories? * verb (phrases) . . .
33K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyOld1
== ISA encoding ideas == load the first 16 bits. Look at the form bits (do we need 1 or 3? if we need . . .
53K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyOpsNotes1
== fns == APPLY (same as GET?) == sync and time == WAIT (block until something is done) NOP SLEEP == . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootAssemblyThoughts
== todos == * So what if we say "ALIAS r3 to x[33]; ALIAS r4 to r3; ALIAS r3 to y[2]"; do changes to . . .
24K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootAttributes
standard perspectives and attributes: @meta: __get __get label = returns the target of the arc labeled . . .
4K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootBoundaries
* atomic marker * transaction marker * stream fusion marker? * monitor marker (only one copy of this . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootBrain
one of the original goals was to make a programming language which mirrored as much as possible the sort . . .
11K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootBrainNotes1
custom multiple flavors of indirect addressing like the types of meta connection to the RDF verb/hypergraphs? . . .
3K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCalls
note: in Python, the default argument assignment is evaluated only once, not per call. If you pass something . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootCapabilities
two types of capabilities: advisory and security. advisory capabilities can be overridden by debug code. . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCapabilitiesNotes1
read stdio, write stdout, write stderr read/write other streams, files read/write/execute any file under . . .
3K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootCommandline
* an argument switch to give code for 'oneliners' on the command line. One-liners execute like scripts, . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCommunityProcess
decisions about oot will be made in a dictatorial style (BDFL), however like Python there is a structured . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCompilationPipeline
== Stages == user source filters -> scanner -> parser -> language reader macro application -> . . .
9K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCompiler
== oot compiler design principals == also for the interpreter and runtime ---- * stack traces or similar . . .
15K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootCompilerErrorMessageNotes1
in Golang, if you end a file without either a newline or semicolon to terminate the last line of code, . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootCompilerNotes1
" I use Vim plugin called vim-godef. It is sort of like ctags, but better. It lets you jump to definition . . .
13K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootComponent
Oot should make it easy to write software with a 'plug-in architecture', whatever that means. --- == . . .
6K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootComponentNotes1
dependencies between plugins? see also [Self:notes-computer-oot-ootPlugInArchitectureThoughts ootPlugInArchitecture] . . .
8K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootConcurrency
== toread == http://kilby.stanford.edu/~rvg/352.html == misc == fork STM `par` parallel array types . . .
2K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootConcurrencyNotes1
https://developer.apple.com/library/ios/DOCUMENTATION/Cocoa/Conceptual/Multithreading/ThreadSafety/ThreadSafety.html . . .
105K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootConcurrencyNotes2
https://www.google.com/search?q=concurrency+primitives https://www.google.com/search?q=concurrency+features . . .
60K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootConcurrencyThoughts
protothreads http://dunkels.com/adam/pt/ http://code.google.com/p/jetlang/ --- " [reply] Re: (OT) Programming . . .
19K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootConstraintLogic
--- the axis of hypothetical: from the point of view of the necessary, the actual is hypothetical. from . . .
1K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootControl
== oot control design todos == * do we support ruby-like blocks inside of which a 'return' returns from . . .
2K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootControlNotes1
i guess references mark bits of state that persist even if you invoke a continuation. -- we gotta do . . .
36K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCore
Oot Core is an intermediate language (IL) for Oot. Goals: * Bootstrapping Oot: a small language that . . .
9K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootCoreNotes1
i like Parrot's custom bytecodes --- === types of memory barriers === load/load, load/store, store/load, . . .
30K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCoreNotes2
thinking about the bit on models of computation i just wrote, some primitives for oot: pointer (turing . . .
17K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootCoreThoughts
now, to specify a bit field width which is a power of 2 between 0 and 7, we need to choose between 8 . . .
17K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootCriteria
== Goals (high-level design criteria) == * Minimize the time it takes for an experienced Oot programmer . . .
9K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootCriteriaNotes
" The success of C is largely due to its context-independence relative to other languages at the time: . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootData
see also ootDataModes, ootAttributes == data design todos == * queries: look at Linq, htsql, MDX, xquery, . . .
12K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootDataBinding
== See also == * [Self-proj-oot-ootDataBindingNotes1] * [Self-proj-oot-ootSpreadsheet] * [Self-proj-oot-ootData] . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootDataBindingNotes1
webdav --- soft vs. hard symlinks: * soft symlinks consist of a file path * hard symlinks are a lower-level . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootDataModes
* mutable * strictness * unique * clojure's ref vs agent vs atom? * ?? what else? -- should we have a . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootDataNotes1
== oot data design todos == * representations may be related by a chain of transformations, not just . . .
75K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootDataNotes2
http://www.w3.org/TR/json-ld/#data-model-overview http://json-ld.org/learn.html http://www.slideshare.net/gkellogg1/jsonld-json-for-the-social-web . . .
17K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootDataThoughts
maybe in line with the 'everything is an interface' policy, when a function needs to create a new instance . . .
4K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootDesignChoices
== High-level design criteria == In roughly descending order of importance to Oot. === Turing completeness . . .
44K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootDesignTodos
=== Design todos === * change name? graphite? morphic? sapphire? metamorphic? garnet? jaspre? lapis? . . .
9K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootDevelopmentProcessNotes1
Of course, Python has a great dev guide: https://docs.python.org/devguide/index.html --- http://www.reddit.com/r/haskell/comments/2if0fu/on_concerns_about_haskells_prelude_favoring/cl1mv9k . . .
46K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootDevelopmentProcessThoughts
Initially (this part is an after-the-fact description): * features that we want for oot, and motivating . . .
9K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootDifficultyLevels
compiler-enforced, by source code file partially inspired by Hypercard " There are 5 user levels within . . .
2K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootDocumentation
the official Python tutorial is wonderful here's a pretty haskell tutorial: http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ . . .
4K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootDocumentationNotes1
Scaevolus 15 hours ago | link The static analysis features are exciting: http://golang.org/lib/godoc/analysis/help.html . . .
4K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootDslNotes1
one frequently seen construct schema: * head (eg 'switch') * head expr (eg 'switch (x)'; eg 'if (expr)') . . .
1K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootEfficiencyNotes1
http://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1007&context=cs_faculty_pubs&sei-redir=1&referer=http%3A%2F%2Fscholar.google.co.uk%2Fscholar%3Fq%3Dstatic%2Btype%2Boptimisations%26btnG%3D%26hl%3Den%26as_sdt%3D0%252C5#search=%22static%20type%20optimisations%22 . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootError
Maybe/Option towers, with names (analogy with keyword args?) syntactically concise way to transmute exceptions . . .
6K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootErrorNotes1
"Error messages from Complex types In Yesod we have some complex types in a few key places. And we are . . .
54K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootErrorNotes2
"Also, for Rust 2, I'd suggest exceptions. The "new error handling model"[1] is excessively verbose. . . .
7K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootErrorThoughts
== types of nils == i generally have the idea that instead of just having one 'nil' value, like Python's . . .
4K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootFfiNotes1
Python CTypes https://gist.github.com/Jach/1208215 -- https://news.ycombinator.com/item?id=7136604 Thrift, . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootFootnotes
something like: if OrdinaryCondition: DoOrdinaryThing else: DoExtraordinaryThing should be transformed . . .
2K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootFromOthers
On this page we speculate about how one could start with various simple machine paradigms and make them . . .
2K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootGuiNotes1
" For example, in Tcl/Tk (which combines the Tcl language with a tool kit for building graphical interfaces), . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootHandler
message handling as a generalization of exception handling: * the handler tree can have parallel branches . . .
3K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootHaskellStuff
This page is not a coherent topic, just a list of things i saw from the Haskell community that i want . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootHistory
Starting in grade school i learned a bunch of programming languages. Eventually i went to grad school . . .
8K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootHtml5
Oot intends, among other things, to create a [Self:notes-computer-oot-ootLearnToProgram learn-to-program . . .
2K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootHtml5Basic
since Oot won't be ready until the far future if ever, unlike most projects, i think it's safe to assume . . .
3K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootHtml5BasicNotes1
below i've appending my June 2014 test results for an HTML5 test suites for two browsers on my Android . . .
12K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootHtml5Notes1
-- probably should have an HTML5 version first, see http://wiki.scratch.mit.edu/wiki/Scratch_on_Tablets . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootIdeAPI
ramchip 747 days ago | link You're right about Emacs+Slime being nice for CL, but I don't think Emacs . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootIdeNotes1
table 5 of On the Syllogistic Structure of Object-Oriented Programming has a list of queries on OOP stuff . . .
6K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootImplementation
Oot will be implemented in 4 stages. First, it will be implemented in Oot. Although this implementation . . .
2K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootImplementation3
see also OotMemoryManagement "separate heap per lightweight process (hence no stop-the-world GC)," how . . .
1K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
71K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootImplementationNotes2
how are we going to reconcile our requirement that the main interpreter/compiler be canonical with our . . .
25K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootImplementationThoughts
let's use something similar to the nanopass compiler framework: https://github.com/akeep/nanopass-framework/blob/master/doc/user-guide.pdf?raw=true . . .
8K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootInspirations
== Typing == not the languages which invented these things, just the ones which inspired me: * Haskell . . .
4K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootInterop
See also ootFfi It should be easy to take an existing program written in, say, C or Python, one which . . .
7K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootInteropNotes1
re: go: "In addition, interacting with popular libraries (such as libsdl or even OpenGL) that use thread-local . . .
24K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootIrrelevantNotes
http://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootLazy
oot lazy design questions: * do we need full laziness, like in Haskell, or is a core library focus on . . .
8K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLazyNotes1
-- consider a strictness analyzer which is conservative in that it marks functions as 'maybe strict . . .
71K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootLearnToProgram
I fondly remember that when i was a child, my dad's Apple //c computer came with a bunch of disks, one . . .
6K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootLearnToProgramNotes1
--- when i went to http://scratch.mit.edu/projects/editor/?tip_bar=getStarted , there is a tutorial where . . .
25K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLevels
i have this idea that Oot should have 'levels' and that the semantics of the language should be similar . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootLevelsNotes1
an example of the 'levels' concept is the difference between a view of the graph of the file directories . . .
4K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootLibraries
std lib: + - * / pow e exp log (sqrt = pow(x,.5) ; log = exp^-1, not to be confused with 1/exp) matrix . . .
9K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootLibrariesNotes1
"(Is Urbit German? Sadly, no. But all our noun print formats are URL-safe, which dot is and comma isn’t.)" . . .
41K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLibrariesNotes2
i'm not quite sure how to divide up the core/bundled/recommended libraries. At the one extreme, we have . . .
32K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootLibrariesThoughts
"say" instead of "print" (it's shorter) "say" autocoerces to string (includes a call to conv2str/str()/Python . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootLiveCodingNotes1
http://en.wikipedia.org/wiki/Live_coding -- http://yaxu.org/tidal/ https://github.com/yaxu/Tidal/blob/master/doc/tidal.md . . .
3K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootLogicNotes1
I guess if we are doing 'RDFt' we should generalize this to add other modifiers (qualifiers and quantitiers, . . .
8K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootLowLevel
allow 'new' and 'delete' for optional manual memory management . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootLowLevelNotes1
== Oot low-level toreads == * https://en.wikipedia.org/wiki/Sing_Sharp . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootMathAssistantNotes1
what can oot learn from computer algebra and theorem-proving systems? -- Computer algebra systems get . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMemoryManagement
GC: precise, incremental (or mb concurrent), soft real-time maybe like Inferno's (hybrid with refcounting) . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMemoryManagementNotes1
-- Python has reference counting, which frees most memory immediately as soon as it can be, but which . . .
31K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMetaprogramming
== oot metaprogramming design todos == * is the (parsed but) uncompiled AST sometimes available to runtime . . .
7K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootMetaprogrammingNotes1
---- this blog post claims that haskell obsoletes lisp macros, b/c you only need macros to avoid evaluating . . .
50K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootMetaprogrammingNotes2
http://stackoverflow.com/questions/tagged/homoiconicity --- " You might already have a language in mind . . .
4K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootMmo
There are lots of competing MMO architectures. We don't want to make another one, and we don't want . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootMmoNotes1
" Under the hood, Croquet is based on a protocol called TeaTime?, which keeps multiple servers in synch . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootModule
== oot module design principals == ==== the language should protect you from your coworkers ==== * you . . .
3K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootModuleNotes1
http://skilpat.tumblr.com/post/9411500320/a-modular-package-language-for-haskell -- " nadaviv 1 day ago . . .
7K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootModuleThoughts
if a later import statement would overwrite an existing symbol, the later statement must say whether . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNaturalLanguageNotes1
what do people talk about in human languages? not so much algorithm specification, but rather, just passing . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNaturalLanguageThoughts
== oot natural language toreads == == assembly == what does a typical assembly instruction sound like . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNet
oot graphs are like property graphs, with the perspective allowing one to rotate properties into vs. . . .
4K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootNetMatching
need a way to express transitivity requirement --- hmm... i think perhaps there is an even broader abstraction . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
154K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNotes1
mb give up on node labels and just have node labels be references but have have a mechanism to make namespaces . . .
156K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootNotes10
Lua closures vs OOP object instances vs Haskell partially applied functions (vs clojure closures) --- . . .
116K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootNotes11
http://learnyousomeerlang.com/static/img/worm.png is funny (from http://learnyousomeerlang.com/starting-out-for-real . . .
57K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootNotes12
in oot, w/o baking in a single message bus implementaioh, can we have a std optional language for wheether . . .
80K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNotes13
https://wizardsofsmart.wordpress.com/2015/03/19/web-apis-vs-rpc/ --- django release discussion: " bebop . . .
94K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootNotes2
---- auto conversion would be nice. for example, you should be able to tag a value as a "log return" . . .
104K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootNotes3 2
--- " mattj 6 hours ago | link So the issue here is two-fold: - It's very hard to do 'intelligent routing' . . .
162K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootNotes4
huh, this looks very general, clean, and like the keywordish relations that i've been looking for: http://www.lshift.net/blog/2010/12/22/conditional-statements-the-lambda-calculus-and-earlylate-binding . . .
52K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootNotes6
https://www.semipublic.comp-arch.net/wiki/Bad,_Good,_and_Middling_Ideas_in_Computer_Architecture https://www.semipublic.comp-arch.net/wiki/Design_Principles_and_Rules_of_Thumb . . .
38K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootNotes7
https://blog.heroku.com/archives/2014/3/11/node-habits -- probs with Django ORM: https://speakerdeck.com/alex/why-i-hate-the-django-orm . . .
102K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootNotes8
orthecreedence 3 days ago | link Common Lisp guy gonna chime in here...having a REPL that integrates . . .
94K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootNotes9
a few insights i've had recently: * multi-dimensional dataframes are like keywords are like hyperedges; . . .
68K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootNotesFiltered1
notes removed from ootNotes* that i dont want to forget: ---- http://lambda-the-ultimate.org/node/4592 . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootNumerology
== powers of 2 == --- what bit width for various things? 64-bit is a commonly used width according to . . .
29K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootOntologicalConcepts
time event actor: an entity that can take actions send, receive: actions that pass something from one . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootOop
functions of OOP: * inheritance (reuse and override code, mixins allowing a data API to be built from . . .
7K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
15K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootOperationsNotes1
" > And function overloading adds another layer of complexity and ambiguity. Overloading is a separate . . .
1K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootPackagingNotes1
(mostly moved to [Self:proj-oot-plChToolingImpl] . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootPackagingThoughts
See this thread from Hacker News on the lack of canonical best practices for use of packaging/deployment . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootPatternThoughts
clojure's :as e.g. (defn make-rectangle [[p1 p2 p3 p4 :as vertices]] (let [a (distance p1 p2) b (distance . . .
3K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootPatterns
== Oot pattern design todos == * design patterns . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootPlugInArchitectureThoughts
the plug-in architecture should not create a global registry of events/signals/extension points, etc. . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootPointerNotes1
plan 9 has something equivalent to aliases via bind, in contrast to symlinks which are equivalent to . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootPrincipals
* Syntax is for grouping and for ; standard control flow constructs do not belong in basic language syntax, . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootProject
BSD or MIT-style license amendable code with pietrust reputation system to propose changes and to canonicalize . . .
1K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootRoots
This page is for me to try to distill Oot down to its 'big ideas', and also for me to identify what should . . .
2K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootRosettaCandidates
grep in clojure from slide 16 of https://speakerd.s3.amazonaws.com/presentations/2471a370b3610130440476a0f7eede16/2013-05-17-ClojureOOP-Geecon.pdf . . .
3K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootRunNotes1
-regex command to just apply a regex to a file (or mb -match, -replace, -search) . . .
1K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootSafetyNotes1
"Swift eliminates entire classes of unsafe code. Variables are always initialized before use, arrays . . .
17K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootSandboxNotes1
http://lua-users.org/wiki/SandBoxes ---- http://stackoverflow.com/questions/4011260/sandbox-jvm-to-secure-server-from-untrusted-sources . . .
2K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootScopeNotes1
are semiglobals like these?: http://docs.racket-lang.org/srfi-std/srfi-39.html --- in order to make semiglobals . . .
7K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootSemantic
look at docs for logic programming languages and semantic web tools for examples of things that mb could . . .
1K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootSemanticNotes1
http://webintents.org/ -- should be able to specify 'goals', e.g. this stochastic gradient descent subroutine's . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootSemanticVocabulary
Perhaps a programming language should also be a language. Towards this, Oot defines words to represent . . .
2K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootSpreadsheetNotes1
how can Oot reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
63K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootSpreadsheetNotes2
some spreadsheet pros and cons: pros: " Spreadsheets have a largely nonsymbolic representation of programs. . . .
8K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootState
== Design todos == how to reconcile the not wanting hidden aliasing with wanting properties? . . .
1K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootStateNotes1
-- if you take a descendent of the root node, and put it in its own variable, but if you change that . . .
28K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-ootStringNotes1
upvote rspeer 1 day ago | link The thing I'm looking forward to in Python 3.4 is that you should be . . .
40K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootSyntax
The lexical syntax is defined by regular expressions. The parse syntax is LL(1). Almost everything which . . .
6K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes2
we want to be able to declare some functions as associative, etc. Perhaps it would be best if, just like . . .
51K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxNotes3
might want a syntax for 'apply this code transformation with the scope of this entire function'. Eg might . . .
7K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxTable
== CURRENT BEST GUESS SYNTAX == syntax (ordered by approximate descending ease of typing): a/b/c: infix, . . .
6K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxTableOld
== CURRENT BEST GUESS SYNTAX == note this is rather out of date, i just copied from oot.txt syntax (ordered . . .
9K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootSyntaxThoughts
unlike Haskell, we don't want to allow arbitrary operator precedence, because then you have to look up . . .
94K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootTeamNotes1
maybe we're fine with enforcable access modifiers as long as (a) the language allows binary interoperation . . .
1K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootTeamThoughts
because someone once said "...I dislike Java as a teaching language: having to tell people "don't worry . . .
1K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootThoughts
it's annoying how in Python 2, 3/2 == 1 (b/c integer division is used). in Python 3 this is corrected. . . .
1K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootToReads
see also [Self:notes-computer-oot-ootToReadsCondensed] ==== toreads unsorted ==== * http://stackoverflow.com/questions/961942/what-is-the-worst-programming-language-you-ever-worked-with . . .
60K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootToReadsAlreadyCopiedToPlBook
== Atscript == * https://docs.google.com/document/d/11YUzC-1d0V1-Q3V0fQ7KSit97HnZoKVygDxpWzEYW0U/mobilebasic?viewopt=127 . . .
2K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootToReadsCondensed
see also [Self:notes-computer-oot-ootToReads] == categorized list of some languages to learn/study == . . .
12K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootToReadsFrameworks
= Microservice frameworks = * [https://twitter.github.io/finagle/ twitter's finagle microservice] ** . . .
20K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ootTour
This purpose of this tour is to show you the distinctive features of Oot. If you're looking to learn . . .
1K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-ootType
== toread == erlang success types: http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://user.it.uu.se/~tobiasl/publications/contracts.pdf . . .
10K - last updated 2015-06-19 04:30 UTC by BayleShanks
proj-oot-old-150618-ootTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
190K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-ootTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
34K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootTypes
== Oot type design todos == * how does our extensible type system work? ==== toreads for this ==== * . . .
2K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootUiNotes1
http://archlinux.me/dusty/2012/10/16/python-on-android-first-impressions-of-kivy/ Kivy, pyQT, pyGTK,wxpython, . . .
1K - last updated 2015-06-19 04:24 UTC by BayleShanks
proj-oot-old-150618-ootVariadicFnsVsImplicitPartialApplication
see also [Self:notes-computer-programming-progammingLanguageDesign-prosandCons-variadicFnsVsImplicitPartialApplications]. . . .
8K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootVariantImplementations
Stuff like quicksort, bubblesort, insertion sort are called 'variant implementations' in Oot because . . .
8K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootViewNotes1
earlier, i thought that perhaps views should be restricted to algebraic/shape-based mappings between . . .
17K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-ootViewThoughts
* if views are being used so that you can pass a data structure into something that sees only a projection . . .
6K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618-ootVirtualizationNotes1
by 'virtualization' i mean that i want the programmer to run an interpreter for another language on top . . .
4K - last updated 2015-06-19 04:31 UTC by BayleShanks
proj-oot-old-150618-ootWhitespaceNotes
whitespace principals: * the presence or absence of whitespace is meaningful * the difference between . . .
14K - last updated 2015-06-19 04:25 UTC by BayleShanks
proj-oot-old-150618-oot slides
== Oot == presented by Bayle Shanks ---- == My background == * Favorite language Python * Think Haskell . . .
5K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-operators
== environments == () grouping [] data (arc labels are quoted but values are evaluated) ?[ ] quoted graph . . .
7K - last updated 2015-06-19 04:32 UTC by BayleShanks
proj-oot-old-150618-principalTypesConsideredHarmful
example from http://en.wikibooks.org/wiki/Haskell/GADT {-#LANGUAGE GADTs, EmptyDataDecls #-} -- (the . . .
3K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2015-06-19 04:28 UTC by BayleShanks
proj-oot-old-150618-typeSystem
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-whyOot
The following, although written as present-tense facts, are in fact future hypothetical wishlist items! . . .
78K - last updated 2015-06-19 04:26 UTC by BayleShanks
proj-oot-old-150618-whyOotDesignIdeas
stuff moved from whyOot --- An important kind of readability is 'skimmability'. Skimming can mean the . . .
18K - last updated 2015-06-19 04:29 UTC by BayleShanks
proj-oot-old-150618-ww
-- toread++: https://speakerdeck.com/stilkov/clojure-for-oop-folks-how-to-design-clojure-programs toread . . .
5K - last updated 2015-06-19 04:27 UTC by BayleShanks
proj-oot-old-150618DataSyntaxNotes
(absorbed into other notes, just keeping this around in case i want to see it again for some reason, . . .
10K - last updated 2015-06-19 07:06 UTC by BayleShanks
proj-oot-old-150618oot
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
129K - last updated 2015-06-19 20:44 UTC by BayleShanks
proj-oot-old-151220
* [Self:proj-oot-old-151220-ootLibrariesNotes2 ootLibrariesNotes2] * [Self:proj-oot-old-151220-ootStringNotes1 . . .
1K - last updated 2015-12-21 23:14 UTC by BayleShanks
proj-oot-old-151220--index
* [Self:proj-oot-old-151220-ootLibrariesNotes2 ootLibrariesNotes2] * [Self:proj-oot-old-151220-ootStringNotes1 . . .
1K - last updated 2015-12-21 23:14 UTC by BayleShanks
proj-oot-old-151220-ootLibrariesNotes2
--- blog post and HN discussion on on random number generators and (in the HN discussion) hashing fns . . .
33K - last updated 2015-12-21 22:01 UTC by BayleShanks
proj-oot-old-151220-ootStringNotes1
--- andrewstuart 5 hours ago IMO one of the reasons for all the ((with Python unicode)) angst is that . . .
24K - last updated 2015-12-21 22:01 UTC by BayleShanks
proj-oot-old-ootAssemblyNotes17
some old notes that led me to break out BootX from Boot: * actually let's reduce it to 16 instructions: . . .
12K - last updated 2017-10-05 23:59 UTC by BayleShanks
proj-oot-old-ootAssemblyNotes21Old
should we specify a fixed calling convention for LIBRARY? Perhaps just have all arguments and all return . . .
52K - last updated 2018-04-01 10:21 UTC by BayleShanks
proj-oot-old-ootAssemblyThoughtsOld
old MEDIUM instructionEncodings: TODO: consider having only 1024 regs and having the following encoding . . .
5K - last updated 2016-09-06 01:04 UTC by BayleShanks
proj-oot-old-ootDevelopmentProcessNotes1Old
--- Rust docs have some excellent verbiage quickly explaining the most important parts of Semver: " . . .
12K - last updated 2016-09-03 06:11 UTC by BayleShanks
proj-oot-old-ootErrorNotes3Old
--- A blog post by Eric Lippert, C# guy, sounds about right: [https://ericlippert.com/2008/09/10/vexing-exceptions/] . . .
4K - last updated 2018-03-01 01:37 UTC by BayleShanks
proj-oot-old-ootNotes16
--- i read much of the page https://en.wikipedia.org/wiki/Predicate_functor_logic . The primitives, which . . .
2K - last updated 2016-01-24 22:00 UTC by BayleShanks
proj-oot-old-ootSyntaxNotes
--- disregarded in favor of `` for ASTs and 'logic', functional reactive streams for 'capturing' side-effects, . . .
23K - last updated 2015-10-03 01:02 UTC by BayleShanks
proj-oot-old-ootSyntaxNotes4Old
--- in some example F# code i just saw: newList = oldList :: newItem if we are allowing local mutation . . .
1K - last updated 2016-06-27 21:47 UTC by BayleShanks
proj-oot-old-ootTypeNotes7Old
--- my notes on the following series of blog posts by Eric Lippert, C# guy: [https://ericlippert.com/2015/04/27/wizards-and-warriors-part-one/] . . .
14K - last updated 2018-03-01 01:36 UTC by BayleShanks
proj-oot-old-whyOot
* [Self:proj-oot-old-whyOot-141229 141229] . . .
1K - last updated 2014-12-31 20:00 UTC by BayleShanks
proj-oot-old-whyOot--index
* [Self:proj-oot-old-whyOot-141229 141229] . . .
1K - last updated 2014-12-31 20:00 UTC by BayleShanks
proj-oot-old-whyOot-141229
note that none of this has been implemented yet, and the design is still in flux! All of these items, . . .
76K - last updated 2014-12-30 06:47 UTC by BayleShanks
proj-oot-oot
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
65K - last updated 2018-05-06 00:53 UTC by BayleShanks
proj-oot-oot131027
i'd replace oot.txt but i don't wanna read thru the old stuff right now, so: == syntax == commentary: . . .
12K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootAlgebraNotes1
an algebraic transform = an optional macro, by which i mean that when you say something like (a * x) . . .
1K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootArithmeticNotes1
" > map (^0) [0] 15:36:22 <lambdabot> [1] 15:36:24 <mar77a> NOOOOOOO 15:36:32 <mar77a> . . .
62K - last updated 2022-12-08 22:51 UTC by BayleShanks
proj-oot-ootArithmeticThoughts
"==" on floats will implement IEEE 754 totalOrder, NOT the typical IEEE 754 ==. This is because the typical . . .
4K - last updated 2019-12-12 22:37 UTC by BayleShanks
proj-oot-ootAssemblyConcordance
#REDIRECT [[proj-plbook-plChTargetLanguagesConcordance]] . . .
1K - last updated 2021-07-18 18:49 UTC by BayleShanks
proj-oot-ootAssemblyNotes1
note that MOV can accomplish loads and stores by having one operand be a register or stack, and another . . .
57K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootAssemblyNotes10
perhaps, in addition to ALIASed memory locs, we should have memory locs that go thru getters/setters? . . .
71K - last updated 2016-08-14 18:47 UTC by BayleShanks
proj-oot-ootAssemblyNotes11
Y'know, after the addition of the capabilities instructions and the various complexities of the OotB . . .
76K - last updated 2016-08-26 17:14 UTC by BayleShanks
proj-oot-ootAssemblyNotes12
if SootB is also SHORT, i guess we really should find a way to at least call custom instructions from . . .
78K - last updated 2016-09-14 15:03 UTC by BayleShanks
proj-oot-ootAssemblyNotes13
panic 626 days ago [-] it occurred to me that (some) Forth systems are awfully close to being macro . . .
85K - last updated 2016-09-19 22:24 UTC by BayleShanks
proj-oot-ootAssemblyNotes14
the 'meta' bit could quote the operand specifier; kind of like Lisp's quotes or Kernel's "operatives"; . . .
77K - last updated 2016-09-25 16:35 UTC by BayleShanks
proj-oot-ootAssemblyNotes15
pcwalton 13 hours ago [-] Also worth noting: x86 supports four hardware breakpoints, which are sometimes . . .
80K - last updated 2017-04-03 05:46 UTC by BayleShanks
proj-oot-ootAssemblyNotes16
------- ------- ------- The contents of boot_reference as of 2017/03/27, just before a cleanup/removal . . .
71K - last updated 2017-05-21 07:15 UTC by BayleShanks
proj-oot-ootAssemblyNotes17
--- l5 has .ethereum --- " Side note: The .NET framework did break backwards compatibility when moving . . .
57K - last updated 2017-10-06 00:12 UTC by BayleShanks
proj-oot-ootAssemblyNotes18
--- should probably read at least https://en.wikipedia.org/wiki/RISC-V --- for OSs, hypervisors, etc, . . .
87K - last updated 2018-03-12 06:13 UTC by BayleShanks
proj-oot-ootAssemblyNotes19
I'm annoyed by the waste of having the SMALLSTACK, DATASTACK and CALLSTACK register operands only usable . . .
121K - last updated 2019-05-10 19:02 UTC by BayleShanks
proj-oot-ootAssemblyNotes2
-- so, Oot Assembly may be fixed-length, not for efficiency, but for ease of implementation. Code density . . .
70K - last updated 2015-03-27 05:41 UTC by BayleShanks
proj-oot-ootAssemblyNotes20
see also ootNotes30, where i start working on an ISA that might be suitable for genetic algorithms and . . .
64K - last updated 2018-03-12 06:18 UTC by BayleShanks
proj-oot-ootAssemblyNotes21
--- 32bit ideas so with the current plan, in 32-bit, we'll get 16 more 3-operand instructions plus 8 . . .
55K - last updated 2018-05-15 10:16 UTC by BayleShanks
proj-oot-ootAssemblyNotes22
[https://www.codeproject.com/Articles/15156/Tiny-C-Runtime-Library] " Results After recompiling the program . . .
73K - last updated 2019-05-06 07:47 UTC by BayleShanks
proj-oot-ootAssemblyNotes23
linux ioctl is applied to open file descriptors, e.g.: " Open the KVM device, kvmfd=open("/dev/kvm", . . .
126K - last updated 2019-06-01 17:02 UTC by BayleShanks
proj-oot-ootAssemblyNotes24
--- 190529 we need to take a hard look at if Boot is meeting its goals: i'm not sure that it's any easier . . .
82K - last updated 2019-06-30 21:29 UTC by BayleShanks
proj-oot-ootAssemblyNotes25
(June 30 2019) So i'm mostly happy with Boot right now (even though it's not fully implemented or specified . . .
101K - last updated 2019-07-21 20:02 UTC by BayleShanks
proj-oot-ootAssemblyNotes26
here's some discussion on RCsc vs RCpc for RISC-V: https://lists.riscv.org/g/tech-memory-model/message/1123 . . .
78K - last updated 2020-01-10 10:53 UTC by BayleShanks
proj-oot-ootAssemblyNotes27
"Thumb-2 with its unequaled code density" -- https://news.ycombinator.com/item?id=21988614 --- "Interesting . . .
113K - last updated 2020-09-09 08:10 UTC by BayleShanks
proj-oot-ootAssemblyNotes28
i'm still wondering where to put stuff like thread control, a scheduler, IPC primitives like as seen . . .
91K - last updated 2020-11-26 08:29 UTC by BayleShanks
proj-oot-ootAssemblyNotes29
ok i'm trying to understand which calling convention we should have, and tail calls, etc. i've read . . .
97K - last updated 2020-12-16 23:26 UTC by BayleShanks
proj-oot-ootAssemblyNotes3
i've been reading about Lua's VM from http://luaforge.net/docman/83/98/ANoFrillsIntroToLua51VMInstructions.pdf . . .
128K - last updated 2015-03-02 09:35 UTC by BayleShanks
proj-oot-ootAssemblyNotes30
--- old removed from boots_extension_reference: - too many profiles. At least delete one so that you . . .
91K - last updated 2022-01-04 01:31 UTC by BayleShanks
proj-oot-ootAssemblyNotes31
SBCL has a way to write assembly called VOPs, so that you can use Lisp macros with your assembly: https://news.ycombinator.com/item?id=378581 . . .
77K - last updated 2022-12-08 22:47 UTC by BayleShanks
proj-oot-ootAssemblyNotes32
so it's been some months. Without quite rereading what i have above, how about, for the 32-bit encoding: . . .
54K - last updated 2023-12-11 03:32 UTC by BayleShanks
proj-oot-ootAssemblyNotes4
in Oot, do we want a base register to make addresses relative? probably not; that's probably assumed/encapsulated . . .
69K - last updated 2015-02-20 01:31 UTC by BayleShanks
proj-oot-ootAssemblyNotes5
how does our role system map to natural language parts of speech and phrasal categories? * verb (phrases) . . .
84K - last updated 2016-02-20 23:42 UTC by BayleShanks
proj-oot-ootAssemblyNotes6
--- i like the idea of custom instructions. With custom instructions, we could have only a very few . . .
112K - last updated 2016-03-02 19:44 UTC by BayleShanks
proj-oot-ootAssemblyNotes7
--- so the current proposal for OA (Oot Assembly): EXTENSIBILITY This proposal allow us to start with . . .
94K - last updated 2016-07-20 09:40 UTC by BayleShanks
proj-oot-ootAssemblyNotes8
https://en.m.wikipedia.org/wiki/Find_first_set gives more info on why count trailing zeros (ctz) and . . .
78K - last updated 2016-07-20 09:28 UTC by BayleShanks
proj-oot-ootAssemblyNotes9
An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. . . .
85K - last updated 2016-09-06 22:08 UTC by BayleShanks
proj-oot-ootAssemblyOld1
== ISA encoding ideas == load the first 16 bits. Look at the form bits (do we need 1 or 3? if we need . . .
53K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootAssemblyOpsNotes1
== fns == APPLY (same as GET?) == sync and time == WAIT (block until something is done) NOP SLEEP == . . .
38K - last updated 2016-09-09 05:07 UTC by BayleShanks
proj-oot-ootAssemblyOpsNotes2
http://www.aviduratas.de/lisp/lispmfpga/lispinlisp.html --- " Es ist geschafft: Ein run-time System ist . . .
36K - last updated 2019-05-08 07:27 UTC by BayleShanks
proj-oot-ootAssemblyOpsNotes3
You can have a reduce which is sequential but also one which is parallel (If it's associative I guess) . . .
18K - last updated 2023-12-11 03:18 UTC by BayleShanks
proj-oot-ootAssemblyThoughts
= Oot Bytecode and Oot Assembly = See https://gitlab.com/oot/ovm = Introduction = Oot Bytecode (OotB) . . .
111K - last updated 2020-07-08 06:26 UTC by BayleShanks
proj-oot-ootAttributes
standard perspectives and attributes: @meta: __get __get label = returns the target of the arc labeled . . .
4K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootBootNotes1
(note: this file was created pretty late in the game; Boot notes used to be in the ootAssemblyNotes series, . . .
84K - last updated 2020-11-26 08:38 UTC by BayleShanks
proj-oot-ootBootNotes2
- specify a format for immediates interpreted as floating point numbers. I guess these are 6-bit floating . . .
100K - last updated 2020-12-16 23:23 UTC by BayleShanks
proj-oot-ootBootXThoughts
Some ideas for the compact encodings: - stack addressing mode (SS; everything is a push/pop to the outstack), . . .
3K - last updated 2020-11-26 08:32 UTC by BayleShanks
proj-oot-ootBoundaries
* atomic marker * transaction marker * stream fusion marker? * monitor marker (only one copy of this . . .
1K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootBrain
one of the original goals was to make a programming language which mirrored as much as possible the sort . . .
11K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootBrainNotes1
custom multiple flavors of indirect addressing like the types of meta connection to the RDF verb/hypergraphs? . . .
36K - last updated 2022-06-15 01:19 UTC by BayleShanks
proj-oot-ootBrainThoughts
Could have an array of small nodes, each of which is either a: * CPU * Memory bank * router Each one . . .
2K - last updated 2017-11-11 01:50 UTC by BayleShanks
proj-oot-ootCalls
note: in Python, the default argument assignment is evaluated only once, not per call. If you pass something . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootCapabilities
two types of capabilities: advisory and security. advisory capabilities can be overridden by debug code. . . .
2K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootCapabilitiesNotes1
read stdio, write stdout, write stderr read/write other streams, files read/write/execute any file under . . .
73K - last updated 2022-08-22 04:36 UTC by BayleShanks
proj-oot-ootCapabilitiesNotes2
this discussion shows that there used to be something called "MPX" but it was bad, so don't learn from . . .
14K - last updated 2023-12-11 03:49 UTC by BayleShanks
proj-oot-ootCapabilitiesThoughts
https://josephg.com/blog/node-sandbox/ describes a system of capabilities that sounds good https://news.ycombinator.com/item?id=30988034 . . .
5K - last updated 2022-05-01 04:32 UTC by BayleShanks
proj-oot-ootCommandline
* an argument switch to give code for 'oneliners' on the command line. One-liners execute like scripts, . . .
1K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootCommandlineNotes1
* https://code.google.com/archive/p/pyp/ ** http://wayback.archive.org/web/20160808074824/https://code.google.com/p/pyp/ . . .
76K - last updated 2022-01-04 01:45 UTC by BayleShanks
proj-oot-ootCommandlineNotes2
someone once said that emacs is a general TUI platform. I agree, but i'm not sure that it's a great one . . .
7K - last updated 2023-12-11 03:28 UTC by BayleShanks
proj-oot-ootCommunityNotes1
" Let's say Bob Noob is trying to do X, and you can't do X in Clojure. There are friendly/welcoming ways . . .
7K - last updated 2022-01-04 01:48 UTC by BayleShanks
proj-oot-ootCommunityProcess
decisions about oot will be made in a dictatorial style (BDFL), however like Python there is a structured . . .
1K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootCompilationPipeline
== Stages == user source filters -> scanner -> parser -> language reader macro application -> . . .
9K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootCompiler
== oot compiler design principals == also for the interpreter and runtime ---- * stack traces or similar . . .
15K - last updated 2015-05-28 01:32 UTC by BayleShanks
proj-oot-ootCompilerErrorMessageNotes1
in Golang, if you end a file without either a newline or semicolon to terminate the last line of code, . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootCompilerNotes1
" I use Vim plugin called vim-godef. It is sort of like ctags, but better. It lets you jump to definition . . .
56K - last updated 2021-06-29 04:32 UTC by BayleShanks
proj-oot-ootCompilerNotes2
https://wiki.alopex.li/LanguageCompilationSpeed summary table of loc/sec (language, compiler, loc/sec): . . .
9K - last updated 2023-12-11 03:48 UTC by BayleShanks
proj-oot-ootComponent
Oot should make it easy to write software with a 'plug-in architecture', whatever that means. --- == . . .
6K - last updated 2015-02-06 01:10 UTC by BayleShanks
proj-oot-ootComponentNotes1
dependencies between plugins? see also [Self:notes-computer-oot-ootPlugInArchitectureThoughts ootPlugInArchitecture] . . .
8K - last updated 2022-12-08 22:52 UTC by BayleShanks
proj-oot-ootComponentsNotes1
dependencies between plugins? -- https://blog.nodejitsu.com/ioc-and-dependency-injection-with-broadway/ . . .
1K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootConcurrency
== toread == http://kilby.stanford.edu/~rvg/352.html == misc == fork STM `par` parallel array types . . .
2K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootConcurrencyNotes1
https://developer.apple.com/library/ios/DOCUMENTATION/Cocoa/Conceptual/Multithreading/ThreadSafety/ThreadSafety.html . . .
106K - last updated 2016-03-23 23:45 UTC by BayleShanks
proj-oot-ootConcurrencyNotes10
ghoward 24 days ago | prev [–] I think you are absolutely right about everything you mentioned, except . . .
55K - last updated 2023-12-11 03:30 UTC by BayleShanks
proj-oot-ootConcurrencyNotes2
https://www.google.com/search?q=concurrency+primitives https://www.google.com/search?q=concurrency+features . . .
84K - last updated 2016-06-09 21:00 UTC by BayleShanks
proj-oot-ootConcurrencyNotes3
Coordinated concurrent programming in Syndicate http://lambda-the-ultimate.org/node/5301 --- https://downloads.haskell.org/~ghc/7.0.3/docs/html/users_guide/lang-parallel.html . . .
73K - last updated 2017-09-12 00:51 UTC by BayleShanks
proj-oot-ootConcurrencyNotes4
" Downey; The Little Book of Semaphores Takes a topic that's normally one or two sections in an operating . . .
90K - last updated 2017-09-26 19:26 UTC by BayleShanks
proj-oot-ootConcurrencyNotes5
Even if you have non-blocking I/O (async/await) or n:m 'goroutines', need a way to assign priorities . . .
65K - last updated 2018-02-23 00:54 UTC by BayleShanks
proj-oot-ootConcurrencyNotes6
[https://en.wikipedia.org/wiki/Microkernel]: " IPC can be synchronous or asynchronous. Asynchronous IPC . . .
85K - last updated 2018-10-13 01:27 UTC by BayleShanks
proj-oot-ootConcurrencyNotes7
great article on Julia GPU programming: [https://nextjournal.com/sdanisch/julia-gpu-programming] some . . .
74K - last updated 2019-12-16 23:30 UTC by BayleShanks
proj-oot-ootConcurrencyNotes8
https://tokio.rs/blog/2019-10-scheduler/ https://news.ycombinator.com/item?id=21249708 --- https://blog.rust-lang.org/2019/11/07/Async-await-stable.html . . .
76K - last updated 2020-10-16 19:53 UTC by BayleShanks
proj-oot-ootConcurrencyNotes9
don't know where to put this but it talks about CLOS, crossbars, butterfly networks, which is a topic . . .
86K - last updated 2022-08-22 04:33 UTC by BayleShanks
proj-oot-ootConcurrencyThoughts
protothreads http://dunkels.com/adam/pt/ http://code.google.com/p/jetlang/ --- " [reply] Re: (OT) Programming . . .
21K - last updated 2023-12-11 03:26 UTC by BayleShanks
proj-oot-ootConstraintLogic
--- the axis of hypothetical: from the point of view of the necessary, the actual is hypothetical. from . . .
1K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootControl
== oot control design todos == * do we support ruby-like blocks inside of which a 'return' returns from . . .
2K - last updated 2015-03-22 00:12 UTC by BayleShanks
proj-oot-ootControlNotes1
i guess references mark bits of state that persist even if you invoke a continuation. -- we gotta do . . .
69K - last updated 2020-11-26 08:20 UTC by BayleShanks
proj-oot-ootControlNotes2
"I would encourage anyone exploring the design for a different language’s control flow effects to seriously . . .
24K - last updated 2023-12-11 03:25 UTC by BayleShanks
proj-oot-ootCore
Oot Core is an intermediate language (IL) for Oot. Goals: * Bootstrapping Oot: a small language that . . .
9K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootCoreNotes1
i like Parrot's custom bytecodes --- === types of memory barriers === load/load, load/store, store/load, . . .
30K - last updated 2014-12-15 00:14 UTC by BayleShanks
proj-oot-ootCoreNotes2
thinking about the bit on models of computation i just wrote, some primitives for oot: pointer (turing . . .
47K - last updated 2020-09-22 19:51 UTC by BayleShanks
proj-oot-ootCoreThoughts
name change to 'oot' --- now, to specify a bit field width which is a power of 2 between 0 and 7, we . . .
18K - last updated 2016-09-03 04:49 UTC by BayleShanks
proj-oot-ootCriteria
== Goals (high-level design criteria) == * Minimize the time it takes for an experienced Oot programmer . . .
9K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootCriteriaNotes
" The success of C is largely due to its context-independence relative to other languages at the time: . . .
1K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootData
see also ootDataModes, ootAttributes == data design todos == * queries: look at Linq, htsql, MDX, xquery, . . .
12K - last updated 2023-12-11 03:22 UTC by BayleShanks
proj-oot-ootDataBinding
== See also == * [Self-proj-oot-ootDataBindingNotes1] * [Self-proj-oot-ootSpreadsheet] * [Self-proj-oot-ootData] . . .
1K - last updated 2015-03-24 00:38 UTC by BayleShanks
proj-oot-ootDataBindingNotes1
webdav --- soft vs. hard symlinks: * soft symlinks consist of a file path * hard symlinks are a lower-level . . .
2K - last updated 2015-06-16 08:10 UTC by BayleShanks
proj-oot-ootDataModes
* mutable * strictness * unique * clojure's ref vs agent vs atom? * ?? what else? -- should we have a . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootDataNotes1
== oot data design todos == * representations may be related by a chain of transformations, not just . . .
75K - last updated 2023-12-11 03:24 UTC by BayleShanks
proj-oot-ootDataNotes2
http://www.w3.org/TR/json-ld/#data-model-overview http://json-ld.org/learn.html http://www.slideshare.net/gkellogg1/jsonld-json-for-the-social-web . . .
48K - last updated 2016-01-24 22:04 UTC by BayleShanks
proj-oot-ootDataNotes3
" lkrubner 727 days ago I love this: "Key := Val Updates an existing Key The key must be present in the . . .
65K - last updated 2016-09-02 10:31 UTC by BayleShanks
proj-oot-ootDataNotes4
See also [[proj-oot-plChDataLangs]]. --- 'pattern matching' is a key operation here; this is a SWITCH . . .
83K - last updated 2019-07-14 08:10 UTC by BayleShanks
proj-oot-ootDataNotes5
" Preserving order of dictionaries and **kwargs In CPython 3.6+ dicts behave like OrderedDict by default . . .
66K - last updated 2022-12-08 22:49 UTC by BayleShanks
proj-oot-ootDataNotes6
" Rust already has things like indexing, iteration, and hashing baked in to the standard library, but . . .
56K - last updated 2023-12-11 03:24 UTC by BayleShanks
proj-oot-ootDataThoughts
* views, schemas, boundaries * everything is an interface * J-like rank, cells, frames? numpy-like broadcasting? . . .
11K - last updated 2019-12-16 23:45 UTC by BayleShanks
proj-oot-ootDesignChoices
== High-level design criteria == In roughly descending order of importance to Oot. === Turing completeness . . .
50K - last updated 2016-06-27 22:02 UTC by BayleShanks
proj-oot-ootDesignPhilosophyNotes1
One way of using the words "complication" and "complexity" is that complication is mere quantitative . . .
3K - last updated 2022-01-04 01:38 UTC by BayleShanks
proj-oot-ootDesignTodos
=== Design todos === * change name? graphite? morphic? sapphire? metamorphic? garnet? jaspre? lapis? . . .
9K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootDevelopmentProcess
---- Oot's binary will be named with the version number included, with underscores delineating the major/minor/patch . . .
2K - last updated 2016-04-11 23:13 UTC by BayleShanks
proj-oot-ootDevelopmentProcessNotes1
Of course, Python has a great dev guide: https://docs.python.org/devguide/index.html --- http://www.reddit.com/r/haskell/comments/2if0fu/on_concerns_about_haskells_prelude_favoring/cl1mv9k . . .
109K - last updated 2019-05-19 07:17 UTC by BayleShanks
proj-oot-ootDevelopmentProcessNotes2
terminal adds upon package install sound like a great idea to me! we should allow them, unlike npm: . . .
68K - last updated 2022-12-08 22:54 UTC by BayleShanks
proj-oot-ootDevelopmentProcessThoughts
Initially (this part is an after-the-fact description): * features that we want for oot, and motivating . . .
13K - last updated 2022-12-08 22:48 UTC by BayleShanks
proj-oot-ootDifficultyLevels
compiler-enforced, by source code file partially inspired by Hypercard " There are 5 user levels within . . .
2K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootDocumentation
the official Python tutorial is wonderful here's a pretty haskell tutorial: http://yannesposito.com/Scratch/en/blog/Haskell-the-Hard-Way/ . . .
4K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootDocumentationNotes1
Scaevolus 15 hours ago | link The static analysis features are exciting: http://golang.org/lib/godoc/analysis/help.html . . .
4K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootDslNotes1
one frequently seen construct schema: * head (eg 'switch') * head expr (eg 'switch (x)'; eg 'if (expr)') . . .
1K - last updated 2015-04-03 00:27 UTC by BayleShanks
proj-oot-ootEfficiencyNotes1
http://scholarworks.umass.edu/cgi/viewcontent.cgi?article=1007&context=cs_faculty_pubs&sei-redir=1&referer=http%3A%2F%2Fscholar.google.co.uk%2Fscholar%3Fq%3Dstatic%2Btype%2Boptimisations%26btnG%3D%26hl%3Den%26as_sdt%3D0%252C5#search=%22static%20type%20optimisations%22 . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootError
Maybe/Option towers, with names (analogy with keyword args?) syntactically concise way to transmute exceptions . . .
6K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootErrorNotes1
"Error messages from Complex types In Yesod we have some complex types in a few key places. And we are . . .
54K - last updated 2015-10-16 17:35 UTC by BayleShanks
proj-oot-ootErrorNotes2
"Also, for Rust 2, I'd suggest exceptions. The "new error handling model"[1] is excessively verbose. . . .
41K - last updated 2017-10-06 00:07 UTC by BayleShanks
proj-oot-ootErrorNotes3
btilly 1 day ago [-] One common anti-pattern is that "event driven" can lead to a push architecture . . .
67K - last updated 2018-10-22 22:58 UTC by BayleShanks
proj-oot-ootErrorNotes4
[https://ziglang.org/documentation/master/#Errors] " Error Set Type An error set is like an enum. However, . . .
82K - last updated 2023-12-11 03:17 UTC by BayleShanks
proj-oot-ootErrorThoughts
-- also, keep in mind: http://www.randomhacks.net/articles/2007/03/10/haskell-8-ways-to-report-errors/ . . .
10K - last updated 2017-05-21 07:18 UTC by BayleShanks
proj-oot-ootFatPointersNotes1
--- ATsch on April 14, 2020 [–] typedef struct {uint8_t *data; size_t len;} ByteBuf; is the first . . .
4K - last updated 2021-07-06 09:27 UTC by BayleShanks
proj-oot-ootFfiNotes1
Python CTypes https://gist.github.com/Jach/1208215 -- https://news.ycombinator.com/item?id=7136604 Thrift, . . .
1K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootFootNotes1
Foot is a language that compiles to OVMlow. To make for a simple implementation, Foot has strict limits. . . .
1K - last updated 2019-12-16 23:41 UTC by BayleShanks
proj-oot-ootFootnotes
something like: if OrdinaryCondition: DoOrdinaryThing else: DoExtraordinaryThing should be transformed . . .
2K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootFromOthers
On this page we speculate about how one could start with various simple machine paradigms and make them . . .
2K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootGuiNotes1
" For example, in Tcl/Tk (which combines the Tcl language with a tool kit for building graphical interfaces), . . .
21K - last updated 2023-02-19 02:16 UTC by BayleShanks
proj-oot-ootHandler
message handling as a generalization of exception handling: * the handler tree can have parallel branches . . .
3K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootHaskellStuff
This page is not a coherent topic, just a list of things i saw from the Haskell community that i want . . .
2K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootHistory
Starting in grade school i learned a bunch of programming languages. Eventually i went to grad school . . .
8K - last updated 2014-10-31 18:25 UTC by BayleShanks
proj-oot-ootHtml5
Oot intends, among other things, to create a [Self:notes-computer-oot-ootLearnToProgram learn-to-program . . .
2K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootHtml5Basic
since Oot won't be ready until the far future if ever, unlike most projects, i think it's safe to assume . . .
3K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootHtml5BasicNotes1
below i've appending my June 2014 test results for an HTML5 test suites for two browsers on my Android . . .
12K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootHtml5Notes1
-- probably should have an HTML5 version first, see http://wiki.scratch.mit.edu/wiki/Scratch_on_Tablets . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootIdeAPI
ramchip 747 days ago | link You're right about Emacs+Slime being nice for CL, but I don't think Emacs . . .
1K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootIdeNotes1
table 5 of On the Syllogistic Structure of Object-Oriented Programming has a list of queries on OOP stuff . . .
45K - last updated 2018-05-06 00:59 UTC by BayleShanks
proj-oot-ootIdeNotes2
" Why are programming environments still so primitive? In different ways, Mathematica, Genera, and Smalltalk . . .
56K - last updated 2023-12-11 03:14 UTC by BayleShanks
proj-oot-ootIdiomaticNotes1
use classes only to encapsulate state and choice of representation, and use class methods only to provide . . .
1K - last updated 2020-12-22 09:54 UTC by BayleShanks
proj-oot-ootImplementation
Oot will be implemented in 4 stages. First, it will be implemented in Oot. Although this implementation . . .
2K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootImplementation3
see also OotMemoryManagement "separate heap per lightweight process (hence no stop-the-world GC)," how . . .
1K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
71K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootImplementationNotes2
how are we going to reconcile our requirement that the main interpreter/compiler be canonical with our . . .
66K - last updated 2017-09-20 08:10 UTC by BayleShanks
proj-oot-ootImplementationNotes3
(Simon Marlow on GHC:) simonmar on Sept 4, 2010 [-] Oh yes, immutability is crucial. Generational GC . . .
91K - last updated 2023-12-11 03:18 UTC by BayleShanks
proj-oot-ootImplementationNotes4
" this test by Alexander Medvednikov, the creator of the V programming language. This is a test of compiling . . .
36K - last updated 2023-12-11 03:15 UTC by BayleShanks
proj-oot-ootImplementationThoughts
let's use something similar to the nanopass compiler framework: https://github.com/akeep/nanopass-framework/blob/master/doc/user-guide.pdf?raw=true . . .
11K - last updated 2021-07-11 23:13 UTC by BayleShanks
proj-oot-ootInspirations
== Typing == not the languages which invented these things, just the ones which inspired me: * Haskell . . .
4K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootInterop
See also ootFfi It should be easy to take an existing program written in, say, C or Python, one which . . .
7K - last updated 2015-06-18 07:24 UTC by BayleShanks
proj-oot-ootInteropNotes1
re: go: "In addition, interacting with popular libraries (such as libsdl or even OpenGL) that use thread-local . . .
57K - last updated 2017-07-30 04:44 UTC by BayleShanks
proj-oot-ootInteropNotes2
"JNA- and ctypes-like FFI is convenient, there is no doubt about it. But making it the default way to . . .
51K - last updated 2023-12-11 03:15 UTC by BayleShanks
proj-oot-ootIrrelevantNotes
http://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootLazy
oot lazy design questions: * do we need full laziness, like in Haskell, or is a core library focus on . . .
8K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootLazyNotes1
-- consider a strictness analyzer which is conservative in that it marks functions as 'maybe strict . . .
71K - last updated 2015-02-03 21:05 UTC by BayleShanks
proj-oot-ootLazyNotes2
should laziness only apply to pure things? eg if a function has side-effects, should its output always . . .
14K - last updated 2019-07-04 23:21 UTC by BayleShanks
proj-oot-ootLearnToProgram
I fondly remember that when i was a child, my dad's Apple //c computer came with a bunch of disks, one . . .
6K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootLearnToProgramNotes1
--- when i went to http://scratch.mit.edu/projects/editor/?tip_bar=getStarted , there is a tutorial where . . .
74K - last updated 2023-12-11 03:27 UTC by BayleShanks
proj-oot-ootLevels
i have this idea that Oot should have 'levels' and that the semantics of the language should be similar . . .
5K - last updated 2016-08-19 19:24 UTC by BayleShanks
proj-oot-ootLevelsNotes1
an example of the 'levels' concept is the difference between a view of the graph of the file directories . . .
7K - last updated 2016-08-19 08:17 UTC by BayleShanks
proj-oot-ootLibraries
7 tiers of library standardization: * base: the base library is implicitly imported into every Oot program. . . .
16K - last updated 2017-01-30 11:40 UTC by BayleShanks
proj-oot-ootLibrariesNotes1
"(Is Urbit German? Sadly, no. But all our noun print formats are URL-safe, which dot is and comma isn’t.)" . . .
41K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootLibrariesNotes10
functions and libraries etc should come with at least a little bit of semantic labels, e.g. data race . . .
72K - last updated 2020-08-17 22:51 UTC by BayleShanks
proj-oot-ootLibrariesNotes11
https://sneklang.org/doc/snek.html has, among other things, the following curses functions: 16. Curses . . .
51K - last updated 2020-12-16 23:35 UTC by BayleShanks
proj-oot-ootLibrariesNotes12
http://shellhaters.org/ --- if malloc rounds up the space it allocates for you, then there should be . . .
66K - last updated 2021-06-29 15:17 UTC by BayleShanks
proj-oot-ootLibrariesNotes13
--- " Math functions For many years, users literally begged SQLite devs to add basic functions like . . .
41K - last updated 2022-05-01 04:31 UTC by BayleShanks
proj-oot-ootLibrariesNotes14
https://github.com/millsp/ts-toolbelt rec. by https://news.ycombinator.com/item?id=23122438 --- rozab . . .
57K - last updated 2022-12-08 22:57 UTC by BayleShanks
proj-oot-ootLibrariesNotes15
https://github.com/jerryscript-project/iotjs/tree/master/docs/api --- --- on 'sleep' and related syscalls: . . .
56K - last updated 2023-12-11 03:18 UTC by BayleShanks
proj-oot-ootLibrariesNotes16
"Pathlib is an interesting one. It even has a correspondence table [1]. The introduction of pathlib made . . .
7K - last updated 2023-12-11 03:51 UTC by BayleShanks
proj-oot-ootLibrariesNotes2
i'm not quite sure how to divide up the core/bundled/recommended libraries. At the one extreme, we have . . .
89K - last updated 2015-12-21 22:12 UTC by BayleShanks
proj-oot-ootLibrariesNotes3
--- lua libs/frameworks/etc: https://love2d.org/ https://github.com/kikito/middleclass (oop) https://github.com/mikelovesrobots/lua-enumerable . . .
97K - last updated 2016-12-12 14:58 UTC by BayleShanks
proj-oot-ootLibrariesNotes4
--- i guess we should at least have something like this: https://github.com/zeit/micro --- inglor 10 . . .
70K - last updated 2016-10-22 19:45 UTC by BayleShanks
proj-oot-ootLibrariesNotes5
rdtsc 12 hours ago [-] > Implement backpressure throughout your system. This is a subtle one and . . .
34K - last updated 2017-02-08 00:31 UTC by BayleShanks
proj-oot-ootLibrariesNotes6
AsyncAwait 1 day ago [-] > a lot of the modules I picked for my projects in Rust are not actively . . .
53K - last updated 2017-09-12 01:26 UTC by BayleShanks
proj-oot-ootLibrariesNotes7
https://github.com/Majoolr/ethereum-libraries?files=1 --- https://github.com/Majoolr/ethereum-libraries/tree/master/BasicMathLib . . .
61K - last updated 2017-12-10 09:57 UTC by BayleShanks
proj-oot-ootLibrariesNotes8
" 1. Learn Key Syscalls You should know what the following 12 key system calls do, which you'll see . . .
40K - last updated 2018-03-12 06:14 UTC by BayleShanks
proj-oot-ootLibrariesNotes9
" 6/30/10 stupid idea 247: worlds smallest vector maths library Here is a tiny 3d vector maths library: . . .
37K - last updated 2019-11-02 16:09 UTC by BayleShanks
proj-oot-ootLibrariesThoughts
"say" instead of "print" (it's shorter) "say" autocoerces to string (includes a call to conv2str/str()/Python . . .
3K - last updated 2019-11-02 16:07 UTC by BayleShanks
proj-oot-ootLiveCodingNotes1
http://en.wikipedia.org/wiki/Live_coding -- http://yaxu.org/tidal/ https://github.com/yaxu/Tidal/blob/master/doc/tidal.md . . .
10K - last updated 2017-10-18 07:58 UTC by BayleShanks
proj-oot-ootLogicNotes1
I guess if we are doing 'RDFt' we should generalize this to add other modifiers (qualifiers and quantitiers, . . .
52K - last updated 2023-02-19 02:21 UTC by BayleShanks
proj-oot-ootLogicThoughts
--- i want the programmer to be able to alter data by making an declarative assertion using ontologies/logic, . . .
5K - last updated 2015-09-28 00:09 UTC by BayleShanks
proj-oot-ootLovmNotes1
can we/should we allow CALL3 to have INOUT operands? 2 of them or all 3? maybe CALL3 via just pushing . . .
100K - last updated 2020-11-26 08:21 UTC by BayleShanks
proj-oot-ootLovmNotes2
if we have smallstacks, then i feel like we're not making enough use of the potential for smallstacks . . .
49K - last updated 2022-08-22 04:26 UTC by BayleShanks
proj-oot-ootLovmThoughts
opaque activation records but primitives provided to manipulate them arbitrarily including to get a pointer . . .
2K - last updated 2020-12-16 23:32 UTC by BayleShanks
proj-oot-ootLowEndTargets
Wouldn't it be interesting if Oot could be a good choice for embedded systems too? This is not one of . . .
89K - last updated 2014-11-21 21:23 UTC by BayleShanks
proj-oot-ootLowEndTargetsNotes2
--- https://www.spark.io/ STM32F103 microcontroller ARM Cortex M3 architecture 32-bit 72Mhz processor . . .
72K - last updated 2014-11-21 21:20 UTC by BayleShanks
proj-oot-ootLowLevel
allow 'new' and 'delete' for optional manual memory management . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootLowLevelNotes1
== Oot low-level toreads == * https://en.wikipedia.org/wiki/Sing_Sharp . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootMainCore
Part of [Self:proj-oot-ootMainDetails Oot Details]. Read [Self:proj-oot-oot Oot] first. TODO: mb rename . . .
6K - last updated 2016-01-01 19:29 UTC by BayleShanks
proj-oot-ootMainDetails
Read [Self:proj-oot-oot Oot] first. = Details of Oot = In these sections, we try not to repeat what was . . .
4K - last updated 2015-08-15 20:18 UTC by BayleShanks
proj-oot-ootMainImplementation
compiler warning (or scripting level requirement) if anything is REdefined with a macro (esp. if it's . . .
1K - last updated 2015-09-14 15:55 UTC by BayleShanks
proj-oot-ootMainSemantics
Part of [Self:proj-oot-ootMainDetails Oot Details]. Read [Self:proj-oot-oot Oot] first. === Invalid behavior . . .
8K - last updated 2016-08-12 23:38 UTC by BayleShanks
proj-oot-ootMainStdlib
Part of [Self:proj-oot-ootMainDetails Oot Details]. Read [Self:proj-oot-oot Oot] first. == Details of . . .
4K - last updated 2016-12-18 12:26 UTC by BayleShanks
proj-oot-ootMainSyntax
Part of [Self:proj-oot-ootMainDetails Oot Details]. Read [Self:proj-oot-oot Oot] first. == Details of . . .
59K - last updated 2023-12-11 03:28 UTC by BayleShanks
proj-oot-ootMathAssistantNotes1
what can oot learn from computer algebra and theorem-proving systems? -- Computer algebra systems get . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootMemoryManagement
GC: precise, incremental (or mb concurrent), soft real-time maybe like Inferno's (hybrid with refcounting) . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootMemoryManagementNotes1
-- Python has reference counting, which frees most memory immediately as soon as it can be, but which . . .
72K - last updated 2016-10-30 06:37 UTC by BayleShanks
proj-oot-ootMemoryManagementNotes2
" Brad Abrams posted an e-mail from Brian Harry written during development of the .Net framework. It . . .
61K - last updated 2021-12-15 08:06 UTC by BayleShanks
proj-oot-ootMemoryManagementNotes3
sources of GC latency in golang, from https://tip.golang.org/doc/gc-guide : " Brief stop-the-world pauses . . .
64K - last updated 2023-02-19 02:23 UTC by BayleShanks
proj-oot-ootMemoryManagementThoughts
- consider giving up on cycle-detection in the presence of concurrency and/or in the presence of pinned . . .
3K - last updated 2022-08-30 05:55 UTC by BayleShanks
proj-oot-ootMetaprogramming
== oot metaprogramming design todos == * is the (parsed but) uncompiled AST sometimes available to runtime . . .
9K - last updated 2016-09-03 04:34 UTC by BayleShanks
proj-oot-ootMetaprogrammingNotes1
---- this blog post claims that haskell obsoletes lisp macros, b/c you only need macros to avoid evaluating . . .
50K - last updated 2015-06-21 09:40 UTC by BayleShanks
proj-oot-ootMetaprogrammingNotes2
http://stackoverflow.com/questions/tagged/homoiconicity --- " You might already have a language in mind . . .
85K - last updated 2021-07-24 20:29 UTC by BayleShanks
proj-oot-ootMetaprogrammingNotes3
Hi, hope all is well in North Carolina! I was wondering if you would be able to make an email-introduction . . .
64K - last updated 2021-07-24 20:38 UTC by BayleShanks
proj-oot-ootMetaprogrammingNotes4
oldiob on April 14, 2020 [–] Is the committee planning on working on the preprocessor? I don't see . . .
21K - last updated 2023-12-11 03:31 UTC by BayleShanks
proj-oot-ootMmo
There are lots of competing MMO architectures. We don't want to make another one, and we don't want . . .
2K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootMmoNotes1
" Under the hood, Croquet is based on a protocol called TeaTime?, which keeps multiple servers in synch . . .
5K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootModule
== oot module design principals == ==== the language should protect you from your coworkers ==== * you . . .
3K - last updated 2016-08-09 09:13 UTC by BayleShanks
proj-oot-ootModuleNotes1
http://skilpat.tumblr.com/post/9411500320/a-modular-package-language-for-haskell -- " nadaviv 1 day ago . . .
53K - last updated 2022-12-08 22:57 UTC by BayleShanks
proj-oot-ootModuleThoughts
if a later import statement would overwrite an existing symbol, the later statement must say whether . . .
3K - last updated 2018-03-01 01:28 UTC by BayleShanks
proj-oot-ootNames
mb a name for the Oot bootstrap code: ootstrap base simple core . . .
1K - last updated 2020-10-16 03:47 UTC by BayleShanks
proj-oot-ootNaturalLanguageNotes1
what do people talk about in human languages? not so much algorithm specification, but rather, just passing . . .
41K - last updated 2019-03-17 23:17 UTC by BayleShanks
proj-oot-ootNaturalLanguageThoughts
== oot natural language toreads == == assembly == what does a typical assembly instruction sound like . . .
2K - last updated 2015-02-13 05:58 UTC by BayleShanks
proj-oot-ootNet
oot graphs are like property graphs, with the perspective allowing one to rotate properties into vs. . . .
4K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootNetMatching
need a way to express transitivity requirement --- hmm... i think perhaps there is an even broader abstraction . . .
2K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
154K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootNotes1
mb give up on node labels and just have node labels be references but have have a mechanism to make namespaces . . .
156K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootNotes10
Lua closures vs OOP object instances vs Haskell partially applied functions (vs clojure closures) --- . . .
116K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootNotes11
potentially interesting search (though maybe not): https://www.google.com/search?q=cons+concatenate+lift+elementwise&ie=utf-8&oe=utf-8&aq=t&rls=org.mozilla:en-US:official . . .
57K - last updated 2018-03-04 08:57 UTC by BayleShanks
proj-oot-ootNotes12
in oot, w/o baking in a single message bus implementaioh, can we have a std optional language for wheether . . .
80K - last updated 2015-04-04 00:15 UTC by BayleShanks
proj-oot-ootNotes13
https://wizardsofsmart.wordpress.com/2015/03/19/web-apis-vs-rpc/ --- django release discussion: " bebop . . .
92K - last updated 2015-07-10 18:19 UTC by BayleShanks
proj-oot-ootNotes14
---- lisper 1 day ago One cool thing about Lisp is that you can easily embed new languages in it, and . . .
63K - last updated 2015-07-31 22:39 UTC by BayleShanks
proj-oot-ootNotes15
---- " things rust shipped without Jul. 3rd, 2015 08:26 am graydon2: (Default) [personal profile] graydon2 . . .
50K - last updated 2015-11-12 23:03 UTC by BayleShanks
proj-oot-ootNotes16
--- comments on [http://etodd.io/2015/09/28/one-weird-trick-better-code/ an article] whose summary is . . .
52K - last updated 2016-02-16 01:13 UTC by BayleShanks
proj-oot-ootNotes17
--- one thing to do is to look at frequent words and patterns in existing code corpora in order to see . . .
102K - last updated 2016-05-15 21:34 UTC by BayleShanks
proj-oot-ootNotes18
" Sista is an adaptive optimizer using speculative inlining that is implemented entirely in Smalltalk, . . .
64K - last updated 2016-06-21 23:09 UTC by BayleShanks
proj-oot-ootNotes19
for soft-realtime, eg audio, can't block. So ppl want to avoid garbage-collected languages [https://news.ycombinator.com/item?id=11908849]. . . .
64K - last updated 2016-08-27 09:53 UTC by BayleShanks
proj-oot-ootNotes2
---- auto conversion would be nice. for example, you should be able to tag a value as a "log return" . . .
104K - last updated 2020-05-21 09:43 UTC by BayleShanks
proj-oot-ootNotes20
Notes on an article "Why is Python slow?" and on a related presentation and on the HN discussion about . . .
72K - last updated 2016-07-27 09:08 UTC by BayleShanks
proj-oot-ootNotes21
" The ubiquitous understanding that templates and variadic templates will produce much faster assembly . . .
67K - last updated 2016-08-26 17:08 UTC by BayleShanks
proj-oot-ootNotes22
this guy has one of the only pages that lists both of the libraries state-threads and libmill, both goroutine-like . . .
75K - last updated 2016-09-03 00:00 UTC by BayleShanks
proj-oot-ootNotes23
golang has: select { case ch1 <- 0: print(0) case ch1 <- 1: print(1) case ch2 <- 2: print(2) . . .
56K - last updated 2017-01-30 11:51 UTC by BayleShanks
proj-oot-ootNotes24
haspok 2 days ago [-] One thing that is completely missing from the Erlang side of the article are the . . .
77K - last updated 2017-04-01 09:19 UTC by BayleShanks
proj-oot-ootNotes25
CaveTech 15 hours ago [-] PHP is stateless. You don't get to keep connections across requests. reply . . .
63K - last updated 2017-09-26 19:19 UTC by BayleShanks
proj-oot-ootNotes26
http://editorconfig.org/ --- " There's a huge productivity boost in just the fact that your development . . .
52K - last updated 2017-09-12 01:10 UTC by BayleShanks
proj-oot-ootNotes27
rthomas6 4 hours ago [-] One "non-programmer" perspective here: Python is the new Perl, except it's . . .
56K - last updated 2017-11-13 09:55 UTC by BayleShanks
proj-oot-ootNotes28
very interesting slides on in-memory computation: http://web.stanford.edu/class/ee380/Abstracts/171108-slides.pdf . . .
43K - last updated 2021-12-15 08:05 UTC by BayleShanks
proj-oot-ootNotes29
the following articles talks about various vulnerabilities in common dev practices that we should fix/watch/discourage: . . .
73K - last updated 2018-02-26 10:44 UTC by BayleShanks
proj-oot-ootNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2022-02-12 16:49 UTC by BayleShanks
proj-oot-ootNotes30
--- i guess besides having stuff like PSET for good "zero to pixel" for beginners, we should also aim . . .
69K - last updated 2018-05-14 00:59 UTC by BayleShanks
proj-oot-ootNotes31
[http://lucumr.pocoo.org/2018/3/31/you-cant-rust-that/] " Things Move The biggest difference between . . .
58K - last updated 2018-05-13 12:33 UTC by BayleShanks
proj-oot-ootNotes32
https://github.com/8l/cc500 " cc500 CC500: a tiny self-hosting C compiler http://homepage.ntlworld.com/edmund.grimley-evans/cc500/ . . .
50K - last updated 2018-05-22 08:58 UTC by BayleShanks
proj-oot-ootNotes33
kccqzy 1 day ago [-] One of the coolest things I've seen is to use Prolog with CLP(FD) to solve the . . .
62K - last updated 2018-10-07 07:41 UTC by BayleShanks
proj-oot-ootNotes34
kragen 2 hours ago [-] > In chapter 4, you write your own Lisp interpreter. If they had chosen C++, . . .
63K - last updated 2019-02-02 19:40 UTC by BayleShanks
proj-oot-ootNotes35
1) as long as we are pulling all that cable, let's pull 4 extras. Also, could we do cat6 instead of cat5? . . .
52K - last updated 2019-05-20 01:16 UTC by BayleShanks
proj-oot-ootNotes36
soapdog 1 day ago [-] Tell us more about your books. I'm addicted to scheme books :-) Also, what made . . .
57K - last updated 2019-11-02 15:52 UTC by BayleShanks
proj-oot-ootNotes37
abiro 1 day ago [-] PSA: porting an existing application one-to-one to serverless almost never goes . . .
92K - last updated 2020-09-09 08:11 UTC by BayleShanks
proj-oot-ootNotes38
https://github.com/nesbox/TIC-80 has 80k of RAM and accepts 64k of user code of any of: Lua, Moonscript, . . .
83K - last updated 2021-07-06 09:15 UTC by BayleShanks
proj-oot-ootNotes39
--- kaba0 7 hours ago [–] > For example properties are relatively easy to implement, but instead . . .
53K - last updated 2021-12-15 08:00 UTC by BayleShanks
proj-oot-ootNotes3 2
--- " mattj 6 hours ago | link So the issue here is two-fold: - It's very hard to do 'intelligent routing' . . .
162K - last updated 2015-02-06 01:06 UTC by BayleShanks
proj-oot-ootNotes4
huh, this looks very general, clean, and like the keywordish relations that i've been looking for: http://www.lshift.net/blog/2010/12/22/conditional-statements-the-lambda-calculus-and-earlylate-binding . . .
52K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootNotes40
" Integer representation – two’s complement Floating point – IEEE 754 Power-of-two byte/word sizes . . .
58K - last updated 2022-08-22 04:35 UTC by BayleShanks
proj-oot-ootNotes41
draft What are some global properties of programs/programming languages to consider during programming . . .
29K - last updated 2023-12-11 03:19 UTC by BayleShanks
proj-oot-ootNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootNotes6
https://www.semipublic.comp-arch.net/wiki/Bad,_Good,_and_Middling_Ideas_in_Computer_Architecture https://www.semipublic.comp-arch.net/wiki/Design_Principles_and_Rules_of_Thumb . . .
38K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootNotes7
https://blog.heroku.com/archives/2014/3/11/node-habits -- probs with Django ORM: https://speakerdeck.com/alex/why-i-hate-the-django-orm . . .
102K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootNotes8
orthecreedence 3 days ago | link Common Lisp guy gonna chime in here...having a REPL that integrates . . .
94K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootNotes9
a few insights i've had recently: * multi-dimensional dataframes are like keywords are like hyperedges; . . .
68K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootNotesFiltered1
notes removed from ootNotes* that i dont want to forget: ---- http://lambda-the-ultimate.org/node/4592 . . .
2K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootNumerology
== powers of 2 == --- what bit width for various things? 64-bit is a commonly used width according to . . .
59K - last updated 2020-11-26 08:22 UTC by BayleShanks
proj-oot-ootOldMain
This is old. Read [proj-oot-oot] instead. = OLD, OUT OF DATE: the oot programming language (under construction) . . .
97K - last updated 2015-08-15 17:13 UTC by BayleShanks
proj-oot-ootOntologicalConcepts
time event actor: an entity that can take actions send, receive: actions that pass something from one . . .
1K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootOop
functions of OOP: * inheritance (reuse and override code, mixins allowing a data API to be built from . . .
7K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
64K - last updated 2017-07-28 00:45 UTC by BayleShanks
proj-oot-ootOopNotes2
" Go is “OO-ish” with its use of interfaces — interfaces are basically duck typing for your structs . . .
48K - last updated 2023-12-11 03:22 UTC by BayleShanks
proj-oot-ootOopThoughts
in Oot, OOP should for the most part be encouraged only when you are (a) encapsulating the representation . . .
3K - last updated 2018-11-05 18:20 UTC by BayleShanks
proj-oot-ootOperationsNotes1
" > And function overloading adds another layer of complexity and ambiguity. Overloading is a separate . . .
1K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootOsNotes1
from time to time i feel the need to notes on ppl's opinions of how OSs could be made simpler. Oot isn't . . .
16K - last updated 2016-09-14 15:08 UTC by BayleShanks
proj-oot-ootOvmNotes1
see also ootVm.txt; that file is older and needs to be integrated into the list in the following section . . .
76K - last updated 2019-12-27 12:20 UTC by BayleShanks
proj-oot-ootOvmNotes2
see also ootVm.txt; that file is older and needs to be integrated into this series --- we really should . . .
91K - last updated 2023-12-11 03:24 UTC by BayleShanks
proj-oot-ootOvmThoughts
CAP register --- . . .
1K - last updated 2020-11-26 08:41 UTC by BayleShanks
proj-oot-ootPackagingNotes1
(mostly moved to [Self:proj-oot-plChToolingImpl] --- " The one thing I wish it had would be that your . . .
96K - last updated 2018-10-16 11:50 UTC by BayleShanks
proj-oot-ootPackagingNotes2
" Ensuring Reproducible Builds with the Cargo.lock File Cargo has a mechanism that ensures you can rebuild . . .
45K - last updated 2023-12-11 03:30 UTC by BayleShanks
proj-oot-ootPackagingThoughts
See this thread from Hacker News on the lack of canonical best practices for use of packaging/deployment . . .
3K - last updated 2017-10-16 19:15 UTC by BayleShanks
proj-oot-ootPatternNotes1
Graph regexes should allow, at each step, any program without backwards jumps (this is similar to just . . .
3K - last updated 2018-10-22 23:09 UTC by BayleShanks
proj-oot-ootPatternThoughts
clojure's :as e.g. (defn make-rectangle [[p1 p2 p3 p4 :as vertices]] (let [a (distance p1 p2) b (distance . . .
3K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootPatterns
== Oot pattern design todos == * design patterns . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootPlugInArchitectureThoughts
the plug-in architecture should not create a global registry of events/signals/extension points, etc. . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootPointerNotes1
plan 9 has something equivalent to aliases via bind, in contrast to symlinks which are equivalent to . . .
1K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootPrincipals
* Syntax is for grouping and for ; standard control flow constructs do not belong in basic language syntax, . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootProject
BSD or MIT-style license amendable code with pietrust reputation system to propose changes and to canonicalize . . .
1K - last updated 2015-06-24 02:34 UTC by BayleShanks
proj-oot-ootRoots
This page is for me to try to distill Oot down to its 'big ideas', and also for me to identify what should . . .
2K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootRosettaCandidates
grep in clojure from slide 16 of https://speakerd.s3.amazonaws.com/presentations/2471a370b3610130440476a0f7eede16/2013-05-17-ClojureOOP-Geecon.pdf . . .
3K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-ootRunNotes1
-regex command to just apply a regex to a file (or mb -match, -replace, -search) . . .
1K - last updated 2015-02-06 01:07 UTC by BayleShanks
proj-oot-ootSafetyNotes1
"Swift eliminates entire classes of unsafe code. Variables are always initialized before use, arrays . . .
21K - last updated 2021-06-29 15:13 UTC by BayleShanks
proj-oot-ootSandboxNotes1
http://lua-users.org/wiki/SandBoxes ---- http://stackoverflow.com/questions/4011260/sandbox-jvm-to-secure-server-from-untrusted-sources . . .
3K - last updated 2015-07-01 01:01 UTC by BayleShanks
proj-oot-ootScopeNotes1
are semiglobals like these?: http://docs.racket-lang.org/srfi-std/srfi-39.html --- in order to make semiglobals . . .
7K - last updated 2015-03-01 23:18 UTC by BayleShanks
proj-oot-ootSemantic
look at docs for logic programming languages and semantic web tools for examples of things that mb could . . .
1K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootSemanticNotes1
http://webintents.org/ -- should be able to specify 'goals', e.g. this stochastic gradient descent subroutine's . . .
1K - last updated 2014-10-30 22:18 UTC by BayleShanks
proj-oot-ootSemanticVocabulary
Perhaps a programming language should also be a language. Towards this, Oot defines words to represent . . .
2K - last updated 2015-04-01 20:57 UTC by BayleShanks
proj-oot-ootSpreadsheetNotes1
how can Oot reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
63K - last updated 2015-03-04 07:55 UTC by BayleShanks
proj-oot-ootSpreadsheetNotes2
some spreadsheet pros and cons: pros: " Spreadsheets have a largely nonsymbolic representation of programs. . . .
55K - last updated 2023-12-11 03:49 UTC by BayleShanks
proj-oot-ootState
== Design todos == how to reconcile the not wanting hidden aliasing with wanting properties? . . .
1K - last updated 2014-12-19 01:20 UTC by BayleShanks
proj-oot-ootStateNotes1
-- if you take a descendent of the root node, and put it in its own variable, but if you change that . . .
41K - last updated 2016-07-27 22:34 UTC by BayleShanks
proj-oot-ootStringNotes1
upvote rspeer 1 day ago | link The thing I'm looking forward to in Python 3.4 is that you should be . . .
59K - last updated 2022-08-22 04:36 UTC by BayleShanks
proj-oot-ootStringThoughts
== Should strings be bytes or unicode? == There are three typical choices: * (1) strings are arrays of . . .
6K - last updated 2015-12-21 22:16 UTC by BayleShanks
proj-oot-ootSyntax
The lexical syntax is defined by regular expressions. The parse syntax is LL(1). Almost everything which . . .
6K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
43K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootSyntaxNotes10
" shadowofneptune 1 day ago | parent | prev | next [–] The same information can be communicated in . . .
55K - last updated 2023-12-11 03:16 UTC by BayleShanks
proj-oot-ootSyntaxNotes11
~ h3rald 20 hours ago (unread) | link | flag | Ohhh! Another concatenative programming language! I am . . .
10K - last updated 2023-12-11 03:30 UTC by BayleShanks
proj-oot-ootSyntaxNotes2
we want to be able to declare some functions as associative, etc. Perhaps it would be best if, just like . . .
51K - last updated 2015-06-06 21:07 UTC by BayleShanks
proj-oot-ootSyntaxNotes3
might want a syntax for 'apply this code transformation with the scope of this entire function'. Eg might . . .
46K - last updated 2016-01-30 00:56 UTC by BayleShanks
proj-oot-ootSyntaxNotes4
i found this little Hoon example a persuasive argument towards having some basic constructs have punctuation . . .
45K - last updated 2016-07-23 06:21 UTC by BayleShanks
proj-oot-ootSyntaxNotes5
J is another language that has _3 instead of -3 (and % for division instead of /) arg, mb we should just . . .
43K - last updated 2017-01-25 00:08 UTC by BayleShanks
proj-oot-ootSyntaxNotes6
lmm 1 day ago [-] I genuinely prefer n = if expr trueVal else falseVal (which is what e.g. Scala does) . . .
39K - last updated 2018-01-03 16:32 UTC by BayleShanks
proj-oot-ootSyntaxNotes7
from Rust: pub(crate) bar; means that 'bar' is public, but only within the current crate. " You can also . . .
41K - last updated 2019-05-03 18:49 UTC by BayleShanks
proj-oot-ootSyntaxNotes8
In [http://xahlee.info/comp/computer_language_char_distribution.html], you see that for Python, () is . . .
41K - last updated 2020-10-16 03:44 UTC by BayleShanks
proj-oot-ootSyntaxNotes9
"It is beyond me why C thought to introduce octal and hexadecimal but not binary in their literal syntax; . . .
50K - last updated 2022-12-08 22:54 UTC by BayleShanks
proj-oot-ootSyntaxTable
== CURRENT BEST GUESS SYNTAX == syntax (ordered by approximate descending ease of typing): a/b/c: infix, . . .
12K - last updated 2017-02-26 23:29 UTC by BayleShanks
proj-oot-ootSyntaxTableOld
== CURRENT BEST GUESS SYNTAX == note this is rather out of date, i just copied from oot.txt syntax (ordered . . .
9K - last updated 2014-11-09 22:34 UTC by BayleShanks
proj-oot-ootSyntaxThoughts
want LL(1) at the high-level parsed via recursive descent, plus Pratt parsing (or shunting yard, but . . .
114K - last updated 2023-12-11 03:18 UTC by BayleShanks
proj-oot-ootTeamNotes1
maybe we're fine with enforcable access modifiers as long as (a) the language allows binary interoperation . . .
1K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootTeamThoughts
because someone once said "...I dislike Java as a teaching language: having to tell people "don't worry . . .
1K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootThoughts
it's annoying how in Python 2, 3/2 == 1 (b/c integer division is used). in Python 3 this is corrected. . . .
9K - last updated 2022-01-04 01:50 UTC by BayleShanks
proj-oot-ootToReads
see also [Self:notes-computer-oot-ootToReadsCondensed] ==== higher priority / dont forget about these . . .
166K - last updated 2023-12-11 03:25 UTC by BayleShanks
proj-oot-ootToReadsAlreadyCopiedToPlBook
== Atscript == * https://docs.google.com/document/d/11YUzC-1d0V1-Q3V0fQ7KSit97HnZoKVygDxpWzEYW0U/mobilebasic?viewopt=127 . . .
2K - last updated 2015-02-20 01:27 UTC by BayleShanks
proj-oot-ootToReadsCondensed
see also [Self:notes-computer-oot-ootToReads] == categorized list of some languages to learn/study == . . .
35K - last updated 2023-12-11 03:31 UTC by BayleShanks
proj-oot-ootToReadsFrameworks
= Microservice frameworks = * [https://twitter.github.io/finagle/ twitter's finagle microservice] ** . . .
24K - last updated 2017-01-12 11:09 UTC by BayleShanks
proj-oot-ootTodos
= Introduction = See also: * ootDesignTodos * ootToReads * ootToReadsCondensed (programming languages) . . .
8K - last updated 2022-08-22 04:30 UTC by BayleShanks
proj-oot-ootTour
= Tour of Oof features = todo This purpose of this tour is to show you the distinctive features of Oot. . . .
1K - last updated 2015-08-15 20:19 UTC by BayleShanks
proj-oot-ootTutorial
= Oot Tutorial = "New languages are always claimed to be “simple” and to become useful in a wider . . .
2K - last updated 2015-09-23 23:23 UTC by BayleShanks
proj-oot-ootType
== toread == erlang success types: http://www.it.uu.se/research/group/hipe/papers/succ_types.pdf http://user.it.uu.se/~tobiasl/publications/contracts.pdf . . .
10K - last updated 2020-09-09 08:16 UTC by BayleShanks
proj-oot-ootTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2016-02-06 00:03 UTC by BayleShanks
proj-oot-ootTypeNotes10
https://gist.github.com/graninas/22ab535d2913311e47a742c70f1d2f2b/c4e1b25cefe673a0c1d1bec4c24690121f31fa21 . . .
91K - last updated 2023-12-11 03:20 UTC by BayleShanks
proj-oot-ootTypeNotes2
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
79K - last updated 2022-02-12 16:55 UTC by BayleShanks
proj-oot-ootTypeNotes3
-- http://www.quora.com/What-are-the-most-common-type-inference-algorithms-in-use-today " Jesse Tov, . . .
112K - last updated 2016-02-05 23:59 UTC by BayleShanks
proj-oot-ootTypeNotes4
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
58K - last updated 2016-02-18 04:44 UTC by BayleShanks
proj-oot-ootTypeNotes5
"2. Generics (both types and immutable constraints), I think C++1z has the right approach to this (and . . .
74K - last updated 2017-01-04 04:31 UTC by BayleShanks
proj-oot-ootTypeNotes6
if 'array' is a type constructor (eg if Array(Int), or Array Int to use the Haskell syntax, is an array . . .
61K - last updated 2018-02-23 00:54 UTC by BayleShanks
proj-oot-ootTypeNotes7
[https://tech.channable.com/posts/2017-02-24-how-we-secretly-introduced-haskell-and-got-away-with-it.html] . . .
64K - last updated 2018-10-22 23:12 UTC by BayleShanks
proj-oot-ootTypeNotes8
--- [http://reasonablypolymorphic.com/blog/protos-are-wrong/] " Protobuffers Are Wrong ... No Compositionality . . .
75K - last updated 2019-07-03 08:05 UTC by BayleShanks
proj-oot-ootTypeNotes9
mbell 6 days ago [-] I wonder what the reason for not supporting structural typing is. It seems like . . .
71K - last updated 2020-09-09 07:56 UTC by BayleShanks
proj-oot-ootTypeThoughts
Open issues list: * remember to read up on those problems with gradual typing (where it seemed like there . . .
10K - last updated 2020-09-09 07:55 UTC by BayleShanks
proj-oot-ootTypes
== Oot type design todos == * how does our extensible type system work? ==== toreads for this ==== * . . .
2K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootUiNotes1
http://archlinux.me/dusty/2012/10/16/python-on-android-first-impressions-of-kivy/ Kivy, pyQT, pyGTK,wxpython, . . .
1K - last updated 2014-10-30 22:14 UTC by BayleShanks
proj-oot-ootUndefinedBehaviorNotes1
--- flatfinger on April 15, 2020 [–] The difference between "Undefined behavior", as the term is used . . .
29K - last updated 2021-07-14 03:02 UTC by BayleShanks
proj-oot-ootUndefinedBehaviorThoughts1
So: - for low-level languages, we want to have UB (undefined behavior), b/c the goal is for them to be . . .
4K - last updated 2021-07-14 00:54 UTC by BayleShanks
proj-oot-ootVariadicFnsVsImplicitPartialApplication
see also [Self:notes-computer-programming-progammingLanguageDesign-prosandCons-variadicFnsVsImplicitPartialApplications]. . . .
8K - last updated 2014-10-30 22:16 UTC by BayleShanks
proj-oot-ootVariantImplementations
Stuff like quicksort, bubblesort, insertion sort are called 'variant implementations' in Oot because . . .
8K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-ootVerificationNotes1
--- eth formal verification swordswinger12 1 day ago The IC3 research group at Cornell, and especially . . .
36K - last updated 2017-12-15 23:08 UTC by BayleShanks
proj-oot-ootVerificationThoughts
some key verifications constructs: * requires (pre-condition) * ensures (post-condition) ** we could . . .
2K - last updated 2016-09-05 09:53 UTC by BayleShanks
proj-oot-ootViewNotes1
earlier, i thought that perhaps views should be restricted to algebraic/shape-based mappings between . . .
18K - last updated 2016-08-19 19:30 UTC by BayleShanks
proj-oot-ootViewThoughts
* if views are being used so that you can pass a data structure into something that sees only a projection . . .
7K - last updated 2016-03-23 23:39 UTC by BayleShanks
proj-oot-ootVirtualizationNotes1
by 'virtualization' i mean that i want the programmer to run an interpreter for another language on top . . .
4K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-ootVm
== Introduction and motivation == "Oot" has 3 well-defined compilation stages: Oot -> Oot Core -> . . .
59K - last updated 2016-03-23 23:46 UTC by BayleShanks
proj-oot-ootWhitespaceNotes
whitespace principals: * the presence or absence of whitespace is meaningful * the difference between . . .
14K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-oot slides
== Oot == presented by Bayle Shanks ---- == My background == * Favorite language Python * Think Haskell . . .
5K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-operators
== environments == () grouping [] data (arc labels are quoted but values are evaluated) ?[ ] quoted graph . . .
7K - last updated 2014-10-30 22:19 UTC by BayleShanks
proj-oot-principalTypesConsideredHarmful
example from http://en.wikibooks.org/wiki/Haskell/GADT {-#LANGUAGE GADTs, EmptyDataDecls #-} -- (the . . .
3K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2014-10-30 22:17 UTC by BayleShanks
proj-oot-textFromWheelerPpt
copied from http://www.dwheeler.com/secure-class/presentations/Secure-Software-10-Formal-Methods.ppt . . .
57K - last updated 2016-08-26 17:16 UTC by BayleShanks
proj-oot-typeSystem
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2014-10-30 22:15 UTC by BayleShanks
proj-oot-whyOot
The following, although written as present-tense facts, are in fact future hypothetical wishlist items! . . .
96K - last updated 2023-12-11 03:17 UTC by BayleShanks
proj-oot-whyOotDesignIdeas
stuff moved from whyOot --- An important kind of readability is 'skimmability'. Skimming can mean the . . .
33K - last updated 2022-06-15 01:18 UTC by BayleShanks
proj-oot-ww
-- toread++: https://speakerdeck.com/stilkov/clojure-for-oop-folks-how-to-design-clojure-programs toread . . .
5K - last updated 2015-06-19 04:33 UTC by BayleShanks
proj-plbook-plChAdministrationImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Administrative . . .
56K - last updated 2023-12-11 03:14 UTC by BayleShanks
proj-plbook-plChClrImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] For information about . . .
7K - last updated 2021-10-19 04:55 UTC by BayleShanks
proj-plbook-plChJvmImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] ==== Local variable . . .
10K - last updated 2023-12-11 02:50 UTC by BayleShanks
proj-plbook-plChLuaLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Lua = Because it . . .
22K - last updated 2023-12-11 02:50 UTC by BayleShanks
proj-plbook-plChPythonLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Python = Because . . .
75K - last updated 2023-12-11 03:09 UTC by BayleShanks
proj-plbook-plPartConcurrencyTodos
Should we separate this into a deterministic concurrency part and a non-deterministic concurrency part? . . .
45K - last updated 2022-12-08 22:44 UTC by BayleShanks
609 pages found.