Home PoE switch 24ports for cameras and potential vlans- Intellinet
microcenter.com·10h·
Discuss: r/homelab
🏠HomeLab
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·7h·
Discuss: r/programming
🐫OCaml
The Next Wave
dumindu.github.io·10h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·15h·
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
Thank you for calling Web Dev. How may we complicate things for you?
newslttrs.com·17h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·23h·
Discuss: Hacker News
📦Unikernel Systems
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·18h·
Discuss: Hacker News
📡Network Protocol Design
Sound Interval-Based Synthesis for Probabilistic Programs
arxiv.org·1d
🤖Program Synthesis
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
Building an AI app builder with an AI app builder built with an AI app builder
rhett.info·10h·
Discuss: Hacker News, r/webdev
🔄Reproducible Builds
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Micro Common Lisp
t3x.org·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Async Ruby Is the Future of AI Apps (and It's Already Here)
paolino.me·1d·
Discuss: Lobsters, Hacker News, Hacker News
👁️System Observability
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·8h·
Discuss: Hacker News
🌐NetworkProtocols
Amber Smalltalk
amber-lang.net·1d·
Discuss: Hacker News
🔄Reproducible Builds
From Cloud Native to AI Native: Why Your AI Architecture Needs a Reality Check
brianchristner.io·8h·
Discuss: Hacker News
🔄Reproducible Builds
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·8h·
Discuss: Hacker News
💾Retro Computing