lulucca12 (Lucca G. P.) / Following

Tesla Zhang‮ ice1000

Type theory daisuki

@plctlab Pennsylvania, Gensokyo

Follow

Álvaro Justen turicas

Free/libre software hacker, hypnotist, remote worker, teacher, coffee lover/roaster

Pythonic Café São Paulo, Brazil

Follow

LucasVB 1ucasvb

Physicist, math enthusiast, educational animator. Yet another sapient pile of stardust.

Brazil ↦ Germany

Follow

Lux wiredsis

software developer, student

Santiago, Chile

Follow

Jason Nguyen jnguyen1098

Follow

İlteriş Eroğlu linuxgemini

I do things that are small and useless enough that someone finds it useful years later.

Ankara, Turkey

Follow

Cynthia Foxwell Cynosphere

Follow

Espi Marisa espimarisa

Cincinnati, Ohio

Follow

Cosima Neidahl OPNA2608

Likes FOSS and NixOS. Does weird things. Loves ducks.

Follow

Daniel Chu Pegmode

Chiptune artist, Computer Science student, vintage computer enthusiast and an all around weirdo

Edmonton Alberta Canada

Follow

lewisakura lewisakura

Unprofessionally developing software since a while ago.

England, United Kingdom

Follow

Nick zorchenhimer

I do computer things. ¯\_(ツ)_/¯

East Coast, USA

Follow

Matt Phillips BigEvilCorporation

Director of Big Evil Corporation, ex-Crytek, ex-Traveller's Tales programmer. Mostly writes SEGA Mega Drive games and development tools.

Big Evil Corporation Manchester, England

Follow

✨ Q (it/its) ✨ TheEnbyperor

🏴󠁧󠁢󠁷󠁬󠁳󠁿 ISO/IEC Standard Magical Code Witch. Pushing packets at @AS207960. PGP: 0F28DC71767B4338

@AS207960 Saarbrücken, Deutschland

Follow

Enfys OSToastBach

"Please wait while the funky demo loads its funky stuff..."

London, UK

Follow

dylan dylanaraps

natural farmer, natural winemaker, creator of @kisslinux and more

Follow

Chris Messina chrismessina

#️⃣ Hashtag inventor 🏆 #1 Product Hunter ⚡︎ Raycast Enthusiast Speaker · Product Stategist · Technologist • Non-smoker

@CitizenAgency Oakland, CA

Follow

Alejandro Serrano serras

Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'

@JetBrains Utrecht, Netherlands

Follow

Gabriel Volpe gvolpe

λ Functional Programming λ

/nix/store/xpkfvz-planet-earth

Follow

Miëtek Bak mietek

Follow

Vladimir Voevodsky vladimirias

Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.

Follow

Andrej Bauer andrejbauer

Professor of computational mathematics

University of Ljubljana Slovenia

Follow

Carlos Olarte carlosolarte

I'm professor at LIPN USPN, Villetaneuse (France)

LIPN USPN

Follow

Barry Moore II chiroptical

Random functional programming content on https://youtube.com/chiroptical.

https://mercury.com Boston

Follow

Cem Bozsahin bozsahin

I work at the apparently nonmonotonic intersection of linguistics, computer science, philosophy and cognitive science, to study complex organized behaviour.

Boğaziçi University Bebek İstanbul 34342

Follow

Alexandre Rademaker arademaker

Researcher in Logic, Computational Semantics, NLU and KRR.

EMAp/FGV Rio de Janeiro

Follow

Valeria de Paiva vcvpaiva

I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

Follow

Tim Hosgood thosgood

Follow

Dominic Breuker DominicBreuker

Berlin

Follow

Florian Roth Neo23x0

#DFIR #Sigma #YARA #Rust #Python #Go

@NextronSystems Frankfurt, Germany

Follow

Joel Yliluoma bisqwit

The Bisqwit. Free software author. YouTuber. Founder of #TASVideos. ROM hacker. Coach drⅳer. Teacher of #IsraeliFolkDance. Speaker of Hebraic Roots apologetics.

Finland

Follow

Nico Sonack herrhotzenplotz

Follow

Ben Cox benjojo

bgp.tools / Port 179 LTD London

Follow

Oscar Toledo nanochess

x5 IOCCC winner 2nd JS1K 2010/MSXdev'10 Dev MSX/Atari/CV/Intellivision games (2->Colecovision Flashback) World's smallest chess progs in C/6502/x86/JS/Java

Mexico

Follow

galaxyhaxz

Autodidact. Minimalist. Reverse engineer.

Follow

Luc Tielen luc-tielen

Interested in functional programming, compilers and logic. Mainly working on Eclair, a high performance Datalog that compiles to LLVM.

Lambda Tech Belgium

Follow

Marco Sampellegrini alpacaaa

Follow

Vlad L cstml

λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Bath, United Kingdom

Follow

Eddie Jones ec-jones

University of Bristol

Follow

Katie Paxton-Fear InsiderPhD

I used to make apps and now I break them. Security advocate and researcher. I work with organizations to help stomp out security bugs for good. "Hackfluencer"

Semgrep Manchester, UK

Follow

Peer Heinen AshF0x

Luxembourg

Follow

SirBroccoli carlospolop

Follow

Siddharth bollu

mathematics ⋂ computation

University of Cambridge Cambridge

Follow

Alexandre B A Villares villares

I'm a teacher & visual artist. I research artistic and design practices that make use of computational means, promote creative coding and programming education.

@lugaralgum São Paulo

Follow