Encoding x86 Instructions(www-user.tu-chemnitz.de)

80 points by st_goliath 1 year ago | 27 comments

JSONB has landed(sqlite.org)

579 points by nalgeon 2 years ago | 181 comments

SQLite forum post by Richard Hipp announcing JSONB, a binary rewrite of SQLite's JSON functions that landed on trunk and can be several times faster.

LLMs could control their host machines by exploiting inference engines(boydkane.com)

176 points by zdw 2 months ago | 84 comments

Jazelle DBX: Allow ARM processors to execute Java bytecode in hardware(en.wikipedia.org)

87 points by vincent_s 2 years ago | 50 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.

Sigrok – a portable, cross-platform, FOSS signal analysis software suite(sigrok.org)

140 points by _Microft 2 years ago | 25 comments