Benki β†’ Bookmarks

next page β‡’

In AI, whatever scales with compute wins. Human preconceptions are one example of what always loses out in the long run.

This is because our human way of thinking rests on simplifications and abstractions, both of which progressively lose value the more compute you have.

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.

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.

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.

next page β‡’