Electrify completes majority investment in Veritasium
electrify.video·2h·
Discuss: Hacker News
🧗Climbing Tech
NYC's Urban Textscape
pudding.cool·2d·
Discuss: Hacker News, Hacker News
💻CS
Testing an Event Ingestion Service: A Deep Dive into Our Approach
blog.scottlogic.com·2d·
Discuss: Hacker News
👁️System Observability
Hunting a Memory Leak
dolthub.com·2d·
Discuss: Hacker News
👁️System Observability
FastVLM: Efficient Vision Encoding for Vision Language Models
machinelearning.apple.com·3d·
Discuss: Hacker News
🔄Finite State Machines
Built this after my mom asked how to 'just make herself smile in a photo
apps.apple.com·2d·
Discuss: Hacker News
🍎Apple
Treat Your Spouse as an Investor
skmurphy.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
FARM Stack Guide: How to Build Full-Stack Apps with FastAPI, React & MongoDB
datacamp.com·3d·
Discuss: r/programming, r/reactjs
⎈Kubernetes
The End Is Nigh, for the Beta Days for Reticulum
unsigned.io·3d·
Discuss: Hacker News
📦Unikernel Systems
I Replaced Obsidian and Emacs Org-Mode with localStorage
htmlsync.io·3d·
Discuss: Hacker News
🔬Unikernels
Marking Time in a Changing World
nautil.us·2d·
Discuss: Hacker News, Hacker News
🍎Apple
How To Deploy Fluent Bit in a Kubernetes-Native Way
thenewstack.io·21h
⎈Kubernetes
Video and transcript of talk on "Can goodness compete?"
joecarlsmith.com·3d·
Discuss: Hacker News
🛡️seL4
Aeneas transforms how historians connect the past
deepmind.google·3d·
Discuss: Hacker News
🎮Verification Games
Ask HN: How are you checking the security of your vibecoded personal projects?
news.ycombinator.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.org·4d
✓Automated Theorem Proving
EduThink4AI: Translating Educational Critical Thinking into Multi-Agent LLM Systems
arxiv.org·4d
🎮Verification Games
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·4d
✓Automated Theorem Proving
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·3d
🤖Program Synthesis
What does the public want their local government to hear? A data-driven case study of public comments across the state of Michigan
arxiv.org·1d
🏹Effect Systems