Defining Types for a Simple HTTP Server
mmhaskell.comยท23h
๐งBinary Parsing
Flag this post
Choosing a dependency
๐Dependency Resolution
Flag this post
Debian demands Rust or rust in peace for legacy ports
theregister.comยท16h
โ๏ธNix Flakes
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
๐Streaming Systems
Flag this post
Open Sourcing Kubetorch
๐Open Source Software
Flag this post
Towards Automated Petrography
arxiv.orgยท3h
๐คPaleographic Automation
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท3h
๐ฏPerformance Proofs
Flag this post
Fungus: The Befunge CPU(2015)
โกHomebrew CPUs
Flag this post
Understanding Code Agent Behaviour: An Empirical Study of Success and Failure Trajectories
arxiv.orgยท3h
๐Code Metrics
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท1d
๐Nordic Shell
Flag this post
The APM paradox
๐๏ธSystem Observability
Flag this post
AI Models Write Code with Security Flaws 18โ50% of the Time, New Study Finds
๐Code Metrics
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.orgยท3h
โ๏ธQuantum Archives
Flag this post
AWK technical notes (2023)
๐Shell Parsing
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
๐ณIncremental Parsing
Flag this post
Loading...Loading more...