Inklings: a tumblelog

Scryer Prolog

🕑 2025-02-06T13:58:15+00:00; try the Wayback Machine | edit

Scryer Prolog is a free software ISO Prolog system intended to be an industrial strength production environment and a testbed for bleeding edge research in logic and constraint programming.

Looks to be a pretty nice implementation with some useful extension modules in the library.

C SBOMs, and how pkgconf can solve this problem

🕑 2025-02-11T22:18:02+00:00; via lobste.rs; try the Wayback Machine | edit

Huh. Didn’t know this was a thing.

RiSC-16 Architecture

🕑 2025-02-16T20:39:01+00:00; via youtu.be; try the Wayback Machine | edit

A very simple RISC ISA and system architecture for teaching CPU implementation.