Red Hat’s successful 1999 IPO
dfarq.homeip.net·2d
🐧FOSS
Accrescent – Progress Update and Roadmap
blog.accrescent.app·5d·
Discuss: Hacker News
🔄Sync Engine
Where the Dogs Run
nybooks.com·1d
🧊Arctic Storage
Python 3.14.0rc2 and 3.13.7 are go!
blogger.com·2d
📦Archive Formats
VirtualBox 7.2: For the first time for Windows on ARM
heise.de·1d
🕸️WASM Archives
Move over, DevSecOps: DevEx is the new darling
reversinglabs.com·4d
⚙️Proof Engineering
DeepSeek R2 model delayed after Nvidia hardware was replaced with Huawei chips
techspot.com·2d
🇨🇳Chinese Computing
Foqos: Block Distracting Apps
github.com·2d·
Discuss: Hacker News
🔌Operating system internals
6 Key Learnings From the 2025 AI Governance Survey
hackernoon.com·2d
🎯Threat Hunting
The journey of building a privacy-first Android app to 80+ stars and 100+ testers
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Cornerstone, a full-stack, production-ready Rust template with Axum, SQLx, and swappable Svelte/Slint frontends.
reddit.com·4d·
Discuss: r/rust
🦀Rust Macros
<p>Can&rsquo;t hear what your friend is saying? Instead of speaking loudly, consider taking your Air Pods out first. You may experience a difference. 🙉</p>
lmika.org·1d
👂Psychoacoustic Models
The Urgency of Open Source AI
dev.to·3d·
Discuss: DEV
🔓Open Source Software
VeriPHY: Physical Layer Signal Authentication for Wireless Communication in 5G Environments
arxiv.org·3d
🌊Stream Ciphers
A Moral Agency Framework for Legitimate Integration of AI in Bureaucracies
arxiv.org·5d
⚖️Emulation Ethics
Can LLMs Detect Their Confabulations? Estimating Reliability in Uncertainty-Aware Language Models
arxiv.org·5d
💻Programming languages
Block encoding the 3D heterogeneous Poisson equation with application to fracture flow
arxiv.org·5d
⚛️Quantum Codecs
Exploring Causal Effect of Social Bias on Faithfulness Hallucinations in Large Language Models
arxiv.org·5d
💻Programming languages
Learning Optimal and Fair Policies for Online Allocation of Scarce Societal Resources from Data Collected in Deployment
arxiv.org·4d
⚡Incremental Computation
Automated Optimization of FinFET Channel Doping Profiles via Reinforcement Learning
dev.to·4d·
Discuss: DEV
🔧Hardware Verification