ChatGPT is a Useful but Demanding Mathematical Collaborator
gilkalai.wordpress.com·9h
🎯Dependent Parsing
Prompting Tips
klatz.co·2d
📐Proof Assistants
Radicle 1.4.0
radicle.xyz·18h·
Discuss: Lobsters, Hacker News
❄️Nix Flakes
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·3d·
Discuss: r/MachineLearning
🔗Constraint Handling
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
Chaos Is the Operating System
paid.ai·16h·
Discuss: Hacker News
🖥️Terminal Renaissance
Protobuffers Are Wrong
reasonablypolymorphic.com·9h·
Discuss: Hacker News, r/programming
📋Protocol Buffers
Solving Polynomial Systems with Gr\"obner Bases: An Introduction to F4 and FGLM
arxiv.org·1d
🧮SMT Solvers
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·2d·
Discuss: Hacker News
🔩Systems Programming
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·1h·
Discuss: DEV
⚙️Modern Assembly
DetectPack Forge: Natural-Language to Sigma/KQL/SPL
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Showcasing Your Work on HuggingFace Spaces
towardsdatascience.com·8h
🦋Format Metamorphosis
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·21h
📏Linear Logic
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·21h
🏺Compression Museums
VX-NOVA.Ω1: A Symbolic AI Engine That Patches Code Without Any Models
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
MTQA:Matrix of Thought for Enhanced Reasoning in Complex Question Answering
arxiv.org·21h
🔍Information Retrieval
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
Are We Vibecoding Our Way to Disaster?
softwarearthopod.substack.com·1d·
Discuss: Substack
🧠Intelligence Compression
Casual Productivity with LLMs
kylekukshtel.com·3d·
Discuss: Hacker News
🦀Rust Macros
Supercharge Your Simulations: Taming Complexity with Automatic Differentiation
dev.to·1d·
Discuss: DEV
⚡Incremental Computation