Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #22852

C

Crash Lime

Personal blog · animaomnium.github.ioprogrammingsystems

Crash Lime is a personal blog at animaomnium.github.io about programming and systems. Since 2023, 3 different Hacker News readers have linked it 5 times, most often “What the Austral Programming Language Proves”. The last post was in 2023, but the archive is still widely read.

Visit the blog
5mentions?
3HN people?
2023–2023first – last linked?

Too few sampled comments (1) to say how often HN recommends it.?

Why HN links it

One HN commenter discusses their own full-stack choices (Rust with htmx, light ReScript on the frontend) in a thread on Svelte dropping TypeScript. The comment does not judge the blog's writing.

Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.

Most-linked posts?

  1. What the Austral Programming Language Proves
    2 people · 2 mentions · first linked 2023-02-18

What Hacker News says?

  1. Some of us who were working on lots of Node/Deno projects had already moved on to ReScript, and I would be touting what a great step forward ReScript is away from TS and JS, but a team I am on agreed to attempt fullstack dev with Rust and htmx with very light use of ReScript for the frontend. Since then this has been our stack and one I go to for personal projects. One of our team members is looking to replace the r…

    Comment linking /what-austral-proves/

    on “TypeScript is 'not worth it' Svelte switches to JavaScript and JSDoc”
  2. Submitted Keep Stuff Linkable as a story · 7 points

    HN discussion
  3. Submitted Optional If Expressions as a story · 2 points

    HN discussion
  4. Submitted Incoming Content Deluge as a story · 1 points

    HN discussion
  5. Submitted What the Austral Programming Language Proves as a story · 1 points

    HN discussion

Search all of HN for animaomnium.github.io