💻 Programming - tobyhede · Scour

Bidirectional Typechecking That Does Not Stop 🧩Datalog

semantic-domain.blogspot.com·5d·Lobsters, Hacker News, semantic-domain.blogspot.com

Optimizing Code with AI 🤖AI Codegen

spectralcore.com·11h·Hacker News

Mojo: SIMD ⚡Systems Programming

mojolang.org·1d·Hacker News

A shallow dive into formal verification 🧩Datalog

vitalik.eth.limo·13h·Hacker News, Hacker News

Getting Confidence in (Agentic) Code ⚡Systems Programming

ucsd-cse-115-215.github.io·3h·Hacker News

Prolog Projects Tips 🧩Datalog

occasionallycogent.com·3d·Lobsters

Futhark by Example 🧩Datalog

futhark-lang.org·2d·Hacker News

Does Vibe Coding Change My Answer? 🔬AI

forta.com·11h·Hacker News

Migrate from Stainless to APIMatic CodeGen 🤖AI Codegen

migrate-from-stainless.apimatic.io·45m·Hacker News

Programming the Amiga and Atari ST in C: Hello World with VBCC ⚡Systems Programming

retrogamecoders.com·19h·Hacker News

Show HN: Let's build Claude Code from scratch (tutorial) 🔬AI

youtube.com·2d·Hacker News

Programming Z3 🔬AI

z3prover.github.io·3d·Hacker News

Using algebra and LLMs to verify a flight-plan bug fix in Lean 🧩Datalog

jameshaydon.github.io·2h·Lobsters, Hacker News, r/programming

Now that code is cheap, personal and open software is next 🤖AI Codegen

blog.stromflix.com·19h·Hacker News

Introducing Incremental ⚡Systems Programming

blog.janestreet.com·2d·Lobsters

AI Function calling in the browser, 258 KB WASM 🔬AI

needle-rs.pages.dev·10h·Hacker News

A CLI-first time tracker for developers 🤖AI Codegen

closedrings.sh·1h·Hacker News

TypedArray.prototype.map() - JavaScript 🦀Rust

developer.mozilla.org·4d·Hacker News

Show HN: FlashAttention-2 in Cute, from Scratch 🔬AI

blog.echen.io·1d·Hacker News

LoRA and Weight Decay (2023) 🤖AI Codegen

irhum.github.io·8h·Hacker News

Log in to enable infinite scrolling