🧠 Lisp Dialects - matmat · Scour

SCPI and Hardware Instrumentation for Reverse Engineers

voidstarsec.com·1d

🔌Single Board PC

OSTEP Chapter 8

muratbuffalo.blogspot.com·22h·

Discuss: Blogger

⚡CPU Microarchitecture

Reducing Technical Debt: Top Five Coding Resources

loufranco.com·2d

📏Code Metrics

Toggling Between Let and Let*

irreal.org·3d

Fragments: February 9

martinfowler.com·2d

🗣️Domain-Specific Languages

Functional Optics for Modern Java

blog.scottlogic.com·3d

💧Liquid Types

When is a bug not a bug?

blog.zarfhome.com·23h

🧪Binary Fuzzing

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

🏛️Constructive Type Theory

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust

arxiv.org·1d

🦀Rust Verification

Building a Regex Engine with a team of parallel Claudes

lesswrong.com·1d

🔍RegEx Engines

Show HN: A compiled programming language for LLM-to-LLM communication [pdf]

sifsystemsmcrd.com·11h·

Discuss: Hacker News

🗜️LZSS Variants

Standardizing HLSL

devblogs.microsoft.com·1d·

Discuss: Lobsters, Hacker News, Hacker News

🖥️Terminal Renaissance

Let Lambda Come Over

yamlscript.org·4d

⬆️Lambda Lifting

Show HN: Deterministic linguistic enrichment pipeline for Node.js

npmjs.com·1d·

Discuss: Hacker News

🌀Brotli Internals

Part 2 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System

news.ycombinator.com·10h·

Discuss: Hacker News

✓Automated Theorem Proving

Property-based testing as executable specs for agentic coding

kiro.dev·2d·

Discuss: Hacker News

🧪Property-Based Testing

Show HN: Bitcoin, GEB, and Bach's fugues share the same structural move

falsework.dev·10h·

Discuss: Hacker News

⚙️Proof Engineering

How I Built My Project in Haskell

dev.to·4d·

Discuss: DEV

🔗Functional Compilers

How to Prove the Correctness of AI-Generated Code Using Formal Methods

adacore.com·1d·

Discuss: Hacker News

⚡Proof Automation

mitsuhiko/insta: A snapshot testing library for rust

github.com·8h

🦀Rust Borrowing

Loading more...