kldx

https://github.com/francoismichel/ssh3

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 clearly visible.

QUIC with the unreliable dgram extension is also a great way to implement port forwarding over ssh. Tunneling one reliable transport over another hides the packer losses in the upper layer.

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.

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 different from templates or parameter pack expansion in C++? I can see the constexpr-ness here is encoded in the type system and appears more composable, but I am not sure if I am missing the point.

I looked at the paper but I can't find anything related to C++.

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 be doing in terms of let-bindings [0].

[0] https://dl.acm.org/doi/10.1145/278283.278285

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.

I like Aria's writing about this https://faultlore.com/blah/swift-abi/.

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.

Apologies, I mean $rax

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)

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 targets is now expressed by the Makefile invoking cargo. This also breaks IDE integrations because your IDE does not know how to ask cargo to pick the right target for each workspace member.

Bazel makes this consistent with platforms [0]. I have not used bazel with Rust but it worked fine for my multi-target C++ builds.

[0] https://bazel.build/extending/platforms

In the embedded space, rust works great for riscv on ESP chips

I like MegaParsec in haskell quite expressive, based on my limited experience using nom in Rust

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.

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 making all ads plain text, standard font and size so that the ads won't abuse human attention by showing bright colors, happy images etc.

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.

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?

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.

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.

Sorry, I am not very familiar with the .NET ecosystem. Are you refuting any of their points?

https://isdotnetopen.com/

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 drinking water or enjoying uninterrupted electricity we take for granted.

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/Lenovo-ThinkPad-T14s-G3-AMD-la... [1] https://docs.kernel.org/admin-guide/pm/amd-pstate.html

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?

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.

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 US isn't immediately pressed to create a special visa stream for Norway specifically.

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 high. They also don't get any unemployment benefits as long as they are on a work permit because of NAV's rules.

Why should the US offer us more than what we offer them?

VCLLVM was presented at ETAPS 2024. The goal is to compile both languages and specifications to LLVM IR.

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.

Thank you for sharing your experience. I wonder if there's a course for non-medical professionals about common symptoms and what to look out for. My high school didn't offer one.