Automated daily Quordle solver using an LLM
flowtwo.io·3d·
Discuss: Hacker News
🎮Verification Games
How I made cycling fun again
proofinprogress.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
House Just Passed a Bill Punishing "Politically Motivated" Boycotts of Israel
theintercept.com·9h·
Discuss: Hacker News
📊Runtime Verification
Use Stories to Connect with People
talk.bradwoods.io·1d·
Discuss: Hacker News
🎮Verification Games
We’re building future technologies for the Moon without closing missed milestones
jatan.space·2d·
Discuss: Hacker News
🧗Climbing Tech
Removing 95% of podcast ads with transcript segmentation and LLMs
benbowler.com·2d·
Discuss: Hacker News
🍎Apple
Conway's Law and Data Modeling
practicaldatamodeling.substack.com·4d·
Discuss: Substack
📡Network Protocol Design
My Thoughts on Renting Versus Buying
milesbarr.me·4h·
Discuss: Hacker News
💾Retro Computing
I’m Slow
localthunk.com·2d·
Discuss: Hacker News
🔧Unikernel Development
PolaroidAI – Transform Your Ideas into Visuals
polaroidai.online·1d·
Discuss: Hacker News
💾Retro Computing
The Security Challenges of HTTP/3 and QUIC – What You Need to Know
medium.com·10h·
Discuss: Hacker News
📡Network Protocol Design
ggplot2 4.0.0 Is Released
tidyverse.org·3d·
Discuss: Hacker News
➡️Category Theory
Debugging vs Printing
hackaday.com·3d
👁️System Observability
From Paper to Pixels: A DIY Digital Barograph
hackaday.com·17h
📺Vintage Apple
Stop Outsourcing Thinking
vaibhawvipul.github.io·3d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Dangers of Recommender Systems – Ivan Vendrov
blog.sentinel-team.org·3d·
Discuss: Hacker News
🩹Self-Healing Systems
Evaluating NL2SQL via SQL2NL
arxiv.org·6d
🧩Parser Combinators
The Eldritch in the 21st century
lesswrong.com·3d
🔬Unikernels
Short-term cognitive fatigue of spatial selective attention after face-to-face conversations in virtual noisy environments
arxiv.org·2d
🏹Effect Systems
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·4d
🤖Program Synthesis