Baking the Y Combinator from Scratch (the-nerve-blog.ghost.io)

Screenshot of the-nerve-blog.ghost.io: Baking the Y Combinator from Scratch

First screen, captured 1 year ago.

Looks similar

Screenshot of the-nerve-blog.ghost.io: To be a better programmer, write little proofs in your head

To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io)

414 points by mprast 1 year ago | 154 comments

Blog post by Matthew Prast on the Nerve blog arguing that programmers write better code by informally proving correctness in their heads as they work.

program-correctness invariants formal-reasoning software-engineering

Screenshot of brainbaking.com: The case of a leaky goroutine

The case of a leaky goroutine (brainbaking.com)

59 points by surprisetalk 2 years ago | 45 comments

Screenshot of norasandler.com: Writing a C Compiler (2017)

Writing a C Compiler (2017)(norasandler.com)

86 points by lrsjng 3 years ago | 29 comments

Screenshot of danieljharvey.github.io: Compiling a Functional Language to LLVM (2023)

Compiling a Functional Language to LLVM (2023)(danieljharvey.github.io)

54 points by PaulHoule 1 year ago | 0 comments

Screenshot of mnt.io: About memory pressure, lock contention, and Data-oriented Design

About memory pressure, lock contention, and Data-oriented Design (mnt.io)

60 points by vinhnx 7 months ago | 12 comments

Screenshot of gilesthomas.com: Writing an LLM from scratch, part 8 – trainable self-attention

Writing an LLM from scratch, part 8 – trainable self-attention (gilesthomas.com)

350 points by gpjt 1 year ago | 26 comments

Blog post, part 8 of a series working through Raschka's 'Build a Large Language Model (from Scratch)', explaining self-attention with trainable weights.

self-attention llm transformers build-a-large-language-model

Looks similar

To be a better programmer, write little proofs in your head(the-nerve-blog.ghost.io)

The case of a leaky goroutine(brainbaking.com)