Davri
davr1.dis.blue
Davri
@davr1.dis.blue
he/they
I didn't even know bluesky had this feature
September 9, 2025 at 7:05 AM
Is there any chance that discord's search gets reworked too? The stemming is too strong, which not only makes it difficult to find exact matches in English, but it also ruins search in other languages. An option to disable this behavior would be great (for example using quotation marks)
July 16, 2025 at 4:40 AM
Aren't multiple embeds from the same source merged into one in order to support opengraph arrays? (I just realized this no longer works for twitter posts)
February 1, 2025 at 8:35 PM
this is what it currently looks like in the latest stable release
(the back arrow brings you back to the originating message)
January 12, 2025 at 10:35 AM
On mobile they could work with gestures to keep both actions, which is a really nice solution imo
December 22, 2024 at 6:54 AM
I think it has always been this way, maybe even before replies were released

It's generally more common to edit your own message than to reply to it, so they decided to switch the actions on desktop.
December 22, 2024 at 6:53 AM
That's your own message, if you hold shift the edit button becomes the reply button like usual
December 22, 2024 at 6:28 AM
Just curious, was this project inspired by the Library of Babel? (the website, not just the book)
I loved your blog post where you gave perspective on how you solved the individual problems, made it much easier to understand the concepts of similar algorithms.
December 6, 2024 at 7:41 PM
You can also make (almost) everything inside <head> visible using css, just for fun. Replace those <h1>'s with <title>'s, <p>'s with <style>'s, nobody can stop you :3
December 6, 2024 at 6:43 AM
Here's one from a math professor building an incredibly intricate keyboard layout

math.berkeley.edu/~serganov/il...
izKeys “4 scripts + Math + Etc” layouts
math.berkeley.edu
December 3, 2024 at 5:40 AM