Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Note
hsu.cyยท4h
๐Ÿ”Archive Semantics
Flag this post
We need a new Turing test to assess AIโ€™s real-world knowledge
nature.comยท15h
๐Ÿง Intelligence Compression
Flag this post
Migrating Whop from PostgreSQL to PlanetScale MySQL with 0 downtime
evilmartians.comยท2dยท
Discuss: Hacker News
๐Ÿ—„๏ธPostgreSQL WAL
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.netยท3h
๐Ÿ”’WASM Capabilities
Flag this post
The Future of Coding โ€“ From Syntax to Intention
future.forem.comยท1dยท
Discuss: DEV
๐Ÿ› Language Design
Flag this post
PMPP-Eval Journey
blog.sinatras.devยท2dยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Flag this post
Five LLM Tricks for Data Pipelines
presentofcoding.substack.comยท2dยท
Discuss: Substack
๐Ÿ”—Constraint Handling
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
Automated Socioeconomic Determinant Mapping for Precision Health Interventions
dev.toยท4hยท
Discuss: DEV
๐Ÿง Machine Learning
Flag this post
4 Techniques to Optimize Your LLM Prompts for Cost, Latency and Performance
towardsdatascience.comยท7h
๐Ÿ“ŠFeed Optimization
Flag this post
Beyond Understanding: Evaluating the Pragmatic Gap in LLMs' Cultural Processing of Figurative Language
arxiv.orgยท23h
๐Ÿ”—Monadic Parsing
Flag this post
Weekly Challenge: The one about arrays
dev.toยท3dยท
Discuss: DEV
๐Ÿ“ŠAPL Heritage
Flag this post
dbt Labs Open Sources MetricFlow: An Independent Schema for Data Interoperability
thenewstack.ioยท14h
๐Ÿท๏ธMetadata Standards
Flag this post
The Forgotten Hero in the AI Workflow
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Flag this post
GCAO: Group-driven Clustering via Gravitational Attraction and Optimization
arxiv.orgยท1d
๐ŸŒŠSpectral Clustering
Flag this post
Politically Speaking: LLMs on Changing International Affairs
arxiv.orgยท23h
โœ…Formal Methods
Flag this post
Beyond MCQ: An Open-Ended Arabic Cultural QA Benchmark with Dialect Variants
arxiv.orgยท23h
โš™๏ธCompression Benchmarking
Flag this post
PaTaRM: Bridging Pairwise and Pointwise Signals via Preference-Aware Task-Adaptive Reward Modeling
arxiv.orgยท23h
๐Ÿ”ฒCellular Automata
Flag this post
The New Calculus of AI-based Coding
blog.joemag.devยท2dยท
๐Ÿ”„Reproducible Builds
Flag this post