Double Maths First Thing: Issue 3D
aperiodical.com·1d
📐Mathematical Art
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·17h·
⚙️TLA+
Flag this post
Manufacturer Bricks Smart Vacuum After Engineer Blocks It From Collecting Data
hardware.slashdot.org·3h
🏠Home Automation
Flag this post
Amiga vs. Atari ST: A rivalry that defined 16-bit home computing (slicker.me)
slicker.me·2d
🕹️Retro Gaming
Flag this post
original ↗
wilsoniumite.com·1d·
🔃Feed Algorithms
Flag this post
I Drew the Julia Logo Using an MRI Machine
cncastillo.github.io·1d·
Discuss: Hacker News
🧲Magnetic Resonance
Flag this post
Sora 2 Android app launches in more countries, introduces paid generations
the-decoder.com·1d
📼Retro Games
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Flag this post
Some enterprising experimenters managed to get Doom running on an orbiting satellite
techspot.com·2d
🕹️Retro Gaming
Flag this post
The keyboard of choice for modular synth nerds gets a proper sequel after 10 years
theverge.com·20h
⌨️Mechanical Keyboards
Flag this post
Changing the AI narrative from liberation to acceleration
idratherbewriting.com·20h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·3d·
Discuss: Hacker News
⬆️Lambda Lifting
Flag this post
NVIDIA Preparing For Hopper & Blackwell GPU Support With Open-Source Nova Driver
phoronix.com·5h
🖥️Modern Terminals
Flag this post
Consciousness-ECG Transformer for Conscious State Estimation System with Real-Time Monitoring
arxiv.org·11h
🌊Digital Signal Processing
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
The best stocking stuffers for $50 or less
engadget.com·1d
🕹️Retro Gaming
Flag this post
Beyond the "Vibe Check": How to Use the Web Codegen Scorer to Master AI-Generated Code
dev.to·21h·
Discuss: DEV
Proof Automation
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·2d
🎙️Whisper
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·2d·
Discuss: Hacker News
📏Linear Logic
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.to·1d·
Discuss: DEV
Algebraic Effects
Flag this post