🐘 sqlite - lunar_mycroft · Scour

SQL: Incorrect by Construction 🔤Type Systems

chreke.com·6d·Lobsters, Hacker News, r/programming

3-sum-and-4-sum/3 and 4 sum problem at main 💻programming

github.com·12h·DEV

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp 🔨Compilers

hyperpolyglot.org·2d·Lobsters, Hacker News

I Kept Hitting Claude Code's 5-Hour Limit After 2 Hours. So I Built This. 🦀Rust language programming

dev.to·4h·DEV

Building Vector Similarity Search in PostgreSQL with Pgvector 🔤Type Systems

machinelearningmastery.com·16h·Hacker News

Programming Z3 ⚡Zig

z3prover.github.io·3d·Hacker News

I built an affordable alternative to AppTweak and Sensor Tower ($19.99 lifetime) 🔤Type Systems

appstorestatistics.com·2d·Hacker News

The Borrowed Brain Problem 🔤Type Systems

bravetto.com·14h·Hacker News

A BASIC Interpreter in Markdown, Running “Natively” in Claude Code 💻programming

dunkels.com·2d·Hacker News

Capturing ideas with voice, local LLMs, and obsidian 📁File Systems

aidenredmondd.substack.com·15h·Substack

Bootstrapping a SQL catalog on a flat key-value store 📁File Systems

n8z.dev·4d·Hacker News

ERufian/ksharp: Vector calculator and language inspired on K 🔤Type Systems

github.com·1d·Hacker News

An introduction to TLA+ and its use in parties (2023) 🔤Type Systems

innoq.com·2d·Hacker News

SQLite is the best home for AI agents 🛡️AI Safety

su3.io·6d·Hacker News, Hacker News

Building a Zero-Framework, Local-First PWA to Combat Web Bloat 🌐WebAssembly

quickconvertunits.com·1d·DEV

Show HN: Fast xlsx writer in Rust with Python bindings 🦀Rust language programming

github.com·9h·Hacker News

AionDB: PostgreSQL-compatible SQL, graph, and vector database in Rust 🦀Rust language programming

aiondb.xyz·4d·Hacker News

Learning to Write (Again) 💻programming

jampa.bearblog.dev·2d·Hacker News

The Anti-Scroll Experiment 🏠self hosting

magifenta.com·1d·Hacker News

Turso Now Includes Unlimited Active Databases for Everybody 🏠self hosting

turso.tech·3d·Hacker News

Log in to enable infinite scrolling