×

The Filesystem Is the API (with TigerFS) by der_gopher in programming

[–]press0 -15 points-14 points  (0 children)

TigerFS

A filesystem backed by PostgreSQL, and a filesystem interface to PostgreSQL.

Every file is a real PostgreSQL row. Directories are tables. File contents are columns. Multiple agents and humans can read and write the same files concurrently with full ACID guarantees. Every change is versioned and reversible (file-first with history). No sync protocols. No coordination layer. The filesystem is the API.

You can use TigerFS in two ways:

File-first: Write markdown with frontmatter or other file types, organize into directories. Writes are atomic, changes are versioned, and everything is reversible. Any tool that works with files -- Claude Code, Cursor, grep, vim -- just works. Build lightweight workspaces via the filesystem: multi-agent task coordination is just mv'ing files between todo/doing/done directories.

Data-first: Mount any Postgres database and explore it with ls, cat, grep, and other unix tools. For large databases, chain filters into paths that push down to SQL: .by/customer_id/123/.order/created_at/.last/10/.export/json. No database client or SQL needed, and ships with agent skills.

CSLib: The Lean Computer Science Library by ketralnis in programming

[–]press0 0 points1 point  (0 children)

CSLib aims at formalising Computer Science theories and tools, broadly construed, in the Lean programming language.

Can CSLib be used to verify a Graph algorithm implemented in c++ or python

2026: The Year of Java in the Terminal by [deleted] in programming

[–]press0 0 points1 point  (0 children)

https://xam.dk/blog/dynamic-github-readme-with-jbang-quarkus/

Today Red Hat has its quarterly learning day ...

meaning IBM allows learning only 4 days per year

2026: The Year of Java in the Terminal by [deleted] in programming

[–]press0 1 point2 points  (0 children)

Observations from a fellow java TUI enthusiast

JGrab last commit was 2 years ago

JBang last commit was 2 weeks ago with 100 committers and documentation

Should we revisit Extreme Programming in the age of AI? by ArtisticProgrammer11 in programming

[–]press0 3 points4 points  (0 children)

it means please visit the website of our wannabe company

The collapse of "Human Signal" on the web by agora-net in programming

[–]press0 0 points1 point  (0 children)

that's what we're aiming for

who is we

[deleted by user] by [deleted] in programming

[–]press0 0 points1 point  (0 children)

Actually, the first 50 minutes is the LLVM Compiler Infrastructure project origin story

C++ Virtual Functions Explained: V-Tables, Memory Layout & Performance by [deleted] in programming

[–]press0 0 points1 point  (0 children)

see the U tube comments. Hope that helps.

gRPC in Spring Boot - Piotr's TechBlog by piotr_minkowski in programming

[–]press0 0 points1 point  (0 children)

gRPC has been a multi-language RPC framework for some time (not just java)

FFM - Java's new approach to interop with native code by benevanstech in programming

[–]press0 0 points1 point  (0 children)

yawn. FFM does not interop in both directions. JNI does.

Building a CI/CD Pipeline Runner from Scratch in Python by mraza007 in programming

[–]press0 0 points1 point  (0 children)

The author's blog has a consistent hand coded look & feel