Lessons Without Leashes
fayziev.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
EPA shutters its scientific research arm
cbsnews.com·21h·
Discuss: Hacker News
📡Network Protocol Design
Topical Authority: A Guide to SEO in the Age of AI (GEO)
tryzenith.ai·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Top AI Companies Have 'Unacceptable' Risk Management, Studies Say
time.com·2d·
Discuss: Hacker News
🔬Unikernels
This Should Not Be Possible
ghuntley.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Microsoft Names Threat Actors
learn.microsoft.com·2d·
Discuss: Hacker News
🍎Apple
Breaking Device and Network Barriers to Ensure Stable Cross-Border Teaching
news.ycombinator.com·3d·
Discuss: Hacker News
📡Network Protocol Design
New in Gemini Code Assist: Agent Mode and IDE Enhancements
blog.google·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Huawei's star AI model was built on burnout and plagiarism
the-open-source-ward.ghost.io·4d·
Discuss: Hacker News
🔬Unikernels
My favorite use-case for AI is writing logs
newsletter.vickiboykis.com·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Xenity Engine -- open-source game engine for PSP, PlayStation 3, PS Vita, and modern platforms
github.com·16h·
Discuss: r/programming
🔬Unikernels
2025 One-Hertz Challenge: HP Logic Probe Brought Into The Future
hackaday.com·1d
💾Retro Computing
Starbase injury rates outpace rivals as SpaceX chases its Mars moonshot
techcrunch.com·1d·
Discuss: Hacker News
⎈Kubernetes
My reality: Decades of experience, seeking one team that believes in it
news.ycombinator.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Physically Based Neural LiDAR Resimulation
arxiv.org·2d
🐫OCaml
Thoughts on AI and software development - Part 5
ufried.com·2d·
Discuss: Hacker News
🤖Program Synthesis
OpenAI Is Building an office productivity suite
computerworld.com·22h·
Discuss: Hacker News
📦Unikernel Systems
Learn To Love the Command-Line Interface With Agentic LLMs
thenewstack.io·1d
🤖Program Synthesis
Data-Driven Meta-Analysis and Public-Dataset Evaluation for Sensor-Based Gait Age Estimation
arxiv.org·3d
🔬Unikernels
Who Wants to Be Acquired: 5 AI/Dev MVPs (1 Monetized, Full Code, Domains
news.ycombinator.com·2d·
Discuss: Hacker News
⎈Kubernetes