Writing FreeDOS Programs in C
freedos.org·14h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λFunctional Programming
Flag this post
Jackknife Transmittance and MIS Weight Estimation
momentsingraphics.de·1d·
Discuss: Hacker News
🎨GADTs
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.to·4h·
Discuss: DEV
🔧DevOps
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·11h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
An introduction to OCI Containers on FreeBSD
freebsdfoundation.org·2d·
Discuss: Hacker News, r/linux
🐳Containerization
Flag this post
When eBPF Isn't Enough: Why We Went with a Kernel Module
riptides.io·6d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
When Logs Become Chains: The Hidden Danger of Synchronous Logging
systemdr.substack.com·20h·
Discuss: Substack, r/programming
👁️System Observability
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
⚡Process Calculi
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·9h·
Discuss: DEV
🎮Verification Games
Flag this post
How to Build Your First MCP Server using FastMCP
hackernoon.com·2d
💬Mach Messages
Flag this post
The Useful Personal Computer
technicshistory.com·14h·
Discuss: Hacker News
💾Retro Computing
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·10h·
Discuss: Hacker News
🔍Formal Verification
Flag this post
A Senior Developer's Guide to the Model Context Protocol
dev.to·2d·
Discuss: DEV
🛡️seL4
Flag this post
Libevpl – event loop engine with unified abstractions for network and block I/O
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·9h·
Discuss: Substack
📐Linear Algebra
Flag this post
Predictive Model-Based Design Validation via Dynamic Bayesian Network Fusion
dev.to·1d·
Discuss: DEV
🔍CBMC
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·1d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Ubuntu Will Use Rust For Dozens of Core Linux Utilities
news.slashdot.org·1d
📦Unikernel Systems
Flag this post