Show HN: EchoKit –Fully Open Source AI Voice Agent Hardware and Server
echokit.dev·20h·
Discuss: Hacker News
🔬Unikernels
Checkout this poem I wrote, about anonymous care, with my workflow
theaiworld.substack.com·13h·
Discuss: Substack
✓Automated Theorem Proving
How TPMs Work and Why We Added Support in Bottlerocket
molnett.com·1d·
Discuss: Hacker News, r/linux
💾Retro Computing
John Wheeler and the "It from Bit" (2023)
johnhorgan.org·13h·
Discuss: Hacker News
❄️Nix
What’s Happening With Entry-Level Development Jobs?
thenewstack.io·23m
💻CS
The AI Application Land Grab
frontierai.substack.com·19h·
Discuss: Substack
✓Automated Theorem Proving
Benchmarking AWS Nova on Log Data: How It Compares to ChatGPT-3.5
bronto.io·2d·
Discuss: Hacker News
👁️System Observability
An example of drifting away in dev
mohas.bearblog.dev·17h·
Discuss: Hacker News
❄️Nixified Development
Are We Scribes?
ashouri.xyz·3h·
Discuss: Hacker News
🐫Embedded OCaml
More Artificial than Intelligent, and it is only getting worse
mlagerberg.com·3d·
Discuss: Hacker News, r/programming
🛡️seL4
MR Browser is the Package Manager Classic Macs Never Had
hackaday.com·6h
💾Retro Computing
20% Slower Is a Good Start
aboard.com·57m·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Amazon just launched Kiro.dev. An AI IDE for Spec-Driven Development (It's amazing!)
reddit.com·1d·
Discuss: r/programming
🧱Immutable Infrastructure
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach
arxiv.org·3d
➡️Category Theory
Text-to-Remote-Sensing-Image Retrieval beyond RGB Sources
arxiv.org·3d
💻CS
Integrated Oculomics and Lipidomics Reveal Microvascular Metabolic Signatures Associated with Cardiovascular Health in a Healthy Cohort
arxiv.org·10h
🔠Type-Level Programming
The Utility of the Virtual Imaging Trials Methodology for Objective Characterization of AI Systems and Training Data
arxiv.org·2d
👁️System Observability
"high level" languages are easier to optimize
jyn.dev·5d·
Discuss: Hacker News
🔤DSLs
From Corporate Grind to Home Server Grind: My Self-Hosting Adventure
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab