Handbook of Satisfiability (2021)
🧮SMT Solvers
Flag this post
Structured data access layer for AI agents
⚡ClickHouse
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·12h
🌳Tree-sitter
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·4h
📱Edge AI
Flag this post
Day 2 of building Secrin
🕸️Knowledge Graphs
Flag this post
1 billion JSON records, 1-second query response: Apache Doris vs. ClickHouse, Elasticsearch, and PostgreSQL
🔥DataFusion
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
🐘PostgreSQL
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
📊Dynamic Programming
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
💰TigerBeetle
Flag this post
Snowflake builds new intelligence that goes beyond RAG to query and aggregate thousands of documents at once
venturebeat.com·1d
🔥DataFusion
Flag this post
Can LLMs subtract numbers?
📝Parsing
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·12h
🧮Embeddings
Flag this post
Disciplined Biconvex Programming
arxiv.org·1d
📊Dynamic Programming
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
🔥DataFusion
Flag this post
Readable Code Is Unreadable
🏭Code Generation
Flag this post
Loading...Loading more...