Viewing profile — jjrv

I also asked it to explain what's funny in some newspaper comic strips in Finnish. It misunderstands some words and makes up nutty explanations, but most phrases still get translat…

I found a losslessly compressed version: https://github.com/LeanModels/Bagel-DFloat11 It works following readme instructions at least on Ubuntu, on my RTX 3090 GPU with 24 gigs of …

It's a blog post, but you can try / edit the demo. Appropriate for Show HN? I'm actually working on better tooling for OpenStreetMap, but taking the longer road (to put it mildly) …

PhosphorJS seems truly amazing. Dragging and resizing things feels like using native controls. The example has a polished look and everything is written in well-commented and easil…