👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Some musings on the Metric system
boston.conman.org·3d
🏷️Metadata Standards
The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.com·3d
🌊Stream Processing
Open Science round-up: The future of knowledge and who should control it - International Science Council
council.science·3d
🧲Magnetic Philosophy
Listening to Unreliable Narrators
secondvoice.substack.com·1h·
Discuss: Substack
📜Digital Philology
Operational Intelligence – the new horizon of observability
squaredup.com·1d·
Discuss: Hacker News
👁️System Observability
The PDF That Broke ChatGPT
surgehq.ai·2d·
Discuss: Hacker News
📄PostScript
FreeCAD Foray: Good Practices
hackaday.com·3d
🦋Format Metamorphosis
[D] which papers HAVEN'T stood the test of time?
reddit.com·1d·
Discuss: r/MachineLearning
📜Document Physics
Keep Reading, Keep Watching
hackaday.com·1d
⚙️Cassette Mechanics
External Secrets Operator Health update - Resuming Releases
reddit.com·1d·
Discuss: r/kubernetes
⚙️Proof Engineering
Community Health Systems, Inc. (CYH) Presents At Wells Fargo 20th Annual Healthcare Conference 2025 Transcript
seekingalpha.com·11h
🔗Data Provenance
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·3d·
Discuss: Hacker News
🏺Protocol Archaeology
🔥 Finally finished ManjaroWizard: the ultimate post-install setup script for Manjaro Linux! Dev tools, Browsers, Gaming, Security, all in one interactive menu 🚀...
github.com·1d·
Discuss: r/archlinux, r/linux
🔌Operating system internals
Creating larger projects with LLM (as a coder)
medium.com·4d·
Discuss: Hacker News
🔄Language Evolution
iPhone Air: Visionary Design or Practical Sacrifice?
hackernoon.com·5h
🍎Apple Computing
Vegi: Vegetables are not Aliens
dev.to·2d·
Discuss: DEV
🎮Gameboy Emulation
Unlocking AI's Potential: Secure Language Models for Sensitive Data
dev.to·4d·
Discuss: DEV
💻Local LLMs
Turning Images Into Recipes with RecGen
dev.to·1d·
Discuss: DEV
🧮Algorithmic Cooking
From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
arxiv.org·6d
🌳Context free grammars
Llama-GENBA-10B: A Trilingual Large Language Model for German, English and Bavarian
arxiv.org·6d
🌳Context free grammars