The theorem on formal functions
math.columbia.edu·4d
⚔️Lean Theorem
The reliability crisis
buildingslack.com·1d
💾Persistence Strategies
A taxonomy of Sherman L Kelly style ice cream scoops (2012)
guykeulemans.com·17h·
Discuss: Hacker News
🧲Magnetic Tribology
The answer to the "missing heritability problem"
sebjenseb.net·5h·
Discuss: Hacker News
🧠Intelligence Compression
Should AI flatter us, fix us, or just inform us?
technologyreview.com·21h
🤖AI Curation
United Librarians: The international network that helped Spanish Republicans
english.elpais.com·9h
📚MARC Records
Ukraine's electronic warfare fight against Russian drones is so chaotic that its own are getting caught in the crossfire
businessinsider.com·11h
🇷🇺Russian Computing
iPhone 17 camera is getting a huge upgrade, plus other rumours to know
the-independent.com·9h
📡Bluetooth Archaeology
Steam differentiates between user reviews by language
heise.de·13h
🏺Gaming Archaeology
Lessons from a Shitty Gardener
wysr.xyz·1d·
Discuss: Hacker News
⬜Minimalism
87% of game developers are using AI agents in their workflows, says new survey
gamesindustry.biz·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Apple Messages is finally getting a feature it’s needed for years in iOS 26
techradar.com·3h
📟Historical Protocols
AMD "GFX1250" To Double The Number Of User SGPRs
phoronix.com·21h
🖥️Modern CPU
I found the best way to hang the LG C5 OLED TV – I'll never use bolts and studs again
techradar.com·21h
🎬Video Codecs
CosmoTalker Wins Best Project at TASS from YASSC 🎉
dev.to·1d·
Discuss: DEV
🎙️Whisper
Subcortical Masks Generation in CT Images via Ensemble-Based Cross-Domain Label Transfer
arxiv.org·1d
🏺Computational Archaeology
TimeTracker – A self-hosted, team time tracker with timers, and reporting
github.com·1d·
Discuss: Hacker News
🔄Sync Engine
Delving into Dynamic Scene Cue-Consistency for Robust 3D Multi-Object Tracking
arxiv.org·1d
📐Projective Geometry
I commuted with this laptop for a week, and its power, robustness, and connectivity didn't fail to impress
techradar.com·2d
🔌Operating system internals
Enhanced Droplet Microfluidics via Dynamic Surface Tension Modulation for High-Throughput Single-Cell Analysis
dev.to·2d·
Discuss: DEV
☕Precision Brewing