Thank you sponsors for all the swag. #nixcon

#NixCon 2022, Day 2 Kicking Off. Check out the livestream and recording here - youtube.com/watch?v=-hsxXB… I'll be sharing more about Strong Nix and Tom will give a peek into flox live later today! nixcon NixOS Flox

Wow. #NixCon Paris 2022 was amazing! It flew by. I’m barely able to process it even started. 😅 Lots of great talks, people, and atmosphere. Hope to see everyone again next year! ❄️👋 P.S. I might have ~~stolen~~ collected a few badges. 🥲 NixOS Tweag by Modus Create

I was so happy to see Nixers hacking in the courô (the nice private garden)! And it seemed like people were hanging out at the bar long after we finished cleaning up after the hackday. I hope the hackathon helped Nix move forward and bring the community together.

Today was the first day of the #Cyber912 challenge! Congratulations to all the competitors, who all did a great job making suggestions on how to respond to the cyber crisis presented to them. To be continued…tomorrow! Atlantic Council Cyber Statecraft

👏 Congratulations to the winning team of this edition of the #Cyber912 Strategy Challenge: CCCF from École normale supérieure | PSL, coached by @hugozylb!

My first paper is out! eprint.iacr.org/2022/1732 It is analyzing the authenticity properties of MLS. More explanations below. 🧵

Or... You can just use #Nix where the module system has all this built in automatically. This is one of those repos that really drives how spoiled we are with NixOS. The fact that people are valuing this, points to the weakness of docker.

That looks a lot like a Resistor ladder top right, and transistors bottom left. I think it's an A/D converter... anyone else any guesses?

I am starting a blog post series on MLS! In the first post, I answer the question: "What is MLS?" Following posts will then describe how MLS is designed, and why it is designed that way. twal.org/blog/0001_what…

Yosys user's group 002! September 7th at 18:00 CEST. We'll start with a demo of our new formal equivalence checker targetting the OpenLane ASIC flow. Bring your own design to follow along! Afterwards we'll have time for your questions and suggestions.

RAID = **Redundant** Array of Independent Disks RAID 0 = Stripping across disks **without redundancy**

Hackers of Numtide, our sponsor, submitting "pool requests". A common sight on #oceansprint.