amazing work by @citizenlab.ca !

My colleague Sanjay Ghemawat & I have done a fair bit of performance tuning of various pieces of code. We wrote an internal Performance Hints document ~2 years ago as a way of identifying some general principles & we've recently published a version of it externally. Doc: abseil.io/fast/hints.h...

Are you sad that Advent of Code is already over, and looking for a new challenge to close out the year? Why not learn some #Wasm? Until Jan 7, you can get our book for 25% off! Just head to wasmgroundup.com and use the code HOLIDAY25.

If you’ve felt safer sending a message because you sent it on Signal, please support our work. As a nonprofit, Signal exists because of your donations. In the app: Settings > Donate On the web: Signal.org/donate

on to fiddling with #html / #css again. can't believe everyone is putting up with this .XD i never had problems building UI's in flutter or Jetpack Compose, where everything is simply a _widget_ (contextualized combination of style and function). css just isn't it for me .XD

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.

nice hands-on article about #localfirst, #crdt 's and different projects implementing them! kerkour.com/rust-crdt

You know what to do baby ❤️

my xmas wish for this year: @zed.dev adding enabling to compile their frontend framework GPUI for WASM. think this will be a game-changer for rust in frontend dev. #rust #wasm #gpui

this is big! #zig is moving to #codeberg! ziglang.org/news/migrati...

Who could have possibly seen this coming?

„Friedensabkommen, an denen Frauen beteiligt sind, halten länger“, betont Helga Maria Schmid, Vizepräsidentin der MSC-Stiftung und Leiterin unserer Middle East Consultation Group. Bei @spiegel.de teilt sie Erfahrungen aus ihrer diplomatischen Karriere. Zum Interview 👉 www.spiegel.de/politik/deut...

"The rewrite took only 3 weeks. Mind that I'd never written a single line of Gleam code before that." - @lexx.gr shares how Radical Elements have rewritten their startup from PHP to Gleam ⭐ Go check the full blog post: www.radical-elements.com/minor-epipha...

started to tinkering with #tauri yesterday, and remembered that the team from tauri/ #crabnebula were on #devtoolsfm some months ago. audio is a bit rough in parts, but it's a nice one!

new @inkandswitch.com update dropped! sooooo incredibly thankful for what they are bringing to the world. big fan! www.inkandswitch.com/newsletter/d...

wonderful internet home (+ concept), @grjte.sh ! see for yourself: grjte.sh

encryption is essential to digital privacy, which i see as a fundamental pillar of a free society. cool site about the original #cypherpunks - heros, fallen ones and important projects. cypherpunkshall.github.io

THIS IS HUGE, CONGRATS! 🤩 love your shipping cadence!

Plinko PIR tutorial: vitalik.eth.limo/general/2025...

new ways to #roc!

France's cybersecurity agency was previously actively using GrapheneOS. They helped us by auditing our code and submitting bug reports such as this one: github.com/GrapheneOS/h... They also made suggestions for security improvements to improve protection against exploits.

🗞️ "This is the biggest attack on Europeans' digital rights in years. When the #commission states that it 'maintains the highest standards', it clearly is incorrect," Austrian privacy activist Max #Schrems said." Read more 👉 www.dw.com/en/eu-propos...

look who made it to the party: @roc-lang.org !!! #functionalprogramming #fp #roclang

about time! reflection on my journey to the #mirageos retreat this year.

We were contacted by a journalist at Le Parisien newspaper with this prompt: > I am preparing an article on the use of your secure personal data phone solution by drug traffickers and other criminals. Have you ever been contacted by the police?

Signal polls are here! Find the best time for your group chat to hang out, choose a vacation destination, or ask if you should give yourself a haircut at 1 AM. Now in the latest version of Signal for iOS, Android, and Desktop. signal.org/blog/polls/

discovered a new podcast! #softwareunscripted by richard feldman. love his episode with @nathansobo.bsky.social: native UI's without electron podverse.fm/episode/PFYr...

We won't do dubious #blackfriday "deals". Instead we keep pushing features. #darkmode 🌙 finally landed in our web app.

since the danish EU council presidency STILL keeps pushing #chatcontrol ...today i found this nugget...don't know how i missed out on this one: #andthen #mullvadvpn #vpn mullvad.net/en/blog/mull...

PSA self-hosters!

“Go’s Sweet 16” by Austin Clements, for the Go team — https://go.dev/blog/16years #golang

uff!

This weekend I reached 3,000 miles running in 2025 after initially accomplishing the goal in 2023. I wrote a few words about the unique challenge of doing a difficult thing a second time, and why you have to make hard things possible before you can make them normal. danielmangum.com/posts/possib...

wen @atproto.com dogfood #atproto by developing on @tangled.org?

Galaxy brain resistance: vitalik.eth.limo/general/2025...

interesting piece of #malware that uses #ethereum to index it's control servers. never heard of such a setup before. secureannex.com/blog/sleepyd...

@zed.dev still amazed that you enabled me to rip #vscode out of my life this year. so grateful! love the ability to tweak my keymap to the very last bit, love th minimalist UI and your amazing #ai integration! just incredible!!! thanks!!!!

is there some kind of platform like pikapods that can self-host? my ideal foundation for #selfhosting would be:

it's always such a relief to see that there are still creative and fun and silly projects hidden in the corners of the WWW - good stuff 🧑‍🍳 (if you have any that you super like, pls send them my way!) 🔗 50centadjustedforinflation.com

new bling bling handle!

Simplify Your Code: Functional Core, Imperative Shell http://testing.googleblog.com/2025/10/simplify-your-code-functional-core.html

@nonzerosumjames.bsky.social love your website and general mission! just wanted to add your RSS feed to my lil news bot that i have here on bsky, but it seems like it's broken...no pressure, just a ping! greetings from the netherlands!

great video about the rise of nudging towards #gambling in our daily lives! love #coffeezilla. www.youtube.com/watch?v=9Ii1...

the fight seems won - the battle is one never ending. stay vigilant, efforts to erode our digital freedom are creeping ones.

a big part of #go 's selling point is it's incredible toolchain. great article about some if it's nice properties.

interesting video about "special reasoning" in #earthai from #google. there is a lot of talk about it's ability of "reasoning" and usage of "statistical calculations" - but who verified it? www.youtube.com/watch?v=kpeI...

🎉 1,000,000 protected memories in #zeitkapsl We don't know what it is in there. #e2ee makes sure of that. What we do know: they matter. and they are safe and protected from #bigtech. #1MillionMemories #degoogle

A Fast Bytecode VM for Arithmetic: The Virtual Machine https://abhinavsarkar.net/posts/arithmetic-bytecode-vm/?mtm_campaign=feed

You’re sponsoring @baileytownsend.dev right? github.com/sponsors/fat... Bailey I moved @dwebyvr.org from my personal indie PDS to the shared @commonscomputer.com one today. Hardest part? Getting email setup on my PDS so I could get the PLC token 😆 The new design is a lot more readable, too!

had A LOT of time today dreaming of a #localfirst world... couldn't access the majority of web-based tools today because of the #aws outtake today. the upside of events like this is (hopefully) that c-suites are re-prioritizing the resilience of their digital infrastructure.