Skip to content
View antalsz's full-sized avatar
74 followers · 4 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Highlights

  • Pro

Block or report antalsz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@SomeoneSerge
Someone SomeoneSerge
Applied mathematics, inverse graphics, computer vision (dense image correspondences), Nix

Independent + Aalto U, former HSE & Skoltech Helsinki, FI

@augurofwindmills
Raphael Graziani augurofwindmills
I'm only here to contribute to already existing projects. I don't like github's contract with ICE.
@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.

Lafayette, Indiana

@rtjoa
Ryan Tjoa rtjoa
@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@aztennenbaum
aztennenbaum
@AleXoundOS
AleXoundOS
Haskell | NixOS

Tbilisi, Georgia

@maxohsawa
Max Ohsawa maxohsawa
@aresbit
aresbit
@Decel
Decel
@0xameer
0xameer
https://sr.ht/~carnotweat/

carnot Bangalore

@moviefan322
moviefan322
@ColdWeatherBoyy
Elias Spector-Zabusky ColdWeatherBoyy
Software Engineer at Musubi Labs

Musubi Labs New York, New York

@Murplugg
Murplugg
@sangwoo-joh
Sangwoo Joh sangwoo-joh
🐪

@facebook London, UK

@TheNumbat
Max Slater TheNumbat
Computer Graphics, Programming, Math, OxCaml, C++
@melwyn95
Melwyn Saldanha melwyn95
OCaml | Compilers | Functional Programming

Rochester, NY

@k4rtik
Kartik Singhal k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.

Chicago, IL

@jstarr35
Jason Starr jstarr35
.NET Developer
@shreya-singh-tech
Shreya shreya-singh-tech
MS CS student @ Northeastern Uni https://www.linkedin.com/in/shreya-singh-/ https://shreya-singh-tech.github.io/

Boston

@bcc32
Aaron Zeng bcc32

@janestreet

@artisdom
Ted Feng artisdom

Auckland

@hhugo
hhugo
@Akshar-code
Akshar Kottuvada Akshar-code
Product manager

RedHat San Francisco

@nickpismenkov
Nick Pismenkov nickpismenkov

Mountain View, CA

@zeta1999
Renoir Fortytwo zeta1999
Applied Finance, HFT, Quant, ML, Crypto, Applied mathematics, Hardware optimization (experience at an FPGA company)

Seoul

@amir
Amir M. Saeid amir

Dublin, Ireland

@plaidfinch
finch plaidfinch

@oxidecomputer

@micheleriva
Michele Riva micheleriva

Independent Researcher San Francisco, California, USA

@graydon
Graydon Hoare graydon

Vancouver, BC

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@souradeepta
Souradeepta Biswas souradeepta
coding = 💛

Seattle, WA

@somnathrakshit
Somnath Rakshit somnathrakshit

Walmart Global Tech Dallas, TX

@DanielTakeshi
Daniel Seita DanielTakeshi
Assistant Professor, University of Southern California (USC).
@owl77
owl77
@mytxd
尹名洋 mytxd
Haskeller
@zelinskiy
Nikita M. Yurchenko zelinskiy

Ordo Praedicatorum Krakow, PL

@shapr
Shae Erisson shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling

@magic-cap Medford, MA, USA

@FMCalisto
Francisco Maria Calisto FMCalisto
Human-Computer Interaction enthusiast working as Researcher & Software Engineer. Supporting Medical Imaging with Health Informatics research.

Institute for Systems and Robotics Portugal

@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@pzp1997
Palmer Paul pzp1997
Software Engineer at Meta. Graduate of the UPenn School of Engineering.

Meta New York

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@varosi-chaosgroup
Vassil Keremidchiev varosi-chaosgroup

@ChaosGroup Bulgaria

@carlendev
Yann Carlen carlendev
Tech Lead

AR24 Strasbourg, France

@maiamcc
Maia McCormick maiamcc
Backend engineer, choral conductor, folk dancer, unrepentant punster.

@toasttab New York

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@ocramz
Marco Z ocramz
ML + λ

@unfoldml