🎯 Proof Tactics

Interactive Theorem Proving, Tactic Languages, Proof Development, Automation

Triple SEC: Simple Digital Security Scheme
nau.github.io·4h·
Discuss: Hacker News
🔓Password Cracking
Issue 716
iosdevweekly.com·2d
🔌Interface Evolution
Godel's Incompleteness Theorem
news.ycombinator.com·3d·
Discuss: Hacker News
🔤Type Theory
Notes on Epistemic Collapse
math.columbia.edu·1d·
Discuss: Hacker News
🏛️Philosophy
Rust in the Linux kernel: part 2
lwn.net·1d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Redefining Zero Trust in the Age of AI Agents and Agentic Workflows
blogs.cisco.com·2d
🔒Language-based security
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·3d·
Discuss: Hacker News
📐E-graphs
Unleash Your Inner Picasso: 15 Genius Ways Geniartify.online Is Changing the Game of AI Art Creation
dev.to·23h·
Discuss: DEV
📸TIFF Evolution
Optimal Single-Policy Sample Complexity and Transient Coverage for Average-Reward Offline RL
arxiv.org·2d
🧮Kolmogorov Complexity
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·3d·
Discuss: DEV
🔢Bitwise Algorithms
Machine Learning Fundamentals: adam optimizer example
dev.to·2d·
Discuss: DEV
📊Quantization
Hong Mong 5 Development Treasure Case Sharing Buried Point Development Real Battle Guide
dev.to·3d·
Discuss: DEV
🔗Data Provenance
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3d
✅Format Verification
🍸 Selecting the Largest Sum Subsequence of Length K – LeetCode 2099 (C++ | JavaScript | Python )
dev.to·1d·
Discuss: DEV
λLambda Encodings
Plugin System Design How to Build Extensible Framework Core Architecture（1751149657112500）
dev.to·12h·
Discuss: DEV
🦀Rust Borrowing
Advancing Artificial Intelligence: Safety, Personalization, and Practical Applications in Recent Research
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·5d
💻Local LLMs
Deciding Termination of Simple Randomized Loops
arxiv.org·5d
🌳Persistent Data Structures
Breaking Into Backend Development: Lessons from IBM’s Professional Certificate
dev.to·22h·
Discuss: DEV
🔐CBOR
Generative Adversarial Evasion and Out-of-Distribution Detection for UAV Cyber-Attacks
arxiv.org·2d
🧠Machine Learning