👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Footnotes to the week: Zen painting, the size of sets, Maddy
logicmatters.net·3d
🏗️Constructive Mathematics
Deconstructing Trust
systemsapproach.org·2d
🌳Archive Merkle Trees
Can researchers stop AI making up citations?
nature.com·1d·
Discuss: Hacker News
💻Local LLMs
The Imitation Game: Defending Against AI's Dark Side
aswathdamodaran.blogspot.com·1d·
Discuss: Hacker News
🔍BitFunnel
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·5d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Neural Logic Gates
blog.typeobject.com·2d·
Discuss: Hacker News
⚙️Logic Synthesis
The Angels and Demons of Nondeterminism
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages
An Interactive Guide to TanStack DB
frontendatscale.com·12h·
Discuss: Hacker News
🔌Interface Evolution
Money for Nothing, Chips for Free
phrack.org·4d·
Discuss: Hacker News
🌳Archive Merkle Trees
We built an Artificial Brain that forms memories, generate original thoughts
github.com·57m·
Discuss: Hacker News
🎧Learned Audio
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🔓Open Source Software
Room: Verilog for Read-Once-Only Memory (Quantum-Inspired Security Primitive)
github.com·3d·
Discuss: Hacker News
🔲Lattice Cryptography
Taming LLM Sprawl: Why Enterprises Need an AI Gateway Now
thenewstack.io·14h
🤖AI Curation
[D] Vibe-coding and structure when writing ML experiments
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
Gut-Brain Axis as a Closed-Loop Molecular Communication Network
arxiv.org·3h
⚛️Information Physics
Why TypeScript’s Type vs Interface War Never Ends (and What It Says About Dev Culture)
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Systematic Evaluation of Multi-modal Approaches to Complex Player Profile Classification
arxiv.org·1d
📊Learned Metrics
Taming Infinity: How AI Plans with Delayed Decisions
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Quantize Your Vectors, Speed Up Your Java AI Applications
dev.to·1d·
Discuss: DEV
🗂️Vector Databases
HTB Certified Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·4d
🔐PKI Archaeology