~bfiedler/website

41bca2df — Ben Fiedler 3 months ago
Add some more information about System F
27e2cece — Ben Fiedler 3 months ago
Add a short block explaining what System F is and why it is useful
8ef5346f — Ben Fiedler 3 months ago
Add explanation why decidability of Idris type checking is surprising
d452cc7a — Ben Fiedler 3 months ago
Haskell, extensions: Remove mentions of System F

Type checking may be deciable depending on implementation of System F,
while type inference is always undecidable.
459f4ab6 — Ben Fiedler 3 months ago
Fix explanation for why OCaml type checking is undecidable

Ref: https://todo.sr.ht/~bfiedler/typing-is-hard/10
6abc13d4 — Ben Fiedler 4 months ago
words
30010b56 — Ben Fiedler 4 months ago
Add small detail about scrolling behaviour
c65ef4e2 — Ben Fiedler 4 months ago
words
9d7b9079 — Ben Fiedler 4 months ago
fix date wrapping on chrome-based browsers
69b34b9f — Ben Fiedler 4 months ago
webkit: fix code breaking lines

seems like a webkit-specific thing
29e3603b — Ben Fiedler 4 months ago
Fix date wrapping on webkit

Use keep-all to prevent wrapping
c07cbf7c — Ben Fiedler 4 months ago
Add new post
c21ff891 — Ben Fiedler 4 months ago
Fix styling on ultra-narrow (<360px) screens

* do not show dates for blog posts
* forcefully break words if they would overflow the page
2915f7b0 — Ben Fiedler 7 months ago
fix APC link
a26495fa — Ben Fiedler 8 months ago
Fix webring layout on mobile screens and when content is too short
5dc0e42a — Ben Fiedler 8 months ago
Add soatok's crypto posts
5020827e — Ben Fiedler 8 months ago
minor fixes
6cbaffe3 — Ben Fiedler 8 months ago
Add CI badge
af54ffe1 — Ben Fiedler 8 months ago
fix Chrome link
84f0ef9c — Ben Fiedler 8 months ago
formatting
Next