Are automated retries of specs a good pattern?
automationpanda.com·13h·
Discuss: Hacker News
🛡️Error Boundaries
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
skeeto/w64devkit
github.com·3d
🔗Static Linking
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
The Binomial Trap: Why 99% Reliability Still Fails Users
michaelyaroshefsky.com·1d·
Discuss: Hacker News
❄️Nix Adoption
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·13h·
Discuss: Substack
🌀Brotli Internals
Historians Found a 600-Year-Old Document Declaring the Shroud of Turin a Fraud
popularmechanics.com·13h
💧Manuscript Watermarks
Demonstrating Visual Information Manipulation Attacks in Augmented Reality: A Hands-On Miniature City-Based Setup
arxiv.org·2d
🏺Computational Archaeology
MFGLib: A Library for Mean-Field Games
arxiv.org·2d
🔲Cellular Automata
PadChest-GR: A Bilingual Chest X-ray Dataset for Grounded Radiology Report Generation
arxiv.org·2d
🦴Binary Paleography
🚀 Introducing gofind – a blazing fast file finder in Go
dev.to·3d·
Discuss: DEV
🔍BitFunnel
Subsets of AI - AI, Machine Learning, Deep Learning & Gen AI
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Hledger v1.50
github.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
✅Format Verification
<i>PICALM</i> Alzheimer’s risk allele causes aberrant lipid droplets in microglia
nature.com·2d
🧬Copy Number Variants
Error Notebook-Guided, Training-Free Part Retrieval in 3D CAD Assemblies via Vision-Language Models
arxiv.org·3d
🤖Advanced OCR
Two-Timescale Sum-Rate Maximization for Movable Antenna Enhanced Systems
arxiv.org·1d
⧗Information Bottleneck
Precision Gamma Spectroscopy for Stellar Nucleosynthesis Analysis in Cometary Ices
dev.to·5d·
Discuss: DEV
🌈Spectroscopy
Recommend something better
reddit.com·1d·
Discuss: r/homelab
🔌Operating system internals
**Cache-Aware Programming Techniques: Boost System Performance Through Strategic Memory Management**
dev.to·4d·
Discuss: DEV
💨Cache Analysis
[Build Help] NAS + Homelab Build – Looking for feedback
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab