Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Flat Combining: A Simple Rust Experiment
khayyamguliyev.substack.com·4d·
Discuss: Substack
Hardware Transactional Memory
Flag this post
How to Use a Spec-Driven Approach for Coding with AI
blog.jetbrains.com·1d·
Discuss: Hacker News
Proof Automation
Flag this post
Building a Reliability Platform for Distributed Systems
hackernoon.com·21h
👁️Observatory Systems
Flag this post
Exploring Semantic-constrained Adversarial Example with Instruction Uncertainty Reduction
arxiv.org·1d
⚔️Lean Tactics
Flag this post
On the Faithfulness of Visual Thinking: Measurement and Enhancement
arxiv.org·1d
📊Learned Metrics
Flag this post
K-DAREK: Distance Aware Error for Kurkova Kolmogorov Networks
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Introduction to Python Module Three Part Two: Loops
dev.to·1d·
Discuss: DEV
🔗Lisp
Flag this post
Incentivizing Agentic Reasoning in LLM Judges via Tool-Integrated Reinforcement Learning
arxiv.org·1d
🔗Parser Combinators
Flag this post
OpenReward: Learning to Reward Long-form Agentic Tasks via Reinforcement Learning
arxiv.org·3h
🔍Information Retrieval
Flag this post
🌊 Part 3.5 — Calm Between Waves
dev.to·3h·
Discuss: DEV
Algebraic Effects
Flag this post
Claude Code is a Beast – Tips from 6 Months of Hardcore Use
dev.to·4h·
Discuss: DEV
Effect Handlers
Flag this post
Accelerating IC Thermal Simulation Data Generation via Block Krylov and Operator Action
arxiv.org·1d
🔧Hardware Verification
Flag this post
Monotonically Decreasing the Number of Directed 3-Cycles via Edge-Flips?
arxiv.org·1d
🕸️Graph Algorithms
Flag this post
GCAO: Group-driven Clustering via Gravitational Attraction and Optimization
arxiv.org·1d
🌊Spectral Clustering
Flag this post
Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·2d
💻Local LLMs
Flag this post
Epistemic Deference to AI
arxiv.org·2d
🧮Theoretical Computer Science
Flag this post
Beyond Understanding: Evaluating the Pragmatic Gap in LLMs' Cultural Processing of Figurative Language
arxiv.org·3h
🔗Monadic Parsing
Flag this post
MORA: AI-Mediated Story-Based practice for Speech Sound Disorder from Clinic to Home
arxiv.org·3h
🎙️Whisper
Flag this post