👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

🇦🇼 Open Data Day 2025 in Oranjestad: The Challenges of Managing Open Data in Science
blog.okfn.org·2d
🎓Academic Torrents
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·2d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Performance Improvements in .NET 10
devblogs.microsoft.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🐚Nordic Shell
[P] Convolutional Neural Networks for Audio -- the full story behind SunoAI
reddit.com·10h·
Discuss: r/MachineLearning
🎧Learned Audio
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Ruby Argentina September Meetup
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
Running Code On a PAX Credit Card Payment Machine
hackaday.com·1d
🔒Secure Boot
Service Discovery: The Backbone of Modern Distributed Systems day 50 of system design
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
Discreteness of asymptotic tensor ranks
arxiv.org·4d
🕸️Tensor Networks
Quantifiable Tactile Health Assessment via Dynamic Bio-Impedance Spectroscopy & Machine Learning
dev.to·2h·
Discuss: DEV
✋Tactile Computing
How I Built a Todo App with Authentication using FastAPI & React
dev.to·2d·
Discuss: DEV
🔗Hypermedia APIs
CancerGUIDE: Cancer Guideline Understanding via Internal Disagreement Estimation
arxiv.org·4d
🧠Machine Learning
Turning Music Into Art — Building a Synesthesia Simulator with Gemini
dev.to·46m·
Discuss: DEV
🎧Learned Audio
Beyond Innovation: Building AI We Can Trust
dev.to·3d·
Discuss: DEV
🌍Cultural Algorithms
Can You Spend Crypto Without Selling It? Inside The ether.fi Cash Card’s “Never Sell” Revolution
hackernoon.com·2d
🚀Indie Hacking
Smart Elderly Care Assistant
dev.to·1d·
Discuss: DEV
📄Document Streaming
Mutual Support by Sensor-Attacker Team for a Passive Target
arxiv.org·5d
🎯Threat Hunting
VisionGen
dev.to·23h·
Discuss: DEV
⏱️SMPTE Timecode
Automated Knowledge Graph Reconstruction for Enhanced Dynamic System Modeling
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Decoding the Heart: Can AI Predict Failure Before It Strikes?
dev.to·11h·
Discuss: DEV
🎵Audio ML