gue5t

12 ms·

1.
by gue5t 20d ago
At first, I was annoyed by having to read AT&T syntax. Then I was disoriented by realizing the next snippet was in AT&T syntax without the '%' sigil for registers. But the technique is cool.
2.
by gue5t 9mo ago
It's a MediaTek SoC, so the Linux experience will be Bad to say the least. This thing will be running the oldest kernel possible with all kind of nasty vendor hacks.
3.
by gue5t 1y ago
It seems like this is grasping for languages to expose recursors[1] or induction principles. These factor out the structure of an inductive type (e.g. trees) and leave the caller to simply plug in the behavior to perform for each possible s
4.
by gue5t 1y ago
The Gruen transfer seems to make use of confusion or disorientation upon entering a new physical space. On the other hand, the phenomena described here with data search implementations (e.g. a feed) intentionally returning things that were
5.
by gue5t 2y ago
Personally I've been inspired by nnethercote's logs ( https://nnethercote.github.io/ ) of incremental single-digit percentage performance improvements to rustc over the past several years. The serial portion of comp
6.
by gue5t 2y ago
I concur. I looked pretty hard into adapting Serf as part of a custom service mesh and it had some bonkers designs such as a big "everything" interface used just to break a cyclic module dependency (perhaps between the CLI and the
7.
by gue5t 2y ago
Having done some nontrivial Bazel/Starlark hacking, I completely agree that lightweight static types would be a good usability improvement. But I want to point out that Starlark is actually not Turing complete, which is imo one of the
8.
by gue5t 3y ago
This is one of the ways you can tell if an INTERCAL implementation is worth its salt.
9.
by gue5t 3y ago
These types don't seem to escape the scope of what can be described with algebraic types, but the relationships between them seem like you're looking for a notion of type-level functions: subset ≡ X => 2^X, partial ≡ A×B =>
10.
by gue5t 3y ago
One interesting perspective is to view the sequence of lists -> trees -> DAGs -> general graphs as a loosening of restrictions: - list nodes may have one child - tree nodes may have multiple - DAG nodes may have multiple parents th
11.
by gue5t 3y ago
There are a few ways to handle this design question ("what happens if something needs to interact with a process while it's blocked in a system call?") more or less sanely, and UNIX chooses the least sane one (making userspac
12.
by gue5t 5y ago
My experience attempting to contribute to Manjaro (fixes to packages including some without with which packages simply hung when being built interactively, as they depended on stdin being EOF as it is in their CI environment) was met with n
13.
by gue5t 5y ago
"LINEAGEOS, UBUNTU TOUCH or ANDROID" is a euphemism for "we did not do the important, hard work of upstreaming drivers". This phone might be perfectly nice, but it's a "Linux phone" in a marketing sense on
14.
by gue5t 5y ago
You're right... what an annoying namespace collision. On the other hand, stylizing software as Initial Caps is much more acceptable than stylizing non-software acronyms that way, so it would still be less misleading to change the capit
15.
by gue5t 5y ago
Yes; see also the vellvm project, which develops proofs of a number of the equivalences LLVM uses: https://www.cis.upenn.edu/~stevez/vellvm/
16.
by gue5t 5y ago
Please change the posting title to match the article title and disambiguate between APT (Advanced Persistent Threats, the article subject) and Apt (the package manager).
17.
by gue5t 6y ago
You're completely right, of course. Seeing the amount of effort put into virtualization, sandboxing, containers, etc. is enough to make one wonder why every enterprise is so shortsighted. Capabilities obviate all of the above, and are
18.
by gue5t 6y ago
This is usually true but I couldn't find any record of an actual published version in proceedings anywhere. On the other hand, a related paper on the same system by a subset of authors is available: http://dl.acm.org.sci-hub
19.
by gue5t 6y ago
The solution to this situation, as I understand it (on Linux), is TASK_KILLABLE, which effectively supercedes uninterruptible sleep as a concept: https://lwn.net/Articles/288056/ But TASK_KILLABLE is not used in m
20.
by gue5t 7y ago
What structure does an algebra require to merit the name? I've been confused by examples such as the "algebra of a monad", which as I understand it arises from adding an "unwrap" operation in addition to monadic &qu
21.
by gue5t 8y ago
The point of the Librem 5 is not to make the most popular possible phone, it's to make a better phone than what is currently available. Markets only matter to capitalists. Real hackers share with each other to make things happen that
22.
by gue5t 8y ago
Not all games rely on the behavior of the renderer on sharing vertices with the previously-drawn mesh. It seems like a pretty unlikely thing to do.
23.
by gue5t 8y ago
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/cuda/extras/CUPTI/lib64 Reboot and cross your fingers. Rebooting will terminate the process tree in which the environment has been modified, makin
24.
by gue5t 8y ago
Yes, given no context one assumes serial computation, where work and depth are identical. An O(log n)-work parser would be astounding, because it's impossible--it would have to ignore effectively all of the input. This isn't click
25.
by gue5t 8y ago
Yep. I think the site is in a tragic place, but it's not for a lack of technical articles (or I'd submit them) but instead for cultural reasons (the majority of the userbase doesn't want HN to be a purely technical forum). Ch
26.
by gue5t 8y ago
Glad to be able to upvote an article like this. The prevalence of articles about things that aren't software or hardware hacking, combined with the site's increased popularity lowering the bar for technical content to be considere
27.
by gue5t 8y ago
The campaign one.
28.
by gue5t 8y ago
In the context of Rust, unsafe does not mean incorrect or vulnerable to memory unsafety. Unsafe refers to code whose memory safety has not been proven (by the compiler's static analysis based on ownership and lifetimes, given the assum
29.
by gue5t 8y ago
$ mpv --vo=drm *.gif
30.
by gue5t 8y ago
How is it possible to "use" a domain name without owning it? More specifically, which mentions count as "uses"?

More ›