OpenThread – an open-source implementation of Thread
openthread.io·2d·
Discuss: Hacker News
🌐NetworkProtocols
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·3d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
So Microsoft Deleted Some of Our Packages from Nuget.org Without Notice
aaronstannard.com·6h·
Discuss: Hacker News
❄️Nixified Development
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
An InfoSec Architect's First Taste of Temporal
supasaf.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Beauty Comes from Absence
karlkoch.me·1d·
Discuss: Hacker News
➡️Category Theory
User simulators bridge RL with real-world interaction
jessylin.com·1d·
Discuss: Hacker News
🔍Formal Verification
Open Source, Hidden Costs: A Systematic Literature Review on OSS License Management
arxiv.org·2d
📦Unikernel Systems
Bitchat: notes on the path forward ("yo!")
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Advice on mini pc
reddit.com·13h·
Discuss: r/homelab
💾Retro Computing
Vine-like Systems and Malleability
nothingisnttrivial.com·6d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
How to Build Agents Users Can Trust
builders.ramp.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Stop Converting Your REST APIs to MCP
jlowin.dev·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
The Wild West of Agentic AI – An Attack Surface CISOs Can't Afford to Ignore
securityweek.com·2d·
Discuss: Hacker News
🛡️seL4
KDE's native virtual machine manager, Karton, inches closer to potential stable release
neowin.net·1d·
Discuss: Hacker News
🔬Unikernels
VisioPath: Vision-Language Enhanced Model Predictive Control for Safe Autonomous Navigation in Mixed Traffic
arxiv.org·1d
🔄Finite State Machines
Business Wire: "JEDEC Releases New LPDDR6 Standard to Enhance Mobile and AI Memory Performance"
businesswire.com·2d·
Discuss: Hacker News, r/hardware
🐫Embedded OCaml
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·21h
⚙️PL Implementation
Seeing Like an LLM
strangeloopcanon.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
UGREEN NAS preferred OS - migrating PROXMOX
reddit.com·15h·
Discuss: r/homelab
🏠HomeLab