nextaccountic

5 ms·

61.
by nextaccountic 2mo ago
couldn't one just add some hundreds of GB of HBM?
62.
by nextaccountic 2mo ago
Seems like an excellent user for LLMs
63.
by nextaccountic 2mo ago
If someone writes a browser in their teens, they will probably learn more about the web than if they were just writing web pages
64.
by nextaccountic 2mo ago
computer science, yes, 100% a branch of math programming is more like communicating to a computer to convince them to do some task. has always been like this, and this will not change
65.
by nextaccountic 2mo ago
So what's the maximum penalty for trespassing? The prosecution was looking for a disproportionate sentence About technical countermeasures to evade blocking.. you realize that everybody that does scraping at a large scale employs those
66.
by nextaccountic 2mo ago
They are also slowly killing /r/all ahead of the elections
67.
by nextaccountic 2mo ago
reddit wants to kill old reddit though. it already shows only for people logged in. and with it, kill /r/all (they are killing /r/all for new reddit) https://old.reddit.com/r/modnews/comments&#x
68.
by nextaccountic 2mo ago
Google became one of those OEMs that drag their feet and make it a hassle to publish the source code. This happens because they are not interested in open source Android anymore
69.
by nextaccountic 2mo ago
Is this open weights? Or planned to be
70.
by nextaccountic 2mo ago
the program itself is kind of useless. the client will send it anyway to demonstrate a proof of concept but hopefully the dev will build from scratch what's important is the spec. the poc isn't a spec because the dev is being hire
71.
by nextaccountic 2mo ago
> A change in paradigm is necessary. Freestanding C, not hosted C. Or.. any other programming language. A lot of systems programming is done in Rust nowadays.
72.
by nextaccountic 2mo ago
What about running the whole Android infrastructure, but on top of a non-Android Linux distro? And this, on top of a Android kernel (otherwise you won't have the drivers yo uneed) The advantage being, we can manage packages using a reg
73.
by nextaccountic 2mo ago
> The seemingly very intuitive arguments in Bell's book "a primer of infinitesimal analysis" are only heuristics. This kinds of kill the whole idea. The book is written as if the intuitive arguments were actually rigorous;
74.
by nextaccountic 2mo ago
Reasoning tokens are a way to escape autoregressive woes. The model can generate a draft, then ponder on it, and use this to generate a final version
75.
by nextaccountic 2mo ago
This sounds like a SCP entry Perhaps the meaning of this character is sealed in some vault
76.
by nextaccountic 2mo ago
The difference is that in SIA you can't "try it on a non-differentiable function" because in SIA, such a thing doesn't exist . It's not like the C case where out of bounds access is assumed to not exist, but they
77.
by nextaccountic 2mo ago
> It trades a heady second order logical statement for simple algebra. Also, other comment here says they wish calculus were more visual. Newton-style proofs were actually geometric, and the proofs in the book are like that too. You buil
78.
by nextaccountic 2mo ago
> I think "Smooth Infinitesimal Analysis" is actually a bad idea because I think that the combination of Robinson's Nonstandard Analysis with little/big O notation gives you nilpotent infinitesimals in a more rigorous
79.
by nextaccountic 2mo ago
For greenfield projects LLMs don't need abstractions, but as the project gets more complex, the right abstractions save a pot on input tokens (less code to read) and reasoning tokens (less work to do to figure out the code), so they fr
80.
by nextaccountic 2mo ago
It's a bit frustrating that smooth infinitesimal analysis isn't mentioned even once, even as the author lists other systems that add infinitesimals to real numbers. It's a much better system to develop calculus on. It feature
81.
by nextaccountic 2mo ago
The researcher can lose their job
82.
by nextaccountic 2mo ago
https://github.com/tontinton/maki is tackling the right issues IMO. not sure how they compare with the rest
83.
by nextaccountic 2mo ago
It doesn't matter if it's actually unethical. It just has to be approved by a board.
84.
by nextaccountic 2mo ago
That's actually a good point, your markup can reveal some info about you. Like, today this kind of info is mostly unnoticed, because there are too much details in the world and too few eyeballs to notice them. But in the (not so distan
85.
by nextaccountic 2mo ago
It's a bad thing when there are no breaking changes done and they stabilize the exact same thing a few years later
86.
by nextaccountic 2mo ago
> No, it's because oil is still transiting the strait. This Youtuber did a napkin math to show this effect, plus the land pipeline and other supply increases can't be the sole explanation https://www.youtube.com&#x2F
87.
by nextaccountic 2mo ago
It may not matter for you, but it could help agents to recover context about some specific code
88.
by nextaccountic 2mo ago
There is a lot of repetition/stutter, also there's some hashes that belong to a .lock file. Is there tooling to edit this file? (Like some command to add/remove/update entries) Is this what the box primitives is about?
89.
by nextaccountic 2mo ago
How to define the list of installed packages in a config file in StageX, and tell the system that it should be the new list of packages? Like done in nixos If I remove a package from the list itt best uninstalled, if I add it gets installed
90.
by nextaccountic 2mo ago
Flakes must drop the "experimental" moniker and be officially supported by Nix. It may not be perfect, but it has been widely adopted.

More ›