📐 Formal Methods - c13e · Scour

The Lightening of Intent 🔢Type Theory

aneeshsathe.substack.com·22h·Substack

ECAPI-talizing on Conversions with the Final ECAPI spec 🕸️WebAssembly

iabtechlab.com·2d

Three New Research Projects for Better Verification and More Transparency ⚗️BEAM Ecosystem

innovation.dw.com·3d

Michael Tsai - Blog - Zig’s Anti-AI Contribution Policy ⚡Zig

I Spent 45 Minutes Setting Up a Backend… Before Writing a Single Line of Logic 🤖AI Engineering

workspai.com·2d·DEV

Wasm is not quite a stack machine 🕸️WebAssembly

purplesyringa.moe·4d·Lobsters, Hacker News, Hacker News, r/programming

yvgude/lean-ctx: The context layer for AI coding agents Reduce token waste in Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini & more by 60–95% (up to 99% on cached reads) Shell Hook + MCP Server · 49 tools · 10 read modes · 90+ patterns · Single Rust binary 🤖AI Engineering

Machine-Speed Defense for Lean Security Teams ⚙️Systems Programming

malware.news·1d

LEAPing into the Future of Coding ⚙️Compiler Design

blog.computationalcomplexity.org·4d·blog.computationalcomplexity.org

Prompt Transport Protocol ☎️OTP

gpt.gekko.de·1d·Hacker News

Claude Code Routines: 8 Production Prompts, Real Costs, and Where They Break 🤖 🤖AI Engineering

linas.substack.com

upperDiagonal_ (3) Linux Manual Page ⚙️Systems Programming

systutorials.com·3h

Intent-Driven Development 🤖AI Engineering

russellromney.com·6d·Hacker News

Show HN: We put ZK attribute proofs inside x402 payment headers 🔀CRDTs

news.ycombinator.com·2d·Hacker News

Automaton-based Characterisations of First Order Logic over Infinite Trees λFunctional Programming

Logic Mutations: The Bugs Your Tests Are Secretly Ignoring λFunctional Programming

sdetcode.com·6d·DEV

Assuring Comprehensive Security Coverage In Hardware Design ⚙️Systems Programming

semiengineering.com·1d

Rethinking SQL ETL for modern data platforms 🔀CRDTs

databricks.com·1d

Break This: A Minimal, System-Independent Verification Primitive ⚙️Systems Programming

ethresear.ch·3d

Learning JavaScript, Day 5 🐫OCaml

blog.katemonkey.com·2d

Sign up or log in to see more results

Log in to enable infinite scrolling