nialv7

9 ms·

1. 181.▲
   by nialv7 1y ago

   i was paid to write rust for a couple of years.
2. 182.▲
   by nialv7 1y ago

   1. You don't need this. Just run programs inside cgroup and set a memory limit (systemd-run lets you do this in a single convenient command). When the program reaches its memory limit it will be throttled. 2. Also often a bad idea. If
3. 183.▲
   by nialv7 1y ago

   I recently realized (by playing with Lean) that coercing of "!" is because of the principle of explosion [1]. Basically propositions are types in Lean, and proofs are instances of those types. A proposition that is false doesn&#x2
4. 184.▲
   by nialv7 1y ago

   Linux port if there is one is usually done by a third party porting studio, which is not necessarily at the same quality as the original codebase. Also the devs just don't have the manpower/bandwidth to spare for Linux users given
5. 185.▲
   by nialv7 1y ago

   The best kind of porting - other people have already done most of the work for you!
6. 186.▲
   by nialv7 1y ago

   I don't know if you meant it but you seem to imply that that vocal minority only cried but didn't buy the small phones? You know a minority is a _minority_, even if everyone in that minority bought a iPhone Mini, the sales number
7. 187.▲
   by nialv7 1y ago

   If by algorithmic you just mean anything that a Turing machine can do, then your theorem is asserting that the Church-Turing thesis isn't true. Why not use that as the title of your paper? That a more fundamental claim.
8. 188.▲
   by nialv7 1y ago

   Something like this has also happened to Falcon 9 before.
9. 189.▲
   by nialv7 1y ago

   Does this analogy work? It's exceedingly hard to make new low-background steels, since those radioactive particles are everywhere. But it's not difficult to make AI-free content - well just don't use AI to write it.
10. 190.▲
    by nialv7 1y ago

    "a group of developers" =/= no leadership. Do you think the current Mozilla CEO helps with Firefox development in any way?
11. 191.▲
    by nialv7 1y ago

    Ladybird is building a browser with a couple million dollars, why can't Mozilla do the same? The total amount of donation Ladybird got so far probably isn't enough to pay half of a year's salary of Mozilla's management,
12. 192.▲
    by nialv7 1y ago

    I mean, it's not really without precedence, is it? It's also illegal to kill a sasquatch for example.
13. 193.▲
    by nialv7 1y ago

    > With NixOS, the upgrades are so reliable Yeah they may be reliable _for you_. And do note this reliability doesn't come automatically with Nix's model, it is only possible because many people put a lot of effort into making i
14. 194.▲
    by nialv7 1y ago

    IIUC you are talking about CA-derivations? Yeah they may help but it's hard to know how much since it's not in production yet, despite being part of Eelco's original paper describing nix. So my hope isn't high. > When
15. 195.▲
    by nialv7 1y ago

    nix solves the shared library incompatibility problem by being extremely conservative. every time anything changes, consequential or not - a comment got modified, documentation changes, a testcase got added, etc. - it will rebuild all depen
16. 196.▲
    by nialv7 1y ago

    I've seen this too often, papers that ask questions they don't even bother to properly define. > Are these models capable of generalizable reasoning, or are they leveraging different forms of pattern matching? Define reasoning,
17. 197.▲
    by nialv7 1y ago

    Hear me out. I was thinking jokingly to myself, "for how bad these models are at recognizing five legged dogs, they sure are great at generating them!" But then it hit me, could this actually be why this is? Diffusion models work
18. 198.▲
    by nialv7 1y ago

    if using algorithm to promote some information and suppress some other isn't censorship to you, then honestly your definition of censorship is narrow to the point of being useless.
19. 199.▲
    by nialv7 1y ago

    One of my favorite insights is that the existence of undecidable problems is the same thing as the uncountability of real numbers. Too bad the author didn't get into it.
20. 200.▲
    by nialv7 1y ago

    all DVCSs are ultimately the same thing, they are all just providing a human interface to the same data structure. i am not saying this dismissively - human interfacing is an extremely difficult problem where a lot of breakthroughs can be m
21. 201.▲
    by nialv7 1y ago

    well in this context it generally means the age someone starts to receive state pension.
22. 202.▲
    by nialv7 1y ago

    maybe we ask the AI to come up with an exploit, run it and see if it works? then you can RL on this.
23. 203.▲
    by nialv7 1y ago

    Switch has (certified) OpenGL and Vulkan. Mac has none of them.
24. 204.▲
    by nialv7 1y ago

    > It can infer why something may have been written in a particular way, but it (currently) does not have access to the actual/point-in-time reasoning the way an actual engineer/maintainer would. Is that really true? A human pro
25. 205.▲
    by nialv7 1y ago

    Work will expand to fill the time available. (I know this is not the commonly accepted meaning of Parkinson's law.)
26. 206.▲
    by nialv7 1y ago

    the mispronunciation of 行 and 行 in the Chinese sample is killing me too XD
27. 207.▲
    by nialv7 1y ago

    pretty easy to understand - you pay for o3, whereas GPT-4o is free with a usage cap so they want to keep you engaged and lure you in.
28. 208.▲
    by nialv7 1y ago

    I wouldn't be surprised if Andrew Pinski was just wrong. It's anecdotal but my impression of him isn't very good.
29. 209.▲
    by nialv7 1y ago

    > amateur australian chemist I mean, he has a PhD...
30. 210.▲
    by nialv7 1y ago

    It's a kernel in the library operating system sense [0]. A kernel doesn't have to run in a privileged context. [0]: https://en.wikipedia.org/wiki/Operating_system#Library