Chinese tech firm Tencent seeks removal of anti-censorship archive FreeWeChat
hongkongfp.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Developed the First Quantum Metabolic Avatar, Digital Twin of Human
newswise.com·2d·
Discuss: Hacker News
🏹Effect Systems
HRF Launches ReadyNow App to Offer Lifeline to Immigrants During ICE Encounters
humanrightsfirst.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
Fixing Auth for Personal AI Agents
vivekhaldar.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AAAI Launches AI-Powered Peer Review Assessment System
aaai.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Quest for Instant Data
blog.hyperparam.app·3d·
Discuss: Hacker News
🔬Unikernels
A curated directory for developers to discover and showcase tech products
devhub.best·6d·
Discuss: Hacker News
❄️Nixified Development
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·4d·
Discuss: r/LocalLLaMA
🐫Embedded OCaml
Smart Routing Saved Exa 90% on LLM Costs
inference.net·4d·
Discuss: Hacker News
🐫Embedded OCaml
Common Task: A roadmap for a humanist future
commontask.org·3d·
Discuss: Hacker News
🤖Program Synthesis
The Joy of a Boring Codebase
trunk.io·3d·
Discuss: Hacker News
🔄Reproducible Builds
Technical approach for classifying human-AI interactions at scale
microsoft.com·4d·
Discuss: Hacker News
👁️System Observability
The Mythical Machine-Month Paradox – How much could AI change programming?
tucson-josh.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Transform Before You Query: A Privacy-Preserving Approach for Vector Retrieval with Embedding Space Alignment
arxiv.org·2d
🐫OCaml
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·3d·
Discuss: Hacker News
🔬Static Analysis
Does the Beelink Mini S13 Support 4K Dolby Vision Profile 8 Transcoding? Any Mini-PC/Server Recommendations?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Why Context-Aware AI Is Quickly Replacing Code-Only Tools
thenewstack.io·4h
🤖Program Synthesis
Neural Corrective Machine Unranking
arxiv.org·2d
✓Automated Theorem Proving
X Ads blew past my $70 cap and spent $9.7k–budgeting nuance or bug?
news.ycombinator.com·3d·
Discuss: Hacker News
🍎XNU Internals
Python source code analyzer based on distrust
github.com·18m·
Discuss: Hacker News
🔬Static Analysis