| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sun, 14 Dec 2025 15:12:41 GMT
access-control-allow-origin: *
etag: W/"693ed3e9-158e"
expires: Mon, 29 Dec 2025 19:50:52 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 720B:2B0FD4:9458C3:A65B5B:6952D943
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 19:40:52 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210098-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767037252.919308,VS0,VE201
vary: Accept-Encoding
x-fastly-request-id: 3913c3b0bfc12748feaddc003b6f87da444e2df3
content-length: 1607
osa1 - index
Recent posts
- How Fir formats comments - September 27, 2025
- Fir is getting useful - September 4, 2025
- Why I'm excited about effect systems - June 28, 2025
- Changes to variants in Fir - June 12, 2025
- Throwing iterators in Fir - April 17, 2025
- Error handling in Fir - January 18, 2025
- When is inlining useful? - December 7, 2024
- Exploring parsing APIs: the cost of recursion - November 29, 2024
- Exploring parsing APIs: adding a lexer - November 28, 2024
- Exploring parsing APIs: what to generate, and how - November 22, 2024
- Resumable exceptions - November 4, 2024
- Idea: a more structural code editor - November 2, 2024
- Subtyping and subsumption - October 21, 2024
- OOP is not that bad, actually - October 9, 2024
- My thoughts on OCaml - April 24, 2023
- Fast polymorphic record access - January 23, 2023
- Products and sums, named and anonymous - April 10, 2021
- Conditional compilation based on crate type - December 24, 2020
- 8 years of Haskell - June 30, 2020
- gdb breakpoints with conditions on backtrace - April 25, 2020
Tags
asm (1), box2d (1), c (2), coffeescript (1), coq (9), cpp (3), cps (1), django (9), en (107), ffi (1), fir (5), gdb (1), ghc (12), ghcjs (2), git (1), gsoc (2), haskell (50), hslua (2), java (15), javascript (3), lisp (14), lua (13), multi-stage programming (6), nautilus (2), ocaml (6), parsing (6), partial evaluation (3), plt (13), prolog (2), pygame (5), python (38), rpython (1), rust (8), shen (2), supercompilation (5), threejs (1), tr (87), types (6), vim (8)