Cameras installed in bin lorries – Stop householders dumping rubbish incorrectly
independent.ie·3d·
Discuss: Hacker News
🍎Apple
Beta Glucan
domofutu.substack.com·4d·
Discuss: Substack
➡️Category Theory
Brazilian Police Crack Down on $4.2 Billion Fuel Crime Scheme
bloomberg.com·23h·
Discuss: Hacker News
🐫OCaml
Vitalik Buterin Questions Prediction Markets’ Hedging Appeal
esstnews.com·3d·
Discuss: Hacker News, r/Economics
🔠Type-Level Programming
Physics of why Belgian beer foam is so stable
arstechnica.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Building an audience for ideas that last
gabrielweinberg.com·2d·
Discuss: Hacker News
➡️Category Theory
Exploring the tragedy of the Counter-Strike 2 server browser
bphilip.uk·3d·
Discuss: Hacker News
🎮Verification Games
High Levels of Toxic Metals Found in Popular Chocolate Brands
scitechdaily.com·3d·
Discuss: Hacker News
🍎Apple
Linux is 34 years old today — Linus Torvalds meekly announced this free new OS in the comp.os.minix newsgroup on this day in 1991
tomshardware.com·3d·
Discuss: Hacker News, r/technews
🔬Unikernels
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·5d·
Discuss: Substack
✓Automated Theorem Proving
Microsoft Azure Hardware Security to Help Thwart the World’s 3rd Largest GDP
servethehome.com·3d·
Discuss: Hacker News
⚙️Operating System Design
How to import Prometheus-style alerts and recording rules to Grafana
grafana.com·5d·
Discuss: Hacker News
🛡️seL4
Arguments About AI Consciousness Seem Highly Motivated And At Best Overconfident
thezvi.substack.com·3d·
Discuss: Substack
🛡️seL4
Google Gemini’s AI image model gets a ‘bananas’ upgrade
techcrunch.com·2d·
Discuss: Hacker News
🍎Apple
Google will require developer verification to install Android apps, including sideloading
9to5google.com·3d·
Discuss: Hacker News, r/programming, r/singapore
🔄Reproducible Builds
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4
A Minimalistic Approach to Predict and Understand the Relation of App Usage with Students' Academic Performances
arxiv.org·3d
🔬Static Analysis
Decoding MGMT Methylation: A Step Towards Precision Medicine in Glioblastoma
arxiv.org·4d
🐫OCaml
How are people monitoring their network for security and potential attacks?
reddit.com·4d·
Discuss: r/homelab
🌐NetworkProtocols
Physics-Based Explainable AI for ECG Segmentation: A Lightweight Model
arxiv.org·4d
💻CS