Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·1d
🦠Malware Analysis
Flag this post
Changelog #300
rust-analyzer.github.io·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post
It's Mainframes All the Way Down
medium.com·2h·
Discuss: Hacker News
🏢IBM Mainframes
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Patterns for Defensive Programming in Rust
corrode.dev·2d·
🔒Type Safety
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·1d·
🌊Streaming Databases
Flag this post
Pressure to change
maryrosecook.com·3d·
Discuss: Hacker News
Proof Automation
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·14h
🤖Advanced OCR
Flag this post
Will Developers Survive AI Takeover? Part 3: What Happens If You Stay Old School?
dev.to·2d·
Discuss: DEV
🧲RISC-V Archaeology
Flag this post
Thought-For-Food: Reasoning Chain Induced Food Visual Question Answering
arxiv.org·14h
🔍Information Retrieval
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
vibe.forem.com·11h·
Discuss: DEV
🎯Proof Tactics
Flag this post
An Adaptive Flux Reconstruction Scheme for Robust Shock Capturing
arxiv.org·14h
🔗Tailscale
Flag this post
Part 1: Spec-Driven Development - Building Predictable AI-Assisted Software
dev.to·14h·
Discuss: DEV
⚙️TLA+
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
dev.to·4h·
Discuss: DEV
📏Code Metrics
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·14h
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·14h
🧠Machine Learning
Flag this post