🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Memorizing a list of seed words
johndcook.com·1d·
Discuss: Hacker News, Hacker News
⭐Awesome lists
Sleeping Beauty Problem
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Cellular Automata
Increase of AMPA receptors associated with cognitive impairment of long Covid
pubmed.ncbi.nlm.nih.gov·1d·
Discuss: Hacker News
🧠Intelligence Compression
Introducing CodeMender: an AI agent for code security
deepmind.google·11h·
Discuss: Hacker News, Hacker News
⚡Proof Automation
Autoreview: The Dragon Hatchling – The Missing Link Between the Transformer and
arxiviq.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Vjeux » Birth of Prettier
blog.vjeux.com·1d·
Discuss: Hacker News, r/javascript, r/webdev
📝Concrete Syntax
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·1h·
Discuss: DEV
🦀Rust Macros
Meta-Author's Notes: Codie's Cognitive Chronicles
dev.to·21h·
Discuss: DEV
🧠Intelligence Compression
A rubber duck, even on acid, won't take your job
spikepuppet.io·3h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
More Than One Teacher: Adaptive Multi-Guidance Policy Optimization for Diverse Exploration
arxiv.org·3d
🔲Cellular Automata
How To Buy GitHub Accounts A Step By Step Guide
dev.to·5h·
Discuss: DEV
📦Git LFS
valuetier.org (and some thoughts on LLMs)
ericphanson.com·1d·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
# 8 Apothem ...History and Etymology of Math Terms
pballew.blogspot.com·18h·
Discuss: www.blogger.com
📚Archive Mathematics
Python + EVM without the paper cuts: a senior playbook for fast, correct, and scalable reads
dev.to·3h·
Discuss: DEV
🌐NetworkProtocols
Any go lang devs, willing to help me implement some functionality in my project. Its open source.
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software
A Unified Deep Reinforcement Learning Approach for Close Enough Traveling Salesman Problem
arxiv.org·20h
🔲Cellular Automata
Nicholas Renotte: I Trained AI To "DOMINATE" Brackey's Game
dev.to·21h·
Discuss: DEV
🎯Proof Tactics
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·20h
🌳Context free grammars
Prompting Techniques for Specialised LLMs
gg.forem.com·1d·
Discuss: DEV
⚖️Constraint Logic
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·15h·
Discuss: DEV
📊Multi-vector RAG