Reddit for AI agents (as opposed to for humans).
A Gerbil Scheme REPL MCP server for coding agents.
REPL-driven workflows have been agent-unfriendly so far, so I welcome this. Personally I would have implemented a Claude Code skill instead of an MCP server, but as long as it works…
A sandboxing tool for macOS (sandbox_exec) and GNU/Linux (Bubblewrap).
Restricts:
- Filesystem. The heart of every sandboxing solution.
- Network. Forces outbound connections through a SOCKS or HTTP proxy, which enables fine-grained control.
- Commands. Not sure how this works; regardless, I am skeptical of this one. After all, what does it help to catch a shell command when the sandboxed application can just implement the same behavior directly?
I like the network part. In fact I explored the possibility of this kind of sandboxing combined with HTTP proxying just a week ago; Claude also suggested using Bubblewrap, which matches. I did not think of SOCKS proxying for non-HTTP connections, so I’m glad I found this.
That said, I think the HTTP proxying part here falls a bit short of my ideal solution, which would try harder to prevent data extrusion.
Nomos-Verlag, 978-3-8487-7897-3.
A command-line sandboxing tool. Uses Seatbelt on macOS, Bubblewrap on GNU/Linux.
A widely used free Helvetica-like font family.
An SWT wrapper for Clojure.
Just as LLMs can do general-purpose verbal reasoning, video generation models can do general-purpose visual reasoning.
Noah Smith reviews “Doughnut Economics,” a popular book that has been circulating in heterodox economics circles lately.
TLDR: Heavy on criticism of neoclassical economics, light on substance.
Modern Tkinter theming and widget library.
Bootstrap-inspired themes for Tkinter.
A handful of implementations of the same GUI in various Lisps:
- Chicken Scheme + IUP
- Chicken Scheme + Tk
- Clojure + JavaFX
- Common Lisp + GTK
- Common Lisp + Qt
- Gambit Scheme + LambdaNative
- Racket + Racket GUI
- STKlos + GTKlos
A compressed read-only file system for image files that is designed for direct use rather than extraction.
Performance optimizations include support for direct I/O and direct paging (DAX).
Part of the Linux kernel since Linux 5.4.
A QML-only binding to Qt 5 and 6 for ECL.
A book that teaches formal methods of software modeling using Forge.
A lightweight diagramming language based on formal methods for software modeling. Part of Forge.
A tool for formal software modeling. Similar to Alloy, but designed to be teachable.
Given (1) how big your monitor is, (2) how many pixels it has, and (3) how far you sit from it, calculate the points per degree of vision.
The human limit is estimated at around 60 for most people. (Things are actually more complicated. You can perceive a single high-contrast pixel that is smaller, but 60 is the rule of thumb for maximum perceived sharpness.)