Keep the chip in Christmas! After scouring Spotify for 8-bit and 16-bit holiday tunes, here's a playlist with covers of hymns and carols, midcentury standards, and more recent pop songs. Enjoy chip artists like Tee Lopes, Dj Cutman, Rush Coil, 8-bit Weapon, Computeher, Jim Kulakowski, Doctor Octoroc, Bulby, Mr. Joyrider in a Scrambler, CoolAm7, and Robby Duguay.
Heute #ADiscoveryOfWitches zu Ende geschaut, die hat mich so gut unterhalten wie schon lang keine Serie mehr. :blobcatcomfy:
Ich denke, dass ich die zugrundeliegende Buchreihe #AllSouls auch noch lesen werde.
In der Zwischzeit versüße ich mir die Zeit damit, endlich
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
[ May 30, 2025 - June 7, 2025] Conference or similar: BACK to the THINGS THEMSELVES! 2025 https://philevents.org/event/show/123722
«Kritische Infrastruktur–Bund muss mehr in Cybersicherheit investieren:
Das eidgenössische Parlament pocht nach dem Xplain-Skandal auf verbindliche Cybersicherheitsprüfungen wichtiger Produkte und rennt damit bei der Landesregierung offene Türen ein»
Unter anderem wäre zB das blinde Vertrauen in IT-Verkäufer sehr wohl zu überlegen und nicht alles nur kurzsichtig anzunehmen.
🔓