BannedContent
# We get our banned content from the master list at # http://www.emacswiki.org/cgi-bin/emacs/BannedContent . . .
148K - last updated 2016-01-22 07:10 UTC by bshanks
BayleShanks
= Bayle Shanks's website = Welcome to my website. My email address is http://bayleshanks.com/gmail_email_small.jpg . . .
7K - last updated 2020-01-10 10:26 UTC by BayleShanks
aboutMe-formative
this list is a list of things which were formative in some way, not a list of things which would be recommended . . .
11K - last updated 2014-06-28 00:34 UTC by BayleShanks
aboutMe-meOnTheInternet
Homepages/user profiles/usernames of mine: Places where I contribute sometimes, or at least used to * . . .
3K - last updated 2014-04-09 02:23 UTC by BayleShanks
aboutMe-vagueInterests
== Transitions == I get interested in analog transitions between two very different states. I like to . . .
6K - last updated 2006-10-17 11:19 UTC by user-10cmeet.cable.mindspring.com
advice-trading
Please note that these are just my thoughts and they may be wrong. == Properties of trading strategies . . .
26K - last updated 2012-07-22 21:25 UTC by BayleShanks
books-ideasOfThe20thCentury
note: should be a wiki? only if viewpoint is implemented not an intellectual history seeds of ideas progress . . .
6K - last updated 2014-05-22 06:02 UTC by BayleShanks
books-programmingLanguages-programmingLanguages
Please note that these are only notes towards a book that will probably never be finished. Perhaps the . . .
14K - last updated 2014-05-23 01:19 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesAssemblyFrequentInstructions
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
25K - last updated 2014-06-27 01:04 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChCsTheory101
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
7K - last updated 2014-06-26 21:37 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChDynamics
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
10K - last updated 2014-06-26 21:36 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChFavLangs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
5K - last updated 2014-06-26 21:36 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChHalting
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
20K - last updated 2014-06-26 21:36 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChHistLangs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
7K - last updated 2014-06-26 21:36 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChHistory
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
21K - last updated 2014-06-26 21:35 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChImpMmOopLangs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
10K - last updated 2014-06-27 01:03 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChIntro
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
10K - last updated 2014-06-26 21:36 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChNumbers
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
3K - last updated 2014-06-26 21:35 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChSubturingModels
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
8K - last updated 2014-06-26 21:35 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesChTypeConstructs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
9K - last updated 2014-06-26 21:35 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesNotesToSelf
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total . . .
9K - last updated 2013-10-18 10:20 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartConstructs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
29K - last updated 2014-06-27 10:51 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartCoreLanguagesCaseStudies
== Chapter : a tour of some language implementations == === Go === === Haskell: GHC === === Python: CPython . . .
49K - last updated 2013-11-03 11:11 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartFormal
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
4K - last updated 2014-06-27 10:51 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartImplementation
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
15K - last updated 2014-06-27 10:51 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartInstructionSetArchitectures
In this part we'll focus on instruction sets, addressing modes, etc, rather than on other aspects of . . .
199K - last updated 2014-02-06 11:06 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartLangsTodos
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
1K - last updated 2014-06-27 01:05 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartTargetLanguages
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
70K - last updated 2014-06-27 10:50 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartThoughts
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
5K - last updated 2014-06-26 21:35 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPartTypeSystems
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
8K - last updated 2014-06-26 21:36 UTC by BayleShanks
books-programmingLanguages-programmingLanguagesPicAvrIsa
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
16K - last updated 2014-06-27 01:04 UTC by BayleShanks
books-programmingLanguagesNotesToSelf
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total . . .
2K - last updated 2013-09-06 08:56 UTC by BayleShanks
books-someStuffYouMightLikeToKnow
== not written yet...!! == NOTE: THESE ARE JUST NOTES, PROBABLY FULL OF ERRORS!! if you see an error, . . .
150K - last updated 2013-12-04 00:56 UTC by BayleShanks
delicious tagsList
This page defines and interprets some of the tags i use on Delicious. == General rules == I try to use . . .
3K - last updated 2014-06-28 01:34 UTC by BayleShanks
favorites-formative
this list is a list of things which were formative in some way, not a list of things which would be recommended . . .
11K - last updated 2008-01-14 22:17 UTC by BayleShanks
favorites-movies
= list of great movies = Favorites are not in order. === sci-fi / fantasy === * the quiet earth * the . . .
9K - last updated 2014-06-26 08:56 UTC by BayleShanks
futureProjects
A list of potential future projects of mine. More future projects are listed on [http://purl.net/net/bshanks/work/pastFutureInterests.html . . .
3K - last updated 2007-07-25 02:02 UTC by BayleShanks
futureProjects--index
* [Self:futureProjects-ConspiracyProject ConspiracyProject] * [Self:futureProjects-index index] * [Self:futureProjects-computerScienceToLearn . . .
1K - last updated 2007-09-04 09:17 UTC by BayleShanks
futureProjects-ConspiracyProject
When there is a choice between two mutually incompatible systems of beliefs, how to know which one to . . .
5K - last updated 2006-04-01 02:39 UTC by user-10cmeae.cable.mindspring.com
futureProjects-computerScienceToLearn
Material already "learned" in class that should be reviewed (this has first priority because the reward . . .
2K - last updated 2006-10-17 11:15 UTC by user-10cmeet.cable.mindspring.com
futureProjects-mathToLearn
Material already "learned" in class that should be reviewed (this has first priority because the reward . . .
2K - last updated 2006-04-03 09:18 UTC by BayleShanks
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
ideas
* [Self:ideas-information information] * [Self:ideas-voluntarySocialism voluntarySocialism] * [Self:ideas-academia . . .
4K - last updated 2014-06-09 23:19 UTC by BayleShanks
ideas--index
* [Self:ideas-information information] * [Self:ideas-voluntarySocialism voluntarySocialism] * [Self:ideas-academia . . .
4K - last updated 2014-06-19 07:06 UTC by BayleShanks
ideas-characteristicsOfSomeFieldsOfStudy
See also website-ideas-science-puritySpectrumAndHandsDirtySpectrum . == Why things are difficult == Many . . .
7K - last updated 2013-04-20 10:09 UTC by BayleShanks
ideas-computer-jasper
* [Self:ideas-computer-jasper-jasperLevels jasperLevels] * [Self:ideas-computer-jasper-jasperMetaprogramming . . .
10K - last updated 2014-06-27 01:10 UTC by BayleShanks
ideas-computer-jasper--index
* [Self:ideas-computer-jasper-jasperLevels jasperLevels] * [Self:ideas-computer-jasper-jasperMetaprogramming . . .
10K - last updated 2014-06-27 01:10 UTC by BayleShanks
ideas-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-05-24 06:26 UTC by BayleShanks
ideas-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-25 07:18 UTC by BayleShanks
ideas-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-03-30 23:33 UTC by BayleShanks
ideas-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-03 19:03 UTC by BayleShanks
ideas-computer-jasper-jasperDataNotes1
== jasper data design todos == * representations may be related by a chain of transformations, not just . . .
57K - last updated 2014-06-26 08:27 UTC by BayleShanks
ideas-computer-jasper-jasperDesignChoices
== High-level design criteria == In roughly descending order of importance to Jasper. === Turing completeness . . .
44K - last updated 2013-07-15 19:39 UTC by BayleShanks
ideas-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-06 23:58 UTC by BayleShanks
ideas-computer-jasper-jasperImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
72K - last updated 2014-06-09 19:58 UTC by BayleShanks
ideas-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-26 08:26 UTC by BayleShanks
ideas-computer-jasper-jasperMathAssistantNotes1
what can jasper learn from computer algebra and theorem-proving systems? -- Computer algebra systems . . .
1K - last updated 2014-01-31 02:06 UTC by BayleShanks
ideas-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-09 19:57 UTC by BayleShanks
ideas-computer-jasper-jasperNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
155K - last updated 2013-08-12 22:32 UTC by BayleShanks
ideas-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 2012-09-19 06:57 UTC by BayleShanks
ideas-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 2012-09-30 01:24 UTC by BayleShanks
ideas-computer-jasper-jasperNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2013-11-15 18:38 UTC by BayleShanks
ideas-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-01-14 03:49 UTC by BayleShanks
ideas-computer-jasper-jasperNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2013-11-15 18:39 UTC by BayleShanks
ideas-computer-jasper-jasperOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
14K - last updated 2014-06-17 00:01 UTC by BayleShanks
ideas-computer-jasper-jasperSpreadsheet
how can Jasper reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
43K - last updated 2013-03-27 10:27 UTC by BayleShanks
ideas-computer-jasper-jasperSpreadsheetNotes1
how can Jasper reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
60K - last updated 2014-05-30 22:11 UTC by BayleShanks
ideas-computer-jasper-jasperSyntaxNotes1
"Even Herb Sutter, of C++ fame agrees: > One of the things Go does that I would love C++ to do is . . .
18K - last updated 2014-06-27 00:42 UTC by BayleShanks
ideas-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-27 00:45 UTC by BayleShanks
ideas-computer-jasper-jasperToReads
see also [Self:ideas-computer-jasper-jasperToReadsCondensed] ==== toreads ==== * http://stackoverflow.com/questions/961942/what-is-the-worst-programming-language-you-ever-worked-with . . .
41K - last updated 2014-06-26 21:16 UTC by BayleShanks
ideas-computer-jasper-jasperTypeNotes1
see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the . . .
153K - last updated 2014-06-11 06:53 UTC by BayleShanks
ideas-computer-jasper-jasperTypes
see also jasperTypesLinks.txt Not sure if the Jasper type system has principal types. Apparently the . . .
56K - last updated 2013-08-13 02:41 UTC by BayleShanks
ideas-computer-jasper-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2014-06-11 06:51 UTC by BayleShanks
ideas-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-25 07:20 UTC by BayleShanks
ideas-copyright
here's an idea for copyright reform that is more radical than (U.S.) Founder's Copyright, but less radical . . .
3K - last updated 2009-02-27 02:37 UTC by BayleShanks
ideas-groupDecisionMaking-liquidDemocracy
== Liquid democracy == === Problems === ==== The 1-bit problem ==== In our current system, every issue . . .
6K - last updated 2009-05-27 22:15 UTC by BayleShanks
ideas-groupDecisionMaking-notesOnOccupyParliamentaryProcedure
== Some written procedures == === OccupyBoston === https://docs.google.com/document/d/1yuWv7VZ3nS650mOdTF5kKteLrmmp8z3FiddWt6JJQVo/edit?hl=en_US . . .
19K - last updated 2013-01-12 00:38 UTC by BayleShanks
ideas-hypotheticalConstitution-hypotheticalConstitutionNotes2
why P=17? P has 3 main effects : 1) group sizes of senate , high council 2) group sizes of councils 3) . . .
190K - last updated 2014-06-25 07:13 UTC by BayleShanks
ideas-hypotheticalConstitution-hypotheticalConstitutionOldNotes
old notes for things that have already been incorporated either into the bylaws or the todos, or that . . .
24K - last updated 2013-02-23 06:27 UTC by BayleShanks
ideas-hypotheticalConstitution-notes
== Notes == The rest of this document contains notes to myself about other ideas. Much of it is my own . . .
193K - last updated 2010-08-02 07:58 UTC by BayleShanks
ideas-math
* [Self:ideas-math-relationalHomomorphism relationalHomomorphism] * [Self:ideas-math-metarandom metarandom] . . .
1K - last updated 2014-05-30 22:31 UTC by BayleShanks
ideas-math--index
* [Self:ideas-math-relationalHomomorphism relationalHomomorphism] * [Self:ideas-math-metarandom metarandom] . . .
1K - last updated 2014-06-19 07:06 UTC by BayleShanks
ideas-math-analogies
quantify the similarity of partial isomorphisms . . .
1K - last updated 2012-09-29 20:30 UTC by BayleShanks
ideas-math-cs
* [Self:ideas-math-cs-coreOfUniversality coreOfUniversality] . . .
1K - last updated 2013-05-21 08:39 UTC by BayleShanks
ideas-math-cs--index
* [Self:ideas-math-cs-coreOfUniversality coreOfUniversality] . . .
1K - last updated 2014-06-19 07:02 UTC by BayleShanks
ideas-math-cs-coreOfUniversality
* arithmetic/logic gates (cite proposition 3, a basis for the nonzeroary Boolean operations, http://boole.stanford.edu/cs353/handouts/book3.pdf) . . .
3K - last updated 2013-06-27 07:31 UTC by BayleShanks
ideas-math-metarandom
later note: although i initially thought of this as "hyperrandom", a quick Google search indicates that . . .
3K - last updated 2014-06-25 07:22 UTC by BayleShanks
ideas-math-models
(under construction/todo) you want to say that there exists a homomorphism from a complex complete correct . . .
1K - last updated 2010-10-22 09:05 UTC by BayleShanks
ideas-math-primorialLog
represent each digit in the "primorial base" representation as a fraction of it's highest value + 1. . . .
1K - last updated 2010-03-24 21:04 UTC by BayleShanks
ideas-math-relationalHomomorphism
i expect there is already a name for this, but i don't know what it is (if you do, pls email me, i'd . . .
3K - last updated 2014-06-17 07:38 UTC by BayleShanks
ideas-misc-modelOfHelpingTheWorld
one weird thing is that things that seem to help can hurt. You can donate all your money to some political . . .
2K - last updated 2011-10-11 09:43 UTC by BayleShanks
ideas-nonprofits-openContentTeachingAwards
In order to encourage experts to spend more time making open (Creative Commons and open source licensed) . . .
1K - last updated 2014-03-20 23:37 UTC by BayleShanks
ideas-philosophy-rationality-pillarsOfModernism
== Factual beliefs cannot be unethical, only incorrect == * Belief in a factual/verifiable/objective . . .
6K - last updated 2013-09-09 00:51 UTC by BayleShanks
ideas-philosopy-rationality-pillarsOfModernism
== Factual beliefs cannot be unethical, only incorrect == * Belief in a factual/verifiable/objective . . .
6K - last updated 2013-09-09 00:03 UTC by BayleShanks
ideas-philosopy-rationality-pillarsOfModernists
== Factual beliefs cannot be unethical, only incorrect == * Belief in a factual/verifiable/objective . . .
6K - last updated 2013-01-26 14:28 UTC by BayleShanks
ideas-physics-cheapQuantumComputing
It's possible that what state collapse is really about is information, that is, what each observer can . . .
2K - last updated 2013-05-20 14:11 UTC by BayleShanks
ideas-pycheAdviceAsNeuralCommandSignals
Pychological advice (a component of the self-help literature) is like the commands one part of our brain . . .
3K - last updated 2010-03-10 00:45 UTC by BayleShanks
ideas-researchAndApplication
A undesirable pattern that I've seen twice now in competitive social systems is: 1) Reward people for . . .
5K - last updated 2005-04-24 10:26 UTC by user-10cmeae.cable.mindspring.com
ideas-science-neuro-mentalStats
focus can you focus on what you want to be thinking about? discrete workspace you can hold in your mind . . .
4K - last updated 2014-03-20 23:37 UTC by BayleShanks
ideas-science-puritySpectrumAndHandsDirtySpectrum
it is well known that studying microbiology requires using a lot of chemistry, doing chemistry using . . .
2K - last updated 2013-01-12 00:38 UTC by BayleShanks
links
i used to put links i liked on my Stumbleupon, but that was deleted and replaced by Mix.com, and my Mix.com . . .
41K - last updated 2018-10-22 23:16 UTC by BayleShanks
links-math
* https://www.simonsfoundation.org/quanta/ --- One of the funniest/coolest theorems ever: [http://kilby.stanford.edu/~rvg/154/handouts/definability.html . . .
4K - last updated 2013-11-22 09:28 UTC by BayleShanks
lists
* [Self:lists-classifications classifications] * [Self:lists-child_books2 child_books2] * [Self:lists-turingMachineEquivalents . . .
2K - last updated 2013-01-26 14:51 UTC by BayleShanks
lists--index
* [Self:lists-classifications classifications] * [Self:lists-child_books2 child_books2] * [Self:lists-turingMachineEquivalents . . .
2K - last updated 2014-06-19 07:06 UTC by BayleShanks
lists-academia phrases
words and phrases that crop up alot in academia and which are either overused or which often have diabolical . . .
1K - last updated 2009-10-07 09:02 UTC by BayleShanks
lists-classifications
comment on this: I still like some aspects of this stuff, especially tarot and qblh -- I think these . . .
34K - last updated 2014-05-19 22:36 UTC by BayleShanks
lists-delicious tags
This page defines and interprets some of the tags i use on Delicious. == General rules == I try to use . . .
3K - last updated 2010-05-17 07:04 UTC by BayleShanks
lists-importantQuestions
== Important questions for humanity == In descending order of priority. The earlier questions tend to . . .
9K - last updated 2013-09-08 22:01 UTC by BayleShanks
lists-jasper
jasper notes see also [Self:lists-programmingConstructs] mb should rename b/c java starts with j go . . .
153K - last updated 2009-11-02 19:43 UTC by BayleShanks
lists-mathFoundations
note: this page won't make much sense to anyone but myself. dream: table with hierarchy incld. sets, . . .
1K - last updated 2009-12-13 11:08 UTC by BayleShanks
lists-programmingConstructs
----- like everyone else, someday i dream of writing a programming language (even though, right now, . . .
201K - last updated 2012-09-03 22:51 UTC by BayleShanks
math
interesting link: http://www.rudi.net/bookshelf/classics/city/alexander/alexander1.shtml (I read parts . . .
4K - last updated 2004-11-21 15:21 UTC by user-10cm007.cable.mindspring.com
me
Read BayleShanks first. == Generic info about me == === Some things i like === The intersection of A.I. . . .
7K - last updated 2012-05-14 06:17 UTC by BayleShanks
newsAndPredictions-macro
= Macroscale/long term environmental, social, political, or economic changes = == Timelines == === Century-granularity . . .
6K - last updated 2006-03-06 23:02 UTC by user-10cmeae.cable.mindspring.com
notes
* [Self:notes-dontPanic dontPanic] * [Self:notes-henryMillersElevenCommandments henryMillersElevenCommandments] . . .
9K - last updated 2023-12-11 05:08 UTC by BayleShanks
notes--index
* [Self:notes-dontPanic dontPanic] * [Self:notes-henryMillersElevenCommandments henryMillersElevenCommandments] . . .
9K - last updated 2023-12-11 05:08 UTC by BayleShanks
notes-abstract-categorizations-catChGods
= Gods etc = note: for fictional castes, see catChSocial -- the 12 Empyrean+Lords of the video game series . . .
21K - last updated 2015-06-16 15:16 UTC by BayleShanks
notes-abstract-categorizations-catChIndex
= Indexing schemes = discuss faceted classification (and heterarchy) --- --- https://en.wikipedia.org/wiki/Library_classification . . .
161K - last updated 2018-05-26 09:58 UTC by BayleShanks
notes-abstract-categorizations-catChInts
= Small integers and some of their properties = == The specialest numbers == 'Numbers to know', and their . . .
71K - last updated 2023-12-11 04:44 UTC by BayleShanks
notes-abstract-categorizations-catChMisc
encyclopedia evaluation: four categories: coverage, accuracy, clarity, and recency -- https://en.wikipedia.org/wiki/Encyclop%C3%A6dia_Britannica#Print_encyclopaedias . . .
23K - last updated 2023-12-11 04:43 UTC by BayleShanks
notes-abstract-categorizations-catChOnto
= Ontologies = note: the medieval idea of the Great Chain of Being was an ontological one, but we cover . . .
50K - last updated 2018-05-19 10:12 UTC by BayleShanks
notes-abstract-categorizations-classificationsList
comment on this: I still like some aspects of this stuff, especially tarot and qblh -- I think these . . .
42K - last updated 2015-08-24 01:00 UTC by BayleShanks
notes-abstract-categorizations-systemsOfClassification
This book could have been titled "mappings from subsets of natural numbers to sets of qualitative descriptions" . . .
72K - last updated 2019-11-02 16:46 UTC by BayleShanks
notes-abstract-classificationsList
comment on this: I still like some aspects of this stuff, especially tarot and qblh -- I think these . . .
196K - last updated 2015-06-15 04:00 UTC by BayleShanks
notes-abstract-ideasOfThe20thCentury
note: should be a wiki? only if viewpoint is implemented not an intellectual history seeds of ideas progress . . .
8K - last updated 2017-09-20 08:56 UTC by BayleShanks
notes-abstract-munger worldly wisdom
Notes on "A Lesson on Elementary, Worldly Wisdom As It Relates To Investment Management & Business . . .
58K - last updated 2019-06-01 00:05 UTC by BayleShanks
notes-abstract-myIndex
working on re-indexing this website notes and ideas: intro contents, about me, meta library science ontology? . . .
2K - last updated 2015-07-06 01:17 UTC by BayleShanks
notes-abstract-systemsOfClassification
This book could have been titled "mappings from subsets of natural numbers to sets of qualitative descriptions" . . .
71K - last updated 2014-09-06 23:23 UTC by BayleShanks
notes-academia-styleGuides
== Popular style guides == (why do i care? i was writing some math in my notes and i thought maybe i . . .
7K - last updated 2022-01-04 02:40 UTC by BayleShanks
notes-aliens
What should we say to aliens? Mathematics seems like the sort of thing that, although it's true for everybody, . . .
6K - last updated 2017-12-10 10:02 UTC by BayleShanks
notes-books-artOfTheStart
The Art of the Start By Guy Kawasaki My review: I haven't yet started a company so I can't tell you if . . .
98K - last updated 2010-08-02 08:27 UTC by BayleShanks
notes-books-eMyth
need to know about: finance, marketing, management, operations "contrary to popular belief, my experience . . .
22K - last updated 2011-01-18 11:58 UTC by BayleShanks
notes-books-effectiveExecutive
== The Effective Executive by Drucker == See also [[notes-books-effectiveExecutiveDetails]]. == Preface . . .
132K - last updated 2011-11-05 23:11 UTC by BayleShanks
notes-books-effectiveExecutiveDetails
== The Effective Executive by Drucker == == Preface == "Effectiveness as an executive...consists of a . . .
198K - last updated 2011-11-02 09:23 UTC by BayleShanks
notes-books-kant prolegomena to any future metaphysics intermediate1
These are the more literal notes. Please see Self:notes-books-kant_prolegomena_to_any_future_metaphysics_intermediate2 . . .
140K - last updated 2009-05-04 02:18 UTC by BayleShanks
notes-books-kant prolegomena to any future metaphysics intermediate2
Copyright 2007 Bayle Shanks released under the Creative Commons Sharealike NC 2.0 license. This should . . .
140K - last updated 2013-10-30 22:42 UTC by BayleShanks
notes-books-superforecasting
Notes on the book Superforecasting by Tetlock and Gardner They did a study to see how good at forecasting . . .
41K - last updated 2017-05-01 09:44 UTC by BayleShanks
notes-business-startups-startups-stHiring
[Self:notes-business-startups-stContents Contents] ---- == hiring == === interviewing software engineers . . .
15K - last updated 2022-08-30 06:28 UTC by BayleShanks
notes-business-startups-startups-stTodo
[Self:notes-business-startups-stContents Contents] == todo == " rdl 23 hours ago It seems kind of crazy . . .
7K - last updated 2017-10-27 20:18 UTC by BayleShanks
notes-characteristicsOfSomeFieldsOfStudy
See also website-ideas-science-puritySpectrumAndHandsDirtySpectrum . == Why things are difficult == Many . . .
7K - last updated 2014-06-28 00:36 UTC by BayleShanks
notes-cog-ai-ai2
== various online todos for me == === scholarpedia === === various anns === http://web.archive.org/web/20110208011537/http://neural-networks-at-your-fingertips.com/ . . .
1K - last updated 2014-07-20 18:59 UTC by BayleShanks
notes-cog-ai-aiNotes
== Links and books == * General ** http://www.amazon.com/Artificial-Intelligence-Elaine-Rich/dp/0070522634/ref=sr_1_9?s=books&ie=UTF8&qid=1359272210&sr=1-9&keywords=knight+artificial+intelligence . . .
18K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-cog-ai-applications
* [Self:notes-cog-ai-applications-aiForMath aiForMath] . . .
1K - last updated 2016-01-24 22:49 UTC by BayleShanks
notes-cog-ai-applications--index
* [Self:notes-cog-ai-applications-aiForMath aiForMath] . . .
1K - last updated 2016-01-24 22:49 UTC by BayleShanks
notes-cog-ai-applications-aiForMath
== Automated theorem discovery == Random ideas: It would be neat if there were tools that allow individual . . .
4K - last updated 2016-03-23 23:57 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-cog-ai-fristonFreeEneregy
" Friston s free energy principle says that all life...is driven by the same universal imperative.... . . .
6K - last updated 2019-05-03 19:13 UTC by BayleShanks
notes-cog-ai-machineLearning-machineLearningNotes
== Intro == * very introductory: [https://ml.berkeley.edu/blog/2016/11/06/tutorial-1/ https://news.ycombinator.com/item?id=13278211] . . .
48K - last updated 2023-12-11 04:26 UTC by BayleShanks
notes-cog-ai-machineLearning-mlConferences
= Machine Learning conferences = * KDD (practical) * UAI (general uncertainty in AI) * AAAI (general . . .
1K - last updated 2014-08-06 23:15 UTC by BayleShanks
notes-cog-ai-machineLearning-neuralNets
== intro == * http://iamtrask.github.io/2015/07/12/basic-python-network/? * https://scrimba.com/g/gneuralnetworks . . .
13K - last updated 2023-12-11 04:26 UTC by BayleShanks
notes-cog-ai-reasoning-commonsense
* http://techcrunch.com/2014/08/09/guide-to-common-sense-reasoning-whos-doing-it-and-why-it-matters/ . . .
14K - last updated 2022-12-08 23:11 UTC by BayleShanks
notes-cog-ai-reasoning-descriptionLogics
my summary: for applications in which polytime inference is desired, use https://www.w3.org/TR/owl2-profiles/#OWL_2_EL . . .
26K - last updated 2022-02-12 17:33 UTC by BayleShanks
notes-cog-ai-reasoning-inheritanceNetworks
defeasible inheritance networks are for reasoning about concept hierarchies (taxonomies) that give typical . . .
9K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-cog-language-languageMisc
i guess one thing about human language is the whole verb/noun thing. Nouns, noun phrases, and adjectives . . .
3K - last updated 2018-09-01 21:25 UTC by BayleShanks
notes-cog-rationality-iDontKnow
Often our refusal to take a stand on important questions has more to do with our own awareness of our . . .
2K - last updated 2014-07-12 05:15 UTC by BayleShanks
notes-communication
== Channel coding == See stuffChCommunication for the basics. Links: * https://en.wikipedia.org/wiki/Coding_theory#Channel_coding . . .
20K - last updated 2018-04-01 11:08 UTC by BayleShanks
notes-computer-ai-aiNotes
== Links and books == * General ** http://www.amazon.com/Artificial-Intelligence-Elaine-Rich/dp/0070522634/ref=sr_1_9?s=books&ie=UTF8&qid=1359272210&sr=1-9&keywords=knight+artificial+intelligence . . .
7K - last updated 2014-03-29 10:26 UTC by BayleShanks
notes-computer-ai-reasoning-inheritanceNetworks
defeasible inheritance networks are for reasoning about concept hierarchies (taxonomies) that give typical . . .
9K - last updated 2014-06-28 01:16 UTC by BayleShanks
notes-computer-android-appsMb
For a list of apps that I use, see [[Self:notes-computer-android-apps]]. = Apps that I have that I think . . .
8K - last updated 2014-06-28 01:17 UTC by BayleShanks
notes-computer-android-appsUninstalled
For a list of apps that I use, see [[Self:notes-computer-android-apps]]. == Apps that I've uninstalled . . .
4K - last updated 2014-06-28 01:17 UTC by BayleShanks
notes-computer-android-lgNexus5x
== Google Nexus 5x (made by LG; LG H790) == = Review = My only major complaint is that it's a little . . .
36K - last updated 2018-10-18 07:55 UTC by BayleShanks
notes-computer-bitcoin
todo, put more stuff here information-theoretically security: if you don't know the password, you can't . . .
1K - last updated 2015-11-03 19:12 UTC by BayleShanks
notes-computer-firefox
= Firefox tips and tweaks = I'm currently transitioning from firefox 2 to firefox 3, so there are some . . .
11K - last updated 2023-12-11 04:17 UTC by BayleShanks
notes-computer-gnuLinux
== What programs I use == || GNU/Linux distribution || debian || || web browser || firefox || || email . . .
37K - last updated 2016-07-20 09:45 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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-lenovoX61t-review
= Lenovo (IBM) x61 tablet (x61t) (model number 7764CTO): review = This page has three sections. A summary, . . .
25K - last updated 2014-06-28 01:16 UTC by BayleShanks
notes-computer-lightweightMarkupLanguages
From time to time i look into lightweight markup languages. These are not 'interesting' per se to me, . . .
24K - last updated 2023-02-19 02:33 UTC by BayleShanks
notes-computer-markupLanguages
From time to time i look into lightweight markup languages. These are not 'interesting' per se to me, . . .
4K - last updated 2014-06-14 21:40 UTC by BayleShanks
notes-computer-naming
* http://en.wikipedia.org/wiki/Zooko%27s_triangle ** https://zooko.com/uri/URI:DIR2-RO:d23ekhh2b4xashf53ycrfoynkq:y4vpazbrt2beddyhgwcch4sduhnmmefdotlyelojxg4tyzllhb4a/distnames.html . . .
3K - last updated 2013-02-24 09:23 UTC by BayleShanks
notes-computer-net-evadingZookosTriangle
See also [Self:notes-computer-net-naming]. There are various attempts to evade Zooko's triangle (which, . . .
27K - last updated 2014-08-06 23:32 UTC by BayleShanks
notes-computer-net-naming
See also [Self:notes-computer-net-evadingZookosTriangle]. * http://en.wikipedia.org/wiki/Zooko%27s_triangle . . .
3K - last updated 2014-08-05 00:40 UTC by BayleShanks
notes-computer-net-networkTopology
I have been wondering how the phrase '[https://en.wikipedia.org/wiki/Network_topology network topology]' . . .
1K - last updated 2015-01-26 02:16 UTC by BayleShanks
notes-computer-oqo-apps
= Matchbox window manager = ~/.matchbox/mbdock.session: <pre> mb-applet-launcher --desktop /usr/share/applications/iceweasel.desktop . . .
6K - last updated 2014-06-28 01:17 UTC by BayleShanks
notes-computer-programming-haskell-haskellTutorial
== Haskell tutorial == by Bayle Shanks some code samples are from __Yet Another Haskell Tutorial__ which . . .
159K - last updated 2015-03-22 20:29 UTC by BayleShanks
notes-computer-programming-hoon-hoonMotivations
== My take on Hoon's motivation == Here's my take on the motivations for Hoon (not necessarily the rest . . .
35K - last updated 2016-01-30 01:25 UTC by BayleShanks
notes-computer-programming-hoon-hoonTutorialNotes
note: this is based on the OLD (deprecated) tutorial, see http://urbit.org/docs/dev/hoon/tutorial for . . .
94K - last updated 2016-02-04 00:23 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-criteria
various people's lists of programming language criteria --- " Here's a short list of programming-language . . .
22K - last updated 2020-09-09 08:25 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-programmingConstructs
This page is a disorganized mess of notes. You will probably be more interested in my more organized . . .
201K - last updated 2020-05-21 10:06 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-programmingConstructs3
there's values and references. and, there's literals and variables. these are analogous entities, but . . .
192K - last updated 2013-08-12 22:44 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-programmingLanguageDesign-programmingLanguageDesignNotes
note most of this file consists of text written by others, not me, copied here into my notes " pg 748 . . .
14K - last updated 2013-08-08 10:31 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-C
== opinions == http://herbsutter.com/2011/10/12/dennis-ritchie/ notes that the real achievement of C . . .
22K - last updated 2014-10-03 01:13 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-Cplusplus
apparently in this video a Go inventor talks about why C++ is hard to read: http://www.youtube.com/watch?feature=player_embedded&v=5kj5ApnhPAE . . .
53K - last updated 2015-08-31 08:05 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-arbitraryPrecisionArithmetic
" By default, most Scheme and Common Lisp implementations use numerical towers to represent numbers with . . .
1K - last updated 2013-01-26 14:44 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-asmjs
http://www.2ality.com/2013/02/asm-js.html http://kripken.github.com/mloc_emscripten_talk/#/30 http://mrale.ph/blog/2013/03/28/why-asmjs-bothers-me.html . . .
2K - last updated 2013-03-30 11:05 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-basic
good article: http://time.com/69316/basic/ " The first version of BASIC had 14 commands, all with straightforward . . .
3K - last updated 2014-07-18 20:59 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-clojure
== links == === tutorials === * http://tryclj.com/ ---- toread: http://www.tbray.org/ongoing/When/200x/2009/12/01/Clojure-Theses . . .
46K - last updated 2014-10-03 01:14 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-coffeescript
throwaway_yy2Di 12 hours ago | link The syntax is broken. Things like operator precedence and associativity . . .
3K - last updated 2016-01-29 21:16 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-functional
" So what, then, is a functional language? I can do no better than list some criteria that are important . . .
4K - last updated 2014-10-03 01:13 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-generics
http://research.swtch.com/generic http://www.osl.iu.edu/publications/prints/2005/siek05:_fg_pldi.pdf . . .
22K - last updated 2013-03-30 11:05 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-golang
== tutorials == https://gobyexample.com/ http://tour.golang.org/#1 == design notes == http://commandcenter.blogspot.co.il/2012/06/less-is-exponentially-more.html . . .
119K - last updated 2019-05-31 23:45 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-haskell
my personal opinion: there's a lot to like about Haskell. I list some of the cons at [Self:opinions-tech-whyNotHaskell]. . . .
37K - last updated 2014-06-11 07:06 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-haskellProsAndCons
my personal opinion: there's a lot to like about Haskell. I list some of the cons at [Self:opinions-tech-whyNotHaskell]. . . .
100K - last updated 2016-08-14 19:08 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-infernoShell
http://debu.gs/entries/inferno-part-1-shell " (cur i) = $i splits the first item out of the list $i, . . .
7K - last updated 2013-10-01 07:59 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-java
" 5) Method overloading. One of the most constraining parts of the Java language specification is method . . .
28K - last updated 2014-09-27 00:15 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-js
== tutorials == * https://developer.mozilla.org/en-US/docs/Web/JavaScript/A_re-introduction_to_JavaScript . . .
56K - last updated 2015-01-31 00:08 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-julia
http://www.evanmiller.org/why-im-betting-on-julia.html " Not only can you write code with the performance . . .
13K - last updated 2014-09-30 07:18 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-lisp
---- landoflisp's 10 reasons why lisp reduces bugs: http://landoflisp.com/#guilds * functional programming . . .
58K - last updated 2014-10-30 00:05 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-multipleDispatch
foundart 3 days ago | link I see the Julia home page lists multiple dispatch as one of its benefits. . . .
2K - last updated 2014-01-28 00:01 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-ocaml
http://evan-tech.livejournal.com/136436.html == intro examples == http://queue.acm.org/detail.cfm?id=2038036 . . .
21K - last updated 2014-10-03 01:13 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-python
" My own experience with Python, after being a heavy Perl and Ruby user isn't that good. Especially if . . .
130K - last updated 2016-01-13 20:09 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-ruby
http://blog.clifreeder.com/blog/2013/04/21/ruby-is-too-slow-for-programming-competitions/ == misc == . . .
10K - last updated 2014-10-31 18:49 UTC by BayleShanks
notes-computer-programming-programmingLanguageDesign-prosAndCons-smalltalk
how conditional statements are implemented with messages: http://www.lshift.net/blog/2010/12/22/conditional-statements-the-lambda-calculus-and-earlylate-binding . . .
21K - last updated 2014-02-17 23:19 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesAssemblyFrequentInstructions
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
25K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChCsTheory101
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
7K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChDynamics
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
10K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChFavLangs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
5K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChHalting
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
20K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChHistLangs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
7K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChHistory
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
21K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChImpMmOopLangs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
10K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChIntro
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
10K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChNumbers
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
3K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChSubturingModels
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
8K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesChTypeConstructs
[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-programmingLanguagesNotesToSelf
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total . . .
9K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartConstructs
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
29K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartFormal
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
4K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartImplementation
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
15K - last updated 2014-06-28 01:24 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
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartTargetLanguages
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
70K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartThoughts
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
5K - last updated 2014-06-28 01:22 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPartTypeSystems
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
8K - last updated 2014-06-28 01:24 UTC by BayleShanks
notes-computer-programming-programmingLanguagesBook-programmingLanguagesPicAvrIsa
[Self:books-programmingLanguages-programmingLanguagesContents Table of Contents for Programming Languages: . . .
16K - last updated 2014-06-28 01:23 UTC by BayleShanks
notes-computer-webdesign-webdesignsILike
http://carbonmade.com/ http://www.libelium.com/products/waspmote/ https://developer.apple.com/swift/ . . .
30K - last updated 2023-12-11 04:16 UTC by BayleShanks
notes-conLangs
== Of historical interest == http://www.newyorker.com/magazine/2012/12/24/utopian-for-beginners (about . . .
37K - last updated 2020-07-08 06:58 UTC by BayleShanks
notes-conLangsCharref
this page, from https://stackoverflow.com/questions/22184624/unicode-character-usage-statistics , has . . .
20K - last updated 2019-03-17 23:54 UTC by BayleShanks
notes-copyright
here's an idea for copyright reform that is more radical than (U.S.) Founder's Copyright, but less radical . . .
3K - last updated 2014-06-28 00:37 UTC by BayleShanks
notes-design
i think that certain things, like programming architecture design, sometimes benefit from being somewhat . . .
9K - last updated 2022-12-08 23:27 UTC by BayleShanks
notes-econ-sideNoteOnEconomicTheory
Four quick opinions on economic theory: * It seems, empirically, that a useful method for making progress . . .
3K - last updated 2015-07-17 22:30 UTC by BayleShanks
notes-education
* [Self:notes-education-coloredNaturalLanguageExplicationOfMathFormula coloredNaturalLanguageExplicationOfMathFormula] . . .
1K - last updated 2015-06-11 07:03 UTC by BayleShanks
notes-education--index
* [Self:notes-education-coloredNaturalLanguageExplicationOfMathFormula coloredNaturalLanguageExplicationOfMathFormula] . . .
1K - last updated 2015-06-11 07:03 UTC by BayleShanks
notes-education-coloredNaturalLanguageExplicationOfMathFormula
this guy had a great idea: http://altdevblogaday.org/wp-content/uploads/2011/05/DerivedDFT.png (from . . .
1K - last updated 2014-06-28 00:43 UTC by BayleShanks
notes-education-curriculumProposal
Here is my proposal for a primary education curriculum. == Overview == I think there are two main problems . . .
13K - last updated 2015-06-15 04:10 UTC by BayleShanks
notes-finance-financeAndSociety
havent read this yet, toread: "...there is a research to suggest that application of mathematics to finance . . .
1K - last updated 2015-03-20 01:47 UTC by BayleShanks
notes-finance-portfolios
== Kelly == geometric mean/Kelly: https://www.google.com/search?q=kelly+portfolio+optimization http://www.bjmath.com/bjmath/thorp/paper.htm . . .
5K - last updated 2014-01-01 22:41 UTC by BayleShanks
notes-fun-favoriteMovies
= list of great movies = Favorites are not in order. === sci-fi / fantasy === * the quiet earth * the . . .
9K - last updated 2015-06-01 08:15 UTC by BayleShanks
notes-fun-movies-tron3IdeasSummary
Themes: redemption, corruption, free will: * Dillinger Jr.: a nerd who everyone hates and thinks is bad . . .
5K - last updated 2015-04-15 09:56 UTC by BayleShanks
notes-group-discussionForumCommunityGuidelines
Most discussion forums eventually find that they need to have some guidelines or rules. But if there . . .
165K - last updated 2019-06-01 00:10 UTC by BayleShanks
notes-group-discussionForumCommunityGuidelines4
https://github.com/ossu/code-of-conduct " OSSU provides an environment where all learners and contributors . . .
54K - last updated 2023-12-11 05:07 UTC by BayleShanks
notes-group-old-myDiscussionForumCommunityGuidelines170130
See [[notes-group-discussionForumCommunityGuidelines]]. This document is my attempt to create some discussion . . .
11K - last updated 2017-01-31 02:08 UTC by BayleShanks
notes-group-rationality
one guy's idea of an enumeration of the actions available during debate: " The defender then responds . . .
11K - last updated 2017-03-14 00:59 UTC by BayleShanks
notes-groupDecisionMaking-liquidDemocracy
== Liquid democracy == === Problems === ==== The 1-bit problem ==== In our current system, every issue . . .
6K - last updated 2014-06-28 00:40 UTC by BayleShanks
notes-groupDecisionMaking-notesOnOccupyParliamentaryProcedure
== Some written procedures == === OccupyBoston === https://docs.google.com/document/d/1yuWv7VZ3nS650mOdTF5kKteLrmmp8z3FiddWt6JJQVo/edit?hl=en_US . . .
24K - last updated 2017-02-09 11:36 UTC by BayleShanks
notes-groupDecisionMaking-od2003Notes
The conference website is at http://caae.phil.cmu.edu/style/Seminar.html. The agenda is at http://caae.phil.cmu.edu/style/agenda.html. . . .
55K - last updated 2010-08-02 08:27 UTC by BayleShanks
notes-history-ideasOfThe20thCentury
note: should be a wiki? only if viewpoint is implemented not an intellectual history seeds of ideas progress . . .
7K - last updated 2014-06-28 00:37 UTC by BayleShanks
notes-history-summary-histChEuropePostclassical
This collection of notes is part of [Self:notes-history-summary-histContents]. The positional base-10 . . .
8K - last updated 2015-07-10 18:38 UTC by BayleShanks
notes-history-summary-histChIndiaPostclassical
This collection of notes is part of [Self:notes-history-summary-histContents]. The positional base-10 . . .
1K - last updated 2015-06-15 04:03 UTC by BayleShanks
notes-history-summary-histChMiddleEastPostclassical
This collection of notes is part of [Self:notes-history-summary-histContents]. https://en.m.wikipedia.org/wiki/Anatolia . . .
3K - last updated 2015-06-24 02:57 UTC by BayleShanks
notes-history-summary-histChWorldLateModern
This collection of notes is part of [Self:notes-history-summary-histContents]. https://en.wikipedia.org/wiki/Modern_history#Modern_Age_Timeline . . .
8K - last updated 2015-08-31 07:46 UTC by BayleShanks
notes-history-summary-histChWorldPostclassical
This collection of notes is part of [Self:notes-history-summary-histContents]. https://en.wikipedia.org/wiki/Post-classical_history#Timeline . . .
1K - last updated 2015-06-15 04:02 UTC by BayleShanks
notes-history-summary-histContents
= A brief summary of history = == Preface == This is a set of notes attempting to provide a brief summary . . .
5K - last updated 2015-06-15 04:02 UTC by BayleShanks
notes-hypotheticalConstitution-hypotheticalConstitutionNotes2
why P=17? P has 3 main effects : 1) group sizes of senate , high council 2) group sizes of councils 3) . . .
191K - last updated 2017-09-26 19:54 UTC by BayleShanks
notes-hypotheticalConstitution-hypotheticalConstitutionNotes3
--- allow supreme court to suggest simplification by supermajority --- http://columbialawreview.org/ham-sandwich-nation_reynolds/ . . .
188K - last updated 2019-02-02 20:12 UTC by BayleShanks
notes-hypotheticalConstitution-hypotheticalConstitutionOldNotes
old notes for things that have already been incorporated either into the bylaws or the todos, or that . . .
24K - last updated 2014-06-28 00:37 UTC by BayleShanks
notes-ideas-classificationsList
comment on this: I still like some aspects of this stuff, especially tarot and qblh -- I think these . . .
34K - last updated 2014-06-28 00:51 UTC by BayleShanks
notes-ideas-ideasOfThe20thCentury
note: should be a wiki? only if viewpoint is implemented not an intellectual history seeds of ideas progress . . .
7K - last updated 2014-06-28 00:51 UTC by BayleShanks
notes-importantQuestionsList
== Important questions for humanity == (note: this is a list of questions; but for a list of goals, i . . .
10K - last updated 2019-11-02 16:33 UTC by BayleShanks
notes-investing1
== general notes == THE GOAL OF INVESTING IS NOT TO MAXIMIZE EXPECTED VALUE. Imagine you have only two . . .
84K - last updated 2019-06-01 07:31 UTC by BayleShanks
notes-investing2
== specific investments == DISCLOSURE: THESE ARE MY PERSONAL NOTES! I MAY OR MAY NOT HOLD SOME OR ALL . . .
75K - last updated 2019-06-01 07:27 UTC by BayleShanks
notes-investing3
---- http://www.macroaxis.com/invest/marketCorrelation/SPY--SPDRs ---- http://seekingalpha.com/article/343931-5-etfs-to-consider-for-protection-against-inflation . . .
96K - last updated 2019-06-01 07:29 UTC by BayleShanks
notes-investing4
---- some industry specific KPIs (many of these are from businessweek's annual 'facts and figures'): . . .
90K - last updated 2019-06-01 07:31 UTC by BayleShanks
notes-investing5
http://etfdb.com/cheapest-etf-for-every-investment-objectives/ --- Mark Sebastian (optionpit)'s watchlist . . .
118K - last updated 2019-06-01 07:28 UTC by BayleShanks
notes-legislative accountability
Note: it is often incorrect to hold a legislator accountable for voting for an amendment that you don't . . .
3K - last updated 2009-02-05 23:59 UTC by BayleShanks
notes-life-learning
to learn mathy book stuff well, you gotta do all of: * understand it, e.g. have an intuition about the . . .
3K - last updated 2014-10-04 22:51 UTC by BayleShanks
notes-life-mind-mindMisc
* http://lesswrong.com/lw/3nn/scientific_selfhelp_the_state_of_our_knowledge/ --- == A theory of voting . . .
14K - last updated 2021-09-21 09:03 UTC by BayleShanks
notes-life-peaceQuiteAloneness
There is a value to: * peaceful times in which one isn't worrying about anything or trying to achieve . . .
5K - last updated 2014-09-25 15:12 UTC by BayleShanks
notes-math
* [Self:notes-math-relationalHomomorphism relationalHomomorphism] * [Self:notes-math-probability probability] . . .
2K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math--index
* [Self:notes-math-relationalHomomorphism relationalHomomorphism] * [Self:notes-math-probability probability] . . .
2K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-aDEClassification
http://blog.sigfpe.com/2009/06/automata-and-a-d-e-classification.html . . .
1K - last updated 2013-09-12 09:36 UTC by BayleShanks
notes-math-algebraicLogic
== links == * http://boole.stanford.edu/cs353/handouts.html (highly recommended) . . .
1K - last updated 2013-01-27 08:18 UTC by BayleShanks
notes-math-analogies
quantify the similarity of partial isomorphisms . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-arithmetic
It might be handy to memorize the multiplication tables of alternate bases. Some interesting ones might . . .
5K - last updated 2016-03-04 23:02 UTC by BayleShanks
notes-math-categoryTheory
Category theory is the study of paths through graphs, and the equational theory of paths in particular . . .
4K - last updated 2014-07-19 20:27 UTC by BayleShanks
notes-math-combinatorics
great paper which introduces a few interesting results in combinatorics and makes that area sound like . . .
1K - last updated 2013-09-06 08:56 UTC by BayleShanks
notes-math-complexAnalysis
Links: * http://qr.ae/CcjHY . . .
1K - last updated 2014-07-19 21:26 UTC by BayleShanks
notes-math-cs
* [Self:notes-math-cs-coreOfUniversality coreOfUniversality] . . .
1K - last updated 2014-06-28 01:36 UTC by BayleShanks
notes-math-cs--index
* [Self:notes-math-cs-coreOfUniversality coreOfUniversality] . . .
1K - last updated 2014-06-28 01:36 UTC by BayleShanks
notes-math-cs-coreOfUniversality
* arithmetic/logic gates (cite proposition 3, a basis for the nonzeroary Boolean operations, http://boole.stanford.edu/cs353/handouts/book3.pdf) . . .
3K - last updated 2021-06-29 05:14 UTC by BayleShanks
notes-math-cs353
chapter 4, category theory, page 50, section 4.1.4 constructs specific to graphs, paragraph defining . . .
2K - last updated 2013-02-02 11:29 UTC by BayleShanks
notes-math-foundations
* [Self:notes-math-foundations-misc misc] * [Self:notes-math-foundations-bigNumbers bigNumbers] * [Self:notes-math-foundations-setsWithUndefinableElements . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-foundations--index
* [Self:notes-math-foundations-misc misc] * [Self:notes-math-foundations-bigNumbers bigNumbers] * [Self:notes-math-foundations-setsWithUndefinableElements . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-foundations-bigNumbers
* http://www.scottaaronson.com/writings/bignumbers.html ** https://news.ycombinator.com/item?id=9058986 . . .
1K - last updated 2015-02-17 22:43 UTC by BayleShanks
notes-math-foundations-listOfFoundationalConcepts
counting, ordering, matching, combining, separating, and locating in space and time, and the idea that . . .
3K - last updated 2013-10-30 22:46 UTC by BayleShanks
notes-math-foundations-misc
* http://www.cwru.edu/artsci/phil/NumbersCanBeJustWhattheyHaveTo.pdf . . .
1K - last updated 2014-05-09 20:08 UTC by BayleShanks
notes-math-foundations-setsWithUndefinableElements
should we allow sets to have undefinable elements, e.g. the set of reals? if we do, should we treat them . . .
17K - last updated 2013-10-30 22:46 UTC by BayleShanks
notes-math-fractal
there is a relation between fractal dimension, and self-similarity . . .
1K - last updated 2015-08-07 22:34 UTC by BayleShanks
notes-math-gameTheory
* [Self:notes-math-gameTheory-poisonousKnowledge poisonousKnowledge] * [Self:notes-math-gameTheory-zeroDeterminantIteratedPrisonersDilemmaStrategies . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-gameTheory--index
* [Self:notes-math-gameTheory-poisonousKnowledge poisonousKnowledge] * [Self:notes-math-gameTheory-zeroDeterminantIteratedPrisonersDilemmaStrategies . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-gameTheory-gameTheoryNotes
* https://en.m.wikipedia.org/wiki/Nash_equilibrium * https://en.m.wikipedia.org/wiki/Solution_concept . . .
2K - last updated 2016-11-19 01:05 UTC by BayleShanks
notes-math-gameTheory-poisonousKnowledge
It would be interesting to study 'poisonous knowledge', that is, true information about others that if . . .
1K - last updated 2015-01-13 07:41 UTC by BayleShanks
notes-math-gameTheory-zeroDeterminantIteratedPrisonersDilemmaStrategies
* https://golem.ph.utexas.edu/category/2012/07/zerodeterminant_strategies_in.html * http://truebra.in/?p=646 . . .
1K - last updated 2015-05-12 00:55 UTC by BayleShanks
notes-math-handy arithmetic functionsList
* geometric mean * to make very big things small while mostly leaving things < 1 alone: log(1 + x) . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-history
i just saw this, but it's a fantastic site, easy to read and engaging (if you are interested in math, . . .
1K - last updated 2015-08-31 08:13 UTC by BayleShanks
notes-math-imaginingTheTenthDimension
notes on http://www.tenthdimension.com/medialinks.php i don't think what he's talking about are 10 spacial/temporal . . .
7K - last updated 2014-07-12 05:43 UTC by BayleShanks
notes-math-joanBaezOnBigness
selected posts by Joan Baez on bigness, copied here because i dont like reading stuff on Google Plus. . . .
64K - last updated 2013-08-23 09:38 UTC by BayleShanks
notes-math-ln
This article says: " "The obvious claim to look at is a power contract (that pays the n’th power of . . .
1K - last updated 2015-09-06 20:14 UTC by BayleShanks
notes-math-mathFoundationsList
note: this page won't make much sense to anyone but myself. dream: table with hierarchy incld. sets, . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-mathLinks
* https://www.simonsfoundation.org/quanta/ --- One of the funniest/coolest theorems ever: [http://kilby.stanford.edu/~rvg/154/handouts/definability.html . . .
5K - last updated 2016-08-17 03:23 UTC by BayleShanks
notes-math-metarandom
later note: although i initially thought of this as "hyperrandom", a quick Google search indicates that . . .
3K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-misc
* [Self:notes-math-misc-findingInterestingSequences findingInterestingSequences] * [Self:notes-math-misc-miscMath . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-misc--index
* [Self:notes-math-misc-findingInterestingSequences findingInterestingSequences] * [Self:notes-math-misc-miscMath . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-misc-benfordsLaw
* http://www.quora.com/Statistics-academic-discipline/Why-is-it-that-in-many-data-sets-there-are-about-six-times-more-numbers-starting-with-the-digit-1-than-with-the-digit-9 . . .
1K - last updated 2014-06-12 08:26 UTC by BayleShanks
notes-math-misc-findingInterestingSequences
* https://oeis.org/superhelp.txt * [http://arxiv.org/abs/1101.4470v2 Sloane's Gap. Mathematical and Social . . .
1K - last updated 2016-03-24 00:34 UTC by BayleShanks
notes-math-misc-miscMath
philosophical thought on the problem of how to mathematically representat space: We are all thought that . . .
2K - last updated 2018-04-20 02:45 UTC by BayleShanks
notes-math-misc-secretaryProblem
If you are interviewing candidates for a job, and after you see each candidate, and you must decide . . .
2K - last updated 2014-06-14 00:54 UTC by BayleShanks
notes-math-mistakenProofs
* http://mathoverflow.net/questions/35468/widely-accepted-mathematical-results-that-were-later-shown-wrong . . .
1K - last updated 2014-04-18 21:51 UTC by BayleShanks
notes-math-mod
i think when you are doing arithmetic in the integers mod something, it's not just the case that you . . .
1K - last updated 2015-01-31 20:00 UTC by BayleShanks
notes-math-models
(under construction/todo) you want to say that there exists a homomorphism from a complex complete correct . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-numberTheory
* [Self:notes-math-numberTheory-palmensColoring palmensColoring] * [Self:notes-math-numberTheory-primeNumberSpiral . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-numberTheory--index
* [Self:notes-math-numberTheory-palmensColoring palmensColoring] * [Self:notes-math-numberTheory-primeNumberSpiral . . .
1K - last updated 2020-07-08 07:17 UTC by BayleShanks
notes-math-numberTheory-palmensColoring
http://www.hermetic.ch/misc/numcol.htm . . .
1K - last updated 2014-05-19 22:34 UTC by BayleShanks
notes-math-numberTheory-primeNumberSpiral
http://www.pinterest.com/pin/231161393348725600 "Many primes are of the form 4n^2 + an +b, which makes . . .
1K - last updated 2014-05-19 22:34 UTC by BayleShanks
notes-math-pi
pi should be replaced by 2pi http://www.math.utah.edu/~palais/pi.html . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-primorialLog
represent each digit in the "primorial base" representation as a fraction of it's highest value + 1. . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-probability
* [Self:notes-math-probability-kosko_lamplight_probability_models kosko_lamplight_probability_models] . . .
1K - last updated 2013-06-27 07:50 UTC by BayleShanks
notes-math-probability--index
* [Self:notes-math-probability-kosko_lamplight_probability_models kosko_lamplight_probability_models] . . .
1K - last updated 2014-06-19 07:03 UTC by BayleShanks
notes-math-probability-kosko lamplight probability models
" Bart Kosko Information Scientist and Professor of Electrical Engineering and Law, the University of . . .
9K - last updated 2013-06-27 07:46 UTC by BayleShanks
notes-math-relationalHomomorphism
i expect there is already a name for this, but i don't know what it is (if you do, pls email me, i'd . . .
3K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-reverseMathematics
== WKL == http://math.andrej.com/wp-content/uploads/2006/05/kleene-tree.pdf gives a good description . . .
1K - last updated 2013-09-07 09:32 UTC by BayleShanks
notes-math-signal
* http://toxicdump.org/stuff/FourierToy.swf . . .
1K - last updated 2013-11-15 18:50 UTC by BayleShanks
notes-math-statistics
--- "John Ioannidis gives a hypothetical but realistic example in the paper mentioned earlier (*). In . . .
8K - last updated 2015-09-24 00:15 UTC by BayleShanks
notes-math-tobesorted
todo: write about how i am disappointed that i dont get to deeply understand every math proof . . .
1K - last updated 2014-06-28 01:33 UTC by BayleShanks
notes-math-transfiniteOrdinals
http://blog.sigfpe.com/2008/10/whats-use-of-transfinite-ordinal.html here he's interpreting an ordinal . . .
2K - last updated 2013-09-12 09:36 UTC by BayleShanks
notes-math-uncountable
The cardinality of a set of numbers in any line segment of the reals is uncountable ( http://en.wikipedia.org/wiki/Cardinality_of_the_continuum . . .
7K - last updated 2013-09-06 08:56 UTC by BayleShanks
notes-math-universalAlgebra
Notes on some types related to homomorphisms: * An isomorphism is a bijective homomorphism. * An embedding . . .
4K - last updated 2013-09-12 09:36 UTC by BayleShanks
notes-math-visualProofs
* http://math.stackexchange.com/questions/733754/visually-stunning-math-concepts-which-are-easy-to-explain . . .
1K - last updated 2014-04-09 02:35 UTC by BayleShanks
notes-math-visualizing4d
" brossa Charles Howard Hinton came up with a system of colored cubes in 1888 that were supposed to help . . .
12K - last updated 2013-08-23 09:38 UTC by BayleShanks
notes-misc-academiaPhrasesList
words and phrases that crop up alot in academia and which are either overused or which often have diabolical . . .
1K - last updated 2014-06-28 01:02 UTC by BayleShanks
notes-misc-faqs
Interestingly, although today we think of the word 'catechism' as meaning a document about religious . . .
2K - last updated 2015-02-09 04:59 UTC by BayleShanks
notes-misc-miscAlanKayNotes
" So, throw in another level of invention and all of a sudden, you have to have schools. Schools came . . .
8K - last updated 2017-09-20 08:43 UTC by BayleShanks
notes-misc-miscMisc
http://c2.com/cgi/wiki?NoveltyVampires ---- ---- interesting quote: " "It's possible to argue that films . . .
130K - last updated 2023-12-11 04:30 UTC by BayleShanks
notes-misc-modelOfHelpingTheWorld
one weird thing is that things that seem to help can hurt. You can donate all your money to some political . . .
2K - last updated 2014-06-28 00:36 UTC by BayleShanks
notes-misc-reverseDesign
Currently in society the received wisdom is that you have to start with a goal and then determine what . . .
3K - last updated 2015-05-11 23:39 UTC by BayleShanks
notes-miscLinks
Links to various topics are on the relevant pages on this website (rather than all on this page). favorite . . .
6K - last updated 2018-03-01 02:13 UTC by BayleShanks
notes-nonprofits-openContentTeachingAwards
In order to encourage experts to spend more time making open (Creative Commons and open source licensed) . . .
1K - last updated 2014-06-28 00:43 UTC by BayleShanks
notes-organization-old-organizEtdDesignOld1
--- == Feature summary list == - defer dates, due dates, reminders - readable plaintext exports designed . . .
95K - last updated 2022-02-12 17:48 UTC by BayleShanks
notes-organization-organizEtdDesign
== Design todos == - todo.txt "priority" letters are also the "priority" here. They mean: - A,B: sub-today . . .
65K - last updated 2023-12-11 04:42 UTC by BayleShanks
notes-philosophy-academia
theory: activity whose goal is understanding == Discipline == 3 meanings of "discipline" (as in, "interdisciplinary"): . . .
2K - last updated 2013-04-16 07:53 UTC by BayleShanks
notes-philosophy-aristotle
Aristotle invents the syllogism in his book Prior Analytics. According to http://en.wikipedia.org/wiki/Foundational_crisis_of_mathematics#Foundational_crisis . . .
2K - last updated 2013-08-23 09:28 UTC by BayleShanks
notes-philosophy-ethics-jointUtility
If we assume that we have a formula for utility for one person, what mathematical function do we then . . .
9K - last updated 2015-12-11 12:23 UTC by BayleShanks
notes-philosophy-logic-aristotleVsKantVsModernFormalLogic
* aristotle and modern logic apparently disagree on what to do about 'vacuous implication'. My friend . . .
13K - last updated 2018-12-29 11:51 UTC by BayleShanks
notes-philosophy-philosophy
The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/, is very useful especially for rigorous . . .
1K - last updated 2013-09-06 08:47 UTC by BayleShanks
notes-philosophy-philosophyNotes
The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/, is very useful especially for rigorous . . .
1K - last updated 2015-06-16 15:11 UTC by BayleShanks
notes-philosophy-rationality-pillarsOfModernism
== Factual beliefs cannot be unethical, only incorrect == * Belief in a factual/verifiable/objective . . .
6K - last updated 2014-06-28 00:35 UTC by BayleShanks
notes-philosophy-utilitarianism
My friend ROF once pointed out an important failing of utilitarianism, namely, it is not obvious what . . .
2K - last updated 2015-02-09 04:58 UTC by BayleShanks
notes-physics-cheapQuantumComputing
It's possible that what state collapse is really about is information, that is, what each observer can . . .
2K - last updated 2014-06-28 00:44 UTC by BayleShanks
notes-politics-governanceSystems-govsChPreface
Please note that these are only notes towards a book that will probably never be finished. The "book" . . .
7K - last updated 2015-05-04 04:09 UTC by BayleShanks
notes-politics-governanceSystems-govsChSubgroupsThatMakeDecisions
[Self:notes-politics-governanceSystems-govsContents Table of Contents for Governance Systems Design] . . .
25K - last updated 2017-09-12 02:27 UTC by BayleShanks
notes-politics-governanceSystems-govsFuture
[Self:notes-politics-governanceSystems-govsContents Table of Contents for Governance Systems Design] . . .
23K - last updated 2015-07-06 02:15 UTC by BayleShanks
notes-politics-notesOnEngelsSocialismUtopianAndScientific
https://www.marxists.org/archive/marx/works/1880/soc-utop/index.htm I skimmed this to try to answer the . . .
12K - last updated 2016-01-22 07:59 UTC by BayleShanks
notes-politics-tainterCollapseOfComplexSocieties
as summarized in http://www.shirky.com/weblog/2010/04/the-collapse-of-complex-business-models/ : " In . . .
5K - last updated 2014-03-23 09:29 UTC by BayleShanks
notes-pycheAdviceAsNeuralCommandSignals
Pychological advice (a component of the self-help literature) is like the commands one part of our brain . . .
3K - last updated 2014-06-28 00:40 UTC by BayleShanks
notes-randomTips
== health == * to prevent tendonitis or carpal tunnel, you have to take frequent, short breaks when using . . .
11K - last updated 2014-06-28 00:38 UTC by BayleShanks
notes-rationality-iDontKnow
Often our refusal to take a stand on important questions has more to do with our own awareness of our . . .
2K - last updated 2014-06-28 00:48 UTC by BayleShanks
notes-researchAndApplication
A undesirable pattern that I've seen twice now in competitive social systems is: 1) Reward people for . . .
5K - last updated 2014-06-28 00:43 UTC by BayleShanks
notes-science-bio-bioMisc
human outliers: * http://emgn.com/entertainment/15-people-with-real-life-superpowers/2/ (warning: skipped . . .
8K - last updated 2018-02-23 01:16 UTC by BayleShanks
notes-science-bio-misc
human outliers: * http://emgn.com/entertainment/15-people-with-real-life-superpowers/2/ (warning: skipped . . .
5K - last updated 2014-11-06 22:15 UTC by BayleShanks
notes-science-neuro-mentalStats
focus can you focus on what you want to be thinking about? discrete workspace you can hold in your mind . . .
4K - last updated 2014-06-28 00:44 UTC by BayleShanks
notes-science-puritySpectrumAndHandsDirtySpectrum
it is well known that studying microbiology requires using a lot of chemistry, doing chemistry using . . .
2K - last updated 2014-06-28 00:44 UTC by BayleShanks
notes-science-scientificMethod
what is the scientific method? This page exists to collect various descriptions of it. " There is a straightforward . . .
2K - last updated 2018-05-22 09:21 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow
* [Self:notes-someStuffYouMightLikeToKnow-stuffChEcon stuffChEcon] * [Self:notes-someStuffYouMightLikeToKnow-stuffChStats . . .
2K - last updated 2020-05-21 10:36 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow--index
* [Self:notes-someStuffYouMightLikeToKnow-stuffChEcon stuffChEcon] * [Self:notes-someStuffYouMightLikeToKnow-stuffChStats . . .
2K - last updated 2020-05-21 10:36 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChCollabAndEcon
= Group cognition, group decision-making, collaboration = == Irrationality of democracy == There is . . .
12K - last updated 2017-08-01 09:27 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChCs
= Computer Studies = = machine learning = ---- supervised learning unsupervised learning clustering dimensionality . . .
13K - last updated 2020-01-10 11:00 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChIntro
= not written yet...!! = NOTE: THESE ARE JUST NOTES, PROBABLY FULL OF ERRORS!! if you see an error, please . . .
26K - last updated 2017-01-12 11:46 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChLogic
= Formal logic = Links: * http://matt.might.net/articles/logical-literacy/ First let's cover what's . . .
29K - last updated 2022-02-12 17:20 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChMath
== Math == ---- More than most fields, mathematicians define themselves by their discipline rather than . . .
113K - last updated 2023-12-11 04:14 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChMathAlt
== Math: fiddly philosophical details, alternatives, controversies == == Different types of infinity . . .
83K - last updated 2022-12-08 23:02 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChPhilosophy
= philosophy = ==== Some informal notes on what philosophy is like ==== When i took a high-level small . . .
42K - last updated 2022-12-08 23:02 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChPhysics
= Physics = == derivation of physics from symmetries == [https://en.wikipedia.org/wiki/Conservation_law . . .
28K - last updated 2023-02-19 02:33 UTC by BayleShanks
notes-someStuffYouMightLikeToKnow-stuffChStats
= Chapter: probability and statistics = pdf: like a histogram joint, conditional, marginal probabilities . . .
76K - last updated 2022-12-08 23:02 UTC by BayleShanks
notes-tech-macro
= Macroscale/long term environmental, social, political, or economic changes = == Timelines == === Century-granularity . . .
6K - last updated 2014-06-28 00:38 UTC by BayleShanks
notes-visual-visualization
if you have a distribution cut into parts along multiple dimensions, and you want readers to add up different . . .
23K - last updated 2018-02-14 20:48 UTC by BayleShanks
notes-weird-inAnApocalypseWhatToSave
Periodically the idea comes up of storing some knowledge in a durable form so that if there's an apocalypse, . . .
4K - last updated 2014-06-28 01:32 UTC by BayleShanks
opinions
* [Self:opinions-philosophy philosophy] * [Self:opinions-essays essays] * [Self:opinions-humanity humanity] . . .
1K - last updated 2014-04-09 02:38 UTC by BayleShanks
opinions--index
* [Self:opinions-philosophy philosophy] * [Self:opinions-essays essays] * [Self:opinions-humanity humanity] . . .
1K - last updated 2014-06-19 07:01 UTC by BayleShanks
opinions-essays-onSimplicity
''This essay is under construction'' There is too much to learn and not enough time. We need to value . . .
7K - last updated 2005-04-24 10:24 UTC by user-10cmeae.cable.mindspring.com
opinions-math
* [Self:opinions-math-tobesorted tobesorted] * [Self:opinions-math-pi pi] . . .
1K - last updated 2009-10-07 09:13 UTC by BayleShanks
opinions-math--index
* [Self:opinions-math-tobesorted tobesorted] * [Self:opinions-math-pi pi] . . .
1K - last updated 2014-06-19 07:04 UTC by BayleShanks
opinions-math-pi
pi should be replaced by 2pi http://www.math.utah.edu/~palais/pi.html . . .
1K - last updated 2009-10-07 09:03 UTC by BayleShanks
opinions-math-tobesorted
todo: write about how i am disappointed that i dont get to deeply understand every math proof . . .
1K - last updated 2005-11-06 07:01 UTC by user-10cmeae.cable.mindspring.com
opinions-oldindex
This section contains my opinions on things. Other sections with different sorts of opinions in them . . .
2K - last updated 2008-11-26 12:02 UTC by BayleShanks
opinions-organizations-academicDepartments
in academia, it is a bad career move to be interdisciplinary, unless you chosen choice of interdiscipline . . .
6K - last updated 2011-10-10 21:24 UTC by BayleShanks
opinions-philosophy-iDontKnow
Often our refusal to take a stand on important questions has more to do with our own awareness of our . . .
2K - last updated 2010-10-14 10:21 UTC by BayleShanks
opinions-political-BayleShanksVotes
= General election Nov 7, 2006 = Just a comment to start things off: * '''I hate bonds''' * '''I hate . . .
17K - last updated 2006-10-17 11:00 UTC by user-10cmeet.cable.mindspring.com
opinions-political-BayleShanksVotesOld
Here you can see who I voted for in past elections. ---- = Nov 2, 2004 election = == U.S. President: . . .
27K - last updated 2005-11-07 00:43 UTC by user-10cmeae.cable.mindspring.com
opinions-political-nuclearWeapons
i am against nuclear weapons. ---- here are two guys that saved the world. thanks, guys. http://en.wikipedia.org/wiki/Stanislav_Petrov . . .
25K - last updated 2006-10-17 11:05 UTC by user-10cmeet.cable.mindspring.com
opinions-political-people
To sum up my opinion of humanity: __Humans are bumblers.__ (and not just other humans, but me and you, . . .
7K - last updated 2010-03-10 00:40 UTC by BayleShanks
opinions-political-roleOfScience
Crichton's essay here is pretty good. I agree with some but not all of it: http://www.crichton-official.com/speeches/speeches_quote04.html . . .
6K - last updated 2006-10-17 11:04 UTC by user-10cmeet.cable.mindspring.com
opinions-school
the primary education system is in trouble. We make everyone spend a significant portion of their lives . . .
8K - last updated 2011-12-06 10:07 UTC by BayleShanks
opinions-scienceJournalism
a good article. i hadn't realized things were this bad: http://www.guardian.co.uk/life/badscience/story/0,12980,1564369,00.html . . .
24K - last updated 2005-09-30 08:53 UTC by user-10cmeae.cable.mindspring.com
opinions-singularity2
Slashdot discussed an article on the effect of widespread robots on the economy. The article was okay . . .
12K - last updated 2005-11-05 19:53 UTC by user-10cmeae.cable.mindspring.com
opinions-tech-scienceJournalism
a good article. i hadn't realized things were this bad: http://www.guardian.co.uk/life/badscience/story/0,12980,1564369,00.html . . .
24K - last updated 2014-04-18 09:44 UTC by BayleShanks
opinions-tech-singularity
some thoughts on posthumanism and space travel respectively: i think it might happen, but probably not . . .
14K - last updated 2005-11-07 00:45 UTC by user-10cmeae.cable.mindspring.com
proj-branchDemocracy-branchDemocracyDesignTodos
---- maybe further restrict the number of things the Forum can vote on per unit time? the idea being . . .
145K - last updated 2016-12-07 11:59 UTC by BayleShanks
proj-branchDemocracy-branchDemocracyDesignTodos2
so, you want term limits and stuff like saying one person can't hold all the offices at once. But when . . .
167K - last updated 2019-06-01 06:57 UTC by BayleShanks
proj-branchDemocracy-branchDemocracyDesignTodos5
mb w/r/t interpretation of rules of debate on the Board, questions of 'fact' lie with the Chairs (altho . . .
93K - last updated 2023-12-11 03:54 UTC by BayleShanks
proj-concordDemocracy-concordCommentary
the commentary has not been written yet. These are some notes towards it. --- some primary and unique . . .
71K - last updated 2020-05-21 09:20 UTC by BayleShanks
proj-future
A list of potential future projects of mine. More future projects are listed on [http://purl.net/net/bshanks/work/pastFutureInterests.html . . .
5K - last updated 2015-09-06 19:35 UTC by BayleShanks
proj-future--index
* [Self:proj-future-computerScienceToLearn computerScienceToLearn] * [Self:proj-future-index index] * . . .
1K - last updated 2020-05-21 10:35 UTC by BayleShanks
proj-future-ConspiracyProject
When there is a choice between two mutually incompatible systems of beliefs, how to know which one to . . .
5K - last updated 2017-03-24 16:33 UTC by BayleShanks
proj-future-computerScienceToLearn
Material already "learned" in class that should be reviewed (this has first priority because the reward . . .
4K - last updated 2015-09-30 22:17 UTC by BayleShanks
proj-future-mathToLearn
Material already "learned" in class that should be reviewed (this has first priority because the reward . . .
6K - last updated 2020-05-21 09:21 UTC by BayleShanks
proj-jasper
* [Self:proj-jasper-jasperCoreThoughts jasperCoreThoughts] * [Self:proj-jasper-jasperCalls jasperCalls] . . .
10K - last updated 2014-10-30 00:17 UTC by BayleShanks
proj-jasper--index
* [Self:proj-jasper-jasperCoreThoughts jasperCoreThoughts] * [Self:proj-jasper-jasperCalls jasperCalls] . . .
10K - last updated 2014-10-30 00:17 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-jasperAssemblyNotes1
note that MOV can accomplish loads and stores by having one operand be a register or stack, and another . . .
57K - last updated 2014-09-21 20:20 UTC by BayleShanks
proj-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-07-12 05:12 UTC by BayleShanks
proj-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-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperDataNotes1
== jasper data design todos == * representations may be related by a chain of transformations, not just . . .
75K - last updated 2014-08-22 19:49 UTC by BayleShanks
proj-jasper-jasperDesignChoices
== High-level design criteria == In roughly descending order of importance to Jasper. === Turing completeness . . .
44K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-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-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperImplementationNotes1
hmm guile can be embedded, perhaps target guile. todo. --- == Platform targets == * Embeddable via C . . .
71K - last updated 2014-09-23 23:11 UTC by BayleShanks
proj-jasper-jasperLazyNotes1
-- consider a strictness analyzer which is conservative in that it marks functions as 'maybe strict . . .
69K - last updated 2014-10-29 23:40 UTC by BayleShanks
proj-jasper-jasperLibrariesNotes1
"(Is Urbit German? Sadly, no. But all our noun print formats are URL-safe, which dot is and comma isn’t.)" . . .
42K - last updated 2014-10-07 23:05 UTC by BayleShanks
proj-jasper-jasperLowEndTargetsNotes2
--- https://www.spark.io/ STM32F103 microcontroller ARM Cortex M3 architecture 32-bit 72Mhz processor . . .
57K - last updated 2014-09-21 19:09 UTC by BayleShanks
proj-jasper-jasperMathAssistantNotes1
what can jasper learn from computer algebra and theorem-proving systems? -- Computer algebra systems . . .
1K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperMmoNotes1
" Under the hood, Croquet is based on a protocol called TeaTime?, which keeps multiple servers in synch . . .
5K - last updated 2014-07-12 05:10 UTC by BayleShanks
proj-jasper-jasperNotes
--- handy list of symbols convenient for freq usage: unshifted, double unshifted, shifted, double shifted . . .
155K - last updated 2014-07-12 05:14 UTC by BayleShanks
proj-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-07-12 05:09 UTC by BayleShanks
proj-jasper-jasperNotes10
Lua closures vs OOP object instances vs Haskell partially applied functions (vs clojure closures) --- . . .
117K - last updated 2014-10-29 23:40 UTC by BayleShanks
proj-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-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperNotes3
http://bartoszmilewski.com/2009/05/21/unique_ptr-how-unique-is-it/ : some type properties: * immutable . . .
203K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-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-07-12 05:14 UTC by BayleShanks
proj-jasper-jasperNotes5
The Spirit parser framework - metaprogramming and no macros On the topic of metaprogramming and macros . . .
58K - last updated 2014-07-12 05:13 UTC by BayleShanks
proj-jasper-jasperNotes8
orthecreedence 3 days ago | link Common Lisp guy gonna chime in here...having a REPL that integrates . . .
94K - last updated 2014-08-20 23:48 UTC by BayleShanks
proj-jasper-jasperNotes9
a few insights i've had recently: * multi-dimensional dataframes are like keywords are like hyperedges; . . .
68K - last updated 2014-09-23 23:14 UTC by BayleShanks
proj-jasper-jasperOopNotes1
http://journal.stuffwithstuff.com/2010/09/18/futureproofing-uniform-access-and-masquerades/ points out . . .
15K - last updated 2014-10-09 23:29 UTC by BayleShanks
proj-jasper-jasperSpreadsheetNotes1
how can Jasper reinvent the spreadsheet? http://baselinescenario.com/2013/02/09/the-importance-of-excel/# . . .
63K - last updated 2014-10-03 14:46 UTC by BayleShanks
proj-jasper-jasperSyntaxNotes1
"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-08 08:27 UTC by BayleShanks
proj-jasper-jasperSyntaxThoughts
unlike Haskell, we don't want to allow arbitrary operator precedence, because then you have to look up . . .
90K - last updated 2014-10-29 23:44 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-jasperTypeNotes1
if a variable can have many interface types (predicates? attribute types?), then need to decide at some . . .
190K - last updated 2014-08-04 18:27 UTC by BayleShanks
proj-jasper-jasperTypeNotes2
interestingly, Curtis Guy Yarvin of Nock and Hoon and Urbit fame came to the same conclusion that i did . . .
10K - last updated 2014-10-08 19:43 UTC by BayleShanks
proj-jasper-rosettaLanguageComparisonMethodology
== How to compare programming languages? == Traditionally programming languages are compared by popularity, . . .
7K - last updated 2014-07-12 05:12 UTC by BayleShanks
proj-jasper-whyJasper
note that none of this has been implemented yet, and the design is still in flux! All of these items, . . .
76K - last updated 2014-10-10 00:35 UTC by BayleShanks
proj-liquidRepublic-liquidRepublicDesignTodos
modifications that i plan to make in the bylaws, or things to think about further: -- It is important . . .
82K - last updated 2015-04-20 08:56 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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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 . . . The only complaint I have had about package "math" is that all operations are defined on float64s, . . .
32K - last updated 2015-06-19 04:27 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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-ootLibrariesNotes2
i'm not quite sure how to divide up the core/bundled/recommended libraries. At the one extreme, we have . . . The only complaint I have had about package "math" is that all operations are defined on float64s, . . .
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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-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-plbook-plAssemblyFrequentInstructions
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Most frequently . . .
25K - last updated 2014-07-12 05:08 UTC by BayleShanks
proj-plbook-plChAppLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] todo: combine with . . .
54K - last updated 2023-12-11 02:50 UTC by BayleShanks
proj-plbook-plChArithmeticImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] === Integers === . . .
25K - last updated 2022-12-08 22:41 UTC by BayleShanks
proj-plbook-plChArmIsa
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] === ARM: Intro === . . .
104K - last updated 2022-12-08 22:42 UTC by BayleShanks
proj-plbook-plChAssemblyFrequentInstructions
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Most frequently . . .
101K - last updated 2022-06-15 01:10 UTC by BayleShanks
proj-plbook-plChAssemblyLanguagePrincipals
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] In this book we'll . . .
56K - last updated 2022-08-22 03:49 UTC by BayleShanks
proj-plbook-plChAssemblyLanguagePrinciples
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] In this book we'll . . .
56K - last updated 2022-12-08 22:42 UTC by BayleShanks
proj-plbook-plChConcurrencyLanguagesAndLibraries
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : languages . . .
9K - last updated 2023-12-11 03:12 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-plChCsTheory101
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : CS theory . . .
7K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-plbook-plChCtmLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == C == Because it . . .
125K - last updated 2023-12-11 03:09 UTC by BayleShanks
proj-plbook-plChData
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter : Data . . .
17K - last updated 2023-02-19 02:06 UTC by BayleShanks
proj-plbook-plChDynamics
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter: The dynamics . . .
34K - last updated 2023-12-11 03:09 UTC by BayleShanks
proj-plbook-plChFavLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Favorite programming . . .
25K - last updated 2023-12-11 03:11 UTC by BayleShanks
proj-plbook-plChFormalMisc
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Misc. Formal Stuff . . .
10K - last updated 2022-12-08 22:44 UTC by BayleShanks
proj-plbook-plChFuncLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Haskell == Because . . .
124K - last updated 2023-12-11 03:08 UTC by BayleShanks
proj-plbook-plChGoLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Go (golang) = Because . . .
177K - last updated 2023-12-11 03:12 UTC by BayleShanks
proj-plbook-plChHalting
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] === machines that . . .
20K - last updated 2017-06-05 20:01 UTC by BayleShanks
proj-plbook-plChHardLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Verilog == "The . . .
13K - last updated 2022-12-08 22:43 UTC by BayleShanks
proj-plbook-plChHaskell
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Haskell = Because . . .
57K - last updated 2023-12-11 03:10 UTC by BayleShanks
proj-plbook-plChHistLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Of historical interest . . .
31K - last updated 2023-12-11 03:07 UTC by BayleShanks
proj-plbook-plChHistory
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter : History . . .
53K - last updated 2023-12-11 02:50 UTC by BayleShanks
proj-plbook-plChImplementationTools
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == LLVM == See [Self:proj-plbook-plChLlvmImpl . . .
26K - last updated 2023-12-11 03:10 UTC by BayleShanks
proj-plbook-plChIntro
Please note that these are only notes towards a book that will probably never be finished. The "book" . . .
11K - last updated 2015-02-20 01:33 UTC by BayleShanks
proj-plbook-plChIsaMisc
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == V86 == A teaching . . .
124K - last updated 2023-02-19 02:06 UTC by BayleShanks
proj-plbook-plChIversonArrayLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Iverson array languages= . . .
17K - last updated 2023-12-11 03:08 UTC by BayleShanks
proj-plbook-plChJavascriptLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] Because it is so . . .
64K - last updated 2023-12-11 03:13 UTC by BayleShanks
proj-plbook-plChLispLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Lisps (in general) . . .
100K - last updated 2023-12-11 03:14 UTC by BayleShanks
proj-plbook-plChMacros
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter : metaprogramming: . . .
14K - last updated 2022-08-22 03:49 UTC by BayleShanks
proj-plbook-plChMetaprogramming
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter: metaprogramming: . . .
32K - last updated 2023-12-11 03:08 UTC by BayleShanks
proj-plbook-plChMiscIntermedLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Other Intermediate . . .
148K - last updated 2022-06-15 01:09 UTC by BayleShanks
proj-plbook-plChMiscIntermedLangs2
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] ---- continued from . . .
34K - last updated 2022-08-22 03:46 UTC by BayleShanks
proj-plbook-plChModelsOfComputation
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : models . . .
20K - last updated 2022-06-15 01:12 UTC by BayleShanks
proj-plbook-plChNumbers
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : numbers . . .
9K - last updated 2015-03-04 08:22 UTC by BayleShanks
proj-plbook-plChOptimizationImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] Since you mentioned . . .
15K - last updated 2021-12-15 07:40 UTC by BayleShanks
proj-plbook-plChParsingImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Chapter : parsing . . .
79K - last updated 2023-12-11 03:13 UTC by BayleShanks
proj-plbook-plChPascalOberonLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Pascal and Oberon . . .
29K - last updated 2023-12-11 03:11 UTC by BayleShanks
proj-plbook-plChPicAvrIsa
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = The PIC and AVR . . .
20K - last updated 2021-02-27 18:49 UTC by BayleShanks
proj-plbook-plChProofLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] TODO: this is related . . .
45K - last updated 2023-12-11 03:08 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-plChRacketLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Scheme and Racket . . .
13K - last updated 2022-08-30 05:38 UTC by BayleShanks
proj-plbook-plChRiscvIsa
== RISC-V == open source clearest concise summary of major opcodes is in tables at the end of http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-146.pdf . . .
113K - last updated 2023-12-11 03:12 UTC by BayleShanks
proj-plbook-plChSciLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Languages for scientific, . . .
90K - last updated 2023-12-11 03:12 UTC by BayleShanks
proj-plbook-plChSecureLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Security languages . . .
85K - last updated 2023-12-11 03:08 UTC by BayleShanks
proj-plbook-plChSemantics
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : Semantics . . .
5K - last updated 2016-09-02 10:10 UTC by BayleShanks
proj-plbook-plChSingleIntermedLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Other intermediate . . .
101K - last updated 2022-06-15 01:08 UTC by BayleShanks
proj-plbook-plChSingleIntermedLangs3
== Zig stage1 compiler IR == Zig stage1 compiler: where the core is written in C++. See also Zig "stage2" . . .
45K - last updated 2022-08-22 03:45 UTC by BayleShanks
proj-plbook-plChSmalltalkLang
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Smalltalk = Because . . .
8K - last updated 2023-12-11 03:11 UTC by BayleShanks
proj-plbook-plChStdLibraries
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Standard libraries . . .
26K - last updated 2022-12-08 22:41 UTC by BayleShanks
proj-plbook-plChSubturingModels
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : sub-Turing . . .
8K - last updated 2020-11-26 08:17 UTC by BayleShanks
proj-plbook-plChSyntax
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : syntax . . .
19K - last updated 2023-12-11 03:13 UTC by BayleShanks
proj-plbook-plChTargetLanguagesConcordance
= Cross-platform concordance of instructions from seven intermediate- or assembly- language architectures: . . .
89K - last updated 2020-09-09 09:02 UTC by BayleShanks
proj-plbook-plChTargetLanguagesConcordance2
Continued from [Self:proj-plbook-plChTargetLanguagesConcordance Target Languages Concordance part I] . . .
80K - last updated 2020-09-09 09:04 UTC by BayleShanks
proj-plbook-plChTypeConstructs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : typing . . .
9K - last updated 2014-07-12 05:07 UTC by BayleShanks
proj-plbook-plChWebBrowserIntermedLangs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Web Browser ILs . . .
38K - last updated 2023-12-11 03:07 UTC by BayleShanks
proj-plbook-plContents
Please note that these are only notes towards two books that will probably never be finished. The "books" . . .
17K - last updated 2022-12-08 22:42 UTC by BayleShanks
proj-plbook-plInteropImpl
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter: Interop . . .
20K - last updated 2023-12-11 03:07 UTC by BayleShanks
proj-plbook-plNotesToSelf
on total functions: " Girard and Reynolds’ System F (1971): characterization of the provably total . . .
9K - last updated 2014-07-12 05:09 UTC by BayleShanks
proj-plbook-plPartConcurrency2
continued from [Self:proj-plbook-plPartConcurrency] == Chapter: scalability == === scalability of message . . .
76K - last updated 2021-07-13 19:48 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
proj-plbook-plPartConstructs
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Part III: Language . . .
26K - last updated 2017-04-27 08:39 UTC by BayleShanks
proj-plbook-plPartFormal
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] ---- == Part : Formal . . .
12K - last updated 2022-12-08 22:42 UTC by BayleShanks
proj-plbook-plPartImplementation
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Part V: Implementation . . .
122K - last updated 2023-12-11 03:14 UTC by BayleShanks
proj-plbook-plPartImplementationTools
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == LLVM == See [Self:proj-plbook-plChLlvmImpl . . .
4K - last updated 2014-09-10 23:20 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-plbook-plPartLinks
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Part : = Other . . .
13K - last updated 2023-12-11 02:50 UTC by BayleShanks
proj-plbook-plPartNaturalLanguage
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = Natural languages, . . .
53K - last updated 2020-05-21 09:25 UTC by BayleShanks
proj-plbook-plPartThoughts
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Part : Various . . .
50K - last updated 2023-02-19 02:11 UTC by BayleShanks
proj-plbook-plPartTodos
== todo == todo add in stuff from [Self:notes-computer-programming-programmingLanguageDesign-prosAndCons], . . .
17K - last updated 2023-12-11 03:12 UTC by BayleShanks
proj-plbook-plPartTypeSystems
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] == Chapter : Type . . .
130K - last updated 2023-12-11 03:12 UTC by BayleShanks
proj-plbook-plPicAvrIsa
[Self:proj-plbook-plContents Table of Contents for Programming Languages: a survey] = The PIC and AVR . . .
16K - last updated 2017-11-09 08:34 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
projects-future
A list of potential future projects of mine. More future projects are listed on [http://purl.net/net/bshanks/work/pastFutureInterests.html . . .
5K - last updated 2014-06-28 00:34 UTC by BayleShanks
projects-future--index
* [Self:projects-future-index index] * [Self:projects-future-mathToLearn mathToLearn] * [Self:projects-future-lifeGoals . . .
1K - last updated 2014-06-19 07:06 UTC by BayleShanks
projects-future-ConspiracyProject
When there is a choice between two mutually incompatible systems of beliefs, how to know which one to . . .
5K - last updated 2014-05-09 19:55 UTC by BayleShanks
projects-future-computerScienceToLearn
Material already "learned" in class that should be reviewed (this has first priority because the reward . . .
3K - last updated 2013-12-04 00:37 UTC by BayleShanks
projects-future-mathToLearn
Material already "learned" in class that should be reviewed (this has first priority because the reward . . .
3K - last updated 2013-12-04 00:37 UTC by BayleShanks
quotes
Note: I do NOT agree with some of these! For example, a quote by Schlesinger below expresses the opposite . . .
144K - last updated 2020-09-09 09:00 UTC by BayleShanks
quotes2
Note: I do NOT agree with some of these! "There are two hard things in computer science: cache invalidation, . . .
132K - last updated 2020-05-21 10:01 UTC by BayleShanks
quotes3
Note: I do NOT agree with some of these! Note: I didn't factcheck these, they may be misattributed https://mobile.twitter.com/omarnajam/status/935626720408768512?lang=en . . .
134K - last updated 2020-05-21 09:20 UTC by BayleShanks
quotes4
"Most of us never became the kind of hackers depicted in “Hackers.” To “hack,” in the parlance . . .
101K - last updated 2023-12-11 02:48 UTC by BayleShanks
singularity
Slashdot discussed an article on the effect of widespread robots on the economy. The article was okay . . .
12K - last updated 2005-11-05 09:51 UTC by user-10cmeae.cable.mindspring.com
thoughts-lists-academia phrases
words and phrases that crop up alot in academia and which are either overused or which often have diabolical . . .
1K - last updated 2004-11-21 14:33 UTC by user-10cm007.cable.mindspring.com
thoughts-lists-cool things to do
cool things to see * transitions * stare at the full moon without moving your eyes for awhile, it suddenly . . .
2K - last updated 2004-11-21 14:32 UTC by user-10cm007.cable.mindspring.com
thoughts-researchAndApplication
A undesirable pattern that I've seen twice now in competitive social systems is: 1) Reward people for . . .
5K - last updated 2005-11-06 21:34 UTC by user-10cmeae.cable.mindspring.com
tips-computer-android-appsMb
For a list of apps that I use, see [[Self:tips-computer-android-apps]]. = Apps that I have that I think . . .
8K - last updated 2010-03-17 01:28 UTC by BayleShanks
tips-computer-android-appsUninstalled
For a list of apps that I use, see [[Self:tips-computer-android-apps]]. == Apps that I've uninstalled . . .
4K - last updated 2010-03-17 01:28 UTC by BayleShanks
tips-computer-firefox
= Firefox tips and tweaks = I'm currently transitioning from firefox 2 to firefox 3, so there are some . . .
7K - last updated 2011-03-10 08:49 UTC by BayleShanks
tips-computer-gnuLinux
== What programs I use == || GNU/Linux distribution || debian || || web browser || firefox || || email . . .
35K - last updated 2013-12-06 23:15 UTC by BayleShanks
tips-computer-lenovoX61t-review
= Lenovo (IBM) x61 tablet (x61t) (model number 7764CTO): review = This page has three sections. A summary, . . .
25K - last updated 2007-09-13 08:51 UTC by BayleShanks
tips-computer-oqo-apps
= Matchbox window manager = ~/.matchbox/mbdock.session: <pre> mb-applet-launcher --desktop /usr/share/applications/iceweasel.desktop . . .
6K - last updated 2008-11-26 11:18 UTC by BayleShanks
tips-education
* [Self:tips-education-coloredNaturalLanguageExplicationOfMathFormula coloredNaturalLanguageExplicationOfMathFormula] . . .
1K - last updated 2011-06-27 07:51 UTC by BayleShanks
tips-education--index
* [Self:tips-education-coloredNaturalLanguageExplicationOfMathFormula coloredNaturalLanguageExplicationOfMathFormula] . . .
1K - last updated 2014-06-19 07:03 UTC by BayleShanks
tips-education-coloredNaturalLanguageExplicationOfMathFormula
this guy had a great idea: http://altdevblogaday.org/wp-content/uploads/2011/05/DerivedDFT.png (from . . .
1K - last updated 2011-06-27 07:46 UTC by BayleShanks
tips-randomTips
== health == * to prevent tendonitis or carpal tunnel, you have to take frequent, short breaks when using . . .
11K - last updated 2014-04-15 05:21 UTC by BayleShanks
tutorials-haskell
== Haskell tutorial == by Bayle Shanks some code samples are from __Yet Another Haskell Tutorial__ which . . .
158K - last updated 2014-01-13 22:14 UTC by BayleShanks
tutorials-haskellTutorial
== Haskell tutorial == by Bayle Shanks some code samples are from __Yet Another Haskell Tutorial__ which . . .
158K - last updated 2014-06-20 07:19 UTC by BayleShanks
tutorials-trading
to anyone reading this besides me: WOAH! I DONT KNOW ANYTHING ABOUT TRADING! I AM WRITING THIS AS I LEARN . . .
47K - last updated 2014-06-11 02:04 UTC by BayleShanks
weird-inAnApocalypseWhatToSave
Periodically the idea comes up of storing some knowledge in a durable form so that if there's an apocalypse, . . .
4K - last updated 2014-05-19 22:37 UTC by BayleShanks
work-storage-byTopic-neuroscience-quals-Q1
%%\documentclass[twocolumn]{article} \documentclass{article} \oddsidemargin -0.8in \evensidemargin -0.8in . . .
11K - last updated 2007-06-28 08:59 UTC by user-10cmfug.cable.mindspring.com
work-storage-byTopic-neuroscience-quals-Q2
\documentclass{article} %% NOTE: before running EasyLatex on this, remove comments within [[[...]]] and . . .
15K - last updated 2007-06-28 08:59 UTC by user-10cmfug.cable.mindspring.com
work-storage-papers-computingWithGraphsAndSynchronization2004-computingWithGraphsAndSynchronization
\documentclass{report} %this is an EasyLatex source file \input xy \xyoption{all} \author{Bayle Shanks} . . .
85K - last updated 2007-06-28 08:59 UTC by user-10cmfug.cable.mindspring.com
work-storage-presentations-qualsJC-tamingTheBeast
\documentclass{seminar} == Additional figures == ---- == Synaptic scaling == \includegraphics{synapticScaling2.eps} . . .
5K - last updated 2007-06-28 09:00 UTC by user-10cmfug.cable.mindspring.com
747 pages found.