@movq@www.uninformativ.de Thanks. Unfortunately, the weather stations are quite far away.
I have to operate my own one. :-D
Today I have a day off but Iām adding this to the list of things I want to read:
Love, Learning, and Computing Education by Amy Ko
@lyse@lyse.isobeef.org Ah, oh, this page has historical data:
https://kachelmannwetter.com/de/messwerte/baden-wuerttemberg/temperatur/20260217-1400z.html
I would have been too lazy to take photos when my fingers were freezing off. š
@movq@www.uninformativ.de Iāve got the same problem that you had the other day: finding past temperature data. But yeah, it looked much warmer than it actually was. Maybe 5°C? Possibly less when I found myself in the snow- and rainstorm in the end.
With the wind, my fingers were frozen. I should have worn gloves. Without them, I could only put my hands in the pockets of my jacket. That didnāt help much, though, because I frequently stopped to take yet another photo, so they cooled off again right away. :-D
Balancing the big/long, closed umbrella under my arm while I had my hands burried was also a little tricky.
First world problems. :-)
@abucci@anthony.buc.ci coined the term āfailsceneā:
https://buc.ci/abucci/p/1771250567.039684
I wonder about using āfailsceneā to describe the current slate of AI tools and demos. In contrast with the demoscene, which is about getting very low powered computers to do cool things you wouldnāt expect them to be able to do, the failscene is about getting very high powered computers to fail at doing boring things we already know how to do without them. Plus you can stylize it fAIlscene if youāre inclined to.
I love it.
@kiwu@twtxt.net doing great. Itās new year! Happy new Year of the Horse to you, and everyone!
There was an endless coming and going of sun, clouds and rain. Not to forget about the wind. I called it quits a bit earlier and went into the woods.
Towards the end I was completeley surrounded by rain curtains in all directions. This looked super cool. I thought I might make it home just in time without having to use my umbrella, but the rain clouds were way quicker than I anticipated. Just after the rain hit me, I met an acquaintance who just started his walk. The wind picked up hard and rain hammered down, mixed with snow. Holding the umbrella was a workout. Shortly after I returned, the rain stopped again.
I didnāt notice the kestrel sitting on the tree when I took the last photo. That was a nice surprise when I sorted through the nearly 300 pics.
@movq@www.uninformativ.de There are always some folks who would appreciate that. But I fear they are the minority. The rest just doesnāt give a shit.
The selfcontradiction is that those who proudly use and promote AI also claim to be sustainable and green and so on. Iāve no clue how this is not considered fraud, but there we are.
@lyse@lyse.isobeef.org Nice talk indeed.
Interesting to see that his ideal job ad talks more about the company than the required qualifications of the candidates. That alone is what 99% of companies get wrong. They just have a long list of āyou must know these 500 thingsā, yeah, great, goodbye then. š¤·āāļø
Just checked our job ads, some of them actually do list the salary. Iām surprised. š¤
TIL: If youāre trans in Germany and you want to start hormone therapy, you still need to be officially declared ātransā first (Indikationsschreiben, page 18: https://www.transinterqueer.org/wp-content/uploads/2022/04/Hormontherapie_DE_barrierearm.pdf) and then you can try to find an actual doctor to get the meds. All with super long waiting lists. This takes forever. š©
Changing your legal name is surprisingly easy in comparison, at least since 2024: https://www.bmbfsfj.bund.de/bmbfsfj/aktuelles/alle-meldungen/anmeldung-zur-aenderung-des-geschlechtseintrages-jetzt-moeglich-243056 (From my perspective, thatās the less relevant part, though, because thereās a good chunk of people that you can just ask to call you differently (friends, cowokers, ā¦) and then do that legal stuff later. But you want your body to change, like, now.)
** Snakes snakes snakes, a week note **
Iāve been working on an ill advised project. This project will have to be done in many parts. Part one of many is done, and Iām debating if I should share it, or if I should wait to get the whole thing done. But now, a smash cutā¦I started this post off as a normal post, but now that it is an RSS sickos only postā¦
Check this shit out! I recently read about the $1 unistroke recognizer, and predictably, had to try to [implement my ⦠ā Read more
@prologic@twtxt.net he didnāt. The embedded video show the speaker he was referencing to, on the German video.
@prologic@twtxt.net Sorry if I raised the wrong hope. Only the German talk is about the āwhy good people donāt want to work at your companyā subject. Among the key points are the absolutely terrible job adverts, team leads not themselves looking for people to hire but letting other dudes do that, company cultures and communication.
@lyse@lyse.isobeef.org I just watched this. And whilst itās very good and insightful, good history of MySQL and how Martin helped built a good solid Open Source + Commercial model, Iām not seeing the āwhy people donāt wanna work at your companyā bit? What am I missing? š¤ In any case, he does talk to great length on the importance of Culture and the insane notion of ācentrlaised office workingā, which I 100% agree with.
Fancy a 15% discount on my #Domestika #Python + #CreativeCoding course?
A_B_A_VILLARES-2026
Valid up to March 13th
(Beware Domestika also uses dark patterns like a very low priced offering that will trigger a āyearly subscriptionā after a month if you donāt read the small print and cancel⦠not nice)
Cheers to all #Python #CreativeCoding people here using #Linuxā¦
Would you like to test a script by our friend and co-maintainer of thonny-py5mode GoToLoop that installs #ThonnyIDE and #py5 on your machine to see how it goes and help improve it?
I wonder if it would be bad form to ask students to run something like this:
curl -fsSL https://Gist.GitHubUserContent.com/GoToLoop/246a31d437aaa8c6eadb7f7186544e0f/raw/thonny-installer.bash -o thonny-installer.bash && chmod +x thonny-installer.bash && ./thonny-installer.bash
(because, you know, it trains them to run potentially dangerous stuff in other occasions)
@movq@www.uninformativ.de I also had to laugh. :-D And thatās what crossed my mind for a splitsecond, too. Two decades ago or so, that would have worked. But these days are long over. Wasnāt it even an INI file or something like that?
We just wanted to play one or the other quick round of Rummikub after quitting time and suddenly itās now three hours later. :-)
Okay, so the funniest thing that has happened at work in the realm of AI so far is this:
So this guy (that holds a certain position of power) wants people to use more AI, meaning people are expected to install a set of AI tools on their laptops. But, of course, he doesnāt want to write proper documentation for this, because that would be silly monkey work, right? So he conjures up some AI prompts that are intended to make the AI agent install all this stuff by itself.
Do you see where this is going? Can you see the punchline?
Thatās right! Since none of this AI stuff is deterministic, every setup is different. š¤¦āāļø Like, 10, 20 systems, all set up a little different and people wonder why this or that doesnāt work as expected.
Okay, itās not funny.
Well itās ~2am and I finally defeated the AI player in a game of Frontier Crown š
ā On that note Iām now going to bed, Iāve made so many improvements to the aesthetics (UX) of the game, the mechanics, and itās now quite nicely playable š Gānight! š“
@lyse@lyse.isobeef.org ⦠at least this story was entertaining to read. š If only Firefoxās storage format wasnāt so convoluted, you could have just shut it down and removed all the unwanted tabs. š«¤
Fuck me dead! I accidentally confused an HTML file for a YAML file and manually opened it in my browser. Unfortunately, I clicked on the OK button of the popped up dialog a bit too fast, it just caught me off guard. It asked which program to open the YAML file in. Of course Firefox thought that it could handle that and suggested itself by default. Conveniently, the ādonāt prompt me again and always use this selection from now onā checkbox was enabled.
And then the endless loop of death started. Turns out, this fucking browser canāt do shit with YAML files and delegated to what had been just configured. Oh, would you look at that!? Firefox! Empty tabs after empty tabs appeared. Killing and restarting Firefox just loaded the last session with all the tabs and the loop continued.
Some bloody snakeoil on my work machine slows down link openening requests by two, three seconds. Itās always absolutely anoying, but luckily, it actually limited the rate of new tabs popping up. I still could not close the many tabs fast enough that had accumulated before I noticed what was going on in the background.
Going to the settings to change them was always interrupted with a new tab opening in the foreground.
Finally, killing Firefox and renaming the file on disk before restarting Firefox did the trick and broke the loop. I was still holding down Ctrl+W for a minute or so to get rid of the useless tabs. I didnāt want to loose the important tabs, so just ditching the session wasnāt an option.
So I decided that after having two of my three MiniDisc recorders fail on my over the weekend, to prepare myself to say goodbye of most of the discs⦠and invest in a DAP. More to come on this soon for sure.
salty-chat TUI client as well, which now includes proper notifications and a background agent that keeps running so you never miss any messages. It all "just works"⢠and I'm quite happy with the outcome! 𤩠#saltyim #revamp
@prologic@twtxt.net I will give it a try when it works flawlessly. āŗļø Then I will need people to interact with, otherwise itās a āmuteā case. š¤
@movq@www.uninformativ.de Ah, great!
I have to analyze what is taking yt-dlp so long start up. Two and a half, three seconds just to determine that a video is in the download archive and then abort is nuts. Iām wondering what this program does before that.
salty-chat TUI client as well, which now includes proper notifications and a background agent that keeps running so you never miss any messages. It all "just works"⢠and I'm quite happy with the outcome! 𤩠#saltyim #revamp
@bender@twtxt.net Whwn do i see you start to use Salty IM more? š
I canāt remember if the hex viewer back then had these options. Donāt even recall what software that was. :-)
The one that I used during my Windows 95 days was āHex Workshopā. It had similar features, just not as promimently displayed. It shows them down there in the statusline as āValueā:
https://movq.de/v/a24558f83f/s.png
Newer versions can probably do more, havenāt checked. š (Assuming this program still exists.)
Apart from selecting text to copy into the clipboard. But that probably has the potential for trouble and interference with button clicks, etc.
Yeah, thatās a big problem: Once you activate mouse mode in the terminal, the terminal loses the ability to select text. š Youād either have to emulate that in the program itself (like Vim does) or give the user an easy way to turn mouse support on/off during runtime.
How did the startup times develop?
Theyāre pretty stable at around 230 ms on my old NUC. Itās just fast enough so that it doesnāt annoy me.
salty-chat TUI client as well, which now includes proper notifications and a background agent that keeps running so you never miss any messages. It all "just works"⢠and I'm quite happy with the outcome! 𤩠#saltyim #revamp
Some pretty pics to illustrate the much improved reference Salty.im client, salty-chat.

** Constraint propagation for fun **
Iāve been playing the very good Squeakross this weekend. It is adorable and the aesthetics are absolutely immaculate, but Iāve found the actual picross puzzles to be a point of frustrating friction in the game when compared to the picross-style puzzles in my bicross game.
Picross puzzles, aka nonograms, can relatively easily have ambiguous solutions. Because the hints only tell you how many co ⦠ā Read more
@lyse@lyse.isobeef.org some people just own enough to fit in a backpack. š
@dce@hashnix.club Wow! Moving without a vehicle, that seems impressive to me. Was it just down the street or how did you accomplish this? I hope you didnāt loose all your belongings due to a fire or similar catastrophe.
@movq@www.uninformativ.de Nice, itās coming together! Despite it being ages ago that I used a hex editor or viewer, these different representations of information appear very handy to me. If I had to mess around on binary formats, Iād definitely appreciate them. I canāt remember if the hex viewer back then had these options. Donāt even recall what software that was. :-)
I, too, only very, very rarely use the mouse in the terminal. Apart from selecting text to copy into the clipboard. But that probably has the potential for trouble and interference with button clicks, etc. If one isnāt careful.
How did the startup times develop?
Hmmm, thatās a pity. I never realized that before. The following Go code
var b bool
ā¦
b |= otherBool
results in a compilation error:
invalid operation: operator | not defined on b (variable of type bool)
I cannot use || for assignments as in ||= according to https://go.dev/ref/spec#Assignment_statements. Instead, I have to write b = b || otherBool like a barbarian. Oh well, probably doesnāt happen all that often, given that I only now run into this after all those many years.
Iām inclined to remove all mouse support, except for moving windows. š¤ I originally wanted this to emulate the behavior of DOS programs, but a) mouse support is a lot of code, b) using the mouse is cumbersome anyway and I would rarely do it.
Whatās going on here?
https://imgur.com/gallery/dude-back-trying-to-keep-together-ilY5Ltu
Is that real? Did I just watch a politician genuinely chuckle? Thatās unheard of. Is that even legal?
It was so great going to the sauna again, we were looking forward to that the whole week. :-) Itās been over a year, holy cow, time flies. We definitely have to pick up on that tradition again, thatās for sure.
We attended two Aufguss sessions, the first and last one in our four hour visit. Unfortunately, we didnāt make it to the other two, because the crazy people already occupied the entire sauna 15 minutes before the start. Yeah, no.
Now, the bellies are stuffed with kebabs. Yum! Letās see how often I wake up tonight to rehydrate.
Also transfering interesting radio recordings I found on the used MiniDiscs to FLAC.
@movq@www.uninformativ.de Youāre right, thatās neat. I also saw Paskās take on that which he referenced. I donāt know if I will ever attempt anything like that. Canāt imagine to succeed in that mission.
@movq@www.uninformativ.de I see. Yeah, if you gotta have to tediously plow through, it feels deeper. And sometimes it actually is.
We had super thick fog this morning. It rolled in extremely quickly, maybe 15 minutes at most. Visibility was below 50 meters. Looked cool from inside.
Also the short documentary āJohn Was Trying to Contact Aliensā was really heartfelt and great. Didnāt know the story of John Shepherd yet. Discovered some great music thanks to this short film. Inkl. Harmonia
Recording audio to MiniDiscs like itās 2001.
@lyse@lyse.isobeef.org Found some numbers now, theyāre saying it was around 10cm in 3-4 hours. I donāt know, felt like more. š The forecast wasnāt really good either, now that I think about it. They said thereās going to be some snow, okay, fine, but then, boom.
Haha, that old ad is lovely. Those days are over. š¤£
Havenāt watched it to the end yet, but @lyse@lyse.isobeef.org might like this: https://www.youtube.com/watch?v=EarBm4tfMXs
TIL that #Processing 4 on Windows now has an installer!
I is not just a zipped folder anymore, I wonder if it will make it harder for people to use it on restricted school labsā¦
TIL that #Processing4 on Windows now has an installer!
https://processing.org/download
I is not just a zipped folder anymore, I wonder if it will make it harder for people to use it on restricted school labsā¦
TIL that #Processing4 on Windows now has an installer!
https://processing.org/download
It is not just a zipped folder anymore, I wonder if it will make it harder for people to use it on restricted school labsā¦
** Bicross **
I made a game. Iāve written about it in passing a few times, but here is an honest to goodness intro to it!
Bicross is 3 versions of the same basic game,
- Bicross, is a zen-mode version of the game.
- Bicross RPG, is an RPG version of the game where you can earn power ups, and build up hearts and stuff.
- Bicross Daily, is very similar to the RPG version, but everyone who plays on a given ⦠ā Read more
@movq@www.uninformativ.de Oh, so just half a millimeter then! :-D Thatās plenty these days for everything to shut down, Iām afraid. If only the same Ć©lan was still in action as back then:
And here I am watching Mattias Bjƶrnstrƶmās gas pedal freezing at full throttle around -40°C. Well, falls apart and gets stuck.
https://www.youtube.com/watch?v=MLgmV15XeSY
Iām not an expert on this subject at all, but I reckon an automatic in addition with all its sensors is much worse than a manual one. All wheel drive, studded tires and diff locked is what one wants in icy situations. :-D
@lyse@lyse.isobeef.org I donāt know a number (wait, why canāt I google a Wetterbericht but only a Wettervorhersage?!), but it was enough for public transportation to shut down. š I think I saw around five trucks on the side of the road who couldnāt continue, too icy. Some cars stranded.
My car has an automatic gearbox and Iām not sure if thatās good or bad in such conditions. š Pretty hard to accelerate without spinning wheels ā¦
@prologic@twtxt.net (While browsing through that, I noticed that https://mu-lang.dev/ itself doesnāt really mention the source code repo, does it? š¤ Like, the quickstart guide begins with āBuild the host: go build ./cmd/muā, but whereās the git clone ⦠command? š
)
Iām not really sure what the goal is. š¤ Do you want to get pull requests for the docs? Or bug reports for mu itself? š¤
Well that was a lot of snow. Barely made it home. (Because, of course, today was the day where I went to the office. š¤£)
Trying an experiment. Created a Github repo for mu over at https://github.com/prologic/mu as a social experiment to see if we can maintain a tailored Github docs-only repo of a project, see if it gets any interest š¤
I built Audiofern to make it simple to turn PDFs into audiobooks. Upload a document, get clean, chapterized narration with natural voices, and share it via a hosted playerāor download M4A/M4B and keep it forever. Files are private by default, and pricing is transparent: pay once by audio hour or subscribe to build a listening library.
@movq@www.uninformativ.de Man I listened to aht first one, what good shit⢠š© Haha 𤣠Loved it! š
@movq@www.uninformativ.de I donāt have any statistics, just observe what is around me, so itās very subjective. I know a bunch of kids with names Iāve never heard before. Sometimes, I first thought other kids were making fun of their friends by calling them by made-up nonsense. But no. Without question, I live under a rock. I just looked up some of them that came to mind immediately and they seem to be of Greek, Swedish and Latin origin, etc.
Aww man, I need to pick up learning Finnish again. I just love the sound of that language.
Surprisingly, I still understand quite a bit of what sheās saying here: https://www.youtube.com/watch?v=Wfnt5-7QBvQ
I reckon up until then you had to have another first name that clearly differentiated.
Yes, apparently so. (Iām glad we stopped doing that. I donāt get this obsession with the contents of other peopleās pants. š¤¢)
Now Iām wondering, was that also the beginning when parents started giving their kids really weird names?
Did this ever happen or was this an urban myth? Would have to dig up some statistics, I guess. (Anecdotal evidence: None of the people I know gave their kids crazy names. š)
@movq@www.uninformativ.de I reckon up until then you had to have another first name that clearly differentiated. Didnāt read through the court decision, though.
Interesting, I always thought that Kiran was a male first name. But I only know one person with that name. As last name, though.
Now Iām wondering, was that also the beginning when parents started giving their kids really weird names?
Fell into a bit of a rabbit hole and learned that it took German law until 2008 to actually allow unisex/gender-neutral first names: https://www.bundesverfassungsgericht.de/entscheidungen/rk20081205_1bvr057607.html š¤¦
I wonder if my elderly German neighbors have learned enough English by now to understand what Iām swearing about all day long. š¤
@prologic@twtxt.net cool! Will test later today. I recommend to keep up with the changes, and make them non-technical user āfriendlyā.
@klaxzy@klaxzy.net Nope, not IONOS, but we use them a lot at work. To be honest, I consider them one of the better providers (at least regarding the IaaS stuff that we do). š
Every single year I complain we should have an independent survey of Python users, not of āPython developersā, as many people who use Python do not identify as professional software developers (https://ciberlandia.pt/@villares/109885982178235703) and the questions in the survey make no sense for them. We should have someone doing serious research designing an unbiased survey, not a software firm like Jetbrains doing market research.
Every year I fail to do something effective about this.
[Reposted publicly with some tweaks]
Iām struggling with the archive.org #waybackmachine interface⦠would anyone know if it is possible to do textual search on a single site/domain (over the multiple recorded snapshots and sub-pages)?
Iām struggling with the @internetarchive@internetarchive #waybackmachine interface⦠would anyone know if it is possible to do textual search on a single site/domain (over the multiple recorded snapshots and sub-pages)?
Iāve got sore muscles. The sticky snow couldnāt be pushed, it had to be laborously cleared shovel by shovel. :-D
In my lunch break, I went on a short stroll. Oh boy, walking through deep damp snow is exhausting! There were sections with easily 30 centimeters and more. Some big wind drifts had piled up. Despite melting off quickly in the 4°C, especially turning the trees brown again, the white landscape still looks so nice. Iām glad these road marking sticks finally came in handy for the snow plow guys. :-) The black and orange stripes are 30 cm high.
https://lyse.isobeef.org/waldspaziergang-2026-01-26/
Thatās probably it. Thereās no significant snowfall announced for the rest of the week and temperatures are supposed to stay in the 2-4°C range by day.
@movq@www.uninformativ.de I was also extremely surprised and couldnāt believe it myself. But around the hair were definitely two, three millimeters of ice with a bunch of snow on top. I couldnāt simply brush it off, the hair were all frozen together. Back in the house, it took maybe three minutes to melt the solidified white stuff and free up and disconnect the individual hair. Crazy.
Yeah, 0°C in town, maybe -2°C on the summit. It definitely didnāt feel all the cold, but I came prepared with a few layers of cloth.
What a beautiful, beautiful 0°C Sunday arvo and evening! The weather forecast delayed the snow by the minute. An hour or so after it finally started very, very lightly, I headed off for the woods to check out the lake again. Unfortunately, with the fresh snow layer, the crazy wild surface texture of the ice sheet wasnāt visible anymore. But it brought some other nice views and photo opportunities.
I initially thought that I just go for a quick turn. However, with the snowfall a wee bit increasing I was hooked and kept going. Visibility was poor, but the snow blankets just looked too stunning. The road surfaces were quite slippery, so I often just walked alongside the pathways. On downhill slopes I had some good fun sliding down the road on my feet. With varying success. Luckily, I managed not to fall.
On the summit of the mountain the twigs had those absolutely magnificently looking windblown crystal coverings. Awwwwwww! They never get old. It was already getting dark, so the camera was tired and wanted to sleep. The snow program then made use of the flash and Iām quite pleased with how these shots turned out.
Two deer crossed the road in front of me and ran into the woods, that was sight for sore eyes. Although I felt bad that they had to flee from me in this white terrain. By the time I got home, the snow had accumulated around eight centimeters in height, even in town down in the valley. Walking on this fresh snow is just amazing. And I love the sound it makes. Today, the snow consistency must have been just right, because the crushing sound was really loud.
I cannot recall that I had frozen hair and beard before, but today, there was a thick ice buildup. In case I had, it was definitely never this much. Felt really cool.
Enough of this preliminary skirmishing, there ya go: https://lyse.isobeef.org/waldspaziergang-2026-01-25/
@lyse@lyse.isobeef.org (Was that a reference to Abed? š )
Has a bit of a long history story behind this, where last year at work we were reading this book called Engineering a Safer World and initially came across a service called Speech Reply that allowed me to upload a PDF copy of the book and start to read it, but unfortunately, the free trial right now before I can finish reading it turns out that Speech Reply service cost a whopping US$30 a month and expected me to pay a full year upfront, which was well over US$300 just for one fucking book! So I sent their sales and support staff a message kindly asking if it were possible to just pay for the audio transcription of just a single book or to change to a monthly subscription fee, to which they refused, so basically in the end I got very angry and told them to go fuck themselves and built my own service. A year later here we are :-)
@prologic@twtxt.net sounds like an excellent project! Looking forward to it.
Another project where Iām going to use my terminal widget toolkit is a hex editor. This is still very young, obviously, and thereās a lot of work to do (both in the toolkit and this particular application), but Iām making some progress:
https://movq.de/v/2bae14ed16/vid-1769283187.mp4
Since this program is UTF-8 clean (I hope), you can do things like enter multi-byte UTF-8 sequences or paste them from the system clipboard (another hex editor I just tried failed to do this correctly):
https://movq.de/v/e9241034c1/vid-1769283755.mp4
Under the hood, Iām using mmap() with MAP_PRIVATE, which is really cool: I get the entire file as a byte array, no matter how large it is, no need to actually read it upfront; and MAP_PRIVATE means that I can write to this area however I like without changing the underlying file. The kernel does copy-on-write for me. Only when you hit Save, it will write to the filesystem. And itās just a couple lines of code. The kernel does all the magic. š„³
@lyse@lyse.isobeef.org Thatās a long way to walk! š¤Æ
My washing machine is making funny noises and Iām this š¤ close to just throwing it out and washing everything by hand, instead of buying another expensive enshittified product thatās designed to break down in a couple of years.
Washing is easy anyway, the spin cycle to dry that stuff is the important part ā¦
yarnd had no reason to "pull" it in.
@bender@twtxt.net Only missing roots would trigger that kind of sync IIRC. And that only works if another peering pod has the root twt. What youāre remembering, possibly, is an attempt to do what you were thinking of⦠But I tried it, turned out to be too expensive of an operation to do auotmatically.
yarnd had no reason to "pull" it in.
@prologic@twtxt.net what has changed? Before anyone replying to a feed would pull it in, no? Am I remembering incorrectly?
@bender@twtxt.net Fixed 𤣠Nobody was following that feed š
yarnd had no reason to āpullā it in.
go install ./cmd/mu-lsp/... and install the VS extension and hey presto š„³ You get outlines of any Mu source, Find References and Go to Definition!
@prologic@twtxt.net Reminds me to have another look at LSP. Last time I checked, it was super messy in Vim. š¤
Spent basically the entire day (except for the mandatory walk) fighting with Pythonās type hints. But, the result is that my widget toolkit now passes mypy --strict.
I really, really donāt want to write larger pieces of software without static typing anymore. With dynamic typing, you must test every code path in your program to catch even the most basic errors. pylint helps a bit (doesnāt need type hints), but thatās really not enough.
Also, somewhere along the way, I picked up a very bad (Python) programming style. (Actually, I know exactly where I picked that up, but I donāt want to point the finger now.) This style makes heavy use of dicts and tuples instead of proper classes. That works for small scripts, but it very quickly turns into an absolute mess once the program grows. Prime example: jenny. š©
I have a love-hate relationship with Pythonās type hints, because they are meaningless at runtime, so they can be utterly misleading. Iām beginning to like them as an additional safety-net, though.
(But really, if correctness is the goal, you either need to invest a ton of time to get 100% test coverage ā or donāt use Python.)
@lyse@lyse.isobeef.org The thing is thatās hard to avoid if TYPE_CHECKING, but documentation tools such as pdoc donāt support that ⦠so itās either type hints or API docs. š¤·
I hope I can eventually find a way out of this mess ā¦
yes, yes thatās right. Mu (µ) now has a built-in LSP server for fans of VS Code / VSCodium š
You just go install ./cmd/mu-lsp/... and install the VS extension and hey presto š„³ You get outlines of any Mu source, Find References and Go to Definition!
@movq@www.uninformativ.de Hehe. :-) This steep footpath connects a hiking parking lot outside the village and the edge of the village in a fairly straight line. Garden owners are allowed to drive their vehicles down from the village to their lots on this pathway and up again. These two poles are placed about a third up from the botton on a short, comparatively flat section to stop people from taking this shortcut to get down to the country road. Said road goes through the village but there are hairpins getting up and down. The road markings have been added recentlyish. I suspect to warn shooting down cyclists of the danger ahead. I havenāt seen something like this anywhere else either. :-)
My mate and I went on a hike earlier. Yesterday, we had lovely 12°C. But today, it was down to at most 4°C. Oh well. At least the sun was out and and there was just a tiny bit of wind. We knew upfont that scarf, beanie and gloves were mandatory. Especially at the more windy sections like up top the hills. The view was absolutely terrible, but we made the best of it.
With the sun shining on us during our lunch break at a forest edge bench, we still enjoyed the lookout in 01. I brought some old carpet scraps to sit on and was happily surprised that they isolated even better than I had hoped for. Some hot tea helped us staying warm.
After five hours we returned just after sunset. Iām quite tired now, completely out of shape.
@lyse@lyse.isobeef.org (At least I didnāt break all the links again. In late 2015, I switched from a PHP backend to the current static website, which changed just about everything. I hope doing a disruptive change like this one every 10 years is tolerable. š )
Well, the Atom feed entry IDs changed, too. I had to mark everything as read again.
@prologic@twtxt.net I think I found an easy way to redirect anything except the twtxt stuff. Thatās probably better. š¤
So, are you guys up for an experiment?
Iām really not happy with the domain āuninformativ.deā anymore. Iām going to switch to āmovq.deā soon (or maybe something else if I get another fancy idea).
If I keep the url = field in my twtxt file, nothing should break, right? Right? š¤£
Wow, as I anticipated, this is waaay out of my capabilities to really understand it. But Iām quite happy to just have spotted a mistake in an explanatory comment in section 4.5.2 āThe icode Arrayā. Of course, it should be /e + tc + /i + ni + t\0. Letās hope that my e-mail with the patch actually makes it into Briamās inbox. I fear GMail just hides it in the spam folder.
./bin/mu -B -o ... -p muos/amd64 ... target.
@prologic@twtxt.net Iād love to take a look at the code. š
Iām kind of curious to know how much Assembly I need vs. How much of a microkernel can I build purely in Mu (µ)? š¤
Canāt really answer that, because I only made a working kernel for 16-bit real mode yet. That is 99% C, though, only syscall entry points are Assembly. (The OpenWatcom compiler provides C wrappers for triggering software interrupts, which makes things easier.)
But in long mode? No idea yet. š At least changing the page tables will require a tiny little bit of Assembly.
./bin/mu -B -o ... -p muos/amd64 ... target.
Iām kind of curious to know how much Assembly I need vs. How much of a microkernel can I build purely in Mu (µ)? š¤
./bin/mu -B -o ... -p muos/amd64 ... target.
@movq@www.uninformativ.de Yes!
Did you do the whole dance with BIOS boot and everything?
Yup! Farkān LBA shit and all, loading up the GDT, TSS and switching to x86_64 long mode š¤£
Btw @movq@www.uninformativ.de youāve inspired me to try and have a good āol crack at writing a bootloader, stage1 and customer microkernel (µKernel) that will eventually load up a Mu (µ) program and run it! 𤣠I will teach Mu (µ) to have a ./bin/mu -B -o ... -p muos/amd64 ... target.
Could it be that Source Sans Pro changed recently? No⦠Somehow at some point Ⳡwas replaced with ⹠in my markdown files⦠I have no idea how this happened.
#Unicode #Typography
tcell.Key constants and typing different key combinations in the terminal to see the generated tcell.EventKeys in the debug log. Until I pressed Ctrl+Alt+Backspace⦠:-D Yep, suddenly there went my Xā¦
And tcell seems to support my urxvt in general: https://github.com/gdamore/tcell/blob/v2/terminfo/r/rxvt/term.go#L144
tcell.Key constants and typing different key combinations in the terminal to see the generated tcell.EventKeys in the debug log. Until I pressed Ctrl+Alt+Backspace⦠:-D Yep, suddenly there went my Xā¦
@lyse@lyse.isobeef.org Unix terminals are quite limited in that regard. 𫤠You know how Ctrl works? The XOR 0x40 thing? And Alt doesnāt exist at all, itās just a prefixed ESC byte.
I was surprised to see curses knowing about āShift+Tabā, wondering how that is supposed to work. Well, itās an escape sequence, of course (depending on the terminal, of course).
@movq@www.uninformativ.de that some lovely development from the initial one. Curious to know where this will lead!
Here am I looking at the different tcell.Key constants and typing different key combinations in the terminal to see the generated tcell.EventKeys in the debug log. Until I pressed Ctrl+Alt+Backspace⦠:-D Yep, suddenly there went my Xā¦
So far, it appears as if I can have either only Ctrl or Alt as modifiers. But not in combination. And Shift is just never ever set at all. Interesting.