🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Programme
dcc.ac.uk·16h
🏷️Metadata Standards
Fitting It All in Your Head
systemsapproach.org·18h
📡BGP Archaeology
Terence Tao says ChatGPT saved him hours solving a math problem
the-decoder.com·2d
🧮SMT Solvers
Self-Extracting F3
buttondown.com·8h·
Discuss: Hacker News
✅Format Verification
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·1d·
Discuss: Hacker News
💻Programming languages
sevenDB : reactive yet scalable
reddit.com·1d·
Discuss: r/golang
🌊Streaming Databases
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·22h
🌳Context free grammars
Prompting Techniques for Specialised LLMs
gg.forem.com·1d·
Discuss: DEV
⚖️Constraint Logic
Nicholas Renotte: I Trained AI To "DOMINATE" Brackey's Game
dev.to·1d·
Discuss: DEV
🎯Proof Tactics
How To Buy GitHub Accounts A Step By Step Guide
dev.to·8h·
Discuss: DEV
📦Git LFS
UniShield: An Adaptive Multi-Agent Framework for Unified Forgery Image Detection and Localization
arxiv.org·22h
🔍Vector Forensics
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·18h·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2h·
Discuss: DEV
📊Multi-vector RAG
Reasoning Renaissance: Bridging Neural Nets and Logic with Shared Concepts
dev.to·2d·
Discuss: DEV
🧮Datalog Systems
Type Theory and Functional Programming (1999) [pdf]
dev.to·5d·
Discuss: DEV
🔤Type Theory
Chat Smarter, Not Harder: Building an AI Chat Interface in Your Angular App
dev.to·4h·
Discuss: DEV
🔌Interface Evolution
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Spoon Theory
en.wikipedia.org·6h·
Discuss: Hacker News
⬜Minimalism
Scaling AI-Assisted Development: How Scaffolding Solved My Monorepo Chaos
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Why LLMs Hallucinate on Emojis (And 4 Tokens That Break Production AI)
dev.to·20h·
Discuss: DEV
💻Local LLMs