goals-projectMomentum
== intro == I'm going to make a list of some projects. == major projects == * thesis: [http://work.bayleshanks.com . . .
6K - last updated 2014-06-28 01:34 UTC by BayleShanks
notes-ai-cogArch-cogArchIdeas
an autoassociative memory structure in which the pattern being associated is an 'animation', similar . . .
4K - last updated 2014-06-28 00:36 UTC by BayleShanks
notes-cog-ai-cogArch-cogArchIdeas
an autoassociative memory structure in which the pattern being associated is an 'animation', similar . . .
11K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-computer
* [Self:notes-computer-mutt mutt] * [Self:notes-computer-developingFacebookApps developingFacebookApps] . . .
7K - last updated 2021-10-19 06:16 UTC by BayleShanks
notes-computer--index
* [Self:notes-computer-mutt mutt] * [Self:notes-computer-developingFacebookApps developingFacebookApps] . . .
7K - last updated 2021-10-19 06:16 UTC by BayleShanks
notes-computer-jasper
* [Self:notes-computer-jasper-jasperScopeNotes1 jasperScopeNotes1] * [Self:notes-computer-jasper-jasperTypeNotes1 . . .
10K - last updated 2014-06-28 01:35 UTC by BayleShanks
notes-computer-jasper--index
* [Self:notes-computer-jasper-jasperScopeNotes1 jasperScopeNotes1] * [Self:notes-computer-jasper-jasperTypeNotes1 . . .
10K - last updated 2014-06-28 01:35 UTC by BayleShanks
notes-computer-jasper-concurrency
=== Concurrency ideas === ==== transactions ==== ==== futures ==== (see http://en.wikipedia.org/wiki/Future_%28programming%29) . . .
21K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-error
== exceptions == module interfaces must declare new types of exceptions? or must declare all thrown exceptions??? . . .
1K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-graphTechnicalNotes
= Technical notes on Jasper "graphs" = What we call "graphs" in Jasper is a type of value which are what . . .
4K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasper
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
98K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasper131027
i'd replace jasper.txt but i don't wanna read thru the old stuff right now, so: == syntax == commentary: . . .
12K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperArithmeticNotes1
" > map (^0) [0] 15:36:22 <lambdabot> [1] 15:36:24 <mar77a> NOOOOOOO 15:36:32 <mar77a> . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperAssemblyNotes1
note that MOV can accomplish loads and stores by having one operand be a register or stack, and another . . .
27K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperAssemblyOld1
== 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-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperAssemblyThoughts
not sure if this should be part of Jasper core or Jasper or not at all.. anyways i've been thinking about . . .
133K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperAttributes
standard perspectives and attributes: @meta: __get __get label = returns the target of the arc labeled . . .
4K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperBoundaries
* atomic marker * transaction marker * stream fusion marker? * monitor marker (only one copy of this . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperBrain
one of the original goals was to make a programming language which mirrored as much as possible the sort . . .
11K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperBrainNotes1
custom multiple flavors of indirect addressing like the types of meta connection to the RDF verb/hypergraphs? . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCalls
note: in Python, the default argument assignment is evaluated only once, not per call. If you pass something . . .
1K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperCapabilities
two types of capabilities: advisory and security. advisory capabilities can be overridden by debug code. . . .
2K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCapabilitiesNotes1
read stdio, write stdout, write stderr read/write other streams, files read/write/execute any file under . . .
3K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCommandline
* an argument switch to give code for 'oneliners' on the command line. One-liners execute like scripts, . . .
1K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperCommunityProcess
decisions about jasper will be made in a dictatorial style (BDFL), however like Python there is a structured . . .
1K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperCompilationPipeline
== Stages == user source filters -> scanner -> parser -> language reader macro application -> . . .
9K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCompiler
== jasper compiler design principals == also for the interpreter and runtime ---- * stack traces or similar . . .
15K - last updated 2014-06-28 01:30 UTC by BayleShanks
notes-computer-jasper-jasperCompilerErrorMessageNotes1
in Golang, if you end a file without either a newline or semicolon to terminate the last line of code, . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperCompilerNotes1
" I use Vim plugin called vim-godef. It is sort of like ctags, but better. It lets you jump to definition . . .
13K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperComponent
Jasper should make it easy to write software with a 'plug-in architecture', whatever that means. --- . . .
6K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperComponentsNotes1
dependencies between plugins? -- https://blog.nodejitsu.com/ioc-and-dependency-injection-with-broadway/ . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperConcurrency
== toread == http://kilby.stanford.edu/~rvg/352.html == misc == fork STM `par` parallel array types . . .
2K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperConcurrencyNotes1
https://developer.apple.com/library/ios/DOCUMENTATION/Cocoa/Conceptual/Multithreading/ThreadSafety/ThreadSafety.html . . .
84K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperConcurrencyThoughts
protothreads http://dunkels.com/adam/pt/ http://code.google.com/p/jetlang/ --- " [reply] Re: (OT) Programming . . .
19K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperConstraintLogic
--- the axis of hypothetical: from the point of view of the necessary, the actual is hypothetical. from . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperControl
--- named break and named continue -- . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperControlNotes1
i guess references mark bits of state that persist even if you invoke a continuation. -- we gotta do . . .
36K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCore
Jasper Core is an intermediate language (IL) for Jasper. Goals: * Bootstrapping Jasper: a small language . . .
9K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCoreNotes1
i like Parrot's custom bytecodes --- === types of memory barriers === load/load, load/store, store/load, . . .
30K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperCoreThoughts
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 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperCriteria
== Goals (high-level design criteria) == * Minimize the time it takes for an experienced Jasper programmer . . .
9K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperCriteriaNotes
" The success of C is largely due to its context-independence relative to other languages at the time: . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperData
see also jasperDataModes, jasperAttributes == data design todos == * queries: look at Linq, htsql, MDX, . . .
12K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperDataModes
* mutable * strictness * unique * clojure's ref vs agent vs atom? * ?? what else? -- should we have a . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperDataNotes1
== jasper data design todos == * representations may be related by a chain of transformations, not just . . .
57K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperDesignChoices
== High-level design criteria == In roughly descending order of importance to Jasper. === Turing completeness . . .
44K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperDesignTodos
=== Design todos === * change name? graphite? morphic? sapphire? metamorphic? garnet? jaspre? lapis? . . .
9K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperDevelopmentProcess
Initially (this part is an after-the-fact description): * features that we want for jasper, and motivating . . .
3K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperDifficultyLevels
compiler-enforced, by source code file partially inspired by Hypercard " There are 5 user levels within . . .
2K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperDocumentation
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-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperDocumentationNotes1
Scaevolus 15 hours ago | link The static analysis features are exciting: http://golang.org/lib/godoc/analysis/help.html . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperEfficiencyNotes1
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-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperError
Maybe/Option towers, with names (analogy with keyword args?) syntactically concise way to transmute exceptions . . .
6K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperErrorNotes1
"Error messages from Complex types In Yesod we have some complex types in a few key places. And we are . . .
25K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperFfiNotes1
Python CTypes https://gist.github.com/Jach/1208215 -- https://news.ycombinator.com/item?id=7136604 Thrift, . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperFootnotes
something like: if OrdinaryCondition: DoOrdinaryThing else: DoExtraordinaryThing should be transformed . . .
2K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperFromOthers
On this page we speculate about how one could start with various simple machine paradigms and make them . . .
2K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperHandler
message handling as a generalization of exception handling: * the handler tree can have parallel branches . . .
3K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperHtml5
Jasper intends, among other things, to create a [Self:notes-computer-jasper-jasperLearnToProgram learn-to-program . . .
2K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperHtml5Basic
since Jasper won't be ready until the far future if ever, unlike most projects, i think it's safe to . . .
3K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperHtml5BasicNotes1
below i've appending my June 2014 test results for an HTML5 test suites for two browsers on my Android . . .
12K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperHtml5Notes1
-- probably should have an HTML5 version first, see http://wiki.scratch.mit.edu/wiki/Scratch_on_Tablets . . .
1K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperIdeAPI
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-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperIdeNotes1
table 5 of On the Syllogistic Structure of Object-Oriented Programming has a list of queries on OOP stuff . . .
2K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperImplementation
Jasper will be implemented in 4 stages. First, it will be implemented in Jasper. Although this implementation . . .
2K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperImplementation3
see also JasperMemoryManagement "separate heap per lightweight process (hence no stop-the-world GC)," . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
72K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperImplementationNotes2
how are we going to reconcile our requirement that the main interpreter/compiler be canonical with our . . .
5K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperInspirations
== Typing == not the languages which invented these things, just the ones which inspired me: * Haskell . . .
4K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperInterop
See also jasperFfi It should be easy to take an existing program written in, say, C or Python, one which . . .
2K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperInteropNotes1
re: go: "In addition, interacting with popular libraries (such as libsdl or even OpenGL) that use thread-local . . .
16K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperIrrelevantNotes
http://tratt.net/laurie/research/pubs/html/berger_tratt__program_logics_for_homogeneous_meta_programming/ . . .
1K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperLazy
safe autostrictification, eager, lazy, lazyrec: 1) you can declare functions as 'lazyrec', meaning that . . .
4K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperLazyNotes1
-- consider a strictness analyzer which is conservative in that it marks functions as 'maybe strict . . .
15K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperLearnToProgram
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-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperLearnToProgramNotes1
--- when i went to http://scratch.mit.edu/projects/editor/?tip_bar=getStarted , there is a tutorial where . . .
4K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperLevels
i have this idea that Jasper should have 'levels' and that the semantics of the language should be similar . . .
5K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperLibraries
std lib: + - * / pow e exp log (sqrt = pow(x,.5) ; log = exp^-1, not to be confused with 1/exp) matrix . . .
11K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperLibrariesNotes1
"(Is Urbit German? Sadly, no. But all our noun print formats are URL-safe, which dot is and comma isn’t.)" . . .
35K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperLiveCodingNotes1
http://en.wikipedia.org/wiki/Live_coding -- http://yaxu.org/tidal/ . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperLogicNotes1
I guess if we are doing 'RDFt' we should generalize this to add other modifiers (qualifiers and quantitiers, . . .
7K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperLowEndTargets
Wouldn't it be interesting if Jasper could be a good choice for embedded systems too? This is not one . . .
100K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperLowLevel
allow 'new' and 'delete' for optional manual memory management . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperLowLevelNotes1
== Jasper low-level toreads == * https://en.wikipedia.org/wiki/Sing_Sharp . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperMathAssistantNotes1
what can jasper learn from computer algebra and theorem-proving systems? -- Computer algebra systems . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperMemoryManagement
GC: precise, incremental (or mb concurrent), soft real-time maybe like Inferno's (hybrid with refcounting) . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperMemoryManagementNotes1
-- Python has reference counting, which frees most memory immediately as soon as it can be, but which . . .
21K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperMetaprogramming
== links == Languages as Libraries - University of Utah toread, looks great www.cs.utah.edu/plt/publications/pldi11-tscff.pdf . . .
7K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperMetaprogrammingNotes1
---- this blog post claims that haskell obsoletes lisp macros, b/c you only need macros to avoid evaluating . . .
45K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperMmo
There are lots of competing MMO architectures. We don't want to make another one, and we don't want . . .
2K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperMmoNotes1
" Under the hood, Croquet is based on a protocol called TeaTime?, which keeps multiple servers in synch . . .
5K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperModule
== jasper module design principals == ==== the language should protect you from your coworkers ==== . . .
3K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperModuleNotes1
http://skilpat.tumblr.com/post/9411500320/a-modular-package-language-for-haskell -- " carrja99 1 day . . .
8K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperNaturalLanguageNotes1
"In English, 'to be' can have different functions: It talks about Identity: The cat is my only pet, The . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperNaturalLanguageThoughts
== jasper natural language toreads == * the 8 parts of speech recognized in English (noun, verb, adjective, . . .
4K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperNet
jasper graphs are like property graphs, with the perspective allowing one to rotate properties into vs. . . .
4K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperNetMatching
need a way to express transitivity requirement --- hmm... i think perhaps there is an even broader abstraction . . .
2K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
155K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperNotes1
mb give up on node labels and just have node labels be references but have have a mechanism to make namespaces . . .
157K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperNotes2
---- auto conversion would be nice. for example, you should be able to tag a value as a "log return" . . .
104K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperNotes3 2
--- " mattj 6 hours ago | link So the issue here is two-fold: - It's very hard to do 'intelligent routing' . . .
164K - last updated 2014-06-28 01:30 UTC by BayleShanks
notes-computer-jasper-jasperNotes4
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 . . .
56K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperNotes6
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-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperNotes7
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-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperNotes8
orthecreedence 3 days ago | link Common Lisp guy gonna chime in here...having a REPL that integrates . . .
33K - last updated 2014-06-28 23:57 UTC by BayleShanks
notes-computer-jasper-jasperNotesFiltered1
notes removed from jasperNotes* that i dont want to forget: ---- http://lambda-the-ultimate.org/node/4592 . . .
2K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperNumerology
== powers of 2 == --- what bit width for various things? 64-bit is a commonly used width according to . . .
23K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperOntologicalConcepts
time event actor: an entity that can take actions send, receive: actions that pass something from one . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperOop
functions of OOP: * inheritance (reuse and override code, mixins allowing a data API to be built from . . .
7K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
14K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperOperationsNotes1
" > And function overloading adds another layer of complexity and ambiguity. Overloading is a separate . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperPackagingNotes1
https://news.ycombinator.com/item?id=7802005 -- lbotos 15 hours ago | link Current Go users, What's the . . .
4K - last updated 2014-06-28 01:30 UTC by BayleShanks
notes-computer-jasper-jasperPackagingThoughts
See this thread from Hacker News on the lack of canonical best practices for use of packaging/deployment . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperPatternThoughts
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-06-28 01:30 UTC by BayleShanks
notes-computer-jasper-jasperPlugInArchitectureThoughts
the plug-in architecture should not create a global registry of events/signals/extension points, etc. . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperPointerNotes1
plan 9 has something equivalent to aliases via bind, in contrast to symlinks which are equivalent to . . .
1K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperPrincipals
* Syntax is for grouping and for ; standard control flow constructs do not belong in basic language syntax, . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperProject
BSD or MIT-style license amendable code with pietrust reputation system to propose changes and to canonicalize . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperRoots
This page is for me to try to distill Jasper down to its 'big ideas', and also for me to identify what . . .
2K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperRosettaCandidates
grep in clojure from slide 16 of https://speakerd.s3.amazonaws.com/presentations/2471a370b3610130440476a0f7eede16/2013-05-17-ClojureOOP-Geecon.pdf . . .
3K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperSafetyNotes1
"Swift eliminates entire classes of unsafe code. Variables are always initialized before use, arrays . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperScopeNotes1
are semiglobals like these?: http://docs.racket-lang.org/srfi-std/srfi-39.html --- in order to make semiglobals . . .
2K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperSemantic
look at docs for logic programming languages and semantic web tools for examples of things that mb could . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperSemanticNotes1
http://webintents.org/ -- should be able to specify 'goals', e.g. this stochastic gradient descent subroutine's . . .
1K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperSpreadsheetNotes1
how can Jasper reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
60K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperStateNotes1
-- if you take a descendent of the root node, and put it in its own variable, but if you change that . . .
23K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperStringNotes1
upvote rspeer 1 day ago | link The thing I'm looking forward to in Python 3.4 is that you should be . . .
34K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperSyntax
== Jasper syntax design todos == * how can we make it so that you don't have to triple-quote strings . . .
5K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
20K - last updated 2014-06-28 23:58 UTC by BayleShanks
notes-computer-jasper-jasperSyntaxTable
== CURRENT BEST GUESS SYNTAX == note this is rather out of date, i just copied from jasper.txt syntax . . .
9K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperSyntaxThoughts
unlike Haskell, we don't want to allow arbitrary operator precedence, because then you have to look up . . .
59K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperTeamNotes1
maybe we're fine with enforcable access modifiers as long as (a) the language allows binary interoperation . . .
1K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperThoughts
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 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-jasperToReads
see also [Self:notes-computer-jasper-jasperToReadsCondensed] ==== toreads ==== * http://stackoverflow.com/questions/961942/what-is-the-worst-programming-language-you-ever-worked-with . . .
41K - last updated 2014-06-29 00:00 UTC by BayleShanks
notes-computer-jasper-jasperToReadsCondensed
see also [Self:notes-computer-jasper-jasperToReads] == categorized list of some languages to learn/study . . .
9K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperTour
This purpose of this tour is to show you the distinctive features of Jasper. If you're looking to learn . . .
1K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperType
== 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 2014-06-28 01:25 UTC by BayleShanks
notes-computer-jasper-jasperTypeNotes1
see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the . . .
153K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasperTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
9K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperTypeThoughts
'vague types': e.g. 'real number' or 'date' or 'time delta'. These are things that in theory have a precise . . .
2K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperTypesLinks
==== toreads for this ==== * chapter 1 of Principles of Program Analysis (http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-65410-0 . . .
2K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperUiNotes1
http://archlinux.me/dusty/2012/10/16/python-on-android-first-impressions-of-kivy/ Kivy, pyQT, pyGTK,wxpython, . . .
1K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperVariadicFnsVsImplicitPartialApplication
see also [Self:notes-computer-programming-progammingLanguageDesign-prosandCons-variadicFnsVsImplicitPartialApplications]. . . .
8K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperVariantImplementations
Stuff like quicksort, bubblesort, insertion sort are called 'variant implementations' in Jasper because . . .
8K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperViewThoughts
* if views are being used so that you can pass a data structure into something that sees only a projection . . .
4K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-jasperVirtualizationNotes1
by 'virtualization' i mean that i want the programmer to run an interpreter for another language on top . . .
4K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-jasperWhitespaceNotes
whitespace principals: * the presence or absence of whitespace is meaningful * the difference between . . .
14K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-jasper slides
== Jasper == presented by Bayle Shanks ---- == My background == * Favorite language Python * Think Haskell . . .
5K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-operators
== environments == () grouping [] data (arc labels are quoted but values are evaluated) ?[ ] quoted graph . . .
7K - last updated 2014-06-28 01:29 UTC by BayleShanks
notes-computer-jasper-principalTypesConsideredHarmful
example from http://en.wikibooks.org/wiki/Haskell/GADT {-#LANGUAGE GADTs, EmptyDataDecls #-} -- (the . . .
3K - last updated 2014-06-28 01:27 UTC by BayleShanks
notes-computer-jasper-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasper-typeSystem
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
19K - last updated 2014-06-28 01:26 UTC by BayleShanks
notes-computer-jasper-whyJasper
note that none of this has been implemented yet, and the design is still in flux! many of these items, . . .
48K - last updated 2014-06-28 01:28 UTC by BayleShanks
notes-computer-jasperOldList
old mb on fn defs let the fn name go on the left, even tho its irregular. mb use colon: take: 0 _ = . . .
10K - last updated 2014-06-28 01:31 UTC by BayleShanks
notes-computer-programming-haskell-whyNotHaskell
= why not haskell? = Haskell is great and a lot has been said about its advantages. Therefore, here I . . .
34K - last updated 2014-06-28 01:18 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-programmingLanguageDesign
== Excerpts from Larry Wall's talk == http://www.wall.org/~larry/pm.html my comments on this: i haven't . . .
11K - last updated 2014-06-28 01:22 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChCriteria
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
9K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartLangsTodos
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
1K - last updated 2014-06-28 01:24 UTC by BayleShanks
proj-jasper-jasper
== Project status == I am just writing down ideas. I have many pages of notes on things i may or may . . .
98K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-jasperComponentsNotes1
dependencies between plugins? -- https://blog.nodejitsu.com/ioc-and-dependency-injection-with-broadway/ . . .
1K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperHandler
message handling as a generalization of exception handling: * the handler tree can have parallel branches . . .
3K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperHtml5
Jasper intends, among other things, to create a [Self:notes-computer-jasper-jasperLearnToProgram learn-to-program . . .
2K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperLearnToProgram
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-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperPlugInArchitectureThoughts
the plug-in architecture should not create a global registry of events/signals/extension points, etc. . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperRoots
This page is for me to try to distill Jasper down to its 'big ideas', and also for me to identify what . . .
2K - last updated 2014-07-12 05:11 UTC by BayleShanks
proj-jasper-jasperToReads
see also [Self:notes-computer-jasper-jasperToReadsCondensed] ==== toreads ==== * http://stackoverflow.com/questions/961942/what-is-the-worst-programming-language-you-ever-worked-with . . .
50K - last updated 2014-10-29 23:43 UTC by BayleShanks
proj-jasper-jasperToReadsCondensed
see also [Self:notes-computer-jasper-jasperToReads] == categorized list of some languages to learn/study . . .
10K - last updated 2014-10-11 09:02 UTC by BayleShanks
proj-jasper-jasperType
== 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 2014-07-12 05:09 UTC by BayleShanks
proj-plbook-plChCriteria
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter ?: Design . . .
26K - last updated 2022-06-15 01:14 UTC by BayleShanks
proj-plbook-plPartLangsTodos
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] ==== Fortress ==== . . .
2K - last updated 2014-10-09 23:27 UTC by BayleShanks
proj-projectMomentum
== intro == I'm going to make a list of some projects. == major projects == * thesis: [http://work.bayleshanks.com . . .
6K - last updated 2014-07-12 05:06 UTC by BayleShanks
173 pages found.