The theorem on formal functions
math.columbia.edu·21h
⚔️Lean Theorem
Two languages in one Alt? Try THAT with HTML!
pdfa.org·2d
📄PostScript
How to Leverage the CPU’s Micro-Op Cache for Faster Loops
blog.codingconfessions.com·1d
⚡CPU Microarchitecture
On The Little Things of Data Representation
lmika.org·1d
🗄️Database Internals
Behind the Scenes: CI and CD with this Web Site and Blog
matttproud.com·5d
🦋Format Metamorphosis
Foxconn Now Making More From Servers than iPhones
apple.slashdot.org·1d
🇳🇱Dutch Computing
Losing GPT-4o sent some people into mourning. That was predictable.
technologyreview.com·1d
🏛Digital humanities
How to extend Android battery time between charges
dedoimedo.com·1d·
Discuss: Hacker News
🔌Offline-first Apps
Claude Opus 4 and 4.1 can now end a rare subset of conversations
anthropic.com·21h·
Discuss: Hacker News
✨Effect Handlers
The modern packager's security nightmare (2021)
blogs.gentoo.org·5d·
Discuss: Hacker News
📦Package Managers
Inside Doximity’s 15-Year Ruby on Rails Monolith
onrails.buzzsprout.com·4d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
[R] Code for Flow Stochastic Segmentation Networks (ICCV 20205)
reddit.com·1d·
Discuss: r/MachineLearning
⧗Information Bottleneck
DINOMotion: advanced robust tissue motion tracking with DINOv2 in 2D-Cine MRI-guided radiotherapy
arxiv.org·1d
🌀Differential Geometry
Bringing agentic Retrieval Augmented Generation to Amazon Q Business
aws.amazon.com·2d
🌊Streaming Systems
Software Engineering Laws - Design & UX
leadership.garden·2d
🎨Nordic UX
Software Engineering Laws - Metrics & Monitoring
leadership.garden·2d
📏Code Metrics
Enhancement of Chitin-Based Wound Dressings via Surface-Modified Microgels for Accelerated Healing
dev.to·1d·
Discuss: DEV
🧪Cassette Chemistry
Scalable Bayesian Optimization for Enhanced Process Analytical Technology (PAT) in Rare Disease Manufacturing
dev.to·4d·
Discuss: DEV
☕Precision Brewing
Cavity Resonance Mitigation via Adaptive Metasurface Control for Hypersonic Vehicle Aeroacoustics
dev.to·3d·
Discuss: DEV
⚙️Tape Engineering
TEN: Table Explicitization, Neurosymbolically
arxiv.org·2d
🌳Context free grammars