HALtheWise

7 ms·

31.
by HALtheWise 2y ago
The name is very intentional, this isn't "AI's Last Evaluation", it's "Humanity's Last Exam". There will absolutely be further tests for evaluating the power of AIs, but the intent of this benchmark i
32.
by HALtheWise 2y ago
It sounds like one function in libmodem accepts a pointer to a configuration struct, then stores that pointer (or an interior pointer from within it), which is then later used by another libmodem function later. If all of libmodem were wr
33.
by HALtheWise 2y ago
One example that comes to mind is the (abandoned) proposal for safe arena allocation in Go. It takes advantage of the fact that 64 bit computers have absolutely massive virtual memory, so that "freed" memory can be permanently unm
34.
by HALtheWise 2y ago
No, because Apple doesn't have the private key of the account holder, and so can't see which rotating codes are associated with that account holder since it's all encrypted.
35.
by HALtheWise 2y ago
If you're looking for a polished way to manage a stacked-PRs workflow with git and GitHub, I highly recommend Revup. It was invented at Skydio when I worked there, and quickly developed a cult following among engineers there. I wouldn&
36.
A 10x speedup for Cloudflare Queues(blog.cloudflare.com)
28 points by HALtheWise 2y ago|0 comments
37.
by HALtheWise 2y ago
In this case, the modules contain native code compiled for the target architecture. Micropython has something approximating a dynamic linker to load them. https://docs.micropython.org/en/latest/develop/natmod.
38.
by HALtheWise 2y ago
There's a research paper form available. http://tom7.org/papers/murphy2022harder.pdf
39.
by HALtheWise 2y ago
For a SIMD architecture that supports scatter/gather and instruction masking (like Arm SVE), could a compiler or language allow you to write "Scalar-style code" that compiles to SIMD instructions? I guess this is just auto-ve
40.
by HALtheWise 2y ago
Revup does a good job of integrating tree-of-PRs workflows into GitHub, and is also designed so that one developer can use it in a way mostly transparent to reviewers or their colleagues. I _think_ that Revup + Reviewable.io would match muc
41.
by HALtheWise 2y ago
Due to quantum physics, there's actually only two degrees of freedom in the ways light can be polarized, referred to as the "Jones Vector". In other words, it's impossible even in theory to distinguish between light that
42.
by HALtheWise 2y ago
Presumably cmp.Or is short enough that it will usually be inlined by the compiler, at which point any side-effect-free calculations can be short circuited. I don't know in what circumstances cgo actually will perform both of those opti
43.
by HALtheWise 2y ago
I'm curious if you know what, at a switch level, would actually cause drops and buffering for a 1:N (near-) saturated multicast flow. If all the packets are coming from the same source machine at (perhaps) 9.9Gbps and flowing into the
44.
by HALtheWise 3y ago
FYI, Romotive became Zipline, and is now (one of the) most successful drone delivery companies. It's a wild pivot story.
45.
by HALtheWise 3y ago
This may be a silly question, but shouldn't the attitude thrusters still be restartable?
46.
by HALtheWise 3y ago
What the woman did was definitely brave, but I'm not yet convinced it was smart or necessary. The article gives her credit for "saving" the kid, but it also sounds like the baby was essentially unharmed and would have been fi
47.
by HALtheWise 3y ago
Anime is a $25B industry in terms of revenue , but that doesn't actually imply anything in particular about whether there's any profit in it. I see people make this sort of mistake all the time, and it bugs me. In this particular
48.
by HALtheWise 3y ago
I'm curious how this interacts with language selection. In particular, it looks like most of the programming languages in widespread use in 1974 were all relatively efficient compiled and statically typed languages (Fortran, cobol, C)
49.
by HALtheWise 3y ago
It could also be they're talking about the hc-tree branch https://sqlite.org/hctree/doc/hctree/doc/hctree/index.html
50.
by HALtheWise 3y ago
After investigating, it looks like there's actually two separate things here: "bedrock" for accessing the sqlite database over the network and "page-level locking" for allowing concurrent write transactions. https:
51.
by HALtheWise 3y ago
> I also tried putting my phone in a (turned off!) microwave, but this did not work either, it was still connected to the Wi-Fi access point. Apparently modern wifi chips are just too good at picking up faint signals.
52.
by HALtheWise 3y ago
As I see it, ASTS is perhaps ahead on the antenna technology demonstration, and SpaceX is definitely ahead on deployment at scale (i.e. SpaceX launched six satellites just now, ASTS has launched one afaik). Which of those metrics is "m
53.
by HALtheWise 3y ago
Nitpick: 0.3% will be outside three standard deviations to either side, with 0.13% above and 0.13% below.
54.
by HALtheWise 3y ago
Using the standard definition of IQ (mean 100, std dev 15), 145 is +3 standard deviations, so that should be in the top 0.135%, which is consistent with the 2-3 students per career number. I'm not sure where the article got the 1.3% nu
55.
by HALtheWise 3y ago
I've wondered whether it would be possible to design a language with the explicit intent of being a decompilation target, such that you could guarantee that any program could be decompiled into it and then subsequently re-compiled with
56.
by HALtheWise 3y ago
The beauty of this method is that it doesn't matter. Even if YouTube generated sequential IDs, the researchers could still sample them fairly by testing random numbers.
57.
by HALtheWise 3y ago
I initially read this as referring to human-driven vehicles as substandard, falsely-advertized, and snake-oil, which... Fair... For what it's worth, as a pedestrian walking around SF late at night I absolutely do trust Waymo more than
58.
by HALtheWise 3y ago
This seems like an argument that you should be more worried about getting in a Waymo if there is a safety driver than if there isn't . If so, that would definitely be an interesting conclusion.
59.
by HALtheWise 3y ago
In my experience, getting stuck in the middle of the street is >90% a Cruise problem and <10% Waymo.
60.
by HALtheWise 3y ago
I'm not sure why you think rails are safer than rubber tires. Metal-on-metal contact has way less friction, which makes for much worse stopping distance and worse safety especially at crossings. Having grade-separated dedicated infrast

More ›