Show HN: I built an AI tool to retrieve technical achievements from your GitHub
git-achievements.com·20h·
Discuss: Hacker News
❄️Nixified Development
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·2h·
Discuss: Hacker News
👁️System Observability
Realbasic (2000)
joelonsoftware.com·7h·
Discuss: Hacker News
💾Retro Computing
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·13h·
Discuss: Hacker News
⚙️PL Implementation
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·23h·
Discuss: Substack
🧪Property-Based Testing
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·15h·
Discuss: r/golang, r/programming
🍎XNU Internals
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Croissant! Building a No-Framework Web App
dbushell.com·3h·
Discuss: Hacker News
🌐NetworkProtocols
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·4h·
Discuss: Substack
🔍Formal Verification
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·11h·
Discuss: Hacker News
🌐NetworkProtocols
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Statistical shortcomings in standard math libraries, and how to fix them
evanmiller.org·2d·
Discuss: Hacker News
🏹Effect Systems
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·7h
🐫OCaml
Don’t compare programming to the real world
expressionstatement.com·22h·
Discuss: r/programming
👁️System Observability
REST Is for Humans, Not for APIs
jabbawookiees.bearblog.dev·1d·
Discuss: Hacker News
🌐NetworkProtocols
LLM Failures
funcall.blogspot.com·2d·
Discuss: Hacker News
🐫OCaml
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·7h
🔍Formal Verification