👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Restoration work on 2501 card reader - card path and stacker
rescue1130.blogspot.com·1h·
Discuss: rescue1130.blogspot.com
💾Floppy Imaging
CubeSats are fascinating learning tools for space
jeffgeerling.com·23h
⚙️DIY Electronics
A non-digital service example of working in the open
blog.ldodds.com·1d
🏺Media Archaeology
How a chief product officer thinks about AI implementation in healthcare supply chains
businessinsider.com·21h
🔗Supply Chain
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·21h
⏱️SMPTE Timecode
Glycol, Far UVC, and CFM Measurement at BIDA
jefftk.com·5d·
Discuss: Hacker News
🧲Cassette Physics
Write Better with Vale
pragprog.com·2d·
Discuss: Hacker News
📝Concrete Syntax
Supply chains and watering holes
cryptography.dog·3d·
Discuss: Lobsters
🔗Supply Chain
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·4d·
Discuss: Lobsters, Hacker News
⚡Homebrew CPUs
On the Bear Blog license change
grizzlygazette.bearblog.dev·5h·
Discuss: Hacker News
🔓Open Source Software
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Announcing Amazon EC2 M4 and M4 Pro Mac instances
aws.amazon.com·21h·
Discuss: Hacker News
🔄Sync Engine
Cracking Forensics CTFs 1.0 — picoCTF
infosecwriteups.com·1d
🔍Binary Forensics
Motion-Based User Identification across XR and Metaverse Applications by Deep Classification and Similarity Learning
arxiv.org·2d
👁️Perceptual Hashing
Algorithmic Anomaly Detection in Social Movement Framing Strategies: A Quantified Resilience Analysis
dev.to·3d·
Discuss: DEV
📄Text Mining
Advanced Solid-State Electrolyte Interphase Engineering for Enhanced Aerospace Battery Performance
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
Meta AI Chatbot and Elderly Man’s Death: What AI Safety Taught Us
dev.to·17h·
Discuss: DEV
🤖AI Curation
Autonomous Condition Monitoring and Predictive Maintenance for FPSO Hull Integrity via Deep Sensor Fusion
dev.to·2d·
Discuss: DEV
🌊Stream Processing