Lessons in Disabling RC4 in Active Directory
syfuhs.net·2h·
Discuss: Hacker News
🛡️seL4
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·3d·
Discuss: r/javascript, r/programming
💎Refinement Types
Issue 489
haskellweekly.news·3h·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·18h·
Discuss: Hacker News
🧪Property-Based Testing
Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·2h·
Discuss: r/programming
📊Runtime Verification
Working in Groups
internet.place·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Standards for Age Verification
avpassociation.com·21h·
Discuss: Hacker News
📡Network Protocol Design
Making a cross-platform game in Go with WebRTC Datachannels and Ebitengine
pion.ly·1d·
Discuss: Hacker News, r/golang
💎Refinement Types
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Speech-to-text CLI in Rust with Nvidia Parakeet-local, fast, extensible
elvin.engineering·3h·
Discuss: Hacker News
🐫Embedded OCaml
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·23h·
Discuss: Hacker News
📊Runtime Verification
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·1h·
Discuss: Hacker News
🧩Separation Logic
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·2h·
Discuss: Hacker News
🩹Self-Healing Systems
Show HN: Carimbo now have a better stack trace and Sentry integration
nullonerror.org·3h·
Discuss: Hacker News
🔄Reproducible Builds
Karate – Test Automation Made Simple
karatelabs.github.io·1d·
Discuss: Hacker News
❄️Nixified Development
The bloat of edge-case first libraries
43081j.com·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Reversing the licensing on a Quantum Scalar i40
blackjack.codes·1h·
Discuss: Hacker News
🔧Unikernel Development
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🐫Embedded OCaml
Which OAuth Flow Should You Use?
nimblesa.com·21h·
Discuss: Hacker News
🛡️seL4