Handbook of Satisfiability (2021)
iospress.com·18h·
Discuss: Hacker News
📐Formal Methods
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·18h·
Discuss: Substack
💻Programming languages
Flag this post
Moving tables across PostgreSQL instances
ananthakumaran.in·23h·
Discuss: Lobsters, Hacker News
📊Apache Parquet
Flag this post
Inside a 34-Petabyte Migration: The True Cost of Moving a Digital Mountain
hackernoon.com·4d
💾Storage Engines
Flag this post
Writing a DOS Clone in 2019
medium.com·1h·
Discuss: Hacker News
📏Linear Types
Flag this post
Superhuman AI for Multiplayer Poker
science.org·1d·
Discuss: Hacker News
📊Economic Theory
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
fiveonefour.com·3d·
Discuss: Hacker News
🦆DuckDB
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·1d·
Discuss: Substack
⚡SIMD Optimization
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·2d·
Discuss: Hacker News
🚀Query Engines
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·1d
🔄Async Rust
Flag this post
Kafka is Fast – I'll use Postgres
topicpartition.io·4d·
Discuss: Lobsters, Hacker News, r/programming
📮Message Queues
Flag this post
Scala vs. F#
alexn.org·2h·
Discuss: Hacker News
💻Programming languages
Flag this post
build system tradeoffs
jyn.dev·1d·
Discuss: Lobsters, Hacker News
📏Linear Types
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·10h·
Discuss: Hacker News
💻Programming languages
Flag this post
Migrating Schema from Oracle to YugabyteDB
hexacluster.ai·3d·
Discuss: Hacker News
📊Apache Parquet
Flag this post
The Evolution of GPUs: How Floating-Point Changed Computing
dell.com·15h·
Discuss: Hacker News
⚡SIMD
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·14h·
Discuss: Hacker News
📐Formal Methods
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·54m·
Discuss: Hacker News
💻Programming languages
Flag this post
Mitre ATT&CK v18 released
medium.com·1d·
Discuss: Hacker News
📊Systems Monitoring
Flag this post
CLI to manage your SQL database schemas and migrations
github.com·23h·
Discuss: Hacker News
🔥DataFusion
Flag this post