🦞🌯 Lobster Roll

All LHN/.~Ars
RSS
NewestOldestTop ScoredMost Discussed
Espanso - an open-source, cross-platform text expander (github.com)
The limited utility of the phrase "GNU/Linux" (2022) (seirdy.one)
Claude and the Dow: AI is unlike other tech because AI has embedded judgment (dbreunig.com)
Show HN: Not an AI Notepad. 5MB local only notes app for Windows (Rust, SQLite) (notanainotepad.gumroad.com)
Right-sizes LLM models to your system's RAM, CPU, and GPU (github.com)
The ROLV CPU Breakthrough (rolv.ai)
Show HN: ColdString – An 8-byte (1-word) SSO string for Rust (github.com)
I’ve been working on ColdString, a specialized Rust string type designed for maximum memory efficiency in both small and large immutable strings.<p>In benchmarks, it uses 35% – 64% less memory than Rust&#x27;s std String and other Rust short-string libraries.<p>ColdString is an 8-byte tagged pointer...
TPM-Sniffing LUKS Keys on an Embedded Linux Device [CVE-2026-0714] (cyloq.se)
Greasing Linux Auth: Hardware-Backed Authentication with PAM+TPM2 (blog.prizrak.me)
qman: A more modern man page viewer for our terminals (github.com)
Don't blame System76 because California wants to ruin Linux [video] (youtube.com)
Show HN: Nabla – Pure Rust GPU math engine, 7.5× faster matmul than PyTorch (github.com)
Tsink – Embedded Time-Series Database for Rust (saturnine.cc)
tsink - Embedded Time-Series Database for Rust (saturnine.cc)
Aura-State: Formally Verified LLM State Machine Compiler
I noticed a pattern: every LLM framework today lets the AI manage state and do math. Then we wonder why pipelines hallucinate numbers and break at 3 AM.<p>I took a different approach and built Aura-State, an open-source Python framework that compiles LLM workflows into formally verified state machin...
What even are Breeze, QtQuick, QtWidget, Union..? (akselmo.dev)
Freecode: A $0 coding agent auto-picks the best free LLM (~300 lines of Rust) (github.com)
Show HN: Aura-State – A Formally Verified LLM State Machine Compiler
<a href="https:&#x2F;&#x2F;github.com&#x2F;munshi007&#x2F;Aura-State" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;munshi007&#x2F;Aura-State</a>
Show HN: Spekkio: Reverse-engineer specs from vibe-coded apps (github.com)
Hey HN,<p>I see vibe-coded apps as basically a working sketch from a domain expert who knows what they want, abdicating responsibility for the &quot;-ilities&quot; (e.g. maintainability, scalability).<p>They&#x27;re valuable, working, partial specifications - but far from a production-worthy produ...
California introduces age verification law for OS, including Linux and SteamOS (tomshardware.com)
The Rust calling convention we deserve (2024) (mcyoung.xyz)
Show HN: Panel Panic a Rust/Macroquad/WASM Panel de Pon/Tetris Attack Clone (panel-panic.com)
Rust&#x2F;macroquad game with single player AI mode, online VS, and local 1v1. All running via WASM in the browser.<p>Still WIP as art assets still need to be added and tweaked.<p>Full disclosure. Used Claude Opus, Nanobanana, and SunoAI a huge amount to do the heavy lifting for this project
Inside the M4 Apple Neural Engine, Part 1: Reverse Engineering (maderix.substack.com)
ISO C++ Standards Committee Panel Discussion – CppCon 2025 (youtube.com)
I Built a Scheme Compiler with AI in 4 Days (matthewphillips.info)
Rust Fuzz Book (rust-fuzz.github.io)
Ruby -run, utilities to replace common Unix commands (github.com)
Why does C have the best file API? (maurycyz.com)
Reverse engineering "Hello World" in QuickBasic 3.0 (marnetto.net)
Driftwood – friendly AppImage manager for Linux (apps.lashman.live)