101010.pl: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.5
The-One-True-Lisp-Style-Guide
https://github.com/foxsae/The-One-True-Lisp-Style-Guide
Discussions: https://discu.eu/q/https://github.com/foxsae/The-One-True-Lisp-Style-Guide
Readings shared May 29, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/29-readings_shared_05-29-25 #AI #Agda #Coq #Emacs #ITP #IsabelleHOL #LeanProver #Lisp #Logic #Math
#commonLisp #programming #eev #emacs #McCLIM #kitten #smallweb #planning #article https://screwlisp.small-web.org/momentary/eev-clim-kitten/
Quite in depth. I am interested in talking here about what you think about my working-on-right-now directions. I decided that where-I-am-expecting-to-go-next is a different post.
In a nutshell, exploring my eev #markdown idiom, programs-using-each-other-like-people-do specifically #lisp image ⬌ emacs, and moving towards parenscript cl-kitten highly local community federation.
@robertpi so to also comment on that cause its something i'm always thinking of. We as technicians made the technology world like programming way to complex. Just look at the web we have currently there is actually nothing new since more than 10 years but the tooling got line a million times harder. Yeah i know there are some tools that really benefited from spa's but man do i need it for a blogor some random page. Same goes for microservices and cloud computing. Do we really need such scale? In every project? I doubt it. I've also often times the impression that we waste so muvh resources on marginal tasks and tech. I would love to see revivals of small and omd techs like #forth or #lisp cause what i see with js and the others is that those system didn't deliver what was promised. And lead to all that complexity we have now.
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLogin