iiinova — where your digital self keeps evolving

randyisrandom.bsky.social @randyisrandom.bsky.social · 04/08/2026

I always found the lack of documentation frustrating. Glad it’s changing.

051

Reposted by @randyisrandom.bsky.social

Haskell programming language @haskell.org · 04/08/2026

"A Revised #Haskell 2010 Language Report" by David Binder blog.haskell.org/revised-hask...

blog.haskell.org

A Revised Haskell 2010 Language Report | The Haskell Programming Language's blog

0144

Reposted by @randyisrandom.bsky.social

José A. Alonso @jalonso.eurosky.social · 25/07/2026

How to read mathematics? (A study guide). ~ Petra Schwer. web.mathi.uni-heidelberg.de/media/How_To... #Math

001

randyisrandom.bsky.social @randyisrandom.bsky.social · 17/07/2026

I shopped there with my family when I was a kid!

010

randyisrandom.bsky.social @randyisrandom.bsky.social · 08/07/2026

This years conference was dope, mark you calendars for February. I hope they hold a Agda workshop this time!!

010

randyisrandom.bsky.social @randyisrandom.bsky.social · 10/06/2026

Road trip to Boulder for PROPL(2nd year) and more next week! Please reach out if you’re going!! #PROPL

010

randyisrandom.bsky.social @randyisrandom.bsky.social · 02/06/2026

Another conference in my cities. Cool logo

000

randyisrandom.bsky.social @randyisrandom.bsky.social · 18/05/2026

I unexpectedly met another OCamleer at the LF Open source Summit. He delivered an awesome talk and there’s a call for maintainers for his DSL. 🐫♾️🐫 #OCaml #Linux github.com/multikernel/...

184

Reposted by @randyisrandom.bsky.social

mary🐇 @mary.my.id · 12/05/2026

man i dont know why you'd trust a random ci machine to publish a package

7797

randyisrandom.bsky.social @randyisrandom.bsky.social · 08/05/2026

Was a good conference I miss it already. Onto the next one. 🐫♾️🐫 zfoh.ch/zurihac2026/ #Haskell #Agda #OCaml

110

randyisrandom.bsky.social @randyisrandom.bsky.social · 07/05/2026

There’s been a call for ecosystem/toolchain maintainers for the Rzk proof assistant. A theorem prover made for formalizing results for ♾️-categories within HoTT. Reach out to the maintainers if interested. rzk-lang.github.io/rzk/en/latest/ #Haskell #OCaml #Agda #Rocq #LSP #Nix

110

randyisrandom.bsky.social @randyisrandom.bsky.social · 04/05/2026

First day #TYPES2026. Come next year, Agda is a flower pollinating the field of functional programming.

020

randyisrandom.bsky.social @randyisrandom.bsky.social · 29/04/2026

Is anyone going here this weekend? Agda is one of the most innovative game changers in functional programming and theorem proving, given its unique implementation architecture and capabilities. I'd like to meet you there! π🐫λ #CubicalAgda #Rocq #OCaml #Haskell types2026.cse.chalmers.se

types2026.cse.chalmers.se

TYPES 2026: TYPES 2026

021

Reposted by @randyisrandom.bsky.social

The Linux Foundation @linuxfoundation.org · 19/03/2026

The Open Source Summit and Embedded Linux Conference North America 2026 schedule is officially live! 📍Join the open source community in Minneapolis, May 18-20, to explore the future of open, community-led software. Make sure you register by March 24 for Early Bird pricing: bit.ly/4uBL3qf

bit.ly

Open Source Summit North America 2026 Schedule Showcases Next Era of AI Infrastructure, Security and Open Ecosystems

Open Source Summit North America 2026 Schedule Announced

0113

randyisrandom.bsky.social @randyisrandom.bsky.social · 23/03/2026

“Numerical analysis is the study of algorithms for continuous mathematics.” It’s a common misconception that it’s the study of errors with no applicability to exactness. Awesome read if you want a philosophical introduction to what it is!

people.maths.ox.ac.uk

030

Reposted by @randyisrandom.bsky.social

Rust Bytes @rustaceans.bsky.social · 21/02/2026

Did You Know? 🦀 In its early days (2006–2009), Rust's compiler was implemented in about 38,000 lines of OCaml code before transitioning to self-hosting on LLVM by 2012.

064

Reposted by @randyisrandom.bsky.social

patrick @patrick.sirref.org · 02/03/2026

The #OCaml community will be taking part in #outreachy in May 2026. You can read more about it and consider signing up as a mentor at the following link 🐫 discuss.ocaml.org/t/outreachy-...

discuss.ocaml.org

Outreachy May 2026

Hello everyone, The OCaml community has signed up to Outreachy May 2026 (see past posts)! What is Outreachy? Outreachy is a paid, remote internship program. Outreachy promotes diversity in open sou...

043

Reposted by @randyisrandom.bsky.social

FLoC 2026 @floc2026.bsky.social · 24/02/2026

∀ researchers. ∃ registration. FLoC 2026 registration is now open! 👉 www.floc26.org/registration Early bird rates end on May 15th. QED. See you in Lisbon. 🇵🇹 #FLoC2026 #LogicInCS #Lisbon

floc26.org

FLoC 2026: The 9th Federated Logic Conference

012

Reposted by @randyisrandom.bsky.social

BOB Konferenz @bobkonf.de · 13/01/2026

Following the keynote, #BOBkonf2026 talks track A starts off with @xvw.lol 's "A crash course on the OCaml module language", a talk that explores OCaml’s powerful module system as a core language feature. For more information, see bobkonf.de/2026/woestyn...

085

Reposted by @randyisrandom.bsky.social

BOB Konferenz @bobkonf.de · 02/10/2025

We're back! Mark your calendars: BOBkonf returns on 13 March 2026 … … and our Call for Contributions is up, with a submission deadline of 17 Nov 2025. Find out more here: bobkonf.de/2026/cfc.html

096

Reposted by @randyisrandom.bsky.social

Haskell programming language @haskell.org · 01/01/2026

In 2026 you WILL start Haskell!

1510312