hardmath123

Joined 12 years ago

Karma
1,692
Submissions
271
Member since
Jul 18
View on Hacker News

Recent submissions

Comment · 1 year ago
Comment · 1 year ago
Comment · 2 years ago
Comment · 2 years ago
A lot of replies here are missing the key idea behind Penrose: that the "substance" and "style" of any mathematical diagram are separable. For example, the "substance" of a diagram might be a collection of sets with known subset relationships:

Set A, B, C

IsSubset(B, A)

IsSubset(C, A)

That same substance can then be rendered in many different styles, e.g. as a Venn diagram or as a tree diagram (substance vs. style is a lot like HTML vs. CSS). Importantly, Penrose's vision is that experts will author libraries of domains and styles, and end-users need only express the substance of their diagrams (i.e. the three lines of code above).

The second beautiful idea in Penrose is that diagram generation is expressed as a constrained optimization problem. This lets you easily experiment with layouts by writing constraints and sampling a variety of potential diagrams via stochastic search.

These two ideas set Penrose apart from most other diagram software out there. I really hope it gains wider adoption. Give it a try!

Comment · 4 years ago
I was inspired by this Rest of World post https://restofworld.org/2022/wordle-viral-turkish-japanese-t... to make a Hindi-language "Wordle" https://kach.github.io/shabdle/ just for fun. It was a little tricky figuring out how to adapt the game for Hindi's script, but I'm quite happy with my solution of using U+25CC ("dotted circle") to mark missing consonants.
Comment · 4 years ago
Comment · 4 years ago

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton