Texas Is Getting Tough on Data Protection
adexchanger.com·16h·
Discuss: Hacker News
🔍Formal Verification
Arduino Nano R4
store-usa.arduino.cc·3d·
Discuss: Hacker News
🐫Embedded OCaml
A New Cause of Atherosclerosis
science.org·3d·
Discuss: Hacker News
🐫OCaml
Asus ProArt Display 6K PA32QCV
press.asus.com·1d·
Discuss: Hacker News
💾Retro Computing
Age and Authenticated Encryption
words.filippo.io·1d·
Discuss: Hacker News
🌐NetworkProtocols
Why Oscar Is the Greatest Muppet, and What You Can Still Learn from Him
medium.com·1d·
Discuss: Hacker News
🔬Unikernels
Ask HN: Why are ePub images so tiny?
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Renting is for Suckers
andrewkelley.me·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
How to (mostly) make InfluxDBv3 Enterprise work as the Proxmox external metric server
reddit.com·4d·
Discuss: r/homelab
📡Network Protocol Design
Getting Into Flow State with Agentic Coding
kau.sh·4d·
Discuss: Hacker News
🔄Reproducible Builds
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·6d
💻CS
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·5d
🏹Effect Systems
Firewalla vs DIY for parent that also needs VPN and currently has an NG Orbi mesh setup?
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
True Multimodal In-Context Learning Needs Attention to the Visual Context
arxiv.org·5d
🐫Embedded OCaml
Development and Deployment of Hybrid ML Models for Critical Heat Flux Prediction in Annulus Geometries
arxiv.org·5d
🔍Formal Verification
Aging and the Narrowing of Scientific Innovation
arxiv.org·4d
✓Automated Theorem Proving
The Prompt Makes the Person(a): A Systematic Evaluation of Sociodemographic Persona Prompting for Large Language Models
arxiv.org·4d
🐫OCaml
Diffusion Beats Autoregressive in Data-Constrained Settings
arxiv.org·5d·
Discuss: Hacker News
💻CS
Trump's AI plan says a lot about open source – but here's what it leaves out
zdnet.com·2d·
Discuss: Hacker News
📦Unikernel Systems
New theory unifies quantum and relativistic effects in electron spin-lattice interactions
phys.org·2d·
Discuss: Hacker News
🏹Effect Systems