Texas House Democrats flee state in bid to block GOP proposed congressional map
texastribune.org·1d·
Discuss: Hacker News
🎮Verification Games
CrowdStrike investigated 320 North Korean IT worker cases in the past year
cyberscoop.com·19h·
Discuss: Hacker News
📦Unikernel Systems
Beyond CDN Wars
azion.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to Avoid Personalized Pricing
pbs.org·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Updated Digital Identity Guidelines are Here (NIST 800-63 Revision 4)
csrc.nist.gov·3d·
Discuss: Hacker News
🌐NetworkProtocols
Apple History - specs for every Apple computer, established 1996
apple-history.com·2d·
Discuss: Hacker News
🍎Apple
Superagency and ADHD
treycausey.com·3d·
Discuss: Hacker News
🏹Effect Systems
AI app correcting your accent
apps.apple.com·1d·
Discuss: Hacker News
🍎Apple
Exclusive: retraction-prone editors identified at megajournal <i>PLoS ONE</i>
nature.com·5h·
Discuss: Hacker News
➡️Category Theory
Fujitsu starts development of 10000 plus superconducting quantum computer
global.fujitsu·3d·
Discuss: Hacker News
🍎XNU Internals
The Efficiency Trap
anthonybatt.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model
arxiv.org·6d
🤖Program Synthesis
Sendria is a test SMTP server
github.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·4d
🔠Type-Level Programming
Distance and Collision Probability Estimation from Gaussian Surface Models
arxiv.org·4d
🔠Type-Level Programming
You, Your Tools, and Your Team of AI Agents – By Owen Zanzal
medium.com·4d·
Discuss: Hacker News
👁️System Observability
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
medium.com·6d·
Discuss: Hacker News
🎮Verification Games
The Role of LLMs in Academic Reviewing (ACM SIGOPS / SIGARCH Blog)
sigops.org·5d·
Discuss: Hacker News
🛡️seL4
"Intelligenza Artificiale for Artificial Intelligence Research and Development"
news.ycombinator.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Optiplex 7080 micro NAS unraid server with LSI 9207-8i HBA
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab