valyagolev

6 ms·

31.
by valyagolev 3y ago
exactly. "hello fresh" is a logistical, not culinary challenge, i think. but same goes, probably, for any huge restaurant chain as well.
32.
by valyagolev 3y ago
Tbh I understand this, it did feel like a lot of plastic waste being left around. But I think it'd be an impossible logistical problem to avoid this in the foreseeable future
33.
by valyagolev 3y ago
Sure, in the same sense that every "untyped" program is already typed with some kind of a universal type, but what's the point? What I want is to be able to specify and have (when possible) automatically proven arbitrary asse
34.
by valyagolev 3y ago
I totally share your excitement about dependent types, but it seems that, unlike the type systems we're used to, theorems about the dependent types are much harder to prove, which makes them not very comfortable to use for the whole pr
35.
by valyagolev 3y ago
I used Hello Fresh for a year, not sure if recipe variety was my problem. I think there's a lot of other possibilities to use LLMs in that product though, e.g. to help users express complex preferences, or to create best menus and sche
36.
by valyagolev 3y ago
very charming. out of spite, because I'm sure the author would hate it, i spent some time trying to convince chatgpt to recursively create a tree of perversed historical facts
37.
by valyagolev 3y ago
I use paper and had a similar problem and even bought a paper shredder, but in the end just throw it in the paper-recycling bin, no need to overvalue my emotional crimes
38.
by valyagolev 3y ago
Moral judgement likes to pose as science, but that does neither any good. I understand that calling some of those things scientific can help someone to avoid hanging out with people who are bad to them, because "science" can feel
39.
by valyagolev 3y ago
it used to be considered a common and annoying problem to accidentally type a lot using a different language keyboard (e.g. have English keyboard on, but trying to type Russian in), that a lot of people had an automatic keyboard switcher in
40.
by valyagolev 3y ago
no, but I had one employer reimbursing it (changed job since then). they were quite interested in this and might have actually implemented this for others, not sure
41.
by valyagolev 3y ago
I got a cheap Hetzner Auction server for all the work needs https://www.hetzner.com/sb . I use VS Code remote to work there. It's easier and more convenient than Codespaces (and I think cheaper). Has a lot of benefits
42.
by valyagolev 3y ago
it's essential for a game to separate the in-game and external factors. otherwise there's no possibility of fairness
43.
by valyagolev 3y ago
there's also https://murdle.com/
44.
by valyagolev 3y ago
https://stratechery.com/2022/consoles-and-competition/ good article from Stratechery on the history of the field. tl;dr: they want to move games market from buying games to renting them (xbox pass)
45.
by valyagolev 3y ago
> You shouldn't set a goal to exercise daily if doing so makes you feel bad. Daily is probably excessive, but regular exercise will very likely be a bit unpleasant for most people, and that's not really a reason to avoid it. My
46.
by valyagolev 3y ago
there should be an alternative cult of patiently and kindly listening to one's needs and wants rather than overriding them with force (or little monetary incentives). i mean, there's already a bunch of those cults, but if you ment
47.
by valyagolev 3y ago
I know a Pons Asinorum that kinda was mind-blowing to me. It uses topology connection to define an unexpected function. "Infinite search in finite time" https://math.andrej.com/2007/09/28/seemingly-i
48.
by valyagolev 3y ago
an important theory is that Unity's initial actions were prompted by Apple's App Tracking Transparency changing the gamedev market and jeopardizing Unity's recent ad-driven monetization strategy, and that's how Apple&#x2
49.
by valyagolev 3y ago
> Full BASIC has suitable facilities for those who are unacquainted with the peculiar knowledge about computers. sometimes if wonder if an idea like this is somehow related to the intuitive and rather questionable beliefs that people who
50.
by valyagolev 3y ago
it's an interesting question, but i think the "right" answer here would be that the emails should (in the rfc sense of the word) be end-to-end encrypted, thus there wouldn't be a way to do this at all
51.
by valyagolev 3y ago
> integer implementation done in software, using only floating point ops so basically any attempt to use JavaScript 's number as int
52.
by valyagolev 3y ago
"We’ve found our cohort of wildly passionate early adopters... Unfortunately, these people are criminals" reminds me of another exciting and hip big fintech-adjacent industry
53.
by valyagolev 3y ago
yeah ofc, but you can have, for example: - runtime checks for all loops - specify required upper bounds for all loops should be enough for a massive class of useful AI-generated subroutines. the goal is not to allow all-code, but to have pr
54.
by valyagolev 3y ago
i was thinking about a good language to be AI generation target, something that would be strongly typed, and have a variety of inner checks to make sure that the execution doesn't end up in an infinite loop or whatever
55.
by valyagolev 3y ago
maybe a different way to frame it is that your inspiration idols are releasing brilliant new work, and your tribute to them manages to be relevant ;-) I'm not such a crazy fanboy as that sentence should make me seem, but factorio has d
56.
by valyagolev 3y ago
this, but allow refunds.
57.
by valyagolev 3y ago
even the first version was described by them as gpt: "DALL·E is a 12-billion parameter version of GPT-3", but i am not sure it's the GPT-3 that we know (as trained on all the stuff), but rather like, same/similar archite
58.
by valyagolev 3y ago
what does being 'built on chatgpt' means? does it mean they use gpt3.5 embeddings? or is it a simple plugin?
59.
by valyagolev 3y ago
Agota Kristof wrote one of the most intense, alienating, haunting works I've ever read (the notebook trilogy). but all the time i was reading a thought was nagging that her name is a play around agatha kristie
60.
Play the Harvard Assignment Game(skillslab.dev)
1 points by valyagolev 3y ago|0 comments

More ›