🔗 Concatenative Languages - matmat · Scour

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·1d·

Discuss: Blogger

📊Graph Databases

QtWidgets to QtQuick, An Application Journey Part 2

qt.io·1d

🔌Interface Evolution

Claude Code: swarm mode (agent teams)

perrotta.dev·1d

⚡Proof Automation

Evaluating Retrieval-Augmented Generation Variants for Natural Language-Based SQL and API Call Generation

arxiv.org·1d

🌀Brotli Internals

How to Spot Unauthorized Use of AI-Generated Images Without Changing the Model

hackernoon.com·12h

🕵️Vector Smuggling

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·1d

✅Formal Methods

What's up with Haskell's do notation?

slightknack.dev·1d

🧬Functional Programming

AI Bookkeeping Software for Small Businesses

meetfyno.com·4h·

Discuss: Hacker News

🔗Concatenative Programming

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·20h·

Discuss: r/rust

🦀Rust Macros

Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code

usenix.org·2h

🕸️WebAssembly

news.ycombinator.com·1d·

Discuss: Hacker News

⭐Awesome lists

MySQL with extensions for the agentic AI era

villagesql.com·18h·

Discuss: Hacker News

🗄️Database Internals

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·1d

🧪Binary Fuzzing

Let's Build a Simple Database

cstack.github.io·19h·

Discuss: Hacker News

🗄️Database Internals

Let Lambda Come Over

yamlscript.org·4d

⬆️Lambda Lifting

Vibe coding an RSS feed

blog.fortrabbit.com·1d·

Discuss: Hacker News

📡RSS Automation

Building a Zero-Allocation, SIMD-Accelerated CSV Parser in Zig

peymanmo.com·1d·

Discuss: Hacker News

🚀SIMD Text Processing

Quick Comparison of JVM Languages

jvmhost.com·20h·

Discuss: Hacker News

💧Liquid Types

How I Built My Project in Haskell

dev.to·3d·

Discuss: DEV

🔗Functional Compilers

cysqlite - a new sqlite driver

charlesleifer.com·12h·

Discuss: Lobsters, Hacker News

Loading more...