Gabriel
@gm0stache.eu
offline techy. internet hippie. techno optimist. eu/acc advocate. [✍️...💌](https://blog.gm0stache.eu) [🧑💻...💥](https://tangled.org/gm0stache.eu)
Check out my new article "Post Imperative Coding: Executable Specs". #offprint gm0stache.offprint.app/a/3ms4afytfn... #quint #programming
Post Imperative Coding: Executable Specs
How software engineering moves towards specification and validation.
gm0stache.offprint.app
@offprint.app would love to be able to upload a markdown file to create a new article from it...is that on the roadmap? BTW: is there a feature roadmap where i could suggest stuff like this in the future and maybe vote for existing feature proposals? Love your product! Keep up the great work!
Extending the offer to everyone, we’re close to a finished Substack migration tool. If you’d like to migrate off Substack and help us build this tool out, contact us!
dad (aka miguel)@aka.dad · last wk.you can import your list yourself in @offprint.app 👀 but you can contact us about migrating your existing substack content too, backdated and all 😎
Waited sooooo long for this 🤩 Congratulations!!! So excited to read it!!!
Hillel is on Social Media Break@hillelwayne.com · last wk.I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com
@stephango.com would it be possible to add Web Clipper as a core plugin to Obsidian itself? Or is there a specific reason for it being a browser plugin only? For me it would streamline my workflows in Obsidian...
@andymatuschak.org in case you have some spare time - maybe an interesting team/effort/place to join 😁 learnvector.ai#join
LearnVector — A new AI company from Andrew Ng
A new AI company from Andrew Ng, with a $100M investment from Coursera — building one-to-one learning that stays with you until you've mastered new skills.
learnvector.ai
When Charles Hoskinson and his 🐙 call Lean + Quint + Rust "the stack of stacks of stacks," we'll take it. Nothing makes us happier than seeing Quint pushed in ambitious new directions.
The European Central Bank evaluates new designs for the banknotes. Just voted! surveys.ecb.europa.eu/10b/banknote...
Survey | surveys.ecb.europa.eu
I’ve just had my say on our future banknotes. Have your say too!
surveys.ecb.europa.eu
@theconsensus.dev on bsky!? Love it! Give them a follow - great stuff!
Engineering management after the cost of code collapsed: “Investing in machine-checkable correctness is now among the highest-leverage infrastructure work an org can fund” karimjedda.com/engineering-...
Diversity and tolerance are among the foundations of our democracies. The abhorrent attack on Berlin’s Pride parade was an assault on our free and open societies. (1/2)
Spoke to @zackwhittaker.com about the case of U.S. federal prosecutors going after an American for allegedly wiping his phone with a duress password during a border search. First case I've seen, though I've discussed the potential scenario with at-risk folks. techcrunch.com/2026/07/24/u...
US accuses American of allegedly wiping his phone using a 'duress' password during border search | TechCrunch
A U.S. citizen has asked a court to throw out the government's claim that he gave over a passcode to border authorities that wiped his phone's data, opening up fresh questions about a person's constit...
techcrunch.com
Versuche aus dem Hause #Dobrindt – Netzwerk Recherche ist bestürzt über die bekanntgewordenen Pläne des Bundesinnenministeriums, das #Informationsfreiheitsgesetz noch weiter auszuhöhlen als bisher berichtet netzwerkrecherche.org/blog/bmi-ifg/
Netzwerk Recherche kritisiert Pläne des Bundesinnenministeriums zum IFG – „Massiver Angriff auf eine demokratische Errungenschaft“
Die Journalistenorganisation Netzwerk Recherche ist bestürzt über die heute bekanntgewordenen Pläne des Bundesinnenministeriums (BMI), das Informationsfreiheitsgesetz noch weiter auszuhöhlen als…
netzwerkrecherche.org
We know a bad call when we see one...
Center for Media & Digital Governance@cmdgtech.bsky.social · 2w ago"The Commission had every legal tool it needed to protect media pluralism and chose not to use them. This merger hands even more control over Europe's entertainment and news to a single American conglomerate.” - @courtneyr.bsky.social www.openmarketsinstitute.eu/publications...
Rogue OpenAI model breached Hugging Face?! Hear hear openai.com/index/huggin... #ai #cybersec #openai
OpenAI and Hugging Face partner to address security incident during model evaluation
OpenAI and Hugging Face share early findings from a security incident during AI model evaluation, highlighting advanced cyber capabilities and lessons for defenders.
openai.com
Passkeys can be stored just like password hashes! I'm proposing an interoperable $webauthn$v=1$… format, and a Go API that uses these passkey records for authentication. I'm looking for feedback before proposing this as crypto/passkey for Go 1.28!
Opaque, Interoperable Passkey Records (and a Go API)
Passkey records are an interoperable format for WebAuthn credentials, similar to password hash strings. I propose a potential crypto/passkey Go API based on them.
words.filippo.io
tangled.org/entropy.obsc... > Open spaced repetition on atproto pretty cool!
entropy.obscurityskies.xyz/memsora
A repository on Tangled
tangled.org
Climate change can feel big — but getting started doesn’t have to. 🌎 Khan Academy + OER Project’s Climate project helps you understand the headlines, ask better questions, and find your role in creating change.
@bsky.app recently acquired the trademark for AT Protocol (and variants) to help protect the ecosystem. Here’s more about what that means. atproto.com/blog/at-prot...
AT Protocol Trademark
Bluesky now owns the trademark for AT Protocol to shield the ecosystem and make sure it can be used as widely as possible.
atproto.com
I spent decades of my life loving the craft of writing the best code, priding myself in generally being regarded as pretty good at what I do. LLMs gave me a bit of a forced perspective shift that taught me what I really enjoy is the building of the system, the architecting of how it’s going to work.
LaurieWired@lauriewired.bsky.social · 3w agoDon’t you *LIKE* understanding the magic of the machine? You do realize hand-programming (I hate that I even have to specify hand now) is fun…right?
San Francisco police accidentally livestreamed their drones’ video and data on the open web. The hours of footage—including several apparent arrests—should never have been made public, but now offer a glimpse of modern aerial urban surveillance. www.wired.com/story/sfpd-d... w/ @dmehro.bsky.social
A Leak of San Francisco Police Drone Footage Exposes the New Reality of Urban Surveillance
The SFPD’s exposure of hours of videos from drone platform Skydio reveals how broadly it’s watching the city from above—and how the results can spill online.
wired.com
@iroh.computer under the hood! ❤️ One of the many great projects to come in that category. rayfish.xyz/blog/01-intr... #iroh #p2p #vpn #rayfish
Rayfish · Your own private network. No servers, no setup.
Rayfish is a peer-to-peer mesh VPN. Connect your devices by cryptographic identity. No port forwarding, no hosted server to trust. Share a code, and you're on the same encrypted LAN.
rayfish.xyz
Check out my new article "DWeb Camp 2026". #offprint fourthings.gm0stache.eu/a/3mqhlyfkpe...
DWeb Camp 2026
Discovering curious humans and ideas.
fourthings.gm0stache.eu
Der Bundestag hat gerade das Zeitalter der automatisierten Überwachung eingeläutet. Die Bundespolizei soll an Bahnhöfen Videoüberwachungssysteme einsetzen, die Menschen identifizieren und ihr Verhalten beurteilen. Bald sollen weitere KI-Überwachungs-Tools kommen. netzpolitik.org/2026/neues-b...
Der Bundestag hat gerade das Zeitalter der automatisierten Überwachung eingeläutet
Die Bundespolizei soll an Bahnhöfen Videoüberwachungssysteme einsetzen, die Menschen identifizieren und ihr Verhalten beurteilen. Gerade wurde das Gesetz vom Bundestag verabschiedet. Bald sollen weite...
netzpolitik.org
