rurban

5 ms·

1.
by rurban 3d ago
My rcc C compiler has a compile-time contracts and range/interval prover also. Needs -O3. For full formal proofs it's easier to use cbmc or esbmc though
2.
by rurban 6d ago
Formerly called Windsurf. https://devin.ai/blog/windsurf-is-now-devin-desktop This should ring a bell
3.
by rurban 7d ago
https://sound.orf.at/podcast/oe1/oe1-journale---gehoert-vert... [german] I'll take the expert Oberst Markus Reisner from the Austrian Army over anyone else.
4.
by rurban 7d ago
They are holding the lines with drones alone nowadays. That's why it's called the deathzone, no humans survive. Some drones have FPV operators, some weapons use AI only already.
5.
by rurban 7d ago
Didn't you follow the robotics advances in the Ukrainian - Russian battlefield? There is now a death zone of 50km, only controlled by drones and automatic weapons.
6.
by rurban 8d ago
Only lunatics would do it on CPU's though. They'd use their GPU cluster, with custom SW (not yet online). RSA-1024 would cost about a week then.
7.
by rurban 8d ago
RSA-1024 about 2000 GPU years. With clusters of size 100k typical right now. https://x.com/sweis/status/2095570657367278051 Consider it broken already for AI or NSA guys
8.
by rurban 8d ago
.
9.
by rurban 9d ago
It wont get better with a replacement. Look at all the other big tech companies, it only gets worse. Split it up as with AT&T Bell or Standard Oil, or stop complaining.
10.
Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency(arxiv.org)
2 points by rurban 9d ago|0 comments
11.
by rurban 10d ago
Helmut is from Graz, Austria, as myself. Definitely not German
12.
by rurban 15d ago
Sonnet-5 does the same
13.
by rurban 15d ago
Side-channel ignorance: none of the SW solutions are properly zeroing the data. Side-channels can still read them. SW vendors refuse to do that because of performance. Clearing the caches is too expensive.
14.
by rurban 15d ago
I had to tag bogus CVE's with invalid_cve, but I didn't care to complain to MITRE 3 times to get the CVE's rejected. That's not worth it. Eg people were filing CVE's against unreleased versions, and such.
15.
by rurban 15d ago
Battle tested and tested to hell, maybe yes. But still horrible insecure architecture, with read-only access being able to write. And totally insecure full text search. https://github.com/rurban/hardsqlite
16.
by rurban 15d ago
With the 2nd end being duplicated to the NSA? They got their own keys now. Hardly better
17.
by rurban 17d ago
Unsafe identifiers, prone to homoglyph attacks. No TR39 provisions. Worse than rust or Java. https://strawberry9.github.io/the-wrong-memory/Appendix_06.h...
18.
by rurban 19d ago
2 Ukrainian Antonovs made it to Germany, Leipzig, and are doing well flying weapons in
19.
by rurban 19d ago
whichllm sucks. It only recommends gguf models, and llama.cpp is not supported. fitmyllm is much better
20.
by rurban 19d ago
Immediate material for my AGENTS.md not to use such phrases in docs or comments. Very useful
21.
by rurban 19d ago
No, they decided only on support for the Kurdish PKK, which is only under right-wing states a terrorist org. Everyone knows they are not one for decades.
22.
by rurban 20d ago
Oh my, locks! This is not concurrency safe then.
23.
by rurban 20d ago
Certainly not the first. I've worked on such a robot two year ago already
24.
by rurban 20d ago
So has the rust parser already the ticket to fix parsing Austria, the UAE and Japan? I see dozens of Rust ASN 1.1 parsers
25.
by rurban 20d ago
prehistoric is not needed. Just a few years ago >10.000 died in similar floods just there if I remember correctly
26.
by rurban 20d ago
No. I wrote my integrated linkers with rcc for pe/coff, elf and macho by myself, and macho was the worst to be dealt with. elf was pretty easy, easier than pe/coff. Mine is also much faster than mold/wild, because I do much l
27.
by rurban 21d ago
"How I Find Problems to Solve as a Staff Engineer": As Staff Engineer you don't get the ability to choose problems to work on, the problems will find you. But as he later explains, he needs to decide on some typical app maint
28.
by rurban 21d ago
Are there any security relevant international domain names, which require punycode? That's the real security problem: dont use IDNA 2003 for anything security relevant. redirect to an ASCII domain.
29.
by rurban 23d ago
There is a jit branch, but not in master.
30.
by rurban 23d ago
I have a completely different view on that. Maybe because I work with harnesses for decades already. The perl test suite is called harness. It's a build and test system, which makes it easy to test and run all supported platform and co

More ›