C# and .NET tools and libraries for the modern developer
testdouble.com·3d
🔤DSLs
Centrally Collecting Events from Go Microservices
pliutau.com·20h·
Discuss: r/golang
📝Log Parsing
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·18h·
Discuss: Hacker News
⚡Proof Automation
OpenAI lost the plot on 'boring' LLM use-cases
softwaredoug.com·2d
💻Local LLMs
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·1h·
Discuss: Substack
⚡Proof Automation
FFmpeg 8.0 Released
ffmpeg.org·6h·
Discuss: Hacker News
🎬AV1 Encoding
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·17h
🔗Tailscale
Harper Evolves
elijahpotter.dev·2d·
Discuss: Hacker News, Hacker News
📝Concrete Syntax
Show HN: Novel GPT-2 sampling and memory architecture
github.com·28m·
Discuss: Hacker News
💎Information Crystallography
Vif, a new webframework for OCaml 5
discuss.ocaml.org·1d·
Discuss: Hacker News
📝ABNF Parsing
Scheme Basics
courses.cs.washington.edu·21h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Making Sense of AI Job Titles
dbreunig.com·1d·
Discuss: Hacker News
🗺️Competency Maps
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Launch HN: BlankBio (YC S25) – Making RNA Programmable
news.ycombinator.com·17h·
Discuss: Hacker News
⚡Incremental Computation
Building Generative AI Applications with GitHub Models and .NET Aspire
milanjovanovic.tech·19h·
Discuss: Hacker News
🌀Brotli Internals
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·17h·
Discuss: Hacker News
📼Tape Combinators
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages