AI Assistant for Statements, Invoices and Receipts
bankgpt.io·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·11h·
Discuss: r/davia_ai
🐳Containerization
Most Rust GUI frameworks suck
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·15h·
Discuss: Hacker News
🔧Unikernel Development
Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic
railsatscale.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Urlref: Website Bookmarking for Handwritten Notes
benjaminhollon.com·20h·
Discuss: Hacker News
🧮Lambda Calculus
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·1d
📝Term Rewriting
Care about keeping your design files clean (2018)
monzo.com·17h·
Discuss: Lobsters, Hacker News
🧩Separation Logic
Master Foo and LLM Mountain
tusshah.github.io·3d·
Discuss: Hacker News
⚙️PL Implementation
Open-Sourcing Starlark Worker: Define Cadence Workflows with Starlark
uber.com·14h·
Discuss: Hacker News
⚙️PL Implementation
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·1d·
Discuss: Hacker News
🧩Parser Combinators
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·15h·
Discuss: Hacker News
📊Runtime Verification
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
MLPerf Inference v5.1 Results Land with New Benchmarks and Record Participation
hpcwire.com·14h·
Discuss: Hacker News
👁️System Observability
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·7h·
Discuss: Hacker News
🐫OCaml
Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
👁️System Observability
Cliodynamics – History as Science
peterturchin.com·4h·
Discuss: Hacker News
⚡Process Calculi
Scaling asyncio on Free-Threaded Python
labs.quansight.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👁️System Observability
The Expression Problem and its solutions
eli.thegreenplace.net·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems