devit

6 ms·

31.
by devit 2y ago
Multiply FP8 matrices with FP32 scaling factors giving a bfloat16 matrix result on an nVidia Hopper or newer GPU.
32.
by devit 2y ago
This seems to be a problem with rocket/lander technology resulting in a ~900kg weight limit on Curiosity. According to Internet searches, Starship can bright 100 tons to Mars surface. A common large Earth backhoe seem to weight 20 tons
33.
by devit 2y ago
Doesn't seem to be a noticeable improvement from N64-era graphics. It probably needs generative AI based upscaling to high resolution meshes, textures and realistic materials to actually achieve a quality improvement.
34.
by devit 2y ago
That would be a good start as the current syntax is absurd.
35.
by devit 2y ago
I wonder if a multiplexer would be feasible? Hardware-wise instead of putting the chips on the PCB surface one would mount an 16-gonal arrangement of perpendicular daughterboards, each containing 2-16 GDDR chips where there would be normall
36.
by devit 2y ago
I think Linus should change this though, so that the maintainers that don't want to learn Rust have to step down, and there are no more conflicts.
37.
by devit 2y ago
Actually, you want to use a DC-to-DC converter that properly delivers the constant desired reduced voltage, rather than making a ridiculous stroboscopic light (aka PWM).
38.
by devit 2y ago
The article's conclusion is completely wrong because it misses two crucial points: 1. On multicore machines you want to process timers in parallel on multiple cores. With userspace timers you either set the same timeouts on all threads
39.
by devit 2y ago
Huh? Most Firefox users presumably use it, and anyway it's obviously essential and extremely useful functionality. And the really important languages for EU/US audiences are, in order, English, Chinese, Spanish, Japanese, Portugue
40.
by devit 2y ago
It's probably not done due to political reasons. Most of the complication is probably accidental, due to history or human traditions. From first principles, the problem is obviously straightforward to formulate (assign nonoverlapping r
41.
by devit 2y ago
Seems like it can be at least mostly automated.
42.
by devit 2y ago
That depends on how whether the demand increase multiplier due to the lower cost per result is lower or higher that the efficiency increase multiplier. It can be either in general.
43.
by devit 2y ago
It's feasible to write complex correct programs with optimal performance in Rust, unlike any other programming language (complex+correct is not feasible in C/C++/assembly/Zig/etc., optimal performance not possible i
44.
by devit 2y ago
I think the optimal approach for development would be to not produce a traditional linked executable at all, but instead just place the object files in memory, and then produce a loader executable that hooks page faults in those memory area
45.
by devit 2y ago
Well then the model weights would be a compilation of copies of the original works, which has the same effect as it being a derivative work unless the copyright holder chose to allow copies but not derivative works.
46.
by devit 2y ago
Model weights, if they can reproduce something like the original, are just a form of lossy compression (or even lossless for text), where the LLM answering the prompt is a more powerful version of asking software to retrieve a specific file
47.
by devit 2y ago
Aren't lawsuits the proper way to address this? Seems like there's an argument that model weights are a derivative work of the training data, at least if the model is capable of producing output that would be ruled to be such a de
48.
by devit 2y ago
"Handling texts that are larger than available memory. Ropey is an in-memory data structure." That seems to make it of dubious use, not really suitable for a well-engineered text editor. The fact that it's UTF-8 only is also
49.
by devit 2y ago
That's only the case if you interpret them as HH:MM:00. The issue is fixed if you interpret them as HH:MM:30 instead.
50.
by devit 2y ago
That makes no sense, since DOSEMU is based on virtual 8086 mode, which requires a 80386, while ELKS is for 8086-286 CPUs. You can just run MS-DOS or FreeDOS directly on those machines, that's what the machines were made for.
51.
by devit 2y ago
50g of carbs per "meal" are only enough if you eat 10-15 meals per day.
52.
by devit 2y ago
Linux supports vgafb/vesafb so this is possible if the distribution is configured appropriately. I think some/most distributions might not enable it out of the box because it would generally result in a low performance/qualit
53.
by devit 2y ago
The major issue seems to be that Musk somehow wants people to pay him to drive it, as opposed to him paying people to drive it.
54.
by devit 2y ago
The amateurs usually run benchmarks (because they can't reason about it as they lack the relevant knowledge) and believe they got a useful result on some aspect when in the fact the benchmark usually depends on other arbitrary random f
55.
by devit 2y ago
DDOS is different from crashing. And I doubt Facebook implemented something that actually saturates the network, usually a scraper implements a limit on concurrent connections and often also a delay between connections (e.g. max 10 concurre
56.
by devit 2y ago
Isn't the tanker much more expensive than repairing the cable damage? (and Russia has much lower GDP than the EU) Seems like they can't play this game for long.
57.
by devit 2y ago
Probably just burned out from chess, especially training the whole day for competitions. We are animals and eventually the brain will rebel against extreme repetitive mental effort that is perceived to be at least partially useless (and giv
58.
by devit 2y ago
The correct solution to packaging Rust crates for a distribution seems to be to compile them as Rust dynamic libraries and use package names like "librust1.82-regex-1+aho-corasick" for the regex crate, semver major 1, compiled for
59.
by devit 2y ago
I think the problem of those is that they are special purpose, and probably too expensive and bulky for that single purpose. A single general-purpose robot that can do everything would be much easier to sell.
60.
by devit 2y ago
I don't think that's a good example, since it's obviously provably true and the proof is also obvious (either use well-known lemmas like log(poly(x)) in O(x^a) or show that lim_x->inf lhs/x = 0 via L'Hôpital&#x27

More ›