pornel

20 ms·

361.
by pornel 1y ago
There are two CUDAs – a hardware architecture, and a software stack for it. The software is proprietary, and easy to ignore if you don't plan to write low-level optimizations for NVIDIA. However, the hardware architecture is worth know
362.
by pornel 1y ago
Yeah, Rust isn't OOP, which is usually fine or even an advantage, but GUIs are one case where it hurts, and there isn't an obvious alternative. > gtk-rs you are pulling in 100+ crate dependencies and who knows what lurks in tho
363.
by pornel 1y ago
This is a generic smart pointer. It had to be designed and verified manually, but that line of code has been written once 8 years ago, and nobody had to remember to write this FFI glue or even call this method since. It makes the public API
364.
by pornel 1y ago
Rust has safe and reliable GTK bindings. They used gir to auto-generate the error-prone parts of the FFI based on schemas and introspection: https://gtk-rs.org/gir/book/ Rust's bindings fully embrace GTK&#x27
365.
by pornel 1y ago
You're looking at this from the perspective of what would make sense for the model to produce. Unfortunately, what really dictates the design of the models is what we can train the models with (efficiently, at scale). The output is the
366.
by pornel 1y ago
I've wasted time debugging phantom issues due to LLM-generated tests that were misusing an API. Brainstorming/explanations can be helpful, but also watch out for Gell-Mann amnesia. It's annoying that LLMs always sound smart w
367.
by pornel 1y ago
GitLab doesn't have an equivalent of GitHub actions (except an alpha-quality prototype). GitHub Actions can share runtime environment, which makes them cheap to compose. GitLab components are separately launched Docker containers, whic
368.
by pornel 1y ago
There's a lot of "promising" and "interesting" stuff, but I'm not seeing anything yet that actually works reliably. Sooner or later (mostly sooner) it becomes apparent that it's all just a chatbot hastily
369.
by pornel 1y ago
The simple box-shaped container and low framerate/low gravity simulation doesn't show off what the FLIP algorithm can do. The algorithm is a more expensive combination of two simulation methods to support both splashes and incompr
370.
by pornel 1y ago
For water simulation, look towards learning compute shaders. Eulerian (grid-based) simulation is one of the classic examples.
371.
by pornel 1y ago
npm and Cargo use gzipped tarballs. Tar is an awful format that has multiple ways of specifying file names and file sizes, so there could be some shenanigans happening. It's also possible to make archives have different content based o
372.
by pornel 1y ago
(I've worked on both codecs and compilers. You may be underestimating the difficulty of implementing sound optimizers). Hardware vendors don't benefit from the patent pools. They usually get nothing from them, and are burdened by
373.
by pornel 1y ago
IP law, especially defence against submarine patents, makes codec development expensive. In the early days of MPEG codec development was difficult, because most computers weren't capable of encoding video, and the field was in its infa
374.
by pornel 1y ago
Young man, software often has more than 50 lines of code that merely merges basic examples from two libraries. That stuff is useful too, but that's a 0.5x intern, not a 10x developer. I've told the same Claude to write me unit tes
375.
by pornel 1y ago
Google has been bombarding Firefox users with "Upgrade to Chrome" notices on their properties. Google kept having "oopses" that blocked browsers based on User-Agent strings, rather than capabilities. Google also plays &q
376.
by pornel 1y ago
There's a grain of truth to it — Apple has learned from Microsoft's history that making the whole browser shitty is too obvious and annoys users. Apple was smart enough to keep user-visible parts of the browser in a good shape, wh
377.
by pornel 1y ago
This is tautological. If you keep instructions dumbed-down enough for AI to work well, it will work well. The problem is that AI needs to be spoon-fed overly detailed dos and donts, and even then the output can't be trusted without car
378.
by pornel 1y ago
The developer who asked for the faster compression formats has later solved the problem himself: https://github.com/richgel999/fpng It turns out that deflate can be much faster when implemented specifically for PNG dat
379.
by pornel 1y ago
Bringing the check immediately is associated with fast food, and overcrowded touristy places that are rushing customers to leave. Places that want to be fancy act like you're there to hang out, not to just eat and leave. It is sometime
380.
by pornel 1y ago
Even with the best intentions, the implementation is going to have bugs and quirks that weren't meant to be the standard. When there's no second implementation to compare against, then everything "works". The implementat
381.
by pornel 1y ago
Regulations are like code of a program. It's the business logic of how we want the world to be. Like all code, it can be buggy, bloated and slow, or it can be well-written and efficiently achieve ambitious things. If you have crappy un
382.
by pornel 1y ago
I've started this thread by explaining this very problem, so I don't get why you're trying to lecture me on subpel motion and disocclusion. What's your point? Your replies seem to be just broadly contrarian and patronizi
383.
by pornel 1y ago
You've previously emphasised use of blocks in video codecs, as if it was some special distinguishing characteristic, but I wanted to explain that's an implementation detail, and novel video codecs could have different approaches t
384.
by pornel 1y ago
They are used for moving pixels around when used in Frame Generation. P-frames in video codecs aim to do exactly the same thing. Implementation details are quite different, but for reasons unrelated to motion vectors — the video codecs that
385.
by pornel 1y ago
Motion vectors in video codecs are an equivalent of a 2D projection of 3D motion vectors. In typical video encoding motion compensation of course isn't derived from real 3D motion vectors, it's merely a heuristic based on optical
386.
by pornel 1y ago
The tokens are basically this, a result of precomputing and caching such layers.
387.
by pornel 1y ago
You can have "cat" as 1 token, or you can have "c" "a" "t" as 3 tokens. In either case, the tokens are a necessary part of LLMs. They have to have a differentiable representation in order to be poss
388.
by pornel 1y ago
This isn't about smarts, but about performance and memory usage. Tokens are a form of compression, and working on uncompressed representation would require more memory and more processing power.
389.
by pornel 1y ago
This didn't need Microsoft's teeth to fail. There isn't a single "Linux" that game devs can build for. The kernel ABI isn't sufficient to run games, and Linux doesn't have any other stable ABI. The APIs ar
390.
by pornel 1y ago
I would like CPUs to move to the GPU model, because in the CPU land adoption of wider SIMD instructions (without manual dispatch/multiversioning faff) takes over a decade, while in the GPU land it's a driver update. To be clear, I

More ›