text to types :: digital garden

Home

❯

Software Development

Folder: Software-Development

13 items under this folder.

  • Jul 15, 2026

    Writing static checks to an unsuspecting library with Liquid Haskell

    • link
    • blog-article
    • topic-software-verification
    • topic-haskell
  • Jul 09, 2026

    Link - Title

    • link
    • blog-article
    • topic-software-development
    • topic-testing
  • Jul 09, 2026

    What if writing tests was a joyful experience?

    • link
    • blog-article
    • inspiration
    • topic-ocaml
    • topic-software-development
    • topic-testing
    • topic-gleam
  • Jul 08, 2026

    Diataxis

    • link
    • guide
    • topic-teaching
    • topic-software-development
    • topic-writing
  • Jul 08, 2026

    Notes on software quality

    • link
    • blog-article
    • inspiration
    • topic-internet-degradation
    • topic-software-development
    • topic-ux-design
    • topic-web-design
  • Jul 06, 2026

    Wide Events

    • link
    • tips
    • topic-software-development
    • topic-logging
  • Jun 29, 2026

    Link - All you need is data and functions

    • link
    • blog-article
    • topic-gleam
    • topic-software-development
  • May 04, 2026

    Link - The five orders of ignorance

    • link
    • topic-learning
    • topic-software-development
    • research-paper
  • Apr 22, 2026

    Link - Everybody's so Creative

    • link
    • blog-article
    • topic-rust
    • topic-software-development
  • Apr 13, 2026

    Link - The UX of Lego Interfaces

    • link
    • topic-ux-design
    • blog-article
  • Apr 07, 2026

    Link - Demystifying monads in Rust through property-based testing

    • link
    • blog-article
    • topic-software-development
    • topic-rust
    • topic-testing
  • Apr 06, 2026

    Link - Title

    • link
    • reference
    • topic-rust
    • topic-cli
    • collection
  • Mar 10, 2026

    Link - You can code only 4 hours per day

    • link
    • blog-article
    • topic-productivity

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community