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
The artist formerly known as @bbatsov.
Personal blog: https://batsov.com
FOSS projects blog: https://metaredux.com
Emacs blog: https://emacsredux.com
Не е лесно да си пешеходец в София, когато тротоара е в такъв вид…
November 17, 2025 at 7:24 AM
Не е лесно да си пешеходец в София, когато тротоара е в такъв вид…
I've just released copilot.el 0.3! It features many small improvements and it's way overdue!
Check the release notes for details github.com/copilot-emac...
#Emacs forever!
Check the release notes for details github.com/copilot-emac...
#Emacs forever!
Release copilot.el v0.3.0 · copilot-emacs/copilot.el
What's Changed
Minor (mostly doc) improvements by @bbatsov in #400
feat: customizable lsp event handler and lsp server log by @knilink in #339
Allow users to specify settings of Copilot LSP by @jm...
github.com
November 16, 2025 at 12:00 PM
I've just released copilot.el 0.3! It features many small improvements and it's way overdue!
Check the release notes for details github.com/copilot-emac...
#Emacs forever!
Check the release notes for details github.com/copilot-emac...
#Emacs forever!
Reposted by Bozhidar Batsov (a.k.a. Bug)
Also please don't restrict bundler and ruby versions like `bundler < 3.0` and `required_ruby_version < 4.0` 🙏
Dear gem maintainers 👋
Rails 8.1 just dropped, but many gems can’t be used because of overly strict gemspec constraints.
Please don’t hard-restrict Rails versions, let us test early and report real issues sooner! ❤️
Thanks
Rails 8.1 just dropped, but many gems can’t be used because of overly strict gemspec constraints.
Please don’t hard-restrict Rails versions, let us test early and report real issues sooner! ❤️
Thanks
October 30, 2025 at 11:17 PM
Also please don't restrict bundler and ruby versions like `bundler < 3.0` and `required_ruby_version < 4.0` 🙏
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
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...
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
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! 😅
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...
Revisit Peter Weir’s epic craftsmanship in our deep dive
⬇️⬇️⬇️
cinephiliabeyond.org/subject-requ...
November 14, 2025 at 9:45 PM
I loved this movie back when it came out. I guess that's a good reminder to finally rewatch it. :D
Ай, ай, ай... Спеца Спецов официално е най-неуспешния кадър на ПП - www.mediapool.bg/neutralen-e-...
Неутрален е и има надзорен опит: Румен Спецов е особеният управител на "Лукойл" - Mediapool.bg
Изпълнителният директор на Националната агенция за приходите (НАП) Румен Спецов поема и четирите дружества на "Лукойл България". Това съобщи министърът на икономиката Петър Дилов след заседанието...
www.mediapool.bg
November 14, 2025 at 1:07 PM
Ай, ай, ай... Спеца Спецов официално е най-неуспешния кадър на ПП - www.mediapool.bg/neutralen-e-...
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
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!
Вече 8 години живея в "зелена зона" (става синя скоро) и не е някаква голяма драма, та не ги разбирам много-много хората, които оревават света за зоните.
Да, би било добре парите от платеното паркиране да отиват за ремонт на улиците и тротоарите, но за мен е по-важно че поне се намерит места сега.
Да, би било добре парите от платеното паркиране да отиват за ремонт на улиците и тротоарите, но за мен е по-важно че поне се намерит места сега.
November 14, 2025 at 7:44 AM
Вече 8 години живея в "зелена зона" (става синя скоро) и не е някаква голяма драма, та не ги разбирам много-много хората, които оревават света за зоните.
Да, би било добре парите от платеното паркиране да отиват за ремонт на улиците и тротоарите, но за мен е по-важно че поне се намерит места сега.
Да, би било добре парите от платеното паркиране да отиват за ремонт на улиците и тротоарите, но за мен е по-важно че поне се намерит места сега.
Естонската агенция за концерти Baltic Live Agency е отменила планиран за 2026 г. концерт на американската рок-група Limp Bizkit, чийто фронтмен Фред Дерст подкрепя руската окупация на Крим, пише "Европейска правда".
-----
Това го бях пропуснал - бях голям фен на Limp Bizkit едно време.
-----
Това го бях пропуснал - бях голям фен на Limp Bizkit едно време.
November 13, 2025 at 9:30 PM
Естонската агенция за концерти Baltic Live Agency е отменила планиран за 2026 г. концерт на американската рок-група Limp Bizkit, чийто фронтмен Фред Дерст подкрепя руската окупация на Крим, пише "Европейска правда".
-----
Това го бях пропуснал - бях голям фен на Limp Bizkit едно време.
-----
Това го бях пропуснал - бях голям фен на Limp Bizkit едно време.
Good stuff!
The 5.4 update of OCaml is out! Check out our blog for an overview of the biggest new features and fixes🐫 tarides.com/blog/2025-10...
OCaml 5.4 Release: New Features, Fixes, and More!
An overview of the OCaml 5.4 update highlighting new features and bug fixes!
tarides.com
November 13, 2025 at 3:53 PM
Good stuff!
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
The simplest way to track real-world inflation - 5 years ago .com domains were something like $10/year, now they are $18.5/year.
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
Nice to see the default quick terminal size in #Ghostty is finally configurable ghostty.org/docs/install...
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...
#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
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...
#justTrolling #dotnet #fsharp #csharp
learn.microsoft.com/en-us/dotnet...
learn.microsoft.com/en-us/dotnet...
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. 😂
- 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
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. 😂
- Me: By card, please.
- The waitress: No cards, only cash! Welcome to Germany! 😁
Her grin while saying this is still with me. 😂
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
Somehow I’ve totally missed everybody.codes/event/2025/q... (it’s a coding competition very similar to Advent of Code). Looks like fun!
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.
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
Hi #fsharp we *might* consider changing a default in Fantomas: github.com/fsprojects/f...
Please let us know what you think.
Please let us know what you think.
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)
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
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)
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)
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.
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
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.
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.
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
Always nice to see someone appreciating #OCaml mccd.space/posts/ocaml-...
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.
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
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.
Never thought this day would come, so I'm quite happy to be mistaken about this.
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
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++.
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
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.
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...
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
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!