Flink-Kotlin – Kotlin Support for Apache Flink
github.com·1d·
Discuss: Hacker News
🐫OCaml
Tripping Around REPL
vlaaad.github.io·16h·
Discuss: Hacker News
🛡️seL4
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·22h·
Discuss: Hacker News
🌐NetworkProtocols
The quiet software tooling Renaissance
pdx.su·10h·
Discuss: Hacker News
🔄Reproducible Builds
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🧮Lambda Calculus
Ask HN: Polyglot Mirroring
news.ycombinator.com·14h·
Discuss: Hacker News
🐫OCaml
GameBuilder BASIC (GB BASIC) -- retro fantasy console that generates ROMs compatible with Game Boy
tonywang.itch.io·50m·
Discuss: r/programming
💾Retro Computing
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·1d·
Discuss: Hacker News
🔠Type-Level Programming
Lessons from building an AI data analyst
pedronasc.com·9h·
Discuss: Hacker News
🧠Automated Reasoning
Show HN: Dialog – An Orchestration Layer for VoIP-Agent Applications
github.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
Isolated(any)
nshipster.com·10h·
Discuss: Hacker News
🧮Lambda Calculus
The use of Claude Code in SciML repos
discourse.julialang.org·2d·
Discuss: Hacker News
🐫OCaml
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·2d·
Discuss: Hacker News
🌐NetworkProtocols
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·16h·
Discuss: Hacker News
👁️System Observability
Abstractions, Future-Proofing, and a Reasonable Amount of Effort
oddevan.com·1d·
Discuss: Hacker News
🔬Static Analysis
Mojo Roadmap Document
docs.modular.com·3d·
Discuss: Hacker News
🐫OCaml
Salesforce near membrane: Sandbox JavaScript object graphs
opensource.salesforce.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Orchestrating Multi-Agent Systems: Google ADK, A2A, and Temporal
medium.com·3d·
Discuss: Hacker News
🌐NetworkProtocols
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·2d
🤖Program Synthesis
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·1d·
Discuss: Hacker News
🔤DSLs