Benki β†’ All Posts

β‡  previous page next page β‡’

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.

β‡  previous page next page β‡’