Viewing profile — Jhsto

SPIR-V states its an int, float, vector n (where n It does not necessarily mean the hardware can do 4x4x64 floating point operations in a single subgroup operation, but at least th…

I've been writing a language around recursion schemes! Insofar it's just a library for Lean, but I wish to one day release it as an array programming language. I'm submitting a the…

As a meta-comment on the topic, something I have noticed is that there still exists confusion what it means to use theorem provers for projects -- the other day I read a tweet from…

Another good tutorial: https://hoj-senna.github.io/ashen-aetna/ I used that to create my own Vulkan compute loader https://github.com/rivi-lang/rivi-loader

Anecdote, but I recall my friend saying he worked on freelancing assets to some train game and showed me some pictures of the said game. Unless there are more of these in existence…

I have this weird thing about a birthday -- for some reason, I was assigned a different birth date in NHS records in the UK compared to the one I have in my native Finland. I want …

Kiitos! My level is graduate, but part of the challenge with category theory is that some of the terms are quite unsuggestive. I feel that after seeing enough examples, I can start…

Thanks for the links! The first book seems very good (I already own the latter).

I think I dug my own grave by not being explicit that I thought S3 as a protocol and not the AWS product. :) To elaborate a bit further, the S3 layer makes sense once you self-host…

As a programmer interested in category theory, I found this book a rather good balance between the abstract non-sense of CT and what I might actually use in programming. I wonder i…

You can use https://ente.com/ (it's open-source). It also makes the seemingly much better decision of storing photos in S3.

I'd presume it's quite common with NixOS. At least I don't have python linked to my environment. It might be different would I use the REPL, but I do not, so for me python is a pro…

If I'd like to benchmark a new language / compile backend for LLM inference, what would be some good projects to try? If I'd start from tinygpt, what would make sense as the next s…

Seems that Jolla C2 can run "close-to" mainline kernel: https://forum.sailfishos.org/t/mainline-linux-kernel-for-the...

I was able pull together a Halo 3 LAN party last year, although the "consoles" were Linux PCs and the game was the MCC edition (60fps instead 30). Split-screen was resurrected via …

I got no particular book recommendation, but this book seems more about the numbers than relations -- maybe my PDF search is broken, but both 'type theory' and 'category theory' re…

>I think where Nix shines isn’t “one laptop every 6 years” but when your environment needs to be shared or recreated: multiple machines, a team, or a project with nasty native deps…

Speaking from the viewpoint of a whole operating system images, the main challenge is that while Nix allows you to create ephemeral environments, many people (myself included) have…

Counterpoint: because most Finns think about Russian interference, the likelihood there's a tentative plan is high. Or you know, they call you. And in a country of 5m people, you c…

It's not a monopoly. While FedEx, UPS, DHL, and the likes are not obliged by law to deliver mail, they will certainly do it if the price is good. Even Uber does it.

On a related note, does anyone have references which would explain VRChat (and the culture around it)? I'm not quite certain if the models are primarily used for comedic effect, ro…

Cheats aside, are there any competitive games that include Uber-like rating system? Meaning that you'd need to provide feedback whether you'd play with your opponents/teammates aga…