jonjacky

56 ms·

601.
by jonjacky 11y ago
Trail, a recently enhanced version: https://github.com/mdoege/Trail
602.
by jonjacky 11y ago
"Cape (Canaveral) Is No Place To Launch Marriage This Space Coast Town Is Splitsville, Usa, The Divorce Capital Of The Nation, According To The Latest Census Bureau Data." http://articles.orlandosentinel.com/2002-0
603.
by jonjacky 11y ago
"The chief cause of problems is solutions." - Eric Sevareid
604.
by jonjacky 11y ago
Isn't anyone going to post a comment describing their experiences with this?
605.
by jonjacky 11y ago
This is a brief but comprehensive course book for novices: web including HTML and CSS, command line, Python, Django, git, hosting, deployment ... It gives step-by-step directions for making a simple blogging platform in Python/Django
606.
by jonjacky 11y ago
Also -- these two are mostly technical, advanced: Jessica McKellar: http://web.mit.edu/jesstess/www/ Allison Kaptur: http://akaptur.com/blog/archives/ This one is mostly about teaching a
607.
by jonjacky 11y ago
A related artifact from that era, the very popular DIY repair manual: How to Keep Your Volkswagen Alive: A Manual of Step-by-Step Procedures for the Compleat Idiot by John Muir and Peter Aschwanden. I see it's still in print. This vid
608.
by jonjacky 11y ago
If you can get past Dijkstra's arrogance and abrasive presentation, he actually has some useful things to teach. If you look at one of the books where he and his colleagues teach how to do this (for example, A Method of Programming, by
609.
by jonjacky 11y ago
Mary Rose Cook: http://maryrosecook.com/blog/archive Julia Evans: http://jvns.ca/blog/archives/ also http://jvns.ca/projects/ Most of their articles are about technical
610.
by jonjacky 11y ago
Here is a nice short (19 page) introduction: From Cbits to Qbits: Teaching computer scientists quantum mechanics by N. David Mermin http://arxiv.org/abs/quant-ph/0207118 The standard (very big) textbook is Nielsen
611.
by jonjacky 11y ago
Here are some photos of students and others using the system at Dartmouth ca 1964. Many show the rolls of teletype paper. https://www.flickr.com/photos/dartmouthflickr/sets/721576432... This paper from Scien
612.
by jonjacky 11y ago
These photos must have been the inspiration for Isaac Asimov's short story, Hell-Fire: https://en.wikipedia.org/wiki/Hell-Fire
613.
by jonjacky 11y ago
Peter Norvig's examples. They are quite short and include much explanation in addition to code. They also include tests and benchmarking code. http://norvig.com/lispy.html http://norvig.com/lispy2.ht
614.
by jonjacky 11y ago
Great! It might be interesting to code this in FORTRAN for the 63-phase compiler for the 1401 [1]. I wonder how the generated code would compare? [1] http://ibm-1401.info/1401-FORTRAN-Illustrated.html
615.
by jonjacky 11y ago
> for a one-year project coding is not allowed to start before the ninth month! Early in his career Dijkstra had to write an operating system for a machine that had not yet been built. So he wrote the whole thing on paper, working only
616.
by jonjacky 11y ago
PyMite aka python-on-a-chip targets 8-bit microcontrollers: https://code.google.com/p/python-on-a-chip/ https://wiki.python.org/moin/PyMite
617.
by jonjacky 11y ago
> "Python, huh? Seems like typos in uncommon branches of the code would cause it to randomly fail at runtime, losing your work!" Maybe not - Python itself can provide some crash protection. Run it this way: python -i run_pyvim
618.
by jonjacky 12y ago
"Inverarity" also suggests "inverse rarity", a kind of postage stamp --- foreshadowing a theme of the book.
619.
by jonjacky 12y ago
This page says that the driver verifier uses the SLAM verification engine - I am not sure whether/how that is related to Z3: http://research.microsoft.com/en-us/projects/slam/
620.
by jonjacky 12y ago
Fantasia Mathematica, The Mathematical Magpie, and The Space Child's Mother Goose are collections of short fiction, satire, and miscellania assembled in the same era as A Wrinkle In Time. I enjoyed them when I was about that age. Wik
621.
by jonjacky 12y ago
Many examples here. Also search for "tiny ..." or "minimal ..." with more search terms to narrow down the category http://kmkeen.com/tiny-code/index.html
622.
by jonjacky 12y ago
Possibly pertinent-- Quark : A Web Browser with a Formally Verified Kernel. The page says, "the specification implies several security properties..." http://goto.ucsd.edu/quark/
623.
by jonjacky 12y ago
CS degrees didn't even exist at most places until the late 1960s or even the 1970s. So -- Donald Knuth BS,MS mathematics 1960, PhD mathematics 1963 Dennis Ritchie BS physics 1963, PhD applied mathematics 1967 Ken Thompson BS EE 1965,
624.
by jonjacky 12y ago
The Most Important Software Innovations 1837 - 2004 (scroll down to table in section 4): http://www.dwheeler.com/innovation/innovation.html
625.
by jonjacky 12y ago
With PyModel you write models (simulations or executable specifications) in Python. There is an analyser that generates and displays graphs (finite state machines) that demonstrate samples of model behavior (the model itself does not have
626.
by jonjacky 12y ago
Also pertinent: Peter Jennings' Microchess for the 1K Kim-1. His page says it "was the first game program sold for home computers", shipped in 1976. http://www.benlo.com/microchess/
627.
by jonjacky 12y ago
This 1994 paper (using Scheme) might be pertinent: Fields in Physics are like Curried Functions or Physics for Functional Programmers: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.1...
628.
by jonjacky 12y ago
Here is chess in 1 kb, written in 6502 assembler for the KIM-1 -- in 1976! http://www.benlo.com/microchess/ The instructions say, "If you are an above average player, you may find that the MICROCHESS program is be
629.
by jonjacky 12y ago
Besides the two discussed in the linked article, there have been many other attempts to build systems where the OS and all the applications are written in a single language: https://github.com/jon-jacky/Piety/blob&
630.
by jonjacky 12y ago
I recall somebody (can't recall who or when) gave this definition: a scripting language is one where most of the work gets done by invoking programs written in a different language. So sh and bash (etc.) are definitely scripting langu

More ›