20k

10 ms·

151.
by 20k 4mo ago
Trello is still my goto for everything. I sincerely hope that it doesn't get enshittified
152.
by 20k 4mo ago
Its crazy to me how little effort publishers put into the basic parts of their job sometimes. Its even funnier that raymond chen of all people is the one calling this out
153.
by 20k 4mo ago
Datacentres aren't the same as infrastructure or research though. All the hardware in them has a finite, useful lifespan. In 10 years time it'll be totally useless Hardware fails, and also scales out in terms of efficacy to run it
154.
by 20k 5mo ago
The C++ way to do it currently would be: std::array<std::array<T, N>, M> data; Which is contiguous int data[M][N]; also works fine and is contiguous in C++ Edit: For the stack at least. On the heap, you'd
155.
by 20k 5mo ago
Its very funny watching certain segments of the programming industry rediscovering incredibly basic programming principles, after railing against them for so long. The AI people are starting to try and create formal specs to force the AI to
156.
by 20k 5mo ago
>Am I overthinking all this? Nope, if AI were to realise the hype, you have to take into account macroeconomics. Usually this isn't a problem for most businesses >The more AI causes productivity increases, the less and less numbe
157.
by 20k 5mo ago
I've seen chatgpt word for word plagiarise stack overflow answers
158.
by 20k 5mo ago
The problem is that the implementation burden with C is so high, that people tend not to do it even in relatively performance constrained situations
159.
by 20k 5mo ago
>And for some use cases, some crappy software is better than no software The best use case i've seen for AI is people generating random one shot projects for themselves, which is honestly so cool. You can make some basic app that do
160.
by 20k 5mo ago
As people are discovering, natural language is insufficiently precise to be able to specify edge cases. Any language precise enough to be formally verified against is a programming language
161.
by 20k 5mo ago
This is a great article and its super helpful, thanks to whoever wrote it!
162.
by 20k 5mo ago
What we really we need is some kind of more detailed spec language that doesn't have edge cases, where we describe exactly what we expect the generated code to do, and then formally verify that the now generated code matches the input
163.
by 20k 5mo ago
>You might not know, many people don't, that ad vendors came to the table little over a decade ago to make a truce with Ad Block Plus. ABP and advendors both saw that an "ad supported internet" was unsupported with no ads.
164.
by 20k 5mo ago
Yes, LLMs fundamentally operate as a lossy compression scheme for their training data. There's been countless examples of them reproducing their training data with very high accuracy People claim that the data isn't stored, but cl
165.
by 20k 5mo ago
The problem is that the ad vendors couldn't keep it in their pants. The ads you're talking about are a common vector for delivering malware onto people's PCs, and absolutely destroy the usability of sites. Between tracking co
166.
by 20k 5mo ago
There seems two kinds of developers 1. Developers that create the mess and don't have to deal with the consequences 2. Developers that fix the mess and have to deal with the consequences I've noticed that the former category is si
167.
by 20k 5mo ago
Its extremely funny seeing developers jumping on the AI train rediscovering in real-time why open source was invented. Not having control over the software running on your PC/devices, and being beholden to big business interests, is li
168.
by 20k 5mo ago
>what happens if a single AI manages to get through to contributor Then they'll get removed by the humans? Its about cutting down work, not about eliminating the work entirely The current approach removes about 99% of their overhead
169.
by 20k 5mo ago
Yeah well, our corporate overlords have decided that you're going to take your slop whether you want it or not, so its very much up to us to figure out. Capitalism isn't going to jump off the disaster train any time soon
170.
by 20k 5mo ago
Junior programmers learn and provide a wide value, AI does not
171.
by 20k 5mo ago
This ran at ~1fps for me
172.
by 20k 5mo ago
We see this exact hypetrain every time a new model is released. Mythos simply hasn't lived up to the "we're all gunna die from the flood of vulnerabilities" hype even slightly. Its slightly better than previous models by
173.
by 20k 5mo ago
I always find these kinds of posts interesting, to compare the velocity that people seem to get with Ai, vs what I get by just coding by hand Coincidentally I've been working on a project for about 7 months now: its a 3d MMO. Currently
174.
by 20k 5mo ago
Personally I think we need to start utilising the safety features built into AI, to ensure that who we're talking to is a human. We'll start to have to only reply to people who talk in nsfw cursewords (like cocks), or profess thei
175.
by 20k 5mo ago
I've found that by far the most useful websites as a programmer are also the ones most resistant to AI. This would be a huge loss for anyone vision impaired
176.
by 20k 6mo ago
We're getting to a point where we're going to have to consistently start putting content in that AI is banned from writing, just to prove that we're humans arse
177.
by 20k 6mo ago
Threads have program counters individually according to nvidia, and have done for nearly 10 years https://docs.nvidia.com/cuda/cuda-programming-guide/03-advan... > the GPU maintains execution state per thread,
178.
by 20k 6mo ago
>I would strongly advise against this. GPUs are highly efficient when neighboring threads within a warp access neighboring data and follow largely the same code path. Even across warps, data locality is highly desirable. Its a bit like s
179.
by 20k 6mo ago
This programming model seems like the wrong one, and I think its based on some faulty assumptions >Another advantage of this approach is that it prevents divergence by construction. Divergence occurs when lanes within a warp take differe
180.
by 20k 6mo ago
Python is by far the slowest programming language, an order of magnitude slower than other languages One of the reason mercurial lost the dvcs battle is because of its performance - even the mercurial folks admitted that was at least in par

More ›