devit

6 ms·

91.
by devit 2y ago
All non-toy programming languages support encapsulation, usually implemented with "private" or "public"/"export" keywords (well-designed languages make private the default), which means that unless the &qu
92.
by devit 2y ago
Am I missing something or this "ARC-AGI" thing is so ludicrously terrible that it seems to be completely irrelevant? It seems that the tasks consists of giving the model examples of a transformation of an input colored grid into a
93.
by devit 2y ago
Well, that's just the normal way to write software, no? Aside from some websites and small scripts, all software is written like that. You simply create a hierarchical directory structure where the directories correspond to modules and
94.
by devit 2y ago
So far no one has managed to produce a programming language with dependent types that compiles to efficient machine code with zero overhead like Rust and C do, so the reason to not have dependent types in Rust is to be able to produce effic
95.
by devit 2y ago
I think Haskell is fundamentally a bad design, because there is no reason to not have dependent types and totality checking in such a language, and also laziness is bad as it makes memory usage unpredictable and potentially asymptotically b
96.
by devit 2y ago
They claim it's available in ChatGPT Plus, but for me clicking the link just gives GPT-4o Mini.
97.
by devit 2y ago
Aren't "personal carbon footprints", whether of the rich or not, insignificant compared to industrial carbon emissions? I can find 3.7 * 10^13 kg CO2 for energy yearly worldwide. On the other hand, there are around 25 * 10^3
98.
by devit 2y ago
Seems like a trivial problem to me. If the graph is directed, do an SCC decomposition in linear time using a graph library and then any SCC with size more than one has at least a loop, trivially extracted by following any edges in the SCC.
99.
by devit 2y ago
This fix makes no sense: if is_hyphen(value[0]) and value[1] == "$": converted_value = float(re.sub(r"[^.0-9]", "", value)) \* -1 If the strategy is to delete all non-numeric characters in re.sub, you
100.
by devit 2y ago
Name and description are very confusing and a trademark violation since despite the claims it seems to be completely unrelated to actual Nanite in UE5, just an implementation of something similar by a person unaffiliated with UE5. There is
101.
by devit 2y ago
It needs three choices, since many of the colors are blue-green and the "this is blue" or "this is green" is essentially a random choice.
102.
by devit 2y ago
I wonder what's the complexity class of the problem of deciding if it is solvable in a given number of moves?
103.
by devit 2y ago
Interactive use definitely wants the best model possible so that you have a higher chance of getting a correct and useful response. It might be hard however to decisively convince people that one model is significantly better than another t
104.
by devit 2y ago
<<Instead, Claude describes and discusses the image just as someone would if they were unable to recognize any of the humans in it>> Why? This seems really dumb.
105.
by devit 2y ago
Using the rocket equation, it is possible to compute the ratio between the $kg launch cost and $/kg material sell price that would make it economical. Based on my calculations, with optimistic assumptions (including the asteroid being
106.
by devit 2y ago
I think that in principle one could tag the training set with "source" tags and express weights as a sum of subweights for each source tag; during backpropagation, the overall weight and subweight for the training sample would be
107.
by devit 2y ago
Seems pretty dubious to do this without adding support for having both 4KB and 16KB processes at once to the Linux kernel, since it means all old binaries break and emulators which emulate normal systems with 4KB pages (Wine, console emulat
108.
by devit 2y ago
Very unlikely that a half page proof of P!=NP is correct. Please provide a formalization of your argument in any widely-used theorem prover (I'd recommend Lean) configured with options widely accepted to be sound. BTW, the argument see
109.
by devit 2y ago
It would be nice to have some competition. Right now basically you are forced to buy a Pixel phone, because if you don't buy an iOS or Android device you don't have apps, if you buy an iOS device you lose your freedom, and if you
110.
by devit 2y ago
It seems it's an invalid encoding if I understand the article correctly. There seems to be some debugging utility in such a mechanism, e.g. you could use it to run CPU tests, benchmarks or debug code in userspace of a stock OS and then
111.
by devit 2y ago
Could this a debugging instruction that was mistakenly left enabled in production or possibly even an intentional backdoor? Most modern ISAs like RISC-V provide no way of directly accessing physical memory regardless of privilege (you have
112.
by devit 2y ago
I think a study like this is mostly worthless. The issue here is that humans are a combination of their natural state (how they would be if they were raised with no contact, direct or indirect, with society) and social conditioning (the sys
113.
by devit 2y ago
> But the method itself has still got a much slower throughput than a tracing GC, when used in a similar manner That is correct, but the issue is not with reference counting, but rather with having unnecessary extremely frequent RC/
114.
by devit 2y ago
That's because, unlike Rust, those languages with RC would have a lot of unnecessarily refcounted objects because they don't have value objects, do a whole lot of useless reference count updates because they don't have borrow
115.
by devit 2y ago
What do you mean? Assuming you use a set of slabs of fixed size objects and keep free objects in a linked list, both malloc and free are trivial O(1) operations. Destructors with cascading deletions can take time bounded only by memory allo
116.
by devit 2y ago
You can, but it turns out that, as one may intuitively expect, a GC is never needed unless implementing a VM for a GC-based language or an API that required GC like fd passing on unix domain sockets, and those generally want an ad-hoc GC in
117.
by devit 2y ago
Is there a reason why game developers can't just sell a key on their website using Shopify/WooCommerce/etc. and distribute the game files publicly via a CDN? Assuming they can get their game discovered via some sort of non-st
118.
by devit 2y ago
You can use kexec to load a different Linux kernel from a Linux kernel. Probably slower and perhaps less compatible than using GRUB though.
119.
by devit 2y ago
Is this actually better than just putting in dry ice? It seems that dry ice has 571 kJ/kg latent heat at -78.5 C sublimation, while lithium batteries have around 250 Wh/kg = 900 kJ/kg, but with batteries you have the extra we
120.
by devit 2y ago
Locking doesn't result in deadlocks, assuming that it's implemented properly. If you know the set of locks ahead of time, just sort them by address and take them, which will always succeed with no deadlocks. If the set of locks is

More ›