@prologic Yep, thatโs what Iโm going for. ๐ I mean, I donโt want to make an exact clone, just catch some of the DOS vibe.
And editing bytes as a binary number: https://movq.de/v/4c3617bbd1/vid-1778939973.mp4
I donโt need this feature that often. Maybe it would be nice to have a live-preview of the new value in hex/dec. Weโll see.
This is probably a better demo: https://movq.de/v/71218c59b2/vid-1778924229.mp4
@lyse LOL! Thatโs brilliant. (Weโre going back to that. Some Amazon employees probably already are.)
So, it's plenty good enough for them.
Yeah, but on the other hand, you canโt even log in normally to a Matrix/Element account. I mean using username + password. Itโs not expected that you ever log out or lose your browser session. If you do, you must use a one-time backup code (that you must create and save beforehand) to log in again.
To be fair, I canโt say that I fully understand what Matrix is doing in the first place. The text that I quoted reads like they have your keys. But they also claim that they only store this stuff encryped: https://element.io/en/help#encryption5 So โฆ encrypted with what? Only option here is my password, isnโt it? (But if my password was good enough to reclaim an account โฆ why do all the other stuff โฆ)
Matrix takes end-to-end encryption seriously. When I ran a Matrix server for the family, the family members would regularly lose their keys, because they didnโt pay attention to something. Thatโs on purpose! Or rather, that was on purpose. Maybe itโs different these days?
No clue.
Forgot the source: https://hachyderm.io/@robpike/116557975987213548
@lyse Die Holgi-Sachen sind auch so das einzige, was ich noch mehr oder weniger regelmรครig hรถre (und mit Spenden versehe). Die langjรคhrige Radio-Moderator-Erfahrung, die da drinsteckt, ist einfach Gold wert. โจ
@bender I misread that sentence and thought that your first crush was called Gisela, and was like โwait, heโs not that oldโ.
Turns out, Gisela is a much younger name than I thought:
https://namecensus.com/first-names/gisela-meaning-and-history/
A peak in the late 1970is and late 1990ies? What?
But then it turned out that, in Germany, the popularity dropped rapidly in the late 1950ies, which actually matches my expectations:
https://www.beliebte-vornamen.de/5203-gisela.htm
In other words, some other countries picked up the name Gisela after it had already faded away in Germany.
What a fun rabbit hole. ๐
@lyse Yep, this was a big oopsie at DENIC:
@bender Itโs been a while (6.5 years) since Iโve done this. Iโd do it like this:
- Boot some Linux from a USB stick on the new machine. Preferably Arch Linux, since that is what Iโm running and thatโll make the upcoming chroot easier.
- Partition the new disk, create LUKS devices, filesystems, โฆ
- Mount the new filesystems and copy all data (user data and the system itself โ everything). Do this either over the network or by hooking up the old disk directly.
- chroot into the new system (Arch has an
arch-chroottool for that which is used during normal installation, if Iโm not mistaken). Inside the chroot, install the bootloader. - Do some fixups, like adjusting
/etc/fstabor/etc/crypttab.
And I think that should be it. ๐ค
@lyse These days (and itโs been like that for a while), almost everything is loaded on-demand depending on which hardware the OS finds, so you can simply copy all your files with cp -a, install a bootloader, adjust some minor things /etc/fstab, done. Well, maybe not โdoneโ, but itโs easy to sort out the remaining stuff afterwards.
Iโve moved the Arch installation at work from a stationary Dell workstation to an Acer laptop to a Lenovo Carbon laptop to a Tuxedo laptop to a Lenovo Thinkpad. ๐
Yeah, the keyboard of the netbook isnโt all that great, but I have to say that I absolutely love netbooks. And I hate that they got replaced by tablets and smartphones. A netbook is a normal PC, just very small and super easy to carry around โ thatโs brilliant!
@lyse Turns out, this actually was a little machine once (small netbook): https://movq.de/blog/postings/2011-04-28/0/POSTING-de.html And then I moved the whole installation to a different laptop later. I love that you can easily do that on Linux.
@prologic Oh, lol, itโs literally called that: https://www.queensland.com/au/en/places-to-see/experiences/nature-and-wildlife/everything-to-know-about-natural-bridge ๐
@lyse Those are some great shots! โSun through leavesโ always works. ๐ And the tweeting bird, lovely. ๐
@lyse Omg, thatโs quiet. Did you do some filtering on this? No traffic noise? No drunk men shouting? ๐ณ
@lyse Really depends on the genre, I guess. ๐ค Quite a lot of โnon-popโ music still uses the format โconcept albumโ, I think. ๐ค But donโt ask me for any solid statistics. ๐
@lyse Those are some very colorful shots. ๐ It was pretty warm here as well, health issues prevented me from going out, though.
(Have we established that Azabache is male? ๐)
@klaxzy I should cancel Netflix as well. Back when they started their streaming service, it was a revelation: Finally, I could watch interesting shows in English, without having to wait for years, and legally (I like to be a paying customer, if itโs good). But this is long over. The interesting shows are gone or, once again, I have to wait for years until theyโre available on Netflix. So, why bother anymore? ๐คทโโ๏ธ
@bender Thanks, Iโll read it โ once I have the energy. ๐
@lyse Oh, yeah, right, I hadnโt even considered that (we mostly use one model). Choose a different model and it does something completely different. Cool stuff.
@bender Or maybe Iโm just shitty at communication and maybe thatโs why nobody at work understands my โargumentsโ against AI/LLMs. ๐คช๐คฃ
(Iโm too tired to rephrase the OP. Maybe some other day. Actually, rest assured that I will complain about this again. ๐ )
@lyse Clearing legally? You must have an amazingly efficient legal team โ thereโs like 10 new tools every week. ๐คฃ
even our hippest AI enthusiasts found it absolutely terrible
Does this refer to the training course or to the tools themselves? ๐ค
@lyse Yes, and thatโs why Iโm 100% convinced that weโll see a massive brain drain in a couple of years. This will affect young people even more, because they donโt have all the โoldโ knowledge to fall back on.
Itโs concerning, Iโve warned about it many times, nobody listens.
I think the best thing one can do is explicitly not use any AI tools but keep your actual skills intact. Might be out of a (good) job for a while, but once this bubble bursts, this is who is going to get hired again. (I think.)
And considering how insanely expensive all this is, Iโm still (mostly) convinced that the bubble will actually burst. This stuff just isnโt sustainable.
โฆ or I might be wrong. And if so, I see an even darker future that I donโt want to put into words right now.
@lyse AI result ahead, feel free to ignore.
I โaskedโ the AI at work the same question out of morbid curiousity. It โsaidโ that SQLite converts that integer to floating point internally on overflows and then, when converting back, the x86 instruction cvttsd2si will turn it into 0x8000000000000000, even if the actual floating point value is outside of that range. So, yes, it allegedly actually saturates, as a side effect of the type conversion.
I couldnโt find anything about that automatic conversion in SQLiteโs manual, yet, but an experiment looks like it might be true:
sqlite> select typeof(1 << 63);
โญโโโโโโโโโโโโโโโโโโฎ
โ typeof(1 << 63) โ
โโโโโโโโโโโโโโโโโโโก
โ integer โ
โฐโโโโโโโโโโโโโโโโโโฏ
sqlite> select typeof((1 << 63) - 1);
โญโโโโโโโโโโโโโโโโโโโโโโโฎ
โ typeof((1 << 63) ... โ
โโโโโโโโโโโโโโโโโโโโโโโโก
โ real โ
โฐโโโโโโโโโโโโโโโโโโโโโโโฏ
As for cvttsd2si, this source confirms the handling of 0x8000000000000000 on range errors: https://www.felixcloutier.com/x86/cvttsd2si
The following C program also confirms it (run through gdb to see cvttsd2si in action):
<a href="?search=include" class="tag">#include</a> <stdint.h>
<a href="?search=include" class="tag">#include</a> <stdio.h>
int
main()
{
int64_t i;
double d;
/* -3000 instead of -1, because `double` canโt represent a
* difference of -1 at this scale. */
d = -9223372036854775808.0 - 3000;
i = d;
printf("%lf, 0x%lx, %ld\n", d, i, i);
return 0;
}
(Remark about AI usage: Fine, I got an answer and maybe itโs even correct. But doing this completely ruined it for me. It would have been much more satisfying to figure this out myself. I actually suspected some floating point stuff going on here, but instead of verifying this myself I reached for the unethical tool and denied myself a little bit of fun at the weekend. Wonโt do that again.)
Disclaimer: Canโt guarantee that Iโm fully awake and Iโm being trained at work not to use my brain anymore, so maybe this is complete bullshit. ๐ช๐งโโ๏ธ
It says here that SQLite uses signed integers:
https://sqlite.org/datatype3.html
In pure bits, 1 << 63 would be 0x8000000000000000, but as a signed value, it gets interpreted as -9223372036854775808. Subtracting 1 yields -9223372036854775809 โ but that doesnโt fit in 64 bits anymore. Itโs possible that SQLite doesnโt want to wrap around but instead saturates? Havenโt checked. ๐ค
With 62 bits, there is enough room.
With 1 << 64, I have no idea how SQLite wants to handle this, because this should immediately trigger a warning, because it doesnโt fit right away. Maybe it gets truncated to 0?
sqlite> select printf('0x%x', 2 * (1 << 64));
โญโโโโโโโโโโโโโโโโโโโโโโโฎ
โ printf('0x%x', 2 ... โ
โโโโโโโโโโโโโโโโโโโโโโโโก
โ 0x0 โ
โฐโโโโโโโโโโโโโโโโโโโโโโโฏ
sqlite> select printf('0x%x', 0 - 1);
โญโโโโโโโโโโโโโโโโโโโโโโโฎ
โ printf('0x%x', 0 ... โ
โโโโโโโโโโโโโโโโโโโโโโโโก
โ 0xffffffffffffffff โ
โฐโโโโโโโโโโโโโโโโโโโโโโโฏ
sqlite> select printf('0x%x', 0 - 2);
โญโโโโโโโโโโโโโโโโโโโโโโโฎ
โ printf('0x%x', 0 ... โ
โโโโโโโโโโโโโโโโโโโโโโโโก
โ 0xfffffffffffffffe โ
โฐโโโโโโโโโโโโโโโโโโโโโโโฏ @prologic Oh, so thatโs where you are! ๐ Great scenery. Enjoy!
@lyse Yeah, I really donโt know anymore. ๐
By the way, why do so many of them wear glasses? As a kid, Iโve been told that people with glasses canโt become astronauts. So I gave up my dreams. Now it looks like that was a lie? โน๏ธ
@lyse Itโs impossible to avoid. Gotta wait a few years and then weโll see. ๐ต
The problem is, they jump hosts all the time.
https://movq.de/v/f967b8cfb0/s.png
Maybe itโs time to add automated blocking after all โฆ God, Iโm too lazy for that. ๐
@bender ๐ค
https://movq.de/v/0d105a2a47/s.png
https://movq.de/v/374becda65/s.png
Iโm so sorry. ๐
@lyse Indeed. Very unpopular, though. Iโve long given up that fight at work.
In reality, there are too few real incidents. It doesnโt hurt enough. Itโs always: โSomething could happen!โ But weโve never been hit big time by an attack like this โฆ so I just look like a paranoid idiot.
This whole thing was pretty weird, btw. I had no idea it was happening until basically yesterday. No news coverage, nobody mentioned it. ๐ค And suddenly, boom, weโre going to the moon. What? ๐
@bender You saw it in person, I suppose? I watched the stream last night. ๐
talk next to nothing
I could rant about AI a bit and how it ruins every day at work, if that helps? ๐คฃ
@lyse This is good! ๐ช Letโs merge this.
(This one actually has the potential to live longer than 3 days.)
And another fork: https://drewdevault.com/2026/03/25/2026-03-25-Forking-vim.html
@lyse 22 thru 25 are wallpaper-worthy. ๐๐
@prologic Nice. ๐ Thatโs the beauty of a small instrument like that: You can just pick it up, play a little bit, put it back. ๐ (Canโt do that with my stuff. ๐คฃ)
There you go, user-defined color schemes:
@lyse A-ha! That means you havenโt spent enough time with these tools! Go on, try it! (If you donโt, weโll fire you.) Iโm sure youโll like it!
@lyse I bet that their AI agent handles that as well, so โฆ ๐คทโโ๏ธ
Timeline Sandbox