Kobi Gurkan

One cool thing about designing your vibe coding workflow for verifiability and testability is that you can switch out models and only impact performance, including switching to local models

Would the rust build scripts with some conditionals give you the experience you want? You still cargo build

Looking forward to it!

Good time to drink from the tap

go.sum Is Not a Lockfile In Go, go.mod acts as both manifest and lockfile. There is never a reason to look at go.sum.

PSA: go.sum is not a lockfile.

You never need to look at go.sum.

go.mod has everything you need.

It’s 11:59 somewhere!

Of course it’s not perfect since we can still (I guess) verify the code ourselves

One fun simile of AI producing a lot of math/code and produced proofs of correctness using formal verification is that it’s like we’re moving to an NP feeling era where the statements are math/code and witnesses are these proofs

Interested to test!

Submitted to present in #ATmosphereConf!

Thoughts on what tools and protocols we have at our disposal for expressive end to end verifiability using trusted execution environments and/or cryptography

Interested!

Wen openra lan party

How well it would work to paint PLA with acrylic with only sanding and without priming? Or otherwise do you know an in-office friendly and convenient priming method?

From Reddit it seems like it uses confidential compute?

Great idea

7/ Check out the details, including a deeper discussion of challenges, a prototype of Bitchat over Wi-Fi Aware, and general notes on cross-platform Wi-Fi Aware implementation

👉 grjte.sh/bitchat-wifi...

@grjte.sh in-depth post shows how it can be used in practice, what are the limitations and else the community should think about!

2/2

@grjte.sh’s exploration into using Wi-Fi aware for local-first chat on bitchat

Wi-Fi aware has large range, simpler authentication and is becoming cross-platform supported

@grjte.sh integrated it as an alternative to Bluetooth

1/2

🧵 Could Bitchat have 5x the range and 100x the throughput for the same power expenditure? I explored how Wi-Fi Aware could improve the reliability and throughput of Bitchat and mobile ad-hoc networks in the absence of internet connectivity. #bitchat

👇

Curious to hear how it goes if you pick it up and which tools you use

If you see unwrap you should look at another codebase!

Hoping to experiment with tap as well

One could say it’s code with a different purpose

The Community Manager Pattern - Nick's Blog This post looks more closely at Brittany Ellich's work on representing groups in ATProtocol. It builds on earlier conversations and explores how these ideas might work in practice.

@brittanyellich.com and I have been talking about community modeling on ATProtocol lately and I wrote a follow-up piece to her recent post "Representing groups in ATProto".

Generative coding is an accelerant to get evaluations and proofs right, the industry can’t avoid it anymore

You’re right to insist on this

New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...

Three reasons for this:

1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.

Generally generative education is super interesting

Oh I see