Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·27m·
Discuss: Hacker News
❄️Nixified Development
Impersonating Google App Script projects for stealthy persistence
exaforce.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Installing DarkPAN Perl Modules via Gitlab
domm.plix.at·3d·
Discuss: Hacker News
📦Unikernel Systems
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
📊Runtime Verification
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·1d
⚙Operational Semantics
I built a cycle-accurate SAP-3 8-bit CPU emulator in TypeScript with real-time visualization
sap-3.com·3d·
Discuss: r/programming
💾Retro Computing
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·2d·
Discuss: Hacker News
🤖Program Synthesis
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·7h·
Discuss: Hacker News
🏹Effect Systems
Agentic AI Runs on Tools
simplicityissota.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Working in Groups
internet.place·5h·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
A GitHub Co-Founder's Next Commit
opensourcepledge.com·21m·
Discuss: Hacker News
🍏Darwin
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·2d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·10h·
Discuss: Hacker News
🧱Immutable Infrastructure
Bare Metal STM32: the Various Real Time Clock Flavors
hackaday.com·6h
🐫Embedded OCaml
Does the world need another distributed queue?
techblog.cloudkitchens.com·1d·
Discuss: r/programming
⚙️Operating System Design
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·1d·
Discuss: Hacker News
💻CS
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·1d
🧠Automated Reasoning