Defold editor scripting adds scene editing in 1.10.4
defold.com·2h·
Discuss: Hacker News
🧱Immutable Infrastructure
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·23h·
Discuss: Hacker News
📡Network Protocol Design
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·17h·
Discuss: r/programming
👁️System Observability
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·12h·
Discuss: r/programming
🐫OCaml
How to Build an Agent
blog.langchain.com·1d·
Discuss: Hacker News
🛡️seL4
The Bitter Lesson (2025)
artfintel.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Data-Star.dev – v1 and Beyond
data-star.dev·19h·
Discuss: Hacker News
🧱Immutable Infrastructure
A model for IV&V that's useful
waldo.jaquith.org·12h·
Discuss: Hacker News
🔄Reproducible Builds
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·6h
🐫OCaml
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·6h
✓Automated Theorem Proving
I Changed My Mind: AI Will Replace Us
medium.com·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·20h·
Discuss: Hacker News
🔤DSLs
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·2h·
Discuss: Hacker News
✓Automated Theorem Proving
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·17h·
Discuss: Hacker News
⚙️PL Implementation