skavi

5 ms·

1.
by skavi 5d ago
Houthis use engineering and education to develop guided weapons
2.
by skavi 6d ago
All reasonable pain points. On the "Cargo fuckery" though, you might consider switching to an alternate build system like Bazel. Comes with its own set of issues (rustc isn't tied to Cargo, but the third party ecosystem defin
3.
by skavi 7d ago
That design was explored years ago with earlier foldables. The market consolidated on the two screen design pretty early. not entirely sure why, but i’d guess there were durability concerns with the screen wrapping around the edge. might ha
4.
by skavi 8d ago
not really your point, but "If you're smart enough to solve this Navier-Stokes problem, you're smart enough to read a TOS" isn't really true. people are smart in very different ways.
5.
by skavi 8d ago
Under this framework, Rust's async fns would not be colored, since any function in the callstack could be blocking on an executor. if you consider "spawn point" a part of the callstack, many other languages are similar. This
6.
by skavi 13d ago
seems not as great for consumer software in uncontrolled environments. static allocation means the application hordes memory that the OS should probably be able to provide to other processes. constant work probably leads to higher average p
7.
by skavi 19d ago
> Please report user interface bugs using GitHub issues. We are aware that the menus require a long press on iPhone/iPad (and maybe Android) and we are working to fix that. in case anyone else didn’t notice this. wonder how that got
8.
by skavi 23d ago
This was super fun. Dude’s been on an absolute tear recently.
9.
by skavi 24d ago
this one actually did get me typing faster. and also helped me get over my desire to look at the keyboard. it’s been a while since I used it but I recall it being good at targeting certain patterns that you struggled with.
10.
by skavi 26d ago
Waiting for RA to build up the full in memory data structure for a large workspace is so painful. Honestly, I'd just assumed that was the only way and didn't realize Rust Rover was different. Does anyone have experience using that
11.
by skavi 1mo ago
is that a distinct process from DRAM training?
12.
by skavi 1mo ago
MLIR is more a library for building a compiler than a compiler itself IIUC. LLVM can be thought of similarly, but IMO, it's more self contained.
13.
by skavi 1mo ago
I'd assume Mojo does more complex transformations at the MLIR level than Rust does at its MIR level.
14.
by skavi 1mo ago
I wonder if there's any way to get this to plan out a dag of tool calls? i.e. use the results from earlier calls as the parameters to later ones? I tried introducing a stack based system, but gave up pretty quickly.
15.
by skavi 1mo ago
can you support those claims?
16.
by skavi 1mo ago
why does involvement with EA imply being ethically challenged? i’m personally not involved, but on its face it seems better than not doing any kind of charitable work.
17.
by skavi 1mo ago
https://www.pangram.com/history/125358dc-9f80-4fe2-8540-85a9...
18.
by skavi 2mo ago
an unprompted LLM would not incorrectly add spaces on either side of their em dashes.
19.
by skavi 2mo ago
> The real trick is to do demand-driven compilation starting from the actual final program's needs this is not so far off from hint-mostly-unused, no?
20.
by skavi 2mo ago
Wow this is a really excellent and comprehensive overview. Just to calibrate my own intuition, would anyone who was mostly unfamiliar with these concepts be able to weigh in on how much of this post they grokked?
21.
by skavi 3mo ago
it would suck if Chinese tech advanced medical care faster or made it cheaper.
22.
by skavi 3mo ago
On the earliest web archive snapshot I can find [0], I do not see any mention of the safeguard/sabotage under discussion [1]. And to be clear, this isn't the safeguard where the model is explicitly downgraded to Opus, but rather w
23.
by skavi 4mo ago
This is discussed in the post.
24.
by skavi 4mo ago
see Windows Subsystem for Linux and Windows Subsystem for Android.
25.
by skavi 4mo ago
https://news.ycombinator.com/item?id=48029540
26.
by skavi 5mo ago
(2017)
27.
by skavi 5mo ago
i assume it does not have the same goals wrt hermeticity as nix?
28.
by skavi 5mo ago
where does this fit in with make, just, nix (devshell, devenv, ...), direnv, etc.
29.
by skavi 5mo ago
i’ll take 3. we can be boring together
30.
by skavi 5mo ago
doesn’t really feel like that much tbh

More ›