Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

All Hail The OC71
hackaday.com·10h
🔌Operating system internals
Flag this post
The Naked Man Problem and the Secret to Never Forgetting Numbers
ninjasandrobots.com·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Flag this post
Moving Back to a Dynamic Website
chameth.com·6h·
Discuss: Hacker News
🦋Format Metamorphosis
Flag this post
Signature schemes you've never heard about – Kobi Gurkan
kobi.leaflet.pub·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Show HN: Kedr Programming Language
codeberg.org·1h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Making MLS More Decentralized
blog.phnx.im·8h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
From Legacy to Insight: Migration Framework for Web Analytics Platforms
hackernoon.com·10h
🚚Data Migration
Flag this post
Show HN: AI PM Evaluation Framework (Open Source)
aipmframework.com·9h·
Discuss: Hacker News
Proof Automation
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocks·3d·
Discuss: Hacker News
🌳Context free grammars
Flag this post
Energy-Efficient UAV-Enabled MEC Systems: NOMA, FDMA, or TDMA Offloading?
arxiv.org·1d
ℹ️Information Theory
Flag this post
Statistical physics of deep learning: Optimal learning of a multi-layer perceptron near interpolation
arxiv.org·14h
🧠Machine Learning
Flag this post
Efficient Global-Local Fusion Sampling for Physics-Informed Neural Networks
arxiv.org·14h
🌀Riemannian Computing
Flag this post
Mechanism-Guided Residual Lifting and Control Consistent Modeling for Pneumatic Drying Processes
arxiv.org·14h
🌡️Preservation Physics
Flag this post
Derivative-Free Sequential Quadratic Programming for Equality-Constrained Stochastic Optimization
arxiv.org·1d
🧮Kolmogorov Bounds
Flag this post
Exploring Structures of Inferential Mechanisms through Simplistic Digital Circuits
arxiv.org·1d
🔲Cellular Automata
Flag this post
AI-Powered Contractual Ambiguity Resolution via Semantic Graph Alignment and Bayesian Inference
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Flag this post
Beyond MCQ: An Open-Ended Arabic Cultural QA Benchmark with Dialect Variants
arxiv.org·14h
⚙️Compression Benchmarking
Flag this post
PICOs-RAG: PICO-supported Query Rewriting for Retrieval-Augmented Generation in Evidence-Based Medicine
arxiv.org·14h
🔍Information Retrieval
Flag this post
Quantifying Explainable AI Reliability Through Causal Graph Reconstruction and HyperScore Validation
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Flag this post
Exploring Semantic-constrained Adversarial Example with Instruction Uncertainty Reduction
arxiv.org·1d
⚔️Lean Tactics
Flag this post