Let's Tidy Up State Government
statesforum.org·2d·
Discuss: Hacker News
🔤DSLs
Clever Cloud: The New Linux, Static, and V runtimes
clever-cloud.com·3d·
Discuss: r/programming
🔬Unikernels
Sandboxed Python executor for AI agents using WebAssembly
psiace.me·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
VibeTunnel's first AI-anniversary
steipete.me·2d·
Discuss: Hacker News
🍎Apple
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
New in Gemini Code Assist: Agent Mode and IDE Enhancements
blog.google·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Agentic Resistance: Why Critics Are Missing the Paradigm Shift
decodingdiscontinuity.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Few Things I've Learned about Prompt Engineering
cloudcruise.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
The three great virtues of an AI-assisted programmer
seangoedecke.com·4d·
Discuss: Hacker News
🤖Program Synthesis
The Pragmatic Engineer 2025 Survey: What’s in your tech stack?
newsletter.pragmaticengineer.com·3d·
Discuss: Hacker News
👁️System Observability
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·16h
✓Automated Theorem Proving
NarrLV: Towards a Comprehensive Narrative-Centric Evaluation for Long Video Generation Models
arxiv.org·2d
🎮Verification Games
Finding Order-Preserving Subgraphs
arxiv.org·2d
💻CS
From Corporate Grind to Home Server Grind: My Self-Hosting Adventure
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·1d
✓Automated Theorem Proving
WebAssembly binding for llama.cpp – Enabling on-browser LLM inference
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
TrialCompass: Visual Analytics for Enhancing the Eligibility Criteria Design of Clinical Trials
arxiv.org·1d
📡Network Protocol Design
Build an Intelligent Slackbot That Knows Your Cloud: 4 Steps
thenewstack.io·2d
🤖Program Synthesis
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1d
✓Automated Theorem Proving
Tracking Protestware Spread: 28 npm Packages Affected by Payload Targeting Russian-Language Users
socket.dev·2d·
Discuss: Hacker News
📦Unikernel Systems