🗄️ SQLite - standonopenstds · Scour

How we used Quint to find over 10 bugs in SQLite while hardening Turso 🌲LSM Trees

turso.tech·1d·Lobsters, Hacker News

CraigVG/roman-letters-network: 6,211 letters from the late ancient world (97-800 AD) with modern English translations. 3,400+ first-ever English translations. Live at romanletters.org 💬NLP

github.com·3d·Hacker News

for developers who never blog consistently 🔧Nix Flakes

blogr.dev·5d·Hacker News

Makisuo/maple: OpenTelemetry observability platform 📡MQTT

github.com·1d·Hacker News

TheLounge v4.5.0 released – a modern, self-hosted web IRC client 📦Parquet

github.com·5h·Hacker News

LakhindarPal/my_pots: A cross-platform savings tracker built with Zig, zero-native, and SolidJS. 📦Parquet

github.com·1d·r/SideProject

pairshaped/rally-gleam: Full-stack web framework for Gleam on the BEAM 🧊Apache Iceberg

github.com·6d·Hacker News

Less-relevant results

Yocto Wrynose released, Bootlin contributions inside 🔧Nix Flakes

bootlin.com·15h

mm7894215/TokenTracker: Track token usage across 15 AI agent CLIs 🔧Nix Flakes

Create a Mass Assignment Lab With Me 📦Parquet

infosecwriteups.com

·2d

A terminal UI for browsing and resuming GitHub Copilot CLI sessions 🖥️Terminal UIs

github.com·6d·r/GithubCopilot

Pack 📦Parquet

Issues importing C libraries through new method (translate-c build module) 🦀adrunio, esp32, llama.cpp, databases, rust

Bob Belderbos: Learn agentic AI in Python with 10 small exercises 🤖AI

belderbos.dev·5d

dakra/ghostel: Terminal emulator powered by libghostty 🦀adrunio, esp32, llama.cpp, databases, rust

mysql2sqlite/mysql2sqlite: Converts MySQL dump to SQLite3 compatible dump 🧊Apache Iceberg

Log in to enable infinite scrolling