Defold editor scripting adds scene editing in 1.10.4
defold.com·32m·
Discuss: Hacker News
🧱Immutable Infrastructure
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·21h·
Discuss: Hacker News
📡Network Protocol Design
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Automatically Discover, Record, and Document APIs With WireMock AI
wiremock.io·15h·
Discuss: r/programming
👁️System Observability
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·10h·
Discuss: r/programming
🐫OCaml
How to Build an Agent
blog.langchain.com·1d·
Discuss: Hacker News
🛡️seL4
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
The Bitter Lesson (2025)
artfintel.com·1h·
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·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
A model for IV&V that's useful
waldo.jaquith.org·10h·
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·5h
🐫OCaml
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·18h·
Discuss: Hacker News
🔤DSLs
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·31m·
Discuss: Hacker News
✓Automated Theorem Proving
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·15h·
Discuss: Hacker News
⚙️PL Implementation
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·5h
✓Automated Theorem Proving
I Changed My Mind: AI Will Replace Us
medium.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Leading your engineers towards an AI-assisted future
blog.thepete.net·17h·
Discuss: Hacker News
👁️System Observability