The Abundance Delusion
theatlantic.com·14h
🔱plan 9
Owning The Whole U.S. Market With ITOT
seekingalpha.com·5h
🔍BitFunnel
Getting the Most out of Braille on Android
medium.com·3h
✋Tactile Computing
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·4d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
How to Write a Crash Reporter
gamesbymason.com·2d·
Discuss: Hacker News
🦀Embedded Rust
Thoughts on Visual Programming
btmc.substack.com·2d·
Discuss: Substack
📟Terminal Physics
Trying out import std
nibblestew.blogspot.com·2d·
Discuss: Hacker News, nibblestew.blogspot.com
🦀Rust Macros
I Completed Mathematics for Machine Learning
frankhecker.com·4d·
Discuss: Hacker News
📚Proof Pedagogy
Why Your Docs-as-Code Toolchain Is Holding You Back
thecontentwrangler.com·5h·
Discuss: Hacker News
🌳Git Internals
DjVuLibre 3.5.29 ZPCodec Unsigned Integer Overflow in Arithmetic Encoding
seclists.org·3h
📦Deflate
ipasnmatcher - Python Package for Fast IP-to-ASN Matching
dev.to·12h·
Discuss: DEV
🌐DNS Security
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·1d·
Discuss: Lobsters, Hacker News
🌿git
Day 88: When Criticism Backfires Spectacularly
dev.to·1d·
Discuss: DEV
🦀Rust Macros
SkyQuest: A story-coded python app for scheduling astrophotography sessions
dev.to·2d·
Discuss: DEV
🏛Digital humanities
RavenDB Launches the First Database-Native AI Agent Creator: The Missing Piece for Secure, Integrated AI
dev.to·12h·
Discuss: DEV
🤖AI Curation
Multiscale Graph Neural Network for Turbulent Flow-Thermal Prediction Around a Complex-Shaped Pin-Fin
arxiv.org·21h
🌐Computational Topology
Automated Reproducibility Validation via Federated Graph Neural Networks & HyperScore Ranking
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·3d
🏺Compression Museums
Detecting Blinks in Healthy and Parkinson's EEG: A Deep Learning Perspective
arxiv.org·21h
🧠Machine Learning
Semantic Analysis of SNOMED CT Concept Co-occurrences in Clinical Documentation using MIMIC-IV
arxiv.org·3d
🔢Denotational Semantics