🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

OO Design Principles: CUPID
slott56.github.io·2d
🐚Shell Calculus
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·4h
🔲Cellular Automata
The Integral Guide to Well-Being
integralguide.com·5h·
Discuss: Hacker News
🌱Personal Wikis
High-Quality Pull-Request Descriptions
racecondition.software·12h·
Discuss: Hacker News
⚙️Proof Engineering
DanielSant0s/AthenaEnv
github.com·1d
📺VT100 Emulation
Spiral of Silence in Large Language Model Agents
arxiv.org·4h
💻Programming languages
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·4h
📋Document Grammar
Quantum Computing: Why Nations Are Moving Now
exoswan.com·13h·
Discuss: Hacker News
⚛️Quantum Tape
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·4h
🎯Performance Proofs
Building a Command-Line Quiz Application in R
towardsdatascience.com·18h
🐚Shell Calculus
Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL
github.com·2d·
Discuss: Hacker News
🧩SQLite Extensions
Formal Framework for Quantum Advantage
arxiv.org·3d
🔐Quantum Security
Hilbert's Power
fi-le.net·4d·
Discuss: Hacker News
🔬Lean
Misunderstood and Misaligned
bozhao.substack.com·2h·
Discuss: Substack
🔗Constraint Handling
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.to·20h·
Discuss: DEV
🔗Constraint Handling
Evaluating Large Language Models for IUCN Red List Species Information
arxiv.org·4h
🧮Kolmogorov Complexity
Building Effective Text-to-3D AI Agents: A Hybrid Architecture Approach
addy.rocks·5h·
Discuss: Hacker News
🧮SMT Solvers
Assessment Twins: A Protocol for AI-Vulnerable Summative Assessment
arxiv.org·4h
🔲Cellular Automata
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
Burgers equation with a twist: A study on rotational-form equations
arxiv.org·4h
🕸️Algebraic Topology