Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

The Supreme Court Casts a Skeptical Eye on Trump’s Tariffs
nytimes.com·15h
📡RSS
Flag this post
November 5, 2025
buttondown.com·1d
📰RSS Archaeology
Flag this post
FT: Deutsche Bank seeks way out of AI financing risk
heise.de·4h
🧮Algebraic Datatypes
Flag this post
🔐 ZK Proofs: The Hidden Engine Behind Web3 Privacy
dev.to·4d·
Discuss: DEV
🔗Hash Chains
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·4d·
Proof Automation
Flag this post
Autonomous Spectral Anomaly Mapping via Recurrent Kalman Filtering in Seabed Gravimetry
dev.to·18h·
Discuss: DEV
🌀Differential Geometry
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·2d
🕸️Tensor Networks
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
Proof Automation
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·15h·
Discuss: DEV
Proof Automation
Flag this post
Schaltwerk – The IDE Without Editor
github.com·2d·
Discuss: Hacker News
🐚Nordic Shell
Flag this post
Machine Learning-assisted Dynamics-Constrained Day-Ahead Energy Scheduling
arxiv.org·1d
🧠Machine Learning
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Thought Branches: Interpreting LLM Reasoning Requires Resampling
arxiv.org·3d
🧮Kolmogorov Complexity
Flag this post
How I Built gemini-imagen: A CLI for Google Gemini Image Generation
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Flag this post
ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
arxiv.org·2d
📏Code Metrics
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·2d
🤖Advanced OCR
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·2d
Incremental Computation
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·2d·
Discuss: DEV
🔐Quantum Security
Flag this post