kldx

9 ms·

1.
Tell HN: Beeper deletes inactive accounts without notice
4 points by kldx 8mo ago|1 comments
2.
by kldx 1y ago
https://github.com/francoismichel/ssh3
3.
by kldx 1y ago
Let me try providing a different perspective based on experience. QUIC works amazingly well for _some_ kinds of machine to machine traffic. ssh3, based on QUIC is quicker at dropping into a shell compared to ssh. The latency difference was
4.
by kldx 1y ago
QUIC v1 does encrypt the SNI in the client hello, but the keys are derived from a predefined salt and the destination connection id. I don't see why decrypting this would be difficult for a nginx plugin.
5.
by kldx 1y ago
> For example, instead of a power function that uses a loop, you could generate specialized code like x * x * x * x * x directly. This eliminates runtime overhead and creates highly optimized code. Could anyone explain to me how this is
6.
by kldx 1y ago
Wondered about the same thing. Perhaps the author deals with graphs with no side effects or branches? It would then trivially become CSE on a single basic block. SSA transformations are essentially equivalent to what the author appears to b
7.
by kldx 2y ago
Can anyone suggest simple to implement algorithms for SSA destruction? I find Cytron's destruction easy (paired with copy propagation), but the more recent ones are difficult to implement directly from the papers.
8.
by kldx 2y ago
I like Aria's writing about this https://faultlore.com/blah/swift-abi/ .
9.
by kldx 2y ago
I am doing it this year with haskell. My C++ alter-ego (ab)used Data.STRef in the previous years so I am trying to do it idiomatically this time.
10.
by kldx 2y ago
Apologies, I mean $rax
11.
by kldx 2y ago
Aren't we paying for Result types every time it's used? A result of a 64 bit value wouldn't fit into $eax for example (I understand there are exceptions to this rule through invalid bit pattern optimizations)
12.
by kldx 2y ago
Cargo workspaces do not support compiling two subprojects for two different targets in a single build invocation. The workaround was (still is?) to use each subproject as a standalone project just for builds. The dependency between these ta
13.
by kldx 2y ago
In the embedded space, rust works great for riscv on ESP chips
14.
by kldx 2y ago
I like MegaParsec in haskell quite expressive, based on my limited experience using nom in Rust
15.
by kldx 2y ago
Adding some context here - TBane stations (the subway) in Oslo have posters that show live videos - usually static images with dynamic attention-grabbing effects but sometimes full blown videos too.
16.
by kldx 2y ago
No, I agree with your remark completely but I'm still ambivalent about the tradeoff. We agree there should at least be one medium of advertising for political parties. But where do we draw the line? For instance, I would be happy with
17.
by kldx 2y ago
How are TV ads any different from MDG posters or the AP ads at bus stops? We allow the latter in Norway and they're not that much cheaper than TV ads.
18.
by kldx 2y ago
How common is enforcement in these situations? What happens if a 900MHz baby monitor continues to be used after this chunk of the spectrum is privatized?
19.
by kldx 2y ago
Thanks for the clarification, I stand corrected. I really hope they open source their new android client - they are lacking tons of features I'm used to from the element-based android client.
20.
by kldx 2y ago
That might explain why Beeper moved away from the fork of the android Element client. I assume they are running a fork of Synapse as the backend as well.
21.
by kldx 2y ago
Sorry, I am not very familiar with the .NET ecosystem. Are you refuting any of their points?
22.
by kldx 2y ago
https://isdotnetopen.com/
23.
by kldx 2y ago
> Everything is so financialized that most people will die not knowing what a strawberry tastes like. That's dystopian. It's true for almost all basic needs and that makes me sad. Most people would die not tasting great drinkin
24.
by kldx 2y ago
The estimates appear to match what notebookcheck[0] reports on their measurements - 4.4W idle average. With some tuning[1] and turning off unused peripherals, I expect to go below 4W idle. [0] https://www.notebookcheck.net/L
25.
by kldx 2y ago
Trusting the Thinkpad spec sheet numbers, an AMD T14s lasts >15hrs in one of the benchmarks on a 57Wh battery. That's less than 4W. Perhaps on Linux and with some tuning, it seems plausible to get to 3W?
26.
by kldx 2y ago
If you don't mind, can I ask you a few questions about your tooling? I work in rust verification and would be interested in hearing about how industry uses verification techniques.
27.
by kldx 2y ago
You're right. That's why the US has skilled worker streams to obtain work permits. For those with extraordinary abilities, the process is arguably quicker. These streams are oversubscribed with talent from other countries so the U
28.
by kldx 2y ago
> We're not that many. We already allow freedom of movement from countries within the EU, whose population sizes are an order of magnitude more than ours. Yet the amount of paperwork it takes for a US citizen to work here is fairly
29.
by kldx 2y ago
VCLLVM was presented at ETAPS 2024. The goal is to compile both languages and specifications to LLVM IR.
30.
by kldx 2y ago
They could however do a restructuring, eliminating the exact role one's skillset matches. You get a couple of months of notice period which is no different from a severance package.

More ›