wucke13

6 ms·

1.
by wucke13 4mo ago
> I pay 0% capital gain tax and use a broker with nearly 0 fees which allows me to rotate for free (almost) How so?
2.
by wucke13 4mo ago
Software distribution for Linux can be hard. Many distros, different conventions, no FHS is long forgotten, ... However, Xilinx Vivado and Vitis are so obtusely distributed, making it incredibly hard to package them well. Three random issue
3.
by wucke13 11mo ago
My take: containers forced devepopers to declare various aspects of the application in a standardized, opinioated way: - Persistant state? Must declare a volume. - IO with external services? Must declare the ports (and maybe addresses). - C
4.
by wucke13 1y ago
For the seL4 proofs a subset of C was formalized, for example. (Already mentioned) CakeML would be another example, together maybe with its Pancake sibling. Also: WebAssembly!
5.
by wucke13 1y ago
That's pohibitively expensive in the general case when external input is used and/or when arithmetic is used on the values (main differerence to sum-types).
6.
by wucke13 1y ago
I know quite some people in the safety/aviation domain that kind of dislike the subranges, as it inserts run-time checks that are not easily traceable to source code, thus escaping the trifecta of requirements/tests/source-co
7.
by wucke13 1y ago
Neither the Rust nor the Ada spec is formal, in the sense of consumable by a theorem prover. AFAIK for Ada Spark, there is of course assumptions on the language semantics built-in to Spark, but: these are nowhere coherently written down in
8.
by wucke13 1y ago
I think what parent was about is open vs. closed loop control, not fly-by-wire or not. Both their and your point stand of course.
9.
by wucke13 1y ago
I have dedicated a large chunk of my (arguably short) professional career on improving upon this, mostly in the safety critical software domain. What was your experience back then, what made you leave ultimately, and what do you do now?
10.
by wucke13 1y ago
Rust in particular with miri is quite impressive at catching them. You just run your testcases via cargo miri run And if your code actually touches UB, mirei will most likely point out exactly where and why.
11.
by wucke13 1y ago
It doesn't necessarily, but it can. Genode/SculptOS is kind of a microkernel OS framework, and it can use seL4 as the kernel. Here is a talk about that porting effort: https://m.youtube.com/watch?v=N624i4X1UDw
12.
by wucke13 1y ago
Gernot Heiser would strongly disagree with you on the last one :D
13.
by wucke13 1y ago
I'm not so sure, I thought "patch" originated from hole punching cards to program stuff. A software patch was literally a patch of tape that hides an errorneously punched hole in such a card. The term patch-cable seems to be
14.
by wucke13 1y ago
https://www.pe0sat.vgnet.nl/sdr/iq-data-explained/ This is an excellent introduction to the concept and also to the why complex numbers are used to represent signal samples.
15.
by wucke13 1y ago
Is this in effect introducing algebraic effects by concept? E.g. the io passed in is an effect handler, and it is the effect handler's choice whether to perform stack switching (or other means of non-blocking waiting) to enable asynchr
16.
EasyTier – P2P mesh VPN written in Rust using Tokio(easytier.cn)
158 points by wucke13 1y ago|51 comments
17.
by wucke13 1y ago
This seems to go into a similar direction like ZeroTier, but actually open source. There is almost no discussion of this in the western hemisphere, but I'd be interested what people think about it.
18.
by wucke13 1y ago
When I first read the examples, besides my laughter, I felt a similar disconnect im the semantics of the chosen German words. Thank you for you suggestions, I agree with all of them, they are better indeed IMHO.
19.
by wucke13 2y ago
I think ZMK (available on the Nice!Nano) does exactly that already?
20.
by wucke13 2y ago
Would the Paris Climate Agreement not qualify as a treaty?
21.
by wucke13 2y ago
Tangentially relevant: Gernots list of benchmarking crimes. https://gernot-heiser.org/benchmarking-crimes.html
22.
by wucke13 2y ago
> you can pass integers and pointers around No, not even that (the second thing, passing pointers)! WASM has a different address space (starting from 0), effectively indexing into the WASM module's linear memory. A pointer/refe
23.
by wucke13 2y ago
Note to self and others: please don't plug in/out a TRRS into your keyboard while it's powered. The TRRS usually shortens pins during insertion/removal, which can damage your keyboard. Most keyboard designs do not proper
24.
by wucke13 2y ago
As in?
25.
by wucke13 2y ago
The nixpkgs have a rather elegant way to deal with that. Let's presume you need a libpng for an armv7 platform, such as an old RaspberryPi. Then Nix allows you to - get a suitable cross compiler toolchain - pick whether you want dynami
26.
by wucke13 2y ago
For a local databus it has been relatively unimportant. However, there are radio data links in/out of the aircraft. The scope of data for these links is quite limited today, but likely to grow significantly in the future. There cryptog
27.
by wucke13 2y ago
The observation that ARINC 429 can be tapped, and that an active wiretap can alter data on the bus is of little surprise. The technological challenge is not high, the bus is comparable to a serialport at ~115200 baud. Considering that the t
28.
by wucke13 2y ago
Which almost reads as a cautionary tale about mechanisms like Dust's `unsafe`. Not necessarily the specifics of the Rust, but the overall idea of having a safe (by whatever means) sunset of operations and and additional unsafe operatio
29.
by wucke13 2y ago
Asbestos is super inert, which made it a very nice material for many applications. However, mechanical interactions of small particles with cellular matter can still cause health issues if I understand correctly. And this is, what the whole
30.
by wucke13 4y ago
One of the people involved works for the MPI as a crypto researcher, however the project itself was funded by NLnet

More ›