I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·2d·
Discuss: Hacker News, r/InternetIsBeautiful
🍎Apple
The Ps, the Qs, and the War
libertiesjournal.com·7h·
Discuss: Hacker News
🛡️seL4
I Watched Gemini CLI Hallucinate and Delete My Files
anuraag2601.github.io·14h·
Discuss: Hacker News, r/webdev
🔬Unikernels
UK health service AI tool generated a set of false diagnoses for one patient that led to him being wrongly invited to a diabetes screening appointment
fortune.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Unreal Engine 5.6 Performance Highlights
tomlooman.com·3d·
Discuss: Hacker News
👁️System Observability
New approach allows drone swarms to autonomously navigate complex environments at high speed
techxplore.com·1d·
Discuss: Hacker News
👁️System Observability
Logging Best Practices: Defining Error Codes
thenewstack.io·4d
🔬Static Analysis
I wrote a practical guide to observability — would love feedback
reddit.com·3d·
Discuss: r/programming
👁️System Observability
The Manager Is Dead, Long Live Management
refactormanagement.com·14h·
Discuss: Hacker News
🤖Program Synthesis
Eslint-config-prettier Compromise
endorlabs.com·20h·
Discuss: Hacker News
📦Unikernel Systems
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·3d·
Discuss: r/homelab
🔬Unikernels
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·1d
🎮Verification Games
Using AI in the Development of Stdlib
blog.stdlib.io·5d·
Discuss: Hacker News
👁️System Observability
Selective Embedding for Deep Learning
arxiv.org·2d
💻CS
Scaling Decentralized Learning with FLock
arxiv.org·1d
🔄Reproducible Builds
GEMINUS: Dual-aware Global and Scene-Adaptive Mixture-of-Experts for End-to-End Autonomous Driving
arxiv.org·1d
✓Automated Theorem Proving
Smart Routing for Multimodal Video Retrieval: When to Search What
arxiv.org·2d
🔬Unikernels
Punch card controlled Cyberdeck Lives In 80s Toy
hackaday.com·3d
💾Retro Computing
When Seeing Overrides Knowing: Disentangling Knowledge Conflicts in Vision-Language Models
arxiv.org·2d
✓Automated Theorem Proving
Efficient Story Point Estimation With Comparative Learning
arxiv.org·1d
🎮Verification Games