Top all-time · #12242
gciruelos.com
Personal blog · gciruelos.commathprogramming
gciruelos.com is a personal blog at gciruelos.com about math and programming. Since 2016, 6 different Hacker News readers have linked it 8 times, most often “Propositions as types”. It is still writing: the last post was on 2025-10-05, and you can follow it by feed.
Too few sampled comments (6) to say how often HN recommends it.?
Why HN links it
HN commenters link this blog's posts on the roundest country and on XOR trivia, and cite the roundness post as a source. The posts are about geometry of countries and computing trivia.
Summarised by Claude from a sample of 6 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- /what-is-the-roundest-country.html4 people · 4 mentions · first linked 2017-12-18
- Propositions as types2 people · 2 mentions · first linked 2018-02-24
What Hacker News says?
a shameless plug of another blog post containing more xor trivia, for those interested: https://gciruelos.com/xor.html
Comment linking /xor.html
on “That XOR Trick (2020)”Submitted What is the roundest country? as a story · 120 points
HN discussionnot really related, but i wrote this a while back: https://gciruelos.com/what-is-the-roundest-country.html
Comment linking /what-is-the-roundest-country.html
on “Which lines of longitude and latitude pass through the most countries?”Submitted Propositions as types as a story · 1 points
HN discussionIt apparently does mean something (TIL): https://gciruelos.com/what-is-the-roundest-country.html But not sure this is what GP was referring to
Comment linking /what-is-the-roundest-country.html
on “When tipping was considered un-American (2015)”Interestingly, if you read the article [0] linked in the reddit post referred to in this blog post, the author points out that the Haskell version of the bottom type has a problem - you can construct an inhabitant. Pulling out the relevant section of code: fix :: (a -> a) -> a -- defined in Data.Function fix f = let x = f x in x -- least fixed point of f false :: Void false = fix (id :: Void -> Void) Since you can f…
Comment linking /propositions-as-types.html
on “Bottom Type in F#”The original page linked in article seems more appropriate than the link itself: https://gciruelos.com/what-is-the-roundest-country.html Something is off with his dataset though, while №17, Monaco, looks quite round-ish in the image on the site, Monaco is actually among the more elongated and rectangular of the countries.
Comment linking /what-is-the-roundest-country.html
on “What's the roundest country on earth? (2016)”Somehow this article doesn't link to its sources. For rectangularness: https://pappubahry.com/misc/rectangles/ For roundness: https://gciruelos.com/what-is-the-roundest-country.html
Comment linking /what-is-the-roundest-country.html
on “The Vatican is both the 4th roundest and 2nd most rectangular country”