Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Polls & Betting odds & Nonsampling errors & Win probabilities & Vote margins
statmodeling.stat.columbia.edu·9h
🧮Kolmogorov Bounds
Flag this post
Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·1d
🦠Malware Analysis
Flag this post
NetHack4 Philosophy
nethack4.org·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Changelog #300
rust-analyzer.github.io·2d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Shouldn't we trust Google and other pertinent questions
cryptography.dog·3h·
Discuss: Hacker News
📰RSS Archaeology
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·3d·
🔒Type Safety
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·2d·
🌊Streaming Databases
Flag this post
Pressure to change
maryrosecook.com·3d·
Discuss: Hacker News
Proof Automation
Flag this post
At 23: From failing university in Turkey to AI research in Germany
lightcapai.medium.com·9h·
Discuss: Hacker News
🎯Content Recommendation
Flag this post
Calibrating and Rotating: A Unified Framework for Weight Conditioning in PEFT
arxiv.org·20h
Effect Handlers
Flag this post
An Adaptive Flux Reconstruction Scheme for Robust Shock Capturing
arxiv.org·20h
🔗Tailscale
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🤖AI Curation
Flag this post
OSMGen: Highly Controllable Satellite Image Synthesis using OpenStreetMap Data
arxiv.org·20h
Incremental Computation
Flag this post
Auditing LLM Editorial Bias in News Media Exposure
arxiv.org·1d
📰Content Curation
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·6d
💻Programming languages
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·20h
🧠Machine Learning
Flag this post
Remembering Unequally: Global and Disciplinary Bias in LLM-Generated Co-Authorship Networks
arxiv.org·20h
📊Citation Graphs
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·4d
Effect Handlers
Flag this post
Mind’s Eye Flow Engine — Turning Postgres Into a Thinking System
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·22h·
Discuss: DEV
⚔️Lean Tactics
Flag this post