Kobi Gurkan @kobi.bsky.social · 16/01/2026One 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 020
Kobi Gurkan @kobi.bsky.social · 14/01/2026Would the rust build scripts with some conditionals give you the experience you want? You still cargo build 120
Reposted by Kobi GurkanFilippo Valsorda @filippo.abyssdomain.expert · 05/01/2026PSA: go.sum is not a lockfile. You never need to look at go.sum. go.mod has everything you need.words.filippo.iogo.sum Is Not a LockfileIn Go, go.mod acts as both manifest and lockfile. There is never a reason to look at go.sum. 513325
Kobi Gurkan @kobi.bsky.social · 30/12/2025Of course it’s not perfect since we can still (I guess) verify the code ourselves 010
Kobi Gurkan @kobi.bsky.social · 30/12/2025One 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 130
Kobi Gurkan @kobi.bsky.social · 29/12/2025Submitted 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 1193
Kobi Gurkan @kobi.bsky.social · 27/12/2025How 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? 010
Kobi Gurkan @kobi.bsky.social · 24/12/2025From Reddit it seems like it uses confidential compute? 100
Reposted by Kobi Gurkangrjte @grjte.sh · 23/12/20257/ 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... 0144
Kobi Gurkan @kobi.bsky.social · 24/12/2025@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 010
Kobi Gurkan @kobi.bsky.social · 24/12/2025@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 120
Reposted by Kobi Gurkangrjte @grjte.sh · 23/12/2025🧵 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 👇 14112
Kobi Gurkan @kobi.bsky.social · 24/12/2025Curious to hear how it goes if you pick it up and which tools you use 010
Reposted by Kobi GurkanNick Gerakines @ngerakines.me · 21/12/2025@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".ngerakines.leaflet.pubThe Community Manager Pattern - Nick's BlogThis 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. 3364
Kobi Gurkan @kobi.bsky.social · 21/12/2025Generative coding is an accelerant to get evaluations and proofs right, the industry can’t avoid it anymore 040
Reposted by Kobi GurkanChad Fowler @chadfowler.com · 21/12/2025aicoding.leaflet.pubRegenerative Software 5236
Reposted by Kobi GurkanMartin Kleppmann @martin.kleppmann.com · 08/12/2025New 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.martin.kleppmann.comPrediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog 1416930
Kobi Gurkan @kobi.bsky.social · 16/12/2025Being unique can make you strong ❤️ In unique signature schemes, existential unforgeability implies strong unforgeability 010
Kobi Gurkan @kobi.bsky.social · 16/12/2025Nice, you added another layer of SSB on top of SSB to achieve it? 110
Kobi Gurkan @kobi.bsky.social · 16/12/2025@nicomnbl.bsky.social how about this :) hackmd.io/@nmohnblatt/...hackmd.ioGeometry presents: a zero knowledge library for Mental Poker (and all card games) - HackMD# Geometry presents: a zero knowledge library for Mental Poker (and all card games) In this short d 120
Kobi Gurkan @kobi.bsky.social · 16/12/2025Very cool, curious how it handles private state if on atproto 100
Kobi Gurkan @kobi.bsky.social · 21/10/2025doing my favorite thing of composing stuff together, and toying around with x402 and Privacy Pass to see how they can play together to introduce a sort of a blinding layer to x402 an intro to both, how they're used and a possible way to integrate them! kobi.leaflet.pub/3m3pyyctda22ikobi.leaflet.pubPrivacy Pass + x402 = blinding for x402 - Kobi's blog 0152
Kobi Gurkan @kobi.bsky.social · 03/10/2025See it here: kobi.leaflet.pub/3m2ch5qko2c2kkobi.leaflet.pubZODA FAQ for engineers - Kobi's blogAn engineer's set of questions when using ZODA 020
Kobi Gurkan @kobi.bsky.social · 03/10/2025Want to understand ZODA? Tried to implement it and found yourself stumped?? This FAQ is just for you! Wrote some answers for questions I’ve seen around me and those I had myself, navigating details and tradeoffs If you have any more - let me know :) 141
Kobi Gurkan @kobi.bsky.social · 27/08/2025Wrote about a few interesting ones I’ve seen: • Locally verifiable signatures, where you want to know a message from a set is signed • Linear subspace signatures, where you can non interactively derive signatures for every vector in a subspace kobi.leaflet.pub/3lxfc6khits27 2/2kobi.leaflet.pubSignature schemes you've never heard about - Kobi's blogAn exploration of some interesting signature schemes! 082
Kobi Gurkan @kobi.bsky.social · 27/08/2025Signature schemes are a cornerstone of modern infrastructure and we all know the common ones that sign a message, and some of you know ones that can be e.g. aggregated In more specialized scenarios, the properties needed aren’t obvious until you hit that problem yourself 1/2 140
Kobi Gurkan @kobi.bsky.social · 06/07/2025While it’s not a huge increase over the baseline of no reasoning (72.8%), it still appears to work, which they see as early indication of developing steganographic abilities See the paper here: arxiv.org/pdf/2507.02737 4/4 000
Kobi Gurkan @kobi.bsky.social · 06/07/2025encoding it directly such that an external observer can’t understand it (“scratchpad”) One interesting image is the one below, where with GPT 4.5, a “first-letter” encoding where first letters of sentences encoding a simple state-tracking reasoning task 3/4 100
Kobi Gurkan @kobi.bsky.social · 06/07/2025They’re testing both “message passing” and “encoded reasoning”, where in the second one there’s a monitor looking at the chain of thought and judging whether a forbidden task is being done, and the goal is to encode the reasoning steps, either within a cover task’s output or just 2/4 110
