📋 Datalog - abnv · Scour

QuinnWilton/argus - BEAM program analysis via Souffle Datalog.

github.com·2d

📋Souffle Datalog

REPL-Driven Development Is Back (Thanks to AI)

llbbl.blog·1d

💬REPL Design

Unravelling Abstract Cyclic Proofs into Proofs by Induction

arxiv.org·1d

🏗️Calculus of Constructions

wiok.io·3h

🧮Linear Algebra

Data Relationships Are a First-Class Problem in Modern Data Systems

arisyn.com·4h·

Discuss: DEV

🗄️Database Engines

Python Mutable References with Caching

soumyadghosh.github.io·5h

🧩Persistent Vectors

What's cooking with Pystd, the experimental C++ standard library?

nibblestew.blogspot.com·6h·

Discuss: nibblestew.blogspot.com

🪆Embedded DSLs

Nebula: Building a Fast, Lightweight C++ Code Editor

astracode.dev·1h·

Discuss: DEV

🌊Async Compilers

Swift Concurrency from Zero to Hero | Reading List

swiftology.io·1d

🦉Swift Interpreters

Table of Contents - Data Engineering for Large Models: Architecture, Algorithms & Projects

datascale-ai.github.io·20h·

Discuss: Lobsters

🪢Rope Data Structures

🍃 Convention as Code: Enforcing Architecture with Scripts, CI, and AI Agents

monarchwadia.com·39m·

Discuss: r/programming

✅Configuration Validation

Internals for Interns

internals-for-interns.com·3h

🏷️Symbol Interning

Using Nested Conditions

noodlesoft.com·14h

🌊Gradual Effects

Microsoft Fabric IQ vs Snowflake Cortex vs Databricks Unity Catalog:

pub.towardsai.net

·1d

🔢Algebraic Datatypes

Trust: LLMs as Compilers

mechanicalorchard.substack.com·10h·

Discuss: Substack

🎨Domain-Specific Languages

.NET Checker 1.5

majorgeeks.com·23h

🎲Property Testing

What is Framework?

observablehq.com·1d

🦉Swift Interpreters

Wagon’s algorithm in Python

johndcook.com·51m

📚Suffix Arrays

LLMs struggle to verbalize their internal reasoning

lesswrong.com·8h

🪜Recursive Descent

Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon

zenodo.org·1d·

Discuss: r/programming

🧩Constraint Solvers

Sign up or log in to see more results