Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The big four-oh
michal.sapka.pl·1d
🧠Personal Knowledge Base
Flag this post
PPO for LLMs: A Guide for Normal People
cameronrwolfe.substack.com·20h·
Discuss: Substack
🔗Constraint Handling
Flag this post
I Built the Same App 10 Times: Evaluating Frameworks for Mobile Performance
lorenstew.art·18h·
🎬WebCodecs
Flag this post
On-Policy Distillation
thinkingmachines.ai·18h·
💻Local LLMs
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
dev.to·1d·
Discuss: DEV
Hardware Transactional Memory
Flag this post
A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case
arxiv.org·7h
💻Programming languages
Flag this post
Poisson Flow Consistency Training
arxiv.org·7h
🧠Machine Learning
Flag this post
Rationalizable Screening and Disclosure under Unawareness
arxiv.org·1d
🕳️Information Leakage
Flag this post
Scalable Oversight via Partitioned Human Supervision
arxiv.org·7h
Effect Handlers
Flag this post
Neural Networks for AC Optimal Power Flow: Improving Worst-Case Guarantees during Training
arxiv.org·7h
🎯Performance Proofs
Flag this post
Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond)
arxiv.org·7h
💻Local LLMs
Flag this post
Don’t Make Assumptions About Assertions: Even with AI you still have to write your unit tests
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Flag this post
Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
arxiv.org·7h
🔲Cellular Automata
Flag this post
Control of neural field equations with step-function inputs
arxiv.org·7h
Effect Handlers
Flag this post
Zen Of Python: 19 Rules For Clean, Readable, And Elegant Code
dev.to·1d·
Discuss: DEV
💻Programming languages
Flag this post
Instance-Adaptive Hypothesis Tests with Heterogeneous Agents
arxiv.org·1d
🔲Cellular Automata
Flag this post
#26 Repunit and Residual... History and Etymology of Math Terms
pballew.blogspot.com·2d·
🎯Arithmetic Coding Theory
Flag this post
GroupSHAP-Guided Integration of Financial News Keywords and Technical Indicators for Stock Price Prediction
arxiv.org·7h
🧠Machine Learning
Flag this post