Docker is weird
•codeandcake.dev
LLMs are making formal software verification feasible at a much larger scale
•www.anthropic.com
This I Believe (1952)
•www.awakin.org
OpenShell – A safe, private runtime for fleets of autonomous AI agents
•github.com
Every AI model has the same "controversial" take on humans
•www.modelcompare.ai
Run full iOS 16.5 firmware on Android Devices
•github.com
The foolishness of "natural language programming" (1978)
•www.cs.utexas.edu
Getting ready to operate GNU Taler in Germany
•www.taler.net