SBCL: The Assembly Code Breadboard(pvk.ca)

57 points by mrh57 2 years ago | 10 comments

SBCL: the ultimate assembly code breadboard (2014)(pvk.ca)

152 points by yacin 5 months ago | 8 comments

Preemption is GC for memory reordering (2019)(pvk.ca)

41 points by mpweiher 3 months ago | 6 comments

Monoid-Augmented FIFOs, Deamortised(pvk.ca)

32 points by todsacerdoti 1 year ago | 13 comments

VPTERNLOG: when three is 100% more than two(pvk.ca)

42 points by signa11 1 year ago | 2 comments

Running 9front on an emulated SGI Indy via MAME(posixcafe.org)

113 points by todsacerdoti 2 years ago | 15 comments

Formal methods and the future of programming(blog.janestreet.com)

322 points by eatonphil 4 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.

Prevent cognitive debt by manually retyping LLM-generated code(ankursethi.com)

502 points by mpweiher 2 months ago | 413 comments

A personal blog post arguing that developers should manually retype code generated by LLM coding assistants to keep understanding it and avoid cognitive debt.

Small programming tricks(will-keleher.com)

606 points by signa11 1 month ago | 266 comments

A blog post arguing that small nuggets of programming knowledge boost productivity, sharing examples like fzf-powered ctrl+r and python3 -m http.server.

Programming with Less Than Nothing(joshmoody.org)

407 points by signa11 1 year ago | 138 comments

A blog post by Josh Moody presenting a fictional interview where FizzBuzz is implemented in JavaScript using only S and K combinators.

Killing Community(marginalia.nu)

495 points by dasil003 3 years ago | 350 comments

A Marginalia weblog post arguing that venture-capital-funded social media inevitably degrades online communities, citing the 2023 Reddit controversy.

How close can pure functional programming get to C?(rtfeldman.com)

268 points by stmonty 2 days ago | 94 comments

Richard Feldman's blog post benchmarking roc-deflate, a pure Roc DEFLATE library, against C's libdeflate, finding it under 10% slower, and describing Roc-specific optimizations.