Hiding secret codes in light protects against fake videos
news.cornell.edu·1d·
Discuss: Hacker News
🎮Verification Games
Time Theft at the Terminal
marginalrevolution.com·1d·
Discuss: Hacker News
🛡️seL4
My doorlock and my digital sovereignty
jan.wildeboer.net·3d·
Discuss: Hacker News
🍎Apple
Gemini CLI: Custom slash commands
cloud.google.com·4d·
Discuss: Hacker News
❄️Nixified Development
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·4d·
Discuss: Hacker News
➡️Category Theory
Y Combinator is looking for DOGE-related startups for its next cohort — and 5 other themes
businessinsider.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Existential Technologies (A Close Reading of Stanisław Lem's Summa Technologiae)
existentialtech.antikythera.org·3d·
Discuss: Hacker News
🔬Unikernels
Build Custom ActiveStorage Analyzers for Ruby on Rails
blog.appsignal.com·5d·
Discuss: Hacker News
🔬Static Analysis
Shape memory alloys for cryogenic actuators
nature.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Singularity Cipher: A Topology-Driven Cryptographic Scheme Based on Visual Paradox and Klein Bottle Illusions
arxiv.org·5d
🐫OCaml
SLA-Centric Automated Algorithm Selection Framework for Cloud Environments
arxiv.org·5d
🖥️Self-hosted Infrastructure
Cybercrooks attached Raspberry Pi to bank network and drained ATM cash
theregister.com·3d·
Discuss: Hacker News
🍎XNU Internals
Ethersync: Peer-to-peer collaborative editing of local text files
github.com·5d·
Discuss: Lobsters, Hacker News
❄️Nix
Microsoft-Backed Company Begins Work on Washington Nuclear Fusion Plant
nucnet.org·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Python OpenAI API create Pinecone embeddings from PDF documents and RAG examples
github.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Multi-Hazard Early Warning Systems for Agriculture with Featural-Temporal Explanations
arxiv.org·3d
🔠Type-Level Programming
These are the best new MacBook deals for August: offerings as low as $599
9to5mac.com·1d
🍎Apple
cost
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
Enhancing efficiency in paediatric brain tumour segmentation using a pathologically diverse single-center clinical dataset
arxiv.org·4d
➡️Category Theory
Methodology for intelligent injection point location based on geometric algorithms and discrete topologies for virtual digital twin environments
arxiv.org·6d
🐫OCaml