tverghis @me.tverghis.space · 27/01/2025Chrome lets you flush the socket pool manually, that was sufficient 010
tverghis @me.tverghis.space · 27/01/2025Ok I KNOW that keepalive is a cornerstone of http/2 and for like 99.999% of cases you want connection reuse. That being said is there any browser at all that allows you disable keepalive behavior? I just want to test something 😭 100
tverghis @me.tverghis.space · 24/01/2025Lastly, computers are cool as hell and I love learning about them 000
tverghis @me.tverghis.space · 24/01/2025This is more obvious, but - if, instead of hard-coding the stride lengths in code, we read them as command-line args, the compiler loses the ability to optimize the stride=1 case as aggressively. In this case also, stride=1 takes ~2x as long to run as stride=16. 100
tverghis @me.tverghis.space · 24/01/2025Stumbled upon something else related to this experiment. Seems as though the `stride=1` case is as fast as `stride=16` largely because of autovectorization. Compiling with `-C opt-level=z` shows that it really takes 2x as long for `stride=1`, apples-to-apples (`stride=16` is never autovectorized) 100
tverghis @me.tverghis.space · 22/01/2025I have no idea how widespread this is or is going to be, but on a recent 15hr flight I had great Starlink-powered WiFi for free, for pretty much the whole duration. I would have paid for this without hesitation. 010
tverghis @me.tverghis.space · 14/01/2025Too kind! Thank you for taking the time to read and leave feedback! 010
tverghis @me.tverghis.space · 14/01/2025I didn’t end up experimenting with it, but I thought about including a section on trying to madvise around the issue! Maybe another quick addition to the appendix 🤔 010
tverghis @me.tverghis.space · 14/01/2025This is a paid series, but Casey Muratori talks a lot about that specific disconnect here: www.computerenhance.com/p/wastecomputerenhance.comWasteWatch now (33 min) | How many CPU instructions does Python take to do one CPU instruction? 100
tverghis @me.tverghis.space · 14/01/2025I’m hoping to write more this year, so if you read this please let me know what you think! 200
tverghis @me.tverghis.space · 14/01/2025I was trying to reproduce a simple benchmark recently and it sent me down on a side quest to better understand a small part of how computers manage memory. I did a little write-up here: tverghis.space/posts/page-f...tverghis.spaceOops All Page Faults! | Tarun Verghis 1104
tverghis @me.tverghis.space · 10/01/2025Hooked up to the internet (for free!) via Starlink on a 15hr flight is so sweet 👌 speeds are entirely respectable, I’m actually getting a LOT of work done 010
tverghis @me.tverghis.space · 09/01/2025Thought it might be fun to reproduce the results in this great article from 15(!) years ago igoro.com/archive/gall... Even repro’ing the first example (and making mistakes) has taught me so much about memory access patterns. Working on a write up! 000
tverghis @me.tverghis.space · 05/01/2025I like this shot of today’s misty morning cruise along the Kinabatangan river (I know nothing about photography, I shot this on my iPhone in cinematic mode with no post-processing) 110
tverghis @me.tverghis.space · 29/12/2024Sunday side-quest: fixing LSP support for a framework I’ve never used for a language I rarely use in an editor I sometimes use. Is this the curse of holiday programming? 000
tverghis @me.tverghis.space · 25/12/2024This isn't exactly what you were looking for, I think - but if you're just doing some local testing (eg: using test accounts with fake email accounts), I was able to run MailHog on the same machine to good effect (also can view sent emails via browser). tverghis.bearblog.dev/local-emails... 010
tverghis @me.tverghis.space · 21/12/2024Read, interact with everything, and enjoy another piece of art from @samwho.dev! 030
tverghis @me.tverghis.space · 18/12/20242025 goal: 11 stars 😎 git-wrapped.com/profiles/tve...git-wrapped.comGitHub Wrapped 2024 - Your Coding Year in ReviewLike Spotify Wrapped, but for your GitHub activity! See your top languages, commit streaks, most productive days, and more in an engaging story format. Get your 2024 coding year in review now. 020
tverghis @me.tverghis.space · 16/12/2024Hi! As a big fan of your other work, I’d love to participate in this, if it’s open to the public. (I can’t seem to DM you) 100
tverghis @me.tverghis.space · 10/12/2024Did a little data wrangling for a little side-quest at work and it was... fun? Frustrating, but fun (in the end) 010
tverghis @me.tverghis.space · 08/12/2024Agree! As someone building tools (more for my own edification than anything else) on top of atproto, it feels like there’s a DX layer missing. I’ve been able to scrounge around other repos to learn what I need, but a cohesive SDK would go a long way in enabling more people to build on atproto 020
tverghis @me.tverghis.space · 07/12/2024Trying something very new - I wrote a really tiny blog post tverghis.bearblog.dev/local-emails... I’m hoping to continue jotting down all the neat tools, findings and learnings I come across as I stumble through my projects. Let me know what you think!tverghis.bearblog.devLocal emails when testing your PDSUsing MailHog for local email testing when setting up an atproto PDS 010
tverghis @me.tverghis.space · 07/12/2024Today's small win: set up my own PDS that's going to be a test-bed for fun experiments/tools (and it actually works!). To be fair, the instructions github.com/bluesky-soci... made it incredibly easy. Took longer to set up the mail service 000
tverghis @me.tverghis.space · 05/12/2024That was fun! Thanks for sharing this game! A Few Words #131 Ｅ Ｅ Ｎ Ｓ Ｔ Ａ Ａ Ｕ Ｅ Ｓ Ｆ Ｔ Ｓ Ｉ Ａ Ｔ Ｔ Ｅ Ｐ Ｌ Ｉ Ｒ Ｇ Ｘ Ｌ I cleared the grid with 5 words 💯 Perfect! a-few-words.coma-few-words.comA Few Words 110
tverghis @me.tverghis.space · 04/12/2024My feed is chock full of posts from insanely talented, smart people in software engineering across so many disciplines - the signal-to-noise ratio is through the roof. I was on a long social media hiatus, but I’m now so excited to just scroll through my feed and learn, learn, learn. So motivating. 010
tverghis @me.tverghis.space · 02/12/2024This December I solemnly swear to make progress on my side project and not do advent of code 000
tverghis @me.tverghis.space · 01/12/2024Don’t have a lot to show for it quite yet, but I’m building a CLI tool to help automate some of the tasks required to perform actions on the network: eg announcing a new labeler service. 120
tverghis @me.tverghis.space · 30/11/2024+1, I feel the same way! I’m working on a guide for a specific operation right now - “how to stand up and declare a new labeler service” 000
tverghis @me.tverghis.space · 30/11/2024Learning about labelers on ATProto is leading to side quest after side quest... Currently working on a CLI tool to help set up, announce and manage your own labeler and associated labels. 000
tverghis @me.tverghis.space · 30/11/2024Just saw @retr0.id 's similar reply, and your reply to that, here: bsky.app/profile/retr... 000
tverghis @me.tverghis.space · 30/11/2024to be clear: I really like the ideas, I'm just poking at them a bit to selfishly help me understand them better 000
tverghis @me.tverghis.space · 30/11/2024Ah, thanks for linking that thread! Just to poke at your original post a bit further: who determines what is an "important" domain, or not? Also -- not sure if this is what you're suggesting, but if the list is also _managed_ through Github, who's in charge of approving the PRs to that list, etc? 200
tverghis @me.tverghis.space · 30/11/2024Dumb question, still new to learning the protocol itself - can this not be handled by a labeling service? Either a first- or (trusted) third-party service that operates these lists of well-known domains, and users of the platform could choose to subscribe to whatever labeler they'd like. 110
tverghis @me.tverghis.space · 27/11/2024I struggled to find this, so just in case it's useful for anyone else: you can resolve did:plc's to handles using a simple HTTP request web.plc.directory/api/redoc#op... 000
tverghis @me.tverghis.space · 26/11/2024atproto labeler that assigns each post a point value and decides if you’re in The Good Place or The Bad Place 100
tverghis @me.tverghis.space · 22/11/2024If you see this, post with a beach photo from your gallery 000
Reposted by tverghisTowaki Takikawa @yongyuanxi.bsky.social · 21/11/2024Many think Rust is primarily about memory safety, but the real reason to use Rust is developer productivity (for C++-like system programming) from having a sane package manager and type system. 2946125
tverghis @me.tverghis.space · 21/11/2024This was such a cool demo to watch in person. Couldn’t stop yapping about it to my teammates afterwards lol 010
tverghis @me.tverghis.space · 21/11/2024I’ve worked on a decent number of things as a software engineer over the last decade or so, but I’ve really fallen in love with building dev tools. Building products and infrastructure is fun, but creating magical tooling to make everyone’s lives easier is a lot more rewarding to me, for some reason 000
