Show HN: Lotas – Cursor for RStudio
lotas.ai·2d·
Discuss: Hacker News
🔬Static Analysis
We're Still Living with the Decisions Made During the Trinity Tests
thenation.com·9h·
Discuss: Hacker News
🍎Apple
Preventing Woke AI in the Federal Government
whitehouse.gov·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Dark Source, Dark Forest: Rethinking Open Source and Blockchain in the Age of AI
darksource.ai·2d·
Discuss: Hacker News, r/opensource
🔬Unikernels
Food contact articles as source of micro- and nanoplastics
nature.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Brave browser blocks Windows feature that takes screenshots of everything you do on your PC
neowin.net·1d·
Discuss: Hacker News, r/browsers, r/technews
🍎Apple
OpenAI agreed to pay Oracle $30B a year for data center services
techcrunch.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Cline Feels Like an Upgrade
koaning.io·2d·
Discuss: Hacker News
🔍Formal Verification
Raft Consensus Algorithms
blog.outlandish.claims·1d·
Discuss: Hacker News
🎮Verification Games
Humans, not glacial transport, brought bluestones to Stonehenge, new research indicates
phys.org·13h·
Discuss: Hacker News
💾Retro Computing
Reverse Engineering a ‘Tony’ 6502-based Mini Arcade Machine
hackaday.com·2d
💾Retro Computing
Quantum Shadows: The Dining Information Brokers
arxiv.org·2d
🎮Verification Games
FullRecall: A Semantic Search-Based Ranking Approach for Maximizing Recall in Patent Retrieval
arxiv.org·1d
🍎Apple
Remembering Chiptunes, the Demoscene and the Illegal Music of Keygens
hackaday.com·2d
💾Retro Computing
Learning Stochastic Hamiltonian Systems via Stochastic Generating Function Neural Network
arxiv.org·1d
🏹Effect Systems
Designing Robots with, not for: A Co-Design Framework for Empowering Interactions in Forensic Psychiatry
arxiv.org·1d
💻CS
Zed Editor's Newest Feature: Being Able To Disable All AI Features
phoronix.com·8h·
Discuss: Hacker News
📦Unikernel Systems
Spack v1.0 Is Out
github.com·3d·
Discuss: Hacker News
❄️Nixified Development
Bipartite Patient-Modality Graph Learning with Event-Conditional Modelling of Censoring for Cancer Survival Prediction
arxiv.org·20h
🔠Type-Level Programming
Generative Distribution Distillation
arxiv.org·1d
🤖Program Synthesis