👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Restoration work on 2501 card reader - card path and stacker
rescue1130.blogspot.com·3h·
Discuss: rescue1130.blogspot.com
💾Floppy Imaging
“Rogue” DNA Rings Expose Brain Cancer’s Earliest Secrets
scitechdaily.com·1h
🧬Copy Number Variants
A non-digital service example of working in the open
blog.ldodds.com·1d
🏺Media Archaeology
Monitoring Claude Code with OpenTelemetry
signoz.io·3d·
Discuss: Hacker News
📊Homelab Monitoring
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·1d·
Discuss: Hacker News
🌡️Preservation Physics
Manchester City vs Brighton & Hove Albion LIVE: Women's Super League team news, line-ups and more
the-independent.com·23h
⏱️SMPTE Timecode
Apple Announces A19 and A19 Pro SoCs
morethanmoore.substack.com·11h·
Discuss: Substack
🖥️Hardware Architecture
Matrix is email wearing a hoodie
gist.github.com·1d·
Discuss: Hacker News
🕵️Vector Smuggling
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·3d·
Discuss: Hacker News
🔲Cellular Automata
False Confidence
theaiunderwriter.substack.com·4d·
Discuss: Substack
💻Local LLMs
Announcing Amazon EC2 M4 and M4 Pro Mac instances
aws.amazon.com·23h·
Discuss: Hacker News
🔄Sync Engine
PeTTO: Leveraging GPUs to Accelerate Topology Optimization with the Pseudo-Transient Methods
arxiv.org·3d
⚙️Tape Engineering
🐍 I Write in Python Because It Knows How to Listen
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
K2 Think: Abu Dhabi's Efficient AI Model Challenges Industry Giants
dev.to·4d·
Discuss: DEV
🧠Intelligence Compression
Building a Recipe Scraping Tool in Python: What I learned
dev.to·1d·
Discuss: DEV
📡RSS Automation
LLM Analysis of 150+ years of German Parliamentary Debates on Migration Reveals Shift from Post-War Solidarity to Anti-Solidarity in the Last Decade
arxiv.org·3d
🔤Morphological Analysis
CTourLLM: Enhancing LLMs with Chinese Tourism Knowledge
arxiv.org·3d
🔍Information Retrieval
Query Expansion in the Age of Pre-trained and Large Language Models: A Comprehensive Survey
arxiv.org·3d
🔍Information Retrieval
VLMs-in-the-Wild: Bridging the Gap Between Academic Benchmarks and Enterprise Reality
arxiv.org·3d
🤖Advanced OCR
Algorithmic Anomaly Detection in Social Movement Framing Strategies: A Quantified Resilience Analysis
dev.to·3d·
Discuss: DEV
📄Text Mining