Jhsto

6 ms·

1.
by Jhsto 5d ago
Switching from macOS to Linux was quite painful because the security was so seamless on Mac. But I also realized I had no idea how my passwords are stored and under what guarantees. Learning and getting the hardware tokens to do it proper
2.
CUDA Rust: Two Tracks for Writing GPU Kernels(developer.nvidia.com)
5 points by Jhsto 7d ago|0 comments
3.
by Jhsto 11d ago
It indeed does, this is a very good point I haven't thought about in the reverse direction.
4.
South Korea exports surpass full-year record, hit $709.4B YTD(reuters.com)
3 points by Jhsto 11d ago|0 comments
5.
by Jhsto 12d ago
My anecdotal experience is that while LLMs are quite good at closing theorems given an LSP to inspect the proof-tree, they suffer from similar kind of problems with proofs as they do with bigger codebases in any language -- finding reusable
6.
by Jhsto 1mo ago
SPIR-V states its an int, float, vector n (where n <= 4) or a matrix (2..4 cols of vector n). It does not necessarily mean the hardware can do 4x4x64 floating point operations in a single subgroup operation, but at least the programming
7.
MSI Pro B850-P WiFi Dasharo v0.9.0 Released(blog.3mdeb.com)
2 points by Jhsto 2mo ago|0 comments
8.
by Jhsto 2mo ago
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 thesis in ~3 months, after which I'll be op
9.
by Jhsto 2mo ago
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 Paradigm, a crypto-VC now seemingly AI-pilled. Some LP of t
10.
by Jhsto 2mo ago
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
11.
by Jhsto 2mo ago
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 think it was this.
12.
GeForce Trading Cards: Series 1 Celebrates the Generations of GeForce(nvidia.com)
1 points by Jhsto 2mo ago|0 comments
13.
by Jhsto 2mo ago
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 to believe it has something to do with electronic systems tr
14.
by Jhsto 3mo ago
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 making more sense what some concept would be in Finnish, wh
15.
by Jhsto 3mo ago
Thanks for the links! The first book seems very good (I already own the latter).
16.
by Jhsto 3mo ago
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 S3 yourself. This allows clusterization of multiple hosts t
17.
by Jhsto 3mo ago
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 if anyone else has good books to recommend? I feel that the c
18.
by Jhsto 3mo ago
You can use https://ente.com/ (it's open-source). It also makes the seemingly much better decision of storing photos in S3.
19.
by Jhsto 3mo ago
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 program (or script) dependency, not something I
20.
by Jhsto 6mo ago
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 step?
21.
by Jhsto 7mo ago
Seems that Jolla C2 can run "close-to" mainline kernel: https://forum.sailfishos.org/t/mainline-linux-kernel-for-the...
22.
by Jhsto 7mo ago
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 mods. I bought some Microsoft gamepad receiver to
23.
by Jhsto 8mo ago
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' return 0 results. I would recommend to als
24.
by Jhsto 9mo ago
>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. I'd like to add the third thing, which is just ite
25.
by Jhsto 9mo ago
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 various hard-coded paths for mounting hard drives. If you w
26.
by Jhsto 9mo ago
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 can probably ask someone, who knows someone else, who kn
27.
by Jhsto 9mo ago
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.
28.
by Jhsto 9mo ago
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, role-play, or more of as a 'Ready Player One'-e
29.
by Jhsto 10mo ago
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 again after a game.
30.
by Jhsto 10mo ago
Another anecdote: some gyms nowadays require an app to check-in and to get the door open. For me, gym is for relaxing, which also means no phone. The one I joined sounded slightly apologetic for charging me 10€ for a physical keycard.

More ›