Profile avatar
gm0stache.tigerente.dev
code artisan. internet hippie. techno optimist. eu/acc advocate. [🧑‍💻...💥](https://github.com/gm0stache)
380 posts 230 followers 498 following
Regular Contributor
Active Commenter
Posts 29 Comments 21

look what arrived today! #hobonichi

submitted 13 hours ago • 0 comments

oh hello! what a pace!

submitted 3 days ago • 0 comments

super excited for the new #lofifm episode 🤩

submitted 3 days ago • 0 comments

debugger support and git integration are in the works. my questions are answered. very exciting! #zed zed.dev/roadmap

submitted 7 days ago • 0 comments

love it.

submitted 8 days ago • 0 comments

@signal.org would love a feature in the app that allows me to "enforce" the disappearing message timeout. i would expect people to be unable to message me, if they change the setting within a chat.

submitted 9 days ago • 0 comments

TIL about RFCs 9576 & 9577 that specify "Privacy Pass" - auth tokens that use oblivious pseudorandom functions to provide auth that can't be traced back to the issuer. This relies on correct implementation of the client only.

submitted 15 days ago • 0 comments

turns out, chocolate can be art

submitted 14 days ago • 0 comments

woooh, #zed keeps living up its high expectations! great move!

submitted 15 days ago • 0 comments

Delighted to have joined my good friend & colleague Noam Shazeer on a podcast with @dwarkesh.bsky.social for a 2+ hour discussion on early Google, ML hardware, training 1T+ token LLMs in '07, model sparsity, continual learning, and more. Thanks, Noam and Dwarkesh! 🙏 youtu.be/v0gjI__RyCY?...

submitted 16 days ago • 1 comment

@wang.social is there already a company (besides bluesky) "in the makings" that would offer payed AT repo hosting? thanks for all your work! big fan of skyseed!

submitted 18 days ago • 0 comments

@zed.dev i love the new "edit prediction" feature/integration!!! works great! congrats!

submitted 19 days ago • 0 comments

installed the browser extension "NoScript" a couple months ago. taught me a lot about which online analytics/CDN's/services websites of my interest are using. a surpisingly fascinating experience!

submitted 21 days ago • 0 comments

hi @zen-browser.app team! is there any write up on your security policy? you are based on firefox, right? how up to date are you with the security patches? whats the typical delay for applying them?

submitted 21 days ago • 2 comments

@signal.org please link your merch store on the website! would make it so much easier to find 😇

submitted 22 days ago • 0 comments

how cool would it be if the #cursorAI team and the #zed editor team merged?

submitted 22 days ago • 1 comment

We've been working on an exciting new AI feature for the past few months and are now ready to expand our beta testing. Click the link below to join the beta waitlist! zed.dev/edit-predict...

submitted 23 days ago • 7 comments

Had a wonderful chat with Adam Wulf who's behind the inspiring local-first Muse. We talked about what it takes to build software as a "team of one" and other local-first related topics including analytics and the Apple ecosystem.

submitted 24 days ago • 0 comments

I have two things to share with you today. First, we're starting a publishing company. Second, I wrote a book about computing, which you can preorder starting today!

submitted 27 days ago • 8 comments

Our paper "hax: Verifying Security-Critical Rust Software using Multiple Provers" is now available on eprint and will be published in the VSTTE 2024 proceedings.

submitted 28 days ago • 0 comments

@t3.gg look who's here! => @zen-browser.app

submitted 29 days ago • 0 comments

@inkandswitch.com is there something like a patreon where i can sponsor your work? and (asking for a friend): is there a merch shop? ... huge fan of all the stuff you are doing! thank you for all your work!

submitted 30 days ago • 0 comments

#atproto experts! is there already a service offering AT "Data Repository" hosting? would love to contribute to the federation of this wonderful ecosystem without the headache of administrating my own server.

submitted 30 days ago • 0 comments

found a great new podcast: #buildingbettersystems ! super interesting talk about the intersection of systems engineering and formal verification! especially enjoyed getting a glimpse of everyday work in that field! open.spotify.com/episode/7xjn...

submitted 31 days ago • 0 comments

computers started local-first and will go back to local-first

submitted 37 days ago • 8 comments

🚀 hax is entering a new era! 🚀 We're excited to announce the launch of our new website and our first official release! Check out our latest blog post to learn more about this exciting new chapter 🔗 https://hax.cryspen.com/blog/2025/01/21/a-new-chapter.html #opensource #hax

submitted 37 days ago • 0 comments

#trailrunning fascinates me on a primal level. flying through nature by the mere power of your own body. i may have fallen in love.

submitted 38 days ago • 2 comments

@iroh.computer sorry for being so blunt: what is your motivation behind building "iroh"? are you just some early retried startup founders (like #hashimoto) or is there a business idea/model behind all your incredible engineering? 😁

submitted 40 days ago • 2 comments

good starting point to learn about what #iroh is! very excited about all of this!

submitted 40 days ago • 0 comments