Six Years of Gemini
geminiprotocol.net·17h·
Discuss: Hacker News
📦Unikernel Systems
Phoenix Framework
phoenixframework.org·4d·
Discuss: Hacker News
🔄Reproducible Builds
Oracle Java users turning to open source after frequent audits and pricing hikes
techradar.com·3h·
Discuss: Hacker News
📦Unikernel Systems
Underused Techniques for Effective Emails
refactoringenglish.com·4h·
Discuss: Lobsters, Hacker News
🛡️seL4
Technical deep dive of how we built an AI to answer structured data questions
secoda.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Pulling at Threads With the Flipper Zero
hackaday.com·1d
💾Retro Computing
Home Server Purchase Review
reddit.com·19h·
Discuss: r/homelab
🏠HomeLab
Just got my first rack
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
The Agentic Resistance: Why Critics Are Missing the Paradigm Shift
decodingdiscontinuity.com·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Is AI the end of coding as we know it, or just another tool?
aha.io·23h·
Discuss: Hacker News
🤖Program Synthesis
Robust-Multi-Task Gradient Boosting
arxiv.org·16h
🍎Apple
A Few Things I've Learned about Prompt Engineering
cloudcruise.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
First DIY build help!
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Ocean Diviner: A Diffusion-Augmented Reinforcement Learning for AUV Robust Control in the Underwater Tasks
arxiv.org·16h
🔄Finite State Machines
How I Built an App in 7 Hours with Gemini, Gemini CLI and Gemini Code Assist
medium.com·2h·
Discuss: Hacker News
🤖Program Synthesis
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·1d
🐫OCaml
SSH-Passkeys: Leveraging Web Authentication for Passwordless SSH
arxiv.org·1d
🌐NetworkProtocols
Cidco MailStation as a Z80 Development Platform (2019)
jcs.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Orchestrator-Agent Trust: A Modular Agentic AI Visual Classification System with Trust-Aware Orchestration and RAG-Based Reasoning
arxiv.org·16h
🎮Verification Games
Looking for advice on buying stuff for my new homelab
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab