🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Footnotes to a long month: Books of the year?
logicmatters.net·16h
⭐Awesome lists
Flag this post
A game strategy that depends on the Continuum Hypothesis
thehighergeometer.wordpress.com·4d
🔲Cellular Automata
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·5d
🔀Category Theory
Flag this post
_AugmentedIntelligence v3.0 (WIP)
reddit.com·1d·
Discuss: r/homelab
🎙️Whisper
Flag this post
GQLSchemaGen v1.0.0: Generate GraphQL Schemas from Go Code
pablor21.github.io·1d
📋DFDL
Flag this post
How to Long Game
ystrickler.com·9h·
Discuss: Hacker News
⬜Minimalism
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·1d·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Next general training environment for superintelligence?
shash42.substack.com·1d·
Discuss: Substack
🤖AI Curation
Flag this post
Introducing Strands Agent SOPs – Natural Language Workflows for AI Agents
aws.amazon.com·2d·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Decoding the Beautiful Game: AI's Play-by-Play Revolution by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
dev.to·3h·
Discuss: DEV
⚡Incremental Computation
Flag this post
Go Microservices for AI/ML Orchestration
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Flag this post
A time for monsters: Organizational knowing after LLMs
arxiv.org·2d
🔢Denotational Semantics
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·2h·
Discuss: DEV
🤖AI Curation
Flag this post
Structural Inducements for Hallucination in LLMs
researchgate.net·1d·
Discuss: Hacker News
🏛Digital humanities
Flag this post
Knowledge Reasoning Involving Four Types of Syllogisms
arxiv.org·6d
🔗Constraint Handling
Flag this post
Automated Accelerated Life Testing Protocol Optimization via Bayesian Hyperparameter Tuning
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Portfolio Project: Python Terminal Game
dev.to·20h·
Discuss: DEV
🎯Proof Tactics
Flag this post
Practical Guide on how to build an Agent from scratch with Gemini 3
philschmid.de·2d·
Discuss: Hacker News
🔗Constraint Handling
Flag this post
GLOBE: Accurate and Generalizable PDE Surrogates using Domain-Inspired Architectures and Equivariances
arxiv.org·2d
🌀Differential Geometry
Flag this post