devit

6 ms·

1.
by devit 1y ago
Probably because humans are supposed to naturally live in groups where human friends are plentiful, but lots of human children instead live only with parents.
2.
by devit 1y ago
That's cool but I think the proper solution is to write a Linux kernel module that can reserve GPU RAM via DRM to create ramdisks, not create a userspace filesystem using OpenCL. That would give proper caching, direct mmap support if d
3.
by devit 1y ago
That makes no sense: shipping all dependencies (e.g. shipping a container image) gives perfect binary compatibility on Linux, which is what flatpak/snap/appimage do. It can also be achieved with static linking and by shipping all
4.
by devit 1y ago
That's what it does. "Replacement" is only a problem for people who are dependent on someone else being dependent on them.
5.
by devit 1y ago
Follow-up: Absolutely. Here's a business-focused follow-up report that builds on the previous essay, now incorporating hard data, technical insight, and financial reasoning to make the case irresistible to executives: Strategic Opportu
6.
by devit 1y ago
I think it may be better than humans at producing plausible sounding bullshit to advance a given arbitrary point. Management consultants (junior ones) are probably doomed. Example: Paper Clothing Will Revolutionize Fashion — And the World T
7.
by devit 1y ago
This seems pointless, i.e. they might formalize the machine learning models (actually, the Lean code seems an AI-generated mix of Lean 3 and 4, probably doesn't compile), but the actual hard part is of course the proofs themselves, whi
8.
by devit 1y ago
But can they drive as aggressively as human drivers can? (which does probably increase accident rates a bit, but also can make rides 10-20% faster, especially if executed by an automated system that needs less safety margin) 1. Go as fast a
9.
by devit 1y ago
Well then such a cache needs obviously to have limit to the disk space it uses and some sort of cache replacement policy, since if one can generate a zip file for each tag, that means that the total disk space of the cache is O(n^2) where n
10.
by devit 1y ago
Or perhaps switch to well-engineered software actually properly designed to be served on the public Internet. Clearly generating zip files, writing them fully to disk and then sending them to the client all at once is a completely awful and
11.
by devit 1y ago
Well, looking at the SourceHut code, it's written in Python and handles git by spawning a "git" process. In other words, it was written with no consideration for performance at all. A competent engineer would use Rust or C++
12.
by devit 1y ago
I can report that I tried this setup (Claude Desktop on Linux + codemcp) on the Rust uutils repo asking it to add a "--repeat" option to cat to repeat the output N times (without telling it anything else), and it has generated a c
13.
by devit 1y ago
This requires an MCP-compliant client, for which Claude Desktop seems to be the main (or only?) choice. Note that Claude Desktop can be run on Linux using https://github.com/aaddrick/claude-desktop-debian , which repack
14.
by devit 1y ago
It's cool, but how do you know it won't kill you, esp. given that it's human nature to stop paying attention since it seems to do all the work itself (even if eyes are kept on the road), and that it seems developed by a team
15.
by devit 1y ago
The donations would go directly to the individual doing this with no relationship with Mozilla (e.g. with Patreon or similar), not to Mozilla itself.
16.
by devit 2y ago
You can just zero out the pointer variable with __attribute__((cleanup)) before returning its value (from a temporary copy of course).
17.
by devit 2y ago
That's completely asinine since it can't be made to work properly with inlining (including LTO), architectures that use a shadow stack or don't use a frame pointer, and also ridiculously inefficient and requiring assembly cod
18.
by devit 2y ago
They pay them for making Google the default search engine, and it is hypothesized that the payment may also influence them to not provide ad-blocking by default and possibly other things that are not beneficial for Google's business.
19.
by devit 2y ago
They could, but they don't want to do that because they get paid by Google to not do it or because those actions get them money in some other way (from advertisers or whatever), or because they think only power users like some features
20.
by devit 2y ago
The use for donations could be for a single person whose job is to check the upstream code for any antifeatures (telemetry, ads, product placements, online service defaults, Google as paid default search engine, etc.) not in the user's
21.
by devit 2y ago
The pioneer of AI alignment.
22.
by devit 2y ago
"styling on your end" means the _user_ (not the website designer/developer) deciding how controls should be styled and that's much easier if everything uses the same controls because you only need to specify it once and
23.
by devit 2y ago
But it seems like it's being used to generate short snippets that in the examples seem to be equivalent to command lists as opposed to generating a full program that actually plays the whole game by itself. The model could also then be
24.
by devit 2y ago
Seems like it might be more effective to use the LLMs to write a program that plays Factorio rather than having them pick the next action given a game state. Also in general I think the issue with Factorio is that you can just find an &quot
25.
by devit 2y ago
The "person one" vs "person two" bias seems trivially solvable by running each pair evaluation twice with each possible labelling and the averaging the scores. Although of course that behavior may be a signal that the mo
26.
by devit 2y ago
It's bullshit according to previous discussion on HN ( https://news.ycombinator.com/item?id=43301369 ). Just a bunch of undocumented hardware registers/commands, no remotely accessible backdoor.
27.
by devit 2y ago
The article is wrong on the claim that Rust panic are harder to catch than C++ exceptions: as long as you don't configure panic=abort you can catch them easily with catch_panic and they are generally implemented using the same runtime
28.
by devit 2y ago
Backdoors introduced by competent people require authentication, so that random people or "the enemy" can't use them.
29.
by devit 2y ago
The paper seems to start with the bizarre assumption that AOT compilers need to "catch up" with JIT compilers and in particular that they benefit from inline caches for member lookup. But the fact is that AOT compilers are usually
30.
by devit 2y ago
Perhaps your card has less per-SM shared memory than the GPUs DeepSeek uses. Try to lower the sm90_capacity value in gemm.py: I think 128KB is the correct value for RTX 5080 compared to 256KB for the H100/H800. And probably add ",

More ›