Show HN: Yoslm -- You Only Need a Smoll Language Model for Object Detection
jigsawstack.com·20h·
Discuss: Hacker News
🔄Finite State Machines
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Netflix Tudum Architecture: from CQRS with Kafka to CQRS with RAW Hollow
netflixtechblog.com·1d·
Discuss: Hacker News
🔬Unikernels
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·1d·
Discuss: Substack
🐫Embedded OCaml
(Quite) a few words about async
yoric.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
RFID Reader for Raspberry Pi: Reads RDIF cards and sends a request to the configured webhook
github.com·1d·
Discuss: r/programming
📡Network Protocol Design
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·2d·
Discuss: r/programming
🎮Verification Games
My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Kubernetes PV (pre-)provisioning/management with frequent infrastructure redeployment
reddit.com·16h·
Discuss: r/homelab
⎈Kubernetes
Chat2SPaT: A Large Language Model Based Tool for Automating Traffic Signal Control Plan Management
arxiv.org·3d
🔄Finite State Machines
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Early Signs of Steganographic Capabilities in Frontier LLMs
arxiviq.substack.com·3d·
Discuss: Substack
🛡️seL4
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·4d·
Discuss: Hacker News
🔬Unikernels
QuantoniumOS: A Hybrid Computational Framework
github.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Hedge Funds on a Swamp: Analyzing Patterns, Vulnerabilities, and Defense Measures in Blockchain Bridges [Experiment, Analysis \& Benchmark]
arxiv.org·3d
🧱Immutable Infrastructure
Bujo.nvim – bullet journal accessible from anywhere
github.com·14h·
Discuss: Hacker News
📦Unikernel Systems
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·3d·
Discuss: Hacker News
⎈Kubernetes
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·3d
✓Automated Theorem Proving
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·2d
✓Automated Theorem Proving
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·1d
✓Automated Theorem Proving