👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Codeminer42 Dev Weekly #76
blog.codeminer42.com·3d
🔄Language Evolution
400 'Tech Utopian' Refuges Consider New Crypto-Friendly State
yro.slashdot.org·1d
🚀Indie Hacking
Observations of Thwaites Glacier consistent with high rates of loss next 50 yrs
essopenarchive.org·1d·
Discuss: Hacker News
🛠️Greaseweazle
Show HN: We started a no-bs engineering company
eilbek-research.de·17h·
Discuss: Hacker News
🖥️Modern Terminals
Three years of building no-code software for grassroots political organizations
write.as·1d·
Discuss: Lobsters, Hacker News, r/opensource
🔓Open Source Software
You're also a neural network – train on the good stuff
magnusludviksson.substack.com·15h·
Discuss: Substack
🔲Cellular Automata
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·5d·
Discuss: Hacker News
🔍Information Retrieval
Vibe coded a website to share vibe coding tips
vibecodinglearn.com·14h·
Discuss: Hacker News
🎙️Whisper
LLMs struggle with clinical reasoning and are just matching patterns, study finds
the-decoder.com·15h
💻Local LLMs
Turning Your Documentation into Smart Responses
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Cooperative Sensing Enhanced UAV Path-Following and Obstacle Avoidance with Variable Formation
arxiv.org·1d
🔲Cellular Automata
AI SEO Content Brief Agent powered by BrightData & n8n
dev.to·1d·
Discuss: DEV
📡RSS Automation
Stop Wasting Hours Wiring Up Features: A Smarter Way to Build Projects
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Activation Subspaces for Out-of-Distribution Detection
arxiv.org·1d
🧠Machine Learning
99% of us use ChatGPT wrong. The AI slop is our fault, I fixed it (and you can too).
dev.to·3d·
Discuss: DEV
✨Effect Handlers
A Step-by-Step Guide to Install DeepSeek V3.1
dev.to·10h·
Discuss: DEV
🔓Open Source Software
Enhanced Floating Wind Turbine Blade Fatigue Life Prediction via Deep Feature Fusion
dev.to·1d·
Discuss: DEV
🧩WASM Components
A simple job scheduler
reddit.com·14h·
Discuss: r/golang
🔗Concatenative Programming
Can Multimodal LLMs Solve the Basic Perception Problems of Percept-V?
arxiv.org·1d
🎵Audio ML
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·5d
✓Automated Theorem Proving