📊 Datalog - 2601 · Scour

Differential Logic • 4

inquiryintoinquiry.com·8h

📐Mathematical Computing

feldera/feldera: The Feldera Incremental Computation Engine

github.com·1d

🚂Cranelift IR

Early History of a Perfect Join Algorithm

remy.wang·22h

🔍Query Engines

Circumstantial Complexity, LLMs and Large Scale Architecture

datagubbe.se·16h·

Discuss: Lobsters, Hacker News

💬Prompt Engineering

Evaluating Large Language Models on Solved and Unsolved Problems in Graph Theory: Implications for Computing Education

arxiv.org·2d

🎯Finite Automata

B+-Tree Structure: How Order Is Maintained at Scale

dev.to·2h·

Discuss: DEV

🗄️Database Internals

From Questions to Insights: Data Analysis with LangChain’s Built-In Tools

pub.towardsai.net·3d

🌳Tree-sitter

Recursive Deductive Verification: A framework for reducing AI hallucinations

news.ycombinator.com·7h·

Discuss: Hacker News

⚡Automated Reasoning

The Return of Algol 68

jxself.org·45m

📚Forth Compilers

Agentic reasoning for Large Language Models

arxiv.org·1d

🧠Semantic Parsing

Fundamentals of Data Visualization

clauswilke.com·5h

🔮Type Inference Visualization

Oatmeal - Constraint propagation for fun

eli.li·18h·

Discuss: Lobsters

🧩Constraint Solvers

mstrYoda/goraphdb: A graph database implemented in Golang

github.com·2d·

Discuss: r/programming

🕸️Graph Databases

isledb: An embedded key-value engine built on object storage in Go

reddit.com·10h·

Discuss: r/golang

🗄️Database Internals

chatprd.ai·4h

💬Prompt Engineering

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·13h·

Discuss: Hacker News

🔬programming language theory

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·1d

🌳Tree-sitter

The Machine Learned Our Language

medium.com·1d·

Discuss: r/programming

💬Prompt Engineering

Database Schema as Code Intelligence

dev.to·11h·

Discuss: DEV

🔀Data Integration

Building a Dynamic Multilanguage System Without Rebuilds

kuldeepmodi.vercel.app·6h·

Discuss: DEV

🌉Language Bridges

Loading more...