Professor of Computer Science @ U.Lisbon. 🥰 Programming (R, Haskell, Python), Bayesian Stats, CGT; Movies, Abstract Games, Math, Critical Thinking, Ecology.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Developer Advocate at JetBrains (Rust, Kotlin, IntelliJ IDEA/CLion/Fleet). Former university lecturer teaching programming languages and other topics in CS. Author of Haskell in Depth (Manning publications, 2021).

Ruby and JS in the streets, Haskell and friends between the sheets.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

A software and game developer at heart. Hasn't make anything special yet. Mostly code in haskell, but currently trying out godot

profile picture made with picrew: https://picrew.me/en/image_maker/86501

Software engineer working on Virtual Power Plants at Generac | #climate | Clean #energy | #rustlang #haskell #elixir #elm #nixos | https://www.sebastiandebellefon.com/

Software Engineer.
I love functional programming and Haskell, but I work with TypeScript and OOP. Still have a lot of fun.
Visit me here: https://github.com/dkurilo
And write me if I can help somehow.

Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.

Interessiert an:

- #Beethoven
- #Elm
- #Haskell
- #Jazz
- #Lehre
- #Linux
- #Markdown
- #NLP (Natural Language Processing)
- #Python

I am #nobot

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

Free software enthusiast currently working at Epitech Toulouse.

I like to program in C/Haskell/Python/Zig.
I hate C++.

Posts get deleted after 2 weeks for privacy related reasons :3

Providing thought leadership since 1801. OCaml and Haskell programmer. Co-Organiser of FP-SYD.

Researcher. ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean

Graduate (master degree) mathematics student at HSE University (Moscow). Mathematical logic, type theory, and computer science. Haskell Developer at Moscow Center for Continuous Mathematical Education. Opinions are my own.

Student F# and Haskell