beat

beat

@beathagenlocher.com

Mostly random stuff I find interesting, or other sharable thoughts that cross my mind. https://beathagenlocher.com

98 followers352 following331 posts

beat reposted

It's very exciting that AI can now take substantial real-world software like zlib and prove it correct (github.com/kim-em/lean-...). @kirancodes.me found a bug by fuzzing, but it was outside of the boundary of what was verified (kirancodes.me/posts/log-wh...). That doesn't diminish the excitement!

kirancodes.meLean proved this program was correct; then I found a bug.AI agents are getting very good at finding vulnerabilities in large-scale software systems.

I've had some GNOME issues again, and did a very small writeup:GNOME Wayland Desktop Portal/Nautilus/Screen Sharing Issues #GNOME #Linux #Wayland #Desktop

I just spent 1 1/2 hours reading this absolutely amazing blog post by @iankduncan.com: www.iankduncan.com/engineering/... And if you're likely to get nerdsniped by me mentioning #distributedsystems, #functionalprogramming, you definitely should read it too.

iankduncan.comWhat Functional Programmers Get Wrong About Systems - Ian DuncanType systems verify properties of programs. Production correctness is a property of systems. The gap between these is where the interesting failures live.

PSA: If you're writing CSS, value simplicity, and don't know about Fluid (Type) Scales yet, you should check them out :) #CSS #Design #Simplicity

PSA: If you're writing CSS, value simplicity, and don't know about Fluid (Type) Scales yet, you should check them out :) #CSS #Design #Simplicity

beat reposted

Anyone knows if there is a chart with all the AT Protocol apps users over time? Would love to see popular and trending apps using AT Protocol!

beat reposted

Reason number 627383 having a blog is awesome... Leo from Beekeeb read my 36 key / RSI post and included a pre-release Toucan 36, keeb in my chocofi order. totally unexpected. totally awesome. thanks Jenny & Leo! shop.beekeeb.com for some awesome hand made keebs.

I've added a bit more barebones Nix stuff that can be confusing at first :) #Nix #OS #ProgrammingLanguage #nixpkgs #NixOS #FunctionalProgramming #DeclarativeProgramming

I wrote a very simple introductory note I'd really enjoyed reading some years ago: Setting Up A Server (with NixOS and Clan) #ssh #TheInternet #IP

I've recently set up Immich on my home server (with Clan), and half-finished a note on this :) #NixOS #Clan #Immich #HetznerStorageBox #Samba/CIFS #FileSystemMount