💻 Programming - gbakes · Scour

Kofola 1.0: A Modular Approach to {\omega}-Regular Complementation and Inclusion Checking (Technical Report) 🔁Python Itertools

A shallow dive into formal verification ⚡Ruff

vitalik.eth.limo·2d·Hacker News, Hacker News

A beginner-friendly approach to Pratt Parsing ⚡Ruff

washingtonramos.com·6h·Hacker News

I’m a Normie. Can Normies Really Vibe Code? ✅Pydantic

wired.com·2d·Hacker News, r/longform

Rust Is Hard for the Engineers with the Most Experience ⚡Ruff

deepengineering.substack.com·5h·r/rust

Axum 0.8 ⚡Ruff

news.ycombinator.com·6d·Hacker News

Benchmarking PHP 8.4 and Node.js 22 Across Real Backend Workloads 📡Event-Driven Architecture

hackernoon.com·2d

An Experiment in Formal Verification with Claude ⚡Ruff

blog.succinct.xyz·9h

Will agents like Git any more than we do? 🤖GitHub Actions

amplifypartners.com·11h·Hacker News

Graphical interfaces for SQLite 🏛️Clickhouse

web.archive.org·2d

8 Years of Clojure ⚡Ruff

joshkingsley.me·5d·Hacker News

Scripts and Aliases for Your Linux 💻Command Line Tools

alexeev-dev.bearblog.dev·2d·Hacker News

Building on Git's Primitives 🤖GitHub Actions

remenos.codes·4d·r/programming

Massachusetts' Institute of Technology Introduction to Deep Learning 📓Jupyter Notebooks

i-programmer.info·1d

Automate Data & KPI Monitoring with SQL Alerts 🏛️Clickhouse

databricks.com·1d

Granite Embedding Multilingual R2: Open Apache 2.0 Multilingual Embeddings with 32K Context — Best Sub-100M Retrieval Quality 📊Parquet

huggingface.co·6d

Kiln - A CMake-compatible build system that can do what CMake can't 📦uv

clehaxze.tw·1d·r/cpp

Why Category Theory Matters 🔁Itertools

The Uselessness of "Fast" and "Slow" in Programming 🚀Python Performance

Traefik and local serving with TLS 📊Apache Kafka

offby1.website·1d·Lobsters

Log in to enable infinite scrolling