👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Building a magic door
hackster.io·1d
🔓Hacking
The Impact of Regular Training and Timely Security Policy Changes on Dev Teams
thenewstack.io·1d
🔄Language Evolution
Spark AI (YC W24) is hiring a full-stack engineer in SF (founding team)
ycombinator.com·2d·
Discuss: Hacker News
🌀Brotli Internals
AI Manager - The Future of Management
aimanagers.app·1d·
Discuss: Lobsters, Hacker News
💾Persistence Strategies
Thus Spoke GPT: A poetic and philosophical experiment in symbolic AI prompting
scribd.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
Airtable "Omni" app builder review
rnikhil.com·13h·
Discuss: Hacker News
🌀Brotli Internals
ODFM, an omics data resource from microorganisms associated with fermented foods
nature.com·1d·
Discuss: Hacker News
🏷️Metadata Standards
Vector Database
dev.to·14h·
Discuss: DEV
🗂️Vector Databases
PaperSense: Semantic arXiv Search & Chat Built with MindsDB
dev.to·1d·
Discuss: DEV
🔬Academic Search
Dining across the divide: ‘I said, I’m slightly to the right of Genghis Khan. She said she was to the left of Karl Marx’
theguardian.com·11h
⭐Awesome lists
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·5d·
Discuss: Hacker News
💻Local LLMs
PEGTL -- Parsing Expression Grammar Template Library
github.com·4d·
Discuss: Hacker News
🔗Parser Combinators
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.org·5d
🔢Bitwise Algorithms
Top 5 AI Tools for Paris Consultants in 2025
dev.to·1d·
Discuss: DEV
🎙️Whisper
Causal discovery in deterministic discrete LTI-DAE systems
arxiv.org·3d
🧠Machine Learning
Machine Learning Fundamentals: accuracy with python
dev.to·5d·
Discuss: DEV
👁️Observatory Systems
The AI Journaling Revolution: Free, Local, and Powerful with Rovo Dev + Frontmatter MCP
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
How Startups Harness Google TPUs for Scalable AI Innovation
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
Day 6/100: Numbers, Arithmetic, and Type Conversion
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
I built a Swift GraphQL client that generates the query using macros
github.com·3d·
Discuss: Hacker News
✅Format Verification