🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Programme
dcc.ac.uk·18h
🏷️Metadata Standards
Fitting It All in Your Head
systemsapproach.org·21h
📡BGP Archaeology
Terence Tao says ChatGPT saved him hours solving a math problem
the-decoder.com·2d
🧮SMT Solvers
Seriously Testing LLMs
satisfice.com·1d
🔍Concolic Testing
Database Transactions: Everything That Can Go Wrong When Using Them
hackernoon.com·7h
📝Database WAL
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·8h·
Discuss: Hacker News
📊Spectrograms
Sources of Power in Organizations
leadingsapiens.com·12h·
Discuss: Hacker News
🔐Capability Security
I'm Building a Browser for Reverse Engineers
nullpt.rs·1d·
Discuss: Lobsters, Hacker News
🛡️WASM Sandboxing
Self-Extracting F3
buttondown.com·10h·
Discuss: Hacker News
✅Format Verification
Docker at AI Engineer Paris: Build and Secure AI Agents with Docker
docker.com·15h
🏠Homelab Orchestration
Spoon Theory
en.wikipedia.org·8h·
Discuss: Hacker News
⬜Minimalism
Why LLMs Hallucinate on Emojis (And 4 Tokens That Break Production AI)
dev.to·22h·
Discuss: DEV
💻Local LLMs
Language, Culture, and Ideology: Personalizing Offensiveness Detection in Political Tweets with Reasoning LLMs
arxiv.org·1d
📊Feed Optimization
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
📊Multi-vector RAG
Ask HN: What are common mistakes in Move smart contract development?
news.ycombinator.com·20h·
Discuss: Hacker News
🔬Refinement Types
Optimizing Python Loops for Speed and Memory Efficiency with Generators
dev.to·10h·
Discuss: DEV
📝Compiler Design
Invisible Ink for AI: Proof of Creation in a Generative World
dev.to·2d·
Discuss: DEV
⚡Proof Automation
VR as a "Drop-In" Well-being Tool for Knowledge Workers
arxiv.org·1d
✋Tactile Computing
Neural Jump ODEs as Generative Models
arxiv.org·1d
📊Quantization
The future of your code is no-code
pleasedontdeploy.com·15h·
Discuss: Hacker News
📏Code Metrics