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·18h·
Discuss: Hacker News, r/InternetIsBeautiful
🍎Apple
Quadratic Forms Beyond Arithmetic
ams.org·3d·
Discuss: Hacker News
🐫OCaml
Asynchrony is not Concurrency
kristoff.it·3d·
Discuss: Lobsters, Hacker News, r/programming
🔄Finite State Machines
The AI Application Land Grab
frontierai.substack.com·3d·
Discuss: Substack
✓Automated Theorem Proving
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·5d·
Discuss: Hacker News
🔬Unikernels
ASUS ProArt 6K Display for Mac users will be available in August, at a compelling price
9to5mac.com·1d
🍎Apple
Brute-forcing Langley’s geometry problem with field extensions
chiark.greenend.org.uk·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
EcoFlow River Max 2 as PC UPS - inconsistent switchover speed causing shutdowns
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
An example of drifting away in dev
mohas.bearblog.dev·3d·
Discuss: Hacker News
❄️Nixified Development
Replit Agent deleted a $1M SaaS startup's production DB
news.ycombinator.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Intel is shutting down Clear Linux OS
neowin.net·2d·
Discuss: Hacker News
🔬Unikernels
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·4d
🎮Verification Games
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: Tanu – High-performance WebAPI testing framework for Rust
github.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
The Open Source CubeSat Workshop Is Back
events.libre.space·1d·
Discuss: Hacker News
🔬Unikernels
A Quantum-assisted Attention U-Net for Building Segmentation over Tunis using Sentinel-1 Data
arxiv.org·4h
🐫OCaml
Iteratively Learning Muscle Memory for Legged Robots to Master Adaptive and High Precision Locomotion
arxiv.org·4h
🐫Embedded OCaml
The Pragmatic Engineer 2025 Survey: What’s in your tech stack?
newsletter.pragmaticengineer.com·5d·
Discuss: Hacker News
👁️System Observability
On Pre-training of Multimodal Language Models Customized for Chart Understanding
arxiv.org·4h
🔄Finite State Machines