Is math discovered or invented?
mathwithbaddrawings.com·2d
📐Mathematical Art
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
The Art of Saying “No” to Shiny New Tools
brajeshwar.com·7h
🔄Language Evolution
Contact the ISS
ariss.org·3d·
Discuss: Hacker News
📡RSS
Why Young Men Are Falling Even Further Behind
youtube.com·15h
📦Deflate
SpaceX completes high stakes trial with Starship splashdowns on two oceans
techspot.com·7h
🛡️Error Boundaries
Gaslighting Check
gaslightingcheck.com·2d·
Discuss: Hacker News
🚨Incident Response
40x Faster! We rewrote our project with Rust!
betterprogramming.pub·2d
🦀Rust Borrowing
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·2d·
Discuss: Hacker News
⚡Proof Automation
VIMMaster
github.com·15h·
Discuss: Hacker News, r/vim
🪟Awesome windows command-line
Ancient DNA solves Plague of Justinian mystery to rewrite pandemic history
phys.org·11h
📰RSS Archaeology
Ultrack and inTRACKtive: A powerful pair of tools to help track cells through embryonic development
phys.org·2d
🧬Copy Number Variants
High-performance iron catalyst for fuel cells provides platinum alternative
phys.org·15h
🧲Magnetic Recording
Comet Browser: The Revolutionary AI-Powered Browser That Actually Does Your Work
dev.to·9h·
Discuss: DEV
🚀Indie Hacking
What is AGI? A Simple Guide to Artificial General Intelligence
dev.to·9h·
Discuss: DEV
🤖AI Curation
Mercury foundation models from Inception Labs are now available in Amazon Bedrock Marketplace and Amazon SageMaker JumpStart
aws.amazon.com·15h
⚡Proof Automation
EyeMulator: Improving Code Language Models by Mimicking Human Visual Attention
arxiv.org·2d
📊Feed Optimization
TRUCE-AV: A Multimodal dataset for Trust and Comfort Estimation in Autonomous Vehicles
arxiv.org·2d
🏛Digital humanities
Auditing Approximate Machine Unlearning for Differentially Private Models
arxiv.org·1d
🛡️Differential Privacy
A Closer Look at Edema Area Segmentation in SD-OCT Images Using Adversarial Framework
arxiv.org·1d
📊Learned Metrics