Object Oriented Programming is an expensive disaster which must end
medium.com·2d·
Discuss: Hacker News
➡️Category Theory
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·35m·
Discuss: Hacker News
👁️System Observability
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·11h·
Discuss: Hacker News
⚙️PL Implementation
Realbasic (2000)
joelonsoftware.com·6h·
Discuss: Hacker News
💾Retro Computing
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·21h·
Discuss: Substack
🧪Property-Based Testing
Go Internals: How much can we figure by tracing a syscall in Go?
csunderthehood.substack.com·13h·
Discuss: r/golang, r/programming
🍎XNU Internals
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·2h·
Discuss: Substack
🔍Formal Verification
Croissant! Building a No-Framework Web App
dbushell.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·10h·
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·6h
🐫OCaml
Don’t compare programming to the real world
expressionstatement.com·20h·
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
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·21h·
Discuss: Hacker News
⚙️PL Implementation