Top all-time · #19269
Paulo Suzart
Personal blog · paulosuzart.github.io/blogprogramming
Paulo Suzart's personal blog at paulosuzart.github.io covers programming. Since 2013, 4 different Hacker News readers have linked it 4 times. It is still writing: the last post was on 2026-07-15, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Posts on building a Go time series storage engine with Bolt and on dependent types, including a printf example in Idris. The comments only respond to or cite these posts; none judges the writing.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Functional programming and a bit of a lot.
What Hacker News says?
To be clear, I'm not saying you should have used it, just that some of the functionalities are already there (and I love Bolt so I easily see parallels). It's always interesting to implement stuff from scratch, if only to understand how it works. Also, I'm only talking about using Bolt as the on-disk partition store, ie the read-only partitions. You'd only write them when flushing the in-mem partitions, so no need f…
Comment linking /blog/2014/07/07/going-back-to-go/
on “Catena: A time series storage engine written in Go”Submitted Type Safety, ORM and Dependency Injection with Node.js as a story · 2 points
HN discussionYou are right and it seems you have a very good gut-feeling about these things! :) What you describe is commonly called a "(value) dependent type system". There are languages that support this, e.g. Idris which was specifically built for that: https://www.idris-lang.org/ Here is an example where the printf function is built purely in Idris: https://paulosuzart.github.io/blog/2017/06/18/dependent-type... The compiler…
Comment linking /blog/2017/06/18/dependent-types-and-safer-code/
on “Types as axioms, or: playing god with static types”Submitted Understanding Clojure apply and partial as a story · 1 points
HN discussion