Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Is Social Media a Misnomer
rsdoiel.github.io·13h
📰RSS Archaeology
Flag this post
“Slop Coding” and Responsible Testers
satisfice.com·3d
🐛Fuzzing
Flag this post
Creating a Gridogram
gridogram.com·17h·
Discuss: Hacker News
📖Nordic Typography
Flag this post
Open Catalyst Project
opencatalystproject.org·1d·
Discuss: Hacker News
Z3 Optimization
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·22h·
Discuss: DEV
🌀Brotli Internals
Flag this post
Infinite Worlds, Perfect Recall: AI's Leap in Simulated Reality
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs
arxiv.org·3d
🔗Tailscale
Flag this post
Rouille – Rust Programming, in French
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Flag this post
Kite, Dart, Strombus..... History and Etymology of Math Terms
pballew.blogspot.com·2h·
🏗️Compiler Archaeology
Flag this post
**Adaptive Algorithmic Profiling & Resource Allocation via Dynamic Markov Chain Optimization**
dev.to·1d·
Discuss: DEV
Incremental Computation
Flag this post
#7 Learning Python Functions
dev.to·3d·
Discuss: DEV
🔗Lisp
Flag this post
Automated Crack Mitigation in Laser Weld Repairs via Adaptive Thermal Gradient Optimization
dev.to·22h·
Discuss: DEV
Incremental Computation
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
dev.to·1d·
Discuss: DEV
Incremental Computation
Flag this post
Un-Attributability: Computing Novelty From Retrieval & Semantic Similarity
arxiv.org·4h
🗂️Vector Databases
Flag this post
🚀 Day 59 of My Data Analytics Journey !
dev.to·17h·
Discuss: DEV
📊Static Analysis
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1d·
Discuss: Substack
🧠Machine Learning
Flag this post
Making Mathematical Reasoning Adaptive
dev.to·3d·
Discuss: DEV
🧮Theorem Proving
Flag this post