Mathematics solves problems by pen and paper. CS helps us to go far beyond that
๐Formal Methods
Flag this post
Our newest model: Chandra (OCR)
๐ปProgramming languages
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.comยท22h
๐Async Rust
Flag this post
GraphMD โ LLMs Powered Literate Programming Environment for Markdown Documents
๐ปProgramming languages
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
๐๏ธDatabase Internals
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
๐ฆDuckDB
Flag this post
Kafka is Fast โ I'll use Postgres
๐ฎMessage Queues
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
๐๏ธDatabase Internals
Flag this post
Handbook of Satisfiability (2021)
๐Formal Methods
Flag this post
Loading...Loading more...