so-cal-schemer

4 ms·

31.
by so-cal-schemer 1mo ago
Oh. And let me tell you about my business cards... :D
32.
by so-cal-schemer 2mo ago
Aren't reader macros just a convenient shorthand?
33.
by so-cal-schemer 2mo 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
34.
by so-cal-schemer 2mo 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
35.
by so-cal-schemer 2mo ago
I use a 3x4. Long press for 'Q and 'Z...
36.
by so-cal-schemer 2mo ago
By the time you finish this exercise you'll be golden: https://www.typelit.io/chapters/War_and_Peace
37.
by so-cal-schemer 2mo ago
"Wishful thinking".
38.
by so-cal-schemer 2mo 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
39.
by so-cal-schemer 2mo 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
40.
by so-cal-schemer 2mo 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
41.
by so-cal-schemer 2mo 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?
42.
by so-cal-schemer 2mo 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
43.
by so-cal-schemer 2mo ago
Some games to play: https://spritely.institute/arcade/ The underlying tech might be more fun: https://spritely.institute/hoot/ Hoot is a Spritely project for running Scheme programs on the web, f
44.
by so-cal-schemer 2mo ago
There are tools, particularly packages in Emacs, but also for VS Code and other IDEs, that make navigating nested s-expressions a breeze. And other tools for balancing parens automatically, and for syntax highlighting. You can just dim them
45.
by so-cal-schemer 2mo ago
Some resources on implementing Scheme and variations: Essentials of Programming Languages 3e https://news.ycombinator.com/item?id=24324653 Essentials of Compilation: An Incremental Approach in Racket https://gith
46.
by so-cal-schemer 2mo ago
Here is a project started in 2020 to reverse engineer the runtime and language which has playable games now: https://opengoal.dev/ https://opengoal.dev/blog/progress-report-sept-2020 The OpenGOAL proj
47.
by so-cal-schemer 2mo ago
Naughty Dog was a great example of how productive Scheme can be in the hands of a few expert programmers. Founders attended MIT and CMU. GOAL and GOOL were used in Jak and Dexter, Crash Bandicoot, and apparently brought back in The Last of
48.
by so-cal-schemer 2mo ago
Would love to get coffee or kölsch sometime.
49.
by so-cal-schemer 2mo ago
Here is a project using Scheme via GUIX to manage reproducible scientific workflows in high-performance computing (HPC). There are installations using it in France, Germany, The Netherlands, Australia, The United States. https://
50.
by so-cal-schemer 2mo ago
Great point for the timeline. more: https://wiki.c2.com/?PascalLanguage
51.
by so-cal-schemer 2mo ago
If anybody reading this branch of the discussion wants to investigate Logic Programming and Nondeterministic Computing further in the context of Racket/Scheme, it is discussed in §4.4 of SICP as a Scheme variant. A variant created by m
52.
by so-cal-schemer 2mo ago
Or not. Not even as a Turing Complete language. Homoiconicity is a fundamental language property, not an algorithm nor an implementation issue. Lisp implemented in Pascal is still homoiconic. C is not homoiconic, whether the compiler is im
53.
by so-cal-schemer 2mo ago
Absolutely. You can thank Lisp for paving the way. And in a way, those languages are part of the extended family.
54.
by so-cal-schemer 2mo ago
Lisp is often decried for being hard to read and having too little syntax. This talk argues that the parentheses are not the point, but the uniform structure is! Lisp is like clay: a medium which is versatile for building many shapes and s
55.
Toward safe, flexible, and efficient software in Common Lisp [video](youtube.com)
52 points by so-cal-schemer 2mo ago|1 comments
56.
by so-cal-schemer 2mo ago
This is Robert Smith's presentation on Coalton, an efficient, statically typed functional programming language that supercharges Common Lisp. Coalton homepage as of this recording: https://coalton-lang.github.io/
57.
by so-cal-schemer 2mo ago
I believe this was built with macros: Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp by taking great ideas from Haskell, Scheme, and OCaml. https://coalton-lang.github.io
58.
Most Popular Programming Languages: Data from 1958 to 2025(youtube.com)
2 points by so-cal-schemer 2mo ago|1 comments
59.
by so-cal-schemer 2mo ago
In this video I present a detailed timeline of the most used programming languages from 1958 to 2025, based on comprehensive data analysis. Historical rankings were based on a combination of aggregated national surveys, the number of educa
60.
by so-cal-schemer 2mo ago
I've read a large factor was minicomputers and microcomputers running Unix in C became much more affordable, and when the Berlin Wall fell in 1989 DoD funding for powerful and expensive Lisp workstations quickly dried up. And the nasce

More ›