The Perils of an .xyz Domain
spotvirtual.com·3h·
Discuss: Hacker News
📡Network Protocol Design
Library of Babel
libraryofbabel.app·14h·
Discuss: Lobsters, Hacker News
➡️Category Theory
AI that can simulate billions of atoms simultaneously proves the feasibility of carbon-neutral concrete
phys.org·1d·
Discuss: Hacker News
💻CS
Distribution Package vs. Import Package
packaging.python.org·8h·
Discuss: Hacker News
❄️Nixified Development
Zero Knowledge Proof
en.wikipedia.org·2h·
Discuss: Hacker News
🎮Verification Games
Network interfaces for developers
owengage.com·4d·
Discuss: r/programming
🌐NetworkProtocols
Why Aggregators Ate the Internet
every.to·5d·
Discuss: Hacker News
🔬Unikernels
Cursor for QA – TestChimp Launches AI Test Assistant in the Browser
testchimp.io·4h·
Discuss: Hacker News
👁️System Observability
Intermediate Zig Build
rdunnington.github.io·4d·
Discuss: Hacker News
📦Unikernel Systems
Tokens: The New Oil or Engineering in Spite of Scarcity
tidyfirst.substack.com·3d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Agent DB
agentdb.dev·5d·
Discuss: Hacker News
🔤DSLs
Windows Subsystem for Android
learn.microsoft.com·3d·
Discuss: Hacker News
🔬Unikernels
Kiro and the future of AI spec-driven software development
kiro.dev·6d·
Discuss: Lobsters, Hacker News
🤖Program Synthesis
UAV-Enabled Wireless-Powered Underground Communication Networks: A Novel Time Allocation Approach
arxiv.org·1d
📡Network Protocol Design
Isotonic Quantile Regression Averaging for uncertainty quantification of electricity price forecasts
arxiv.org·1d
🔠Type-Level Programming
Spiking neurons as predictive controllers of linear systems
arxiv.org·49m
🏹Effect Systems
Aging and the Narrowing of Scientific Innovation
arxiv.org·49m
✓Automated Theorem Proving
Gene-DML: Dual-Pathway Multi-Level Discrimination for Gene Expression Prediction from Histopathology Images
arxiv.org·1d
🐫OCaml
VMask: Tunable Label Privacy Protection for Vertical Federated Learning via Layer Masking
arxiv.org·1d
🔬Unikernels
Multi-beam Beamforming in RIS-aided MIMO Subject to Reradiation Mask Constraints -- Optimization and Machine Learning Design
arxiv.org·1d
🏹Effect Systems