old8man

5 ms·

1.
Xec – the zx-style $ that also runs over Localhost, SSH, Docker and Kubernetes(xec.sh)
2 points by old8man 2mo ago|0 comments
2.
Show HN: Kysera – a data layer for Kysely with RLS compiled into the SQL(kysera.dev)
1 points by old8man 2mo ago|0 comments
3.
by old8man 6mo ago
Good question. The main difference is where the spec lives and who enforces it. TLA+ is a specification language separate from your implementation. TLC model-checks the spec. Whether the code faithfully implements it is on you. Catching a b
4.
by old8man 6mo ago
thanks.. I would phrase the pitch differently though. Verum is a systems language, not a method for AI systems. The thing that is actually load-bearing is that verification is a knob (@verify has seven levels, same source promotes from runt
5.
Verum, examined – a systems language for an age when humans write less code(verum-lang.org)
5 points by old8man 6mo ago|3 comments
6.
UHM: Consciousness derived from 4 axioms – five critical exponents (paper v2)(zenodo.org)
2 points by old8man 6mo ago|0 comments
7.
Consciousness has a number. We derived it(medium.com)
3 points by old8man 6mo ago|0 comments
8.
Show HN: Formal theory of consciousness built on ∞-categories(holon.sh)
2 points by old8man 6mo ago|1 comments
9.
A single equation for intelligence – from quantum mechanics to AGI in 5 axioms(holon.sh)
1 points by old8man 6mo ago|0 comments
10.
by old8man 8mo ago
Ruliology provides a powerful descriptive framework - a taxonomy of computational behavior. However, it operates at the level of external dynamics without grounding in a primitive ontology. It tells us that rules behave, not why they exist
11.
by old8man 8mo ago
Anthropic's Claude Code has revolutionized the workflow forever.
12.
by old8man 10mo ago
While the reduction of a compiler to a deterministic function is theoretically sound, modern engineering practice necessitates addressing "Compiler-as-a-Service" architectures (LSP, incrementalism), where persistent state manageme
13.
by old8man 10mo ago
Very useful article, thank you! Many people suggest CUID2, but it is less efficient and is better used for frontend/url encoding. For backend/db, only UUID v7 should be used.