so-cal-schemer

17 ms·

1.
by so-cal-schemer 4d ago
Logo on Apple //e computers was my first foray into programming. I was entranced.
2.
by so-cal-schemer 4d ago
There seems to be a lot of unreasonable down-voting happening these days. You can click on the time-of-post to "vouch" for down-voted or "[dead]" comments to bring them back. Otherwise, to read them, I will select the te
3.
by so-cal-schemer 6d ago
A recent discussion: We should revisit literate programming in the agent era (silly.business) 292 points by horseradish 6 months ago | hide | past | favorite | 266 comments https://news.ycombinator.com/item?id=473
4.
Knuth: Literate Programming(www-cs-faculty.stanford.edu)
2 points by so-cal-schemer 9d ago|3 comments
5.
by so-cal-schemer 9d ago
Literate programming is a methodology that combines a programming language with a documentation language, thereby making programs more robust, more portable, more easily maintained, and arguably more fun to write than programs that are wri
6.
by so-cal-schemer 10d ago
Cool! Looks like a company that grew out of §3.3.4 of SICP. Hardware oriented NixOS and GUIX users should be very interested in this: declarative PCB designs. 3.3.4 A Simulator for Digital Circuits https://sarabander.github.io&#x
7.
Tcl for Web Nerds(philip.greenspun.com)
4 points by so-cal-schemer 13d ago|1 comments
8.
by so-cal-schemer 13d ago
Tcl for Web Nerds by Hal Abelson, Philip Greenspun, and Lydia Sandon https://philip.greenspun.com/tcl/ If in reading this introduction, you've come to realize that "Hey, Tcl is just like Lisp, but without a
9.
by so-cal-schemer 14d ago
https://web.archive.org/web/20000312031235/http://photo.net/... Currently scheduled boot camps: Earn a $10,000 signing bonus if you join ArsDigita after completing our home study program.
10.
by so-cal-schemer 14d ago
https://cdn.netbsd.org/pub/pkgsrc/current/pkgsrc/lang/STk/in... STk is a Scheme interpreter which can access to the Tk graphical package. Concretely it can be seen as the John Ousterhout'
11.
ArsDigita University: 25 Years Later(medium.com)
4 points by so-cal-schemer 14d ago|2 comments
12.
by so-cal-schemer 14d ago
Before ADuni, ArsDigita hosted a number of weeklong workshops at their regional offices. Anyone here attend one of those?
13.
Chapter 10: Sites That Are Programs (1998)(philip.greenspun.com)
3 points by so-cal-schemer 14d ago|1 comments
14.
by so-cal-schemer 14d ago
Server-side programming is straightforward and can be done in almost any computer language. However, making the wrong technology decisions can result in a site that requires ten times the computer hardware to support. Bad programming can a
15.
by so-cal-schemer 14d ago
Who else here read Philip and Alex's Guide to Web Publishing, used AOLserver, or attended an ArsDigita workshop or ADuni? Chapter 10: Sites That Are Really Programs https://philip.greenspun.com/panda/server-program
16.
Learn Scheme by Example: Tk GUI with Chicken Scheme(blog.matthewdmiller.net)
1 points by so-cal-schemer 14d ago|1 comments
17.
by so-cal-schemer 14d ago
PS/Tk stands for a portable Scheme interface to the Tk GUI toolkit. It has a rich history going all the way back to Scheme_wish by Sven Hartrumpf in 1997. Wolf-Dieter Busch created a Chicken port called Chicken/Tk in 2004. It too
18.
by so-cal-schemer 14d ago
A collection of Tk resources for Scheme: https://wiki.tcl-lang.org/page/Scheme This is quite old, but I always remember seeing it in the BSD packages collection: https://conservatory.scheme.org/stk&#x2F
19.
by so-cal-schemer 19d ago
Oh. And let me tell you about my business cards... :D
20.
by so-cal-schemer 23d ago
Aren't reader macros just a convenient shorthand?
21.
by so-cal-schemer 23d ago
I also picked up and heavily customized a minimal (3x5+3 or 3x4+2) columnar split and a novel keyboard layout during Lockdown, and now can type faster with it than I could originally with greater comfort and accuracy. The high number of rol
22.
by so-cal-schemer 23d ago
btw: Lean 4 is getting all the buzz these days, but how many people know that Scheme/Racket is an extraction target language for the Rocq Prover (aka Coq). https://rocq-prover.org/ The Rocq Prover implements a high-le
23.
by so-cal-schemer 24d ago
I use a 3x4. Long press for 'Q and 'Z...
24.
by so-cal-schemer 24d ago
By the time you finish this exercise you'll be golden: https://www.typelit.io/chapters/War_and_Peace
25.
by so-cal-schemer 24d ago
"Wishful thinking".
26.
by so-cal-schemer 24d ago
A spotlight on the subject: https://www.expressionsofchange.org/dont-say-homoiconic/ A humorous footnote: In fact, the original article excludes Lisp as an example of homoiconicity, but only because Lisp had not settl
27.
by so-cal-schemer 24d ago
I want to point out that "Homo-iconic" does not appear in SICP. But the concept is employed in the Meta-Circular Evaluator. Perhaps see: 4.1.5 Data as Programs https://sarabander.github.io/sicp/html/4_0
28.
by so-cal-schemer 24d ago
The difference is in complexity. McCarthy has said Lisp was not initially patterned on the lambda calculus, but he borrowed its syntax. Much later at MIT, after teaching a predecessor to 6.001 on LC, GJS and his student GLS distilled Lisp t
29.
by so-cal-schemer 24d ago
Are you suggesting, possibly, that a team of 10x Lisp hackers with 10x agent force multipliers could catch up with the depth and bread of Python's CheeseShop and proceed to right the world?
30.
by so-cal-schemer 24d ago
And for the uninitiated: https://paulgraham.com/avg.html In the summer of 1995, my friend Robert Morris and I started a startup called Viaweb. Our plan was to write software that would let end users build online stores. Wh

More ›