What’s that song called
Uncategorized
1
Posts
1
Posters
3
Views
-
What’s that song called?
Who’s it by?
What album is it from?
Wait, what’s it called again? -
undefined oblomov@sociale.network shared this topic on
Feed RSS
Gli ultimi otto messaggi ricevuti dalla Federazione
-
-
@mntmn
My 2 cents. As a former programmer and fountain pens collector, manually written code will be a thing of the past in, maybe, 5 years. Those manually writing code will do it for the pleasure of doing it, not for productivity. The same way we switched to PC to literally (no pun intended 🙂) write anything, relegating pens to the role of collector's items.
-
If we ignore pipes, history | cut -f1 -d' ' | sort | uniq -c gives a zero-order approximation. Maybe we can ask a developer of more modern shells to implement the feature as a built in? 8-D
-
@mntmn Same club. I only use AI for snippets of code - which of course, I have to then edit quite a bit to bring it to good shape.
I mostly use it for stuff I'm new to, like Vimscript. Speaking of which Vim here - it has been my editor of choice for more than 20 years now, so the habit runs deep.
-
@mntmn This makes everything you do even more enjoyable for me :)
-
@aeva I'd love it if there was a command counter.
-
@0ciX_revoluti0ns «gli dica che si è scordato di insonorizzate il soffitto»
-
Eni e Snam vengono a palazzo Chiggi pe discute de l'energia mo che cé l'Iran
Intanto che loro parlano, io je preparo le pizzette
https://www.open.online/2026/03/03/guerra-iran-bollette-carburanti-mutui-stime-rincari/
