Bartosz Sypytkowski
@horusiath.bsky.social
Yrs/Yjs core dev team. Interested in distributed systems, databases and CRDTs. Blogging: https://www.bartoszsypytkowski.com
Pinned
PEON - Prefixed Entry Object Notation
In this blog post we'll going to introduce a new data serialization format. This one focuses on enabling decoding objects as series of incremental object changes, which can be streamed over and emitte...
www.bartoszsypytkowski.com
Blogged: "PEON - Prefixed Entry Object Notation" www.bartoszsypytkowski.com/peon/
Reposted by Bartosz Sypytkowski
Reposted by Bartosz Sypytkowski
Actually a pretty good diagram
Wow!
This is actually *really* useful as a teaching tool.
This is actually *really* useful as a teaching tool.
November 20, 2025 at 6:28 PM
Actually a pretty good diagram
It's interesting to see that now - as Cloudflare lives through some rough times - how much of the Internet depends on it.
November 18, 2025 at 1:26 PM
It's interesting to see that now - as Cloudflare lives through some rough times - how much of the Internet depends on it.
A: So, how's going?
Me: www.youtube.com/watch?v=NBZv...
Me: www.youtube.com/watch?v=NBZv...
Y'all mind if I complain for 15 minutes?
YouTube video by JaidenAnimations
www.youtube.com
November 16, 2025 at 7:24 AM
A: So, how's going?
Me: www.youtube.com/watch?v=NBZv...
Me: www.youtube.com/watch?v=NBZv...
This is admirable pro-consumer move: blog.kagi.com/slopstop
Kagi is also nice contrast to Google, which when asked for a LITERAL COMPANY NAME, doesn't even show it in first 3 search results.
Kagi is also nice contrast to Google, which when asked for a LITERAL COMPANY NAME, doesn't even show it in first 3 search results.
Introducing SlopStop: Community-driven AI slop detection in Kagi Search | Kagi Blog
-------------------------------------------------------------------
Your collective defense against AI-generated spam and content farms
----------------------------------------------------------------...
blog.kagi.com
November 14, 2025 at 10:07 AM
This is admirable pro-consumer move: blog.kagi.com/slopstop
Kagi is also nice contrast to Google, which when asked for a LITERAL COMPANY NAME, doesn't even show it in first 3 search results.
Kagi is also nice contrast to Google, which when asked for a LITERAL COMPANY NAME, doesn't even show it in first 3 search results.
Something that I hope more languages will adopt from F# is `and!` binding operator - used for marking independent expressions which can be used to i.e. auto-parallelise async calls or gather validation results:
learn.microsoft.com/en-us/dotnet...
learn.microsoft.com/en-us/dotnet...
Computation Expressions - F#
Learn how to create convenient syntax for writing computations in F# that can be sequenced and combined using control flow constructs and bindings.
learn.microsoft.com
November 13, 2025 at 11:19 AM
Something that I hope more languages will adopt from F# is `and!` binding operator - used for marking independent expressions which can be used to i.e. auto-parallelise async calls or gather validation results:
learn.microsoft.com/en-us/dotnet...
learn.microsoft.com/en-us/dotnet...
Reposted by Bartosz Sypytkowski
Took 4in1 vaccine shoot. Now I sleep in the middle of the day, have problem to focus on work for more than few hours and my back and joints hurt. So theoretically, nothing changed.
November 8, 2025 at 5:22 AM
Took 4in1 vaccine shoot. Now I sleep in the middle of the day, have problem to focus on work for more than few hours and my back and joints hurt. So theoretically, nothing changed.
Everyone are talking about vibe coding. What about "vibe pricing"?
You want to pay for AI tool. For $20 you get 1500 AI credits/month. But what is AI credit? What's the table to calculate your usage and needs? Nobody knows. Not even the authors.
You want to pay for AI tool. For $20 you get 1500 AI credits/month. But what is AI credit? What's the table to calculate your usage and needs? Nobody knows. Not even the authors.
November 7, 2025 at 4:03 AM
Everyone are talking about vibe coding. What about "vibe pricing"?
You want to pay for AI tool. For $20 you get 1500 AI credits/month. But what is AI credit? What's the table to calculate your usage and needs? Nobody knows. Not even the authors.
You want to pay for AI tool. For $20 you get 1500 AI credits/month. But what is AI credit? What's the table to calculate your usage and needs? Nobody knows. Not even the authors.
Reposted by Bartosz Sypytkowski
I offer help for free, via email, to people using Redis Vector Sets in production or if they are experimenting with that. Feel free to ping me! If you don't know what I'm talking about, check this: redis.io/docs/latest/...
Redis vector sets
Introduction to Redis vector sets
redis.io
November 6, 2025 at 12:16 PM
I offer help for free, via email, to people using Redis Vector Sets in production or if they are experimenting with that. Feel free to ping me! If you don't know what I'm talking about, check this: redis.io/docs/latest/...
You don't appreciate stack overflow failures in JVM/.NET until you realise that in Rust it leaves no stack trace, so your production logs leave you empty handed when it happens.
November 4, 2025 at 8:15 AM
You don't appreciate stack overflow failures in JVM/.NET until you realise that in Rust it leaves no stack trace, so your production logs leave you empty handed when it happens.
State of the art of the software in 2025. Want to uninstall AI tool? Just follow the official docs they say (claudelog.com/faqs/how-to-...).
November 4, 2025 at 5:28 AM
State of the art of the software in 2025. Want to uninstall AI tool? Just follow the official docs they say (claudelog.com/faqs/how-to-...).
I managed to burn two laptops in my life:
1. I rented my free CPU time to SETI program for too long.
2. I run Linux on a Dell laptop with NVIDIA graphics card on board back in 2011 and went on a lunch break.
Now I think, it's wild that I managed to do it twice.
1. I rented my free CPU time to SETI program for too long.
2. I run Linux on a Dell laptop with NVIDIA graphics card on board back in 2011 and went on a lunch break.
Now I think, it's wild that I managed to do it twice.
October 31, 2025 at 6:00 PM
I managed to burn two laptops in my life:
1. I rented my free CPU time to SETI program for too long.
2. I run Linux on a Dell laptop with NVIDIA graphics card on board back in 2011 and went on a lunch break.
Now I think, it's wild that I managed to do it twice.
1. I rented my free CPU time to SETI program for too long.
2. I run Linux on a Dell laptop with NVIDIA graphics card on board back in 2011 and went on a lunch break.
Now I think, it's wild that I managed to do it twice.
Reposted by Bartosz Sypytkowski
This is a very nice blog post because it is not afraid to explain hard work in terms of simple concepts. go.dev/blog/greente...
The Green Tea Garbage Collector - The Go Programming Language
Go 1.25 includes a new experimental garbage collector, Green Tea.
go.dev
October 30, 2025 at 10:26 PM
This is a very nice blog post because it is not afraid to explain hard work in terms of simple concepts. go.dev/blog/greente...
Shit like that should be an eligible reason to return the product as part of warranty: arstechnica.com/gadgets/2025...
Samsung makes ads on $3,499 smart fridges official with upcoming software update
Update introduces two ways for the fridges to show ads.
arstechnica.com
October 29, 2025 at 6:07 AM
Shit like that should be an eligible reason to return the product as part of warranty: arstechnica.com/gadgets/2025...
The romanticised Polish Golden Autumn has ended. This year it lasted for 5 days.
October 29, 2025 at 5:19 AM
The romanticised Polish Golden Autumn has ended. This year it lasted for 5 days.
Call out to music creators on YouTube: don't use GenAI for your visuals. As a fellow artist, would you like to be replaced with an algorithm because someone else couldn't be bothered to reach out to you?
If you are using GenAI for visual, why would I trust that music is made with your own effort?
If you are using GenAI for visual, why would I trust that music is made with your own effort?
October 25, 2025 at 3:28 AM
Call out to music creators on YouTube: don't use GenAI for your visuals. As a fellow artist, would you like to be replaced with an algorithm because someone else couldn't be bothered to reach out to you?
If you are using GenAI for visual, why would I trust that music is made with your own effort?
If you are using GenAI for visual, why would I trust that music is made with your own effort?
This is impressive: an interactive step-by-step introduction to build LSM from first principles - www.nan.fyi/database
Build Your Own Database
A step-by-step guide to building a key-value database from scratch.
www.nan.fyi
October 22, 2025 at 5:48 AM
This is impressive: an interactive step-by-step introduction to build LSM from first principles - www.nan.fyi/database
I guess AWS outage was the biggest advertising for local-first community in a while.
October 22, 2025 at 3:17 AM
I guess AWS outage was the biggest advertising for local-first community in a while.
I'll try moving from Spotify to Tidal. Reason: it pays artists ~4x more and has option to import my Spotify playlist (only 3 out of 400 tracks were not on Tidal).
Hopefully integration with the different devices -including car - will keep up with my expectations.
Hopefully integration with the different devices -including car - will keep up with my expectations.
October 21, 2025 at 3:30 AM
I'll try moving from Spotify to Tidal. Reason: it pays artists ~4x more and has option to import my Spotify playlist (only 3 out of 400 tracks were not on Tidal).
Hopefully integration with the different devices -including car - will keep up with my expectations.
Hopefully integration with the different devices -including car - will keep up with my expectations.
These two perfectly complement each other and cover two core elements of calisthenics (planche and lever):
1. www.youtube.com/watch?v=ngZq...
2. www.youtube.com/watch?v=u3fa...
And if you have more time, you can also add (www.youtube.com/watch?v=3qfR...) (muscle up) for complete routine.
1. www.youtube.com/watch?v=ngZq...
2. www.youtube.com/watch?v=u3fa...
And if you have more time, you can also add (www.youtube.com/watch?v=3qfR...) (muscle up) for complete routine.
October 18, 2025 at 5:31 PM
These two perfectly complement each other and cover two core elements of calisthenics (planche and lever):
1. www.youtube.com/watch?v=ngZq...
2. www.youtube.com/watch?v=u3fa...
And if you have more time, you can also add (www.youtube.com/watch?v=3qfR...) (muscle up) for complete routine.
1. www.youtube.com/watch?v=ngZq...
2. www.youtube.com/watch?v=u3fa...
And if you have more time, you can also add (www.youtube.com/watch?v=3qfR...) (muscle up) for complete routine.
Task: "this function should work with any type that can return a &T".
Rust: let me educate you on Deref, Borrow and AsRef. But if your type is hidden behind Rc<RefCell<T>>, Arc<Mutex<T>> or Arc<RwLock<T>>, you'll need to play a 5D chess match against your compiler to make it work.
Rust: let me educate you on Deref, Borrow and AsRef. But if your type is hidden behind Rc<RefCell<T>>, Arc<Mutex<T>> or Arc<RwLock<T>>, you'll need to play a 5D chess match against your compiler to make it work.
October 16, 2025 at 5:24 AM
Task: "this function should work with any type that can return a &T".
Rust: let me educate you on Deref, Borrow and AsRef. But if your type is hidden behind Rc<RefCell<T>>, Arc<Mutex<T>> or Arc<RwLock<T>>, you'll need to play a 5D chess match against your compiler to make it work.
Rust: let me educate you on Deref, Borrow and AsRef. But if your type is hidden behind Rc<RefCell<T>>, Arc<Mutex<T>> or Arc<RwLock<T>>, you'll need to play a 5D chess match against your compiler to make it work.
Have anyone tried to implement Rope data structure over persistent key-value storage?
October 14, 2025 at 3:11 AM
Have anyone tried to implement Rope data structure over persistent key-value storage?
Some thoughts back from the vacation on African dessert: current world of software expects you to be permanently online and that sucks really badly.
Even my music app and video player first hangs for a minute trying to connect before giving up and letting me work on it. This is unacceptable.
Even my music app and video player first hangs for a minute trying to connect before giving up and letting me work on it. This is unacceptable.
October 13, 2025 at 4:45 AM
Some thoughts back from the vacation on African dessert: current world of software expects you to be permanently online and that sucks really badly.
Even my music app and video player first hangs for a minute trying to connect before giving up and letting me work on it. This is unacceptable.
Even my music app and video player first hangs for a minute trying to connect before giving up and letting me work on it. This is unacceptable.
Reposted by Bartosz Sypytkowski
Why bother to read something nobody could be bothered to write?
October 7, 2025 at 5:39 AM
Why bother to read something nobody could be bothered to write?