Great Ideas in Theoretical Computer Science
ocw.mit.edu·2d·
Discuss: Hacker News
💻CS
Galactic Rosetta Stone
physicalsciences.uchicago.edu·3d·
Discuss: Hacker News
❄️Nix
UK Court Ruling Leaves Wikipedia Facing Years Of Uncertainty Under Online Safety Act
techdirt.com·2d·
Discuss: Hacker News
🍎Apple
D-cysteine impairs tumour growth by inhibiting cysteine desulfurase NFS1
nature.com·2d·
Discuss: Hacker News
➡️Category Theory
Microsoft is being sued for killing Windows 10 - here are 5 reasons why the lawsuit could actually force its hand to extend support further
techradar.com·3d·
Discuss: Hacker News
🔬Unikernels
AI Models Are the Gold, Forward-Deployed Engineers Are the Gold Miners
emcap.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Scientists Announce a Physical Warp Drive Is Now Possible. Seriously.
popularmechanics.com·4d·
Discuss: Hacker News
🔬Unikernels
The Replication Engine
ifp.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Why might it be necessary for Coalton to be a language in itself?
gist.github.com·4d·
Discuss: Hacker News
🔠Type-Level Programming
Fast and Generalizable parameter-embedded Neural Operators for Lithium-Ion Battery Simulation
arxiv.org·4d
🐫Embedded OCaml
Who pays the RENT? Implications of Spatial Inequality for Prediction-Based Allocation Policies
arxiv.org·3d
🔠Type-Level Programming
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.org·1d
✓Automated Theorem Proving
Nerdkunst: Gentle and interactive introduction to generative art (WHY2025)
cdn.media.ccc.de·6d
🔬Unikernels
CognitiveArm: Enabling Real-Time EEG-Controlled Prosthetic Arm Using Embodied Machine Learning
arxiv.org·4d
🏹Effect Systems
Democratizing Diplomacy: A Harness for Evaluating Any Large Language Model on Full-Press Diplomacy
arxiv.org·4d
🐫OCaml
SharpXR: Structure-Aware Denoising for Pediatric Chest X-Rays
arxiv.org·3d
🔠Type-Level Programming
An (m,k)-firm Elevation Policy to Increase the Robustness of Time-Driven Schedules in 5G Time-Sensitive Networks
arxiv.org·2d
📡Network Protocol Design
Should we get the option of a round Apple Watch and more? [Poll]
9to5mac.com·2d
🍎Apple
RORPCap: Retrieval-based Objects and Relations Prompt for Image Captioning
arxiv.org·4d
✓Automated Theorem Proving
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·4d
💻CS