Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🐫Embedded OCaml
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·5h·
Discuss: r/programming
🔄Reproducible Builds
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·2d·
Discuss: Hacker News
💎Refinement Types
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·8h·
Discuss: Hacker News
📦Unikernel Systems
On discourse and decentralisation
connectedplaces.online·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Monitoring Claude Code with OpenTelemetry
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·2d·
Discuss: Hacker News
🐫OCaml
ZynorRAT technical analysis: Reverse engineering a go-based remote access trojan
sysdig.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Object Reorientation: Generic Functions
gigamonkeys.com·20h·
Discuss: Hacker News
🧮Lambda Calculus
Powering Crypto Workloads with Sub-100ms Latency
risingwave.com·12h·
Discuss: Hacker News
👁️System Observability
EnergyNet Explained: Internetification of Energy Distribution
arxiv.org·17h
📡Network Protocol Design
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·2d
🎮Verification Games
Windows KASLR Bypass – CVE-2025-53136
crowdfense.com·5h·
Discuss: Hacker News
👁️System Observability
The Rise of Async Programming
braintrust.dev·9h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Defold makes a big step towards first-class Teal support
defold.com·11h·
Discuss: Hacker News
🐫Embedded OCaml
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·2d·
Discuss: Hacker News
🛡️seL4
Semlib: LLM-powered Data Processing
anishathalye.com·21h·
Discuss: Lobsters
🧩Parser Combinators
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure