What is currying?
alexandrehtrb.github.io·3d·
Discuss: r/programming
🧮Lambda Calculus
GDPR-Compliant Email Finder
findforce.io·6h·
Discuss: Hacker News
🛡️seL4
Bye Intel, hi AMD I'm done after 2 dead Intels
michael.stapelberg.ch·14h·
Discuss: Lobsters, Hacker News, Hacker News
🔧Unikernel Development
SQLite's Use of Tcl
tcl-lang.org·6h·
Discuss: Hacker News
🔤DSLs
How can I write a C++/WinRT IAsyncOperation<T> where T is not a Windows Runtime types?, part 1
devblogs.microsoft.com·4d·
Discuss: Hacker News
📊Runtime Verification
Linux Kernel SMB 0-Day Vulnerability CVE-2025-37899 Uncovered Using ChatGPT O3
upwind.io·3d·
Discuss: Lobsters, Hacker News
🛡️seL4
Java Virtual Threads: Understanding JDK 21 Limitations Before the JDK 25 Release
medium.com·1d·
Discuss: Hacker News
🔧Unikernel Development
William James at CERN (1995)
bactra.org·2d·
Discuss: Hacker News
🏹Effect Systems
Engineering excellence starts on edge
world.hey.com·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·6d·
Discuss: Hacker News
🐫Embedded OCaml
The Three Sacred Guardrails of AI
aboard.com·3d·
Discuss: Hacker News
🔬Static Analysis
Real-time Object Detection and Associated Hardware Accelerators Targeting Autonomous Vehicles: A Review
arxiv.org·2d
🐫Embedded OCaml
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Mean-field Potts and random-cluster dynamics from high-entropy initializations
arxiv.org·2d
⚡Process Calculi
Semantically Reflected Programs
arxiv.org·3d
💎Refinement Types
C Tooling
tomscheers.github.io·5d·
Discuss: Hacker News, r/C_Programming
🔬Static Analysis
Approximate constrained stochastic optimal control via parameterized input inference
arxiv.org·3d
🔄Finite State Machines
Lagrangian Relaxation for Multi-Action Partially Observable Restless Bandits: Heuristic Policies and Indexability
arxiv.org·4d
🩹Self-Healing Systems
FlashRecovery: Fast and Low-Cost Recovery from Failures for Large-Scale Training of LLMs
arxiv.org·3d
🩹Self-Healing Systems
No-CPU Amiga Demo and Framework
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development