Bozhidar Batsov (a.k.a. Bug)
banner
batsov.net
Bozhidar Batsov (a.k.a. Bug)
@batsov.net
Hacker. Emacs Zealot. Lover of parentheses. Firebrand. Bulgarian. Not necessarily in that order.

The artist formerly known as @bbatsov.

Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
A great article which touches on the basics of the GNU Readline library (which almost all modern shells and REPLs use), its long history and its relationship with #Emacs (the source of its default keybindings) twobithistory.org/2019/08/22/r...
Things You Didn't Know About GNU Readline
What is GNU Readline and where did it come from?
twobithistory.org
November 16, 2025 at 7:21 AM
Today I managed to fall asleep at the cinema 10 minutes into the movie, at around 7:30 pm. That's definitely a new record for me! 😅
November 15, 2025 at 9:30 PM
I loved this movie back when it came out. I guess that's a good reminder to finally rewatch it. :D
22 years ago today, Master and Commander: The Far Side of the World sailed into cinemas.

Revisit Peter Weir’s epic craftsmanship in our deep dive

⬇️⬇️⬇️

cinephiliabeyond.org/subject-requ...
November 14, 2025 at 9:45 PM
Last evening I was fortunate to see the greatest Ukrainian band (at least according to my wife) Okean Elzy perform live in Sofia. Great band with amazing energy!
November 14, 2025 at 11:08 AM
Вече 8 години живея в "зелена зона" (става синя скоро) и не е някаква голяма драма, та не ги разбирам много-много хората, които оревават света за зоните.

Да, би било добре парите от платеното паркиране да отиват за ремонт на улиците и тротоарите, но за мен е по-важно че поне се намерит места сега.
November 14, 2025 at 7:44 AM
Естонската агенция за концерти Baltic Live Agency е отменила планиран за 2026 г. концерт на американската рок-група Limp Bizkit, чийто фронтмен Фред Дерст подкрепя руската окупация на Крим, пише "Европейска правда".

-----

Това го бях пропуснал - бях голям фен на Limp Bizkit едно време.
November 13, 2025 at 9:30 PM
Good stuff!
November 13, 2025 at 3:53 PM
The simplest way to track real-world inflation - 5 years ago .com domains were something like $10/year, now they are $18.5/year.
November 13, 2025 at 5:56 AM
Nice to see the default quick terminal size in #Ghostty is finally configurable ghostty.org/docs/install...
1.2.0 - Release Notes
Release notes for Ghostty 1.2.0, released on September 15, 2025.
ghostty.org
November 12, 2025 at 8:57 AM
Reposted by Bozhidar Batsov (a.k.a. Bug)
Did you notice that the "What's new in F# 10" page is longer than the "What's new in C# 14" page?

#justTrolling #dotnet #fsharp #csharp

learn.microsoft.com/en-us/dotnet...
learn.microsoft.com/en-us/dotnet...
What's new in F# 10 - F# Guide - .NET
Get an overview of the new features available in F# 10.
learn.microsoft.com
November 11, 2025 at 2:59 PM
At a restaurant in Esslingen, after asking for the bill:

- Me: By card, please.
- The waitress: No cards, only cash! Welcome to Germany! 😁

Her grin while saying this is still with me. 😂
November 11, 2025 at 9:22 AM
Somehow I’ve totally missed everybody.codes/event/2025/q... (it’s a coding competition very similar to Advent of Code). Looks like fun!
Everybody Codes
Everybody Codes is platform much like Advent of Code, where you and your friends can participate in a variety of exciting quests. Join people from all around the globe tackling the same challenges, be...
everybody.codes
November 10, 2025 at 6:11 AM
Reposted by Bozhidar Batsov (a.k.a. Bug)
Hi #fsharp we *might* consider changing a default in Fantomas: github.com/fsprojects/f...
Please let us know what you think.
[Poll] Consider changing the default of fsharp_multiline_bracket_style · Issue #3200 · fsprojects/fantomas
Hello everyone, I recently had a conversation about how Fantomas formats records by default (fsharp_multiline_bracket_style = cramped). There’s a configuration setting for this: fsharp_multiline_br...
github.com
November 8, 2025 at 10:37 AM
An interesting take (rant) on #Rust furycd001.github.io/posts/a-mild...

Do you agree with the main premise there? (That it’s force fed everywhere, even when not a great fit for something or there are risks replacing established tools)
A Mild Rant About Rust | d:tour
furycd001.github.io
November 8, 2025 at 4:37 PM
In case you missed the news - #Ruby 3.5 is going to become Ruby 4.0 to celebrate the 30th Ruby anniversary github.com/ruby/ruby/co...

It's a bit odd to make such a decision only a month and half before the release (Christmas day), but it is how it is.
Development of 4.0.0 started. · ruby/ruby@6d81969
github.com
November 8, 2025 at 8:54 AM
Always nice to see someone appreciating #OCaml mccd.space/posts/ocaml-...
Why I love OCaml
Personal blog of Marc Coquand.
mccd.space
November 7, 2025 at 5:39 PM
It's really nice to see Bulgarian Euro coins www.youtube.com/watch?v=uotL... (this is their official "unveiling video" by the Bulgarian National Bank)

Never thought this day would come, so I'm quite happy to be mistaken about this.
Формат и дизайн на българските евромонети
YouTube video by Българска народна банка
www.youtube.com
November 7, 2025 at 2:53 PM
I derive some strange masochistic pleasure from hacking in #Rust. I don't really need to go low-level for anything I do, but it's so fun to do so and to have to think once again about the memory model of an application. I hadn't done much (any) thinking about this since I stopped programming in C++.
November 7, 2025 at 2:00 PM
It really puzzles me how in 2025 some editors don't ship built-in functionality for things like:

- inserting delimiter pairs automatically
- surround something with paired delimiters

And yeah - #vim and #neovim are probably the most notable offenders here.
November 7, 2025 at 9:36 AM
I've got plenty of bad habits, but fortunately watching "reality shows" (e.g. Big Brother, Survivor, The Bachelor, The Farm, The Hacker, The Emacser) has never been one of them.
November 6, 2025 at 8:32 PM
Reposted by Bozhidar Batsov (a.k.a. Bug)
Must read. Basically, if you’ve fallen for Ru propaganda, the chatbots will dig you in even deeper. Also note this: “Grok provided the highest number of Russian sources even when asked neutral questions, the research found.” Higher than the Chinese chatbot!
‘The researchers believe that the chatbots use Russian sources more often when a topic is considered a data void, a search term that doesn’t have many high-quality results.’

AI chatbots are spewing Russian propaganda, study finds www.euronews.com/next/2025/11...
Which AI company diffuses the most Russian propaganda?
One in five AI chatbot answers uses Russian propaganda websites as sources, a new study shows.
www.euronews.com
November 5, 2025 at 2:57 PM
A new book on the history of control structures by the creator of #OCaml himself @camlist.bsky.social xavierleroy.org/control-stru...
Control structures in programming languages
Xavier Leroy
xavierleroy.org
November 5, 2025 at 12:00 PM
"Dune" is one of my favourite books and I love re-reading it from to time. The sequels, however, never resonated with me and I often think that we'd be better of without any of them.

Less is more.
November 3, 2025 at 5:57 PM