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.
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 transacting with different countries' systems (I noticed this difference soon after I exchanged my driver license) -- and I would have indeed born on a different day if it'd been the UK. But, I would assume this to be such a well-known issue with people who migrate, that it must just been just a typo. Doesn't stop me from believing though.
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, which helps me remember what was what and what it might relate to.
Edit: Also realized you're in Oulu, feel free to email me if you'd be up to meeting in-person to discuss these further!
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 to offer redundancy in self-hosted setting -- for example, a friend of mine and I run S3 instances and "seed" each others' buckets for photo storage, but also for package manager (Nix). Having this kind of sane object storage just expands in use-cases, like with Matrix, etc., which all then inherit the clusterization hence redundancy for free.
The E2E encryption is also very useful when you are backing up or hosting photo galleries for friends and family -- because you cannot do metadata analysis on encrypted files, they have to do that on their own devices. This makes self-hosting much more "fearless" because I do not have to account for the fact that when/if my nodes are becoming a sauna-stoves for doing inference when someone dumps an album in.
The datasets that I have are terabytes. At some point it's just cheaper (accounting your time as free) to buy a 20tb drives and get yourself a runway for 5 years or more + space to do other stuff.
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 contents of the book remains a bit hard to appreciate in full unless you have ran into these concepts previously.
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 need to carry around. It's actually quite common for many setup scripts to fail when python is not installed, but not all of them list python as a dependency either.
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?
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 bring Xbox 360 original controllers under Linux. Some people insisted they get to play on the original gamepad (otherwise it was a mixed bag of PlayStation and newer Xbox/PC controllers).
I also realized that Halo 3 itself would have been old enough to drink with us!
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 also look into those if you are interested in mathematics of computer science.
>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 iteration. It's very tricky to maintain advanced workflows even locally. I'd guess many won't even try to compose things that could work in combination (often self-hosted services), when they know they can't reliably maintain those environments.
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 want something to be shareable, you have to create a workflow in which the user environment is activated interactively after a tty session is acquired. Same goes for any system services that need persistence -- these have to be configured to be activated at runtime. It's a lot of work for a party-trick. It's probably possible to configure the system such that the log-in needs a FIDO2 key which is also used for LUKS drives, which would be similar to how macOS handles log-ins. But abstracting this such the login works on every machine possible suddenly requires filesystems to be networked, and so on.
That being said, we used NixOS images to boot several Windows PCs of my friends into RAM to play Halo 3 multiplayer split-screen. Most of my friends were mainly confused why they could play with any gamepad they had in their shelf. They also left the event with no permanent changes to their PCs.
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 knows whoever has that information in the government.
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, role-play, or more of as a 'Ready Player One'-esque alternative identity. I think I know cases for the latter, but I feel like as someone who has never understood VR as a form of self-expression or played VRChat, I feel like I can't have the conversation with them.
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.
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.
What about using CoW file system snapshots and then mounting it on overlayfs as the lowerdir while having the agent's working directory be the upper directory? I wonder how the agent reacts to finding some files being immutable.