Janus Troelsen

I do Haskell/PureScript at @[email protected]

[Janus Troelsen @ysangkok]

alguien en #ZonaAzul #Satélite quiere practicar Alemán en un Café?

[Alex Callejas @dark_axl]

¡Goya! 🏛️💙💛 Mañana el Tour de la Soberanía llega al #CompuFest (Ciencias #UNAM).

10:00 AM | Auditorio Alberto Barajas Celis.

Vamos a demostrar que para ser un arquitecto de élite no necesitas la nube, necesitas el metal. 🤏☸️🎸

#RedHat #MicroShift #SoberaniaTecnica #CU

[Secretaría de Cultura de la Ciudad de México @CulturaCiudadMx]

El Festival Latinoamericano de Instalación de Software Libre #FLISoL llega al corazón de la #CDMX, ven al @ElRuleOficial para disfrutar de un día dedicado al Software Libre.

No importa si eres experto o si apenas vas empezando, ¡aquí hay un lugar para ti!

✨Charlas
✨Talleres
✨Instalaciones
✨Comunidad

¡Te esperamos para construir juntos un mundo más abierto y colaborativo!
👩🏻‍💻🛜👨🏻‍💻

🗓️ 25 de abril
🕣 10:00 h.
📍 Eje Central Lázaro Cárdenas 6, Centro Histórico (Primer piso).

#SoftwareLibre #FLISoL #CDMXCultural #ComunidadTech #OpenSource #ElRule

[Tomas Petricek (find me on BlueSky) @tomaspetricek]

What defines a correct program? What makes a good programmer? The answer depends on what culture of programming you subscribe to!

This has been a long time in the making, but my open access book on the history of programming is available for pre-order!

https://t.co/XAVZIzlAuD

[Better Software Conference @BetterSoftwareC]

Casey's talk is now available on YouTube. Enjoy!
https://t.co/2LO4lls2zx

[Nick Touran @whatisnuclear]

A little demo showing how to use the What is Nuclear fuel cost calculator

[Allan Christophersen @Duffadash]

@YaelBassan Denne fredag påbegyndte jeg en Wikiside om Gili Soft.
https://t.co/bpb41wsRGU

[vollmerm @ma_vollmer]

Pre-print: Type-safe and portable support for packed data

https://t.co/7div7ruf8g

[Janus Troelsen @ysangkok]

@JohnTempest9 @PolitlcsUK Even though the runway at Teesside is 2200 meters, it probably doesn't have the equipment or staff to serve very many international flights. Many people would be relying on public transport, which would quickly be overwhelmed.

[Janus Troelsen @ysangkok]

@cristoforestman @GoDiZh @energybants It's built before airliner impact resilience was a requirement, I think. So it probably wouldn't deal well with that kind of terrorism.

[Janus Troelsen @ysangkok]

@WasPraxis @energybants That's omitting Sweden because it became pro-nuclear only in 2024. And Turkey, because it isn't in the EU.

[Janus Troelsen @ysangkok]

@WasPraxis @energybants If you metric for sanity is nuclear energy adoption: A
May '23 joint statement of the 'nuclear alliance' was signed by Belgium, Bulgaria, Croatia, Czechia, Finland, France, Hungary, Netherlands, Poland, Romania, Slovenia, Slovakia, the United Kingdom (guest) and Italy (observer).

[Janus Troelsen @ysangkok]

@vborovikov @tsoding Is the ReactOS kernel beautiful in the same way? Or did they have to do things different to avoid getting sued?

[Alexander Samsig @ASamsig]

After years of writing down personal notes, I've finally started to collect and refine them into blog posts. The idea to create a personal knowledge base, and a way to share insights I’ve picked up along the way.

The second entry is ready!

https://t.co/4gJWpUrOzd

[Janus Troelsen @ysangkok]

wrote a proposal for integrating #RenovateBot and #GithubActions using #GitTrailers https://t.co/UJuPThRBCS

[Type Theory Forall @ttforall]

One more episode is out and this time we get foundational! Pierre-Marie Pédrot, a core Coq/Rocq dev join us in a conversation to define what even is Type Theory to begin with. What properties should we care about and why!?

https://t.co/VRHLHW7s1b

[Janus Troelsen @ysangkok]

@thorborg hvorfor ikke https://t.co/fW2e1v15lN?

[Janus Troelsen @ysangkok]

@shortcut is broken :( i guess it's weekend already ;)

[Tweag by Modus Create @tweagio]

We're excited to host another Bazel Hour on June 26th! Join @nixos_org & @bazelbuild expert @andrherr for an informal session to learn what Nix + Bazel is and how you can use it. See you there!

Register today 👉 https://t.co/ozgDwCTCNx

#engineering #opensource #bazel #nix