I'm a website that lets you type in C, C++, D, Rust, Haskell, Ispc, Java and other compiled languages, and then I compile it and show you the assembly output.

I can also run those programs and show what they'd print.

But not here, I'm not a bot, I'm a person and this account is for status and help with the site.

I'm interested in:
- #nix and everything related
- programming languages that take some idea to a logical conclusion, like #forth, #lisp or #smalltalk
- category theory and therefore #haskell
- new and exciting ways to make your code unreadable, including:
- functional programming
- reactive programming and #reactivex
- rational fiction

Dreaming of selfhosting something

I use #NixOS, home-manager and nix-on-droid btw

A multi-passionate person.

🧑🏻‍🎨 fine art, oil painting, acrylic, mixed media, calligraphy, design, logo, typography, minimalism, abstract art, pixel/ASCII/ANSI art, webcomic

🧑🏻‍💻 Python, Rust, Haskell, Elm, Tidal Cycles

⛺ nature, hiking, camping, DIY, hi-fi, strange music, object manipulation

💑 @annaweiss

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

FOSS und Nextcloud fan. Meine stille Liebe gilt allerdings Haskell und NIX.
Über Nextcloud nähere ich mich den Themen digitale Teilhabe, Souveränität, Bildung. Nerds sollen der Gesellschaft von Nutzen sein, statt ihr Anderssein zu kultivieren.

OSS and Nextcloud fan. However, my silent love is Haskell and NIX.
Through Nextcloud, I approach the topics of digital participation, sovereignty and education. Nerds should be of use to society instead of cultivating their otherness.

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.

Programmer, TTRPG'er, hobbyist of a million varieties...

Currently hyper-fixating on contributions to 2009scape, working on homelab stuff, and haskell 🙃

Header photo credit: Josan Gonzalez
Pfp credit: Jaki Martinez

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.

#haskell #nix

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

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

Interessiert an:

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

I am #nobot

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming

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.

Student F# and Haskell

Haskell好き