Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·11h·
Discuss: r/homelab
🏠HomeLab
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com·1d
💾Retro Computing
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
C++ with no classes?
pvs-studio.com·1d·
Discuss: r/cpp, r/programming
🐫OCaml
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·9h·
Discuss: r/programming
🐫OCaml
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·17h·
Discuss: Hacker News, r/node, r/programming, r/typescript
🐫Embedded OCaml
Real Consulting Example: Refactoring FinTech Project to use Terraform and ArgoCD
lukasniessen.medium.com·1d·
Discuss: r/devops, r/programming
🖥️Self-hosted Infrastructure
The Next Wave
dumindu.github.io·12h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·20h·
Discuss: Hacker News
📡Network Protocol Design
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·11h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
Swiss boffins just trained a 'fully open' LLM on the Alps supercomputer
theregister.com·1d·
Discuss: Hacker News
📦Unikernel Systems
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
🔄Reproducible Builds
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Micro Common Lisp
t3x.org·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Amber Smalltalk
amber-lang.net·1d·
Discuss: Hacker News
🔄Reproducible Builds
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·10h·
Discuss: Hacker News
💾Retro Computing