robot-wrangler's favorites

1.		The Coming Need for Formal Specification (benjamincongdon.me)
		64 points by todsacerdoti 9 days ago \| 52 comments
2.		Teaching an LLM a Niche Diagraming Language (huy.rocks)
		30 points by todsacerdoti 18 days ago \| 3 comments
3.		Jayne in Brief (pgadey.ca)
		2 points by surprisetalk 25 days ago \| 1 comment
4.		Fara-7B: An efficient agentic model for computer use (github.com/microsoft)
		191 points by maxloh 25 days ago \| 85 comments
5.		Show HN: Virtual SLURM HPC cluster in a Docker Compose (github.com/exactlab)
		57 points by ciclotrone 32 days ago \| 17 comments
6.		Beauty in/of mathematics: tessellations and their formulas (tandfonline.com)
		27 points by QueensGambit 39 days ago
7.		Short Little Difficult Books (countercraft.substack.com)
		210 points by crescit_eundo 34 days ago \| 116 comments