Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Preparing for an unusually busy period
acdalal.wordpress.com·2d
🔩Systems Programming
Flag this post
Double Maths First Thing: Issue 3C
aperiodical.com·3d
λLambda Formalization
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·2d
🔧RISC-V Assembler
Flag this post
Dynamic Scoring – bringing komidashi to chess
quadibloc.com·12h·
Discuss: Hacker News
🎯Interactive Provers
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·6h·
🔌Interface Evolution
Flag this post
Hyperlogloglog (2016)
carlos.bueno.org·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·11h·
Discuss: Hacker News
❄️Nix Flakes
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
📊Static Analysis
Flag this post
You're all staff engineers now
jdauriemma.com·3d·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Beyond Optimization: The Physics and Logic Driving AI's Three Stages of Societal Transformation
dev.to·7h·
Discuss: DEV
🔲Cellular Automata
Flag this post
AI Brain Freeze? Pruning the Path to Lightning-Fast Decisions by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Can Aha Moments Be Fake? Identifying True and Decorative Thinking Steps in Chain-of-Thought
arxiv.org·3d
💻Programming languages
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.to·1d·
Discuss: DEV
🔍Information Retrieval
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·7h·
Discuss: DEV
🧠Intelligence Compression
Flag this post
Ideology-Based LLMs for Content Moderation
arxiv.org·2d
📰Content Curation
Flag this post
Interpolated Discrepancy Data Assimilation for PDEs with Sparse Observations
arxiv.org·3d
📐Error Bounds
Flag this post
Rethinking Cross-lingual Alignment: Balancing Transfer and Cultural Erasure in Multilingual LLMs
arxiv.org·2d
🤖AI Translation
Flag this post
Unlocking Neural Network Secrets: The Geometric Awakening by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🌀Differential Geometry
Flag this post
Artificial Intelligence Based Predictive Maintenance for Electric Buses
arxiv.org·4d
🧠Machine Learning
Flag this post