Skip to content
View luc-tielen's full-sized avatar
156 followers · 65 following

Achievements

Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx4Achievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Starstruckx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report luc-tielen

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
@NVIDIA
NVIDIA Corporation NVIDIA

2788 San Tomas Expressway, Santa Clara, CA, 95051

@Georgi2704
Georgi Manev Georgi2704
Full-Stack Developer

Eindhoven

@hanstrompert
Hans Trompert hanstrompert

SURF

@pboers1988
Peter Boers pboers1988

SURF Utrecht

@StephanTLavavej
Stephan T. Lavavej StephanTLavavej

@Microsoft Spokane, WA

@antiagainst
Lei Zhang antiagainst
AI Compiler & Runtime. Currently: Triton, IREE, MLIR, LLVM. Previously: SPIR-V, Vulkan, Metal.

AMD AI Group Seattle

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@thatplguy
Cole Schlesinger thatplguy

@GaloisInc

@grypp
Guray Ozen grypp
Compiler Research at @NVIDIA

Google Switzerland

@BartoszMilewski
Bartosz Milewski BartoszMilewski
Author of Category Theory for Programmers

Programming Cafe Paris, France

@danieljharvey
Daniel Harvey danieljharvey
This is the thing I haven't given up on yet.

London

@WKF-Software
WKF Engineering WKF-Software
@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@vyzo
vyzo vyzo

Internet Planet Earth

@fare
François-René Rideau fare
Cybernethics Houyhnhnm Computing https://ngnghm.github.io

Lair of the French Resistance

@jwcodesjs
Jonathan Witchard jwcodesjs
@algebraic-graphs
Algebraic Graphs algebraic-graphs
Algebraic graphs in different languages and flavours
@harp-lab
HARP Lab harp-lab
We are the HARP (High-performance Automated Reasoning and Programming) lab

United States of America

@dylanhitt
Dylan Hitt dylanhitt
Probably staring at YAML

@nowsecure Richmond, Va

@NorfairKing
Tom Sydney Kerckhove NorfairKing
Professional Weirdo

CS Kerckhove Zürich

@ollef
Olle Fredriksson ollef

Ascenium Oslo, Norway

@emilypi
Emily Pillmore emilypi
I've stopped maintenance of most things in favor of taking care of animals. I encourage y'all to do the same.

@kadena-io Salt Lake City, Utah

@mrmacete
Francesco Tamagni mrmacete
@Innf107
Prophet Innf107
@vmchale
Vanessa McHale vmchale
Programmer
@snowleopard
Andrey Mokhov snowleopard
From engineering to abstract mathematics and back

Jane Street UK

@s-arash
Arash Sahebolamri s-arash

Fortanix Sunnyvale, CA

@maximecb
Maxime Chevalier-Boisvert maximecb
PhD in compiler design. Also having fun with graphics, machine learning, electronics, music and DIY. All opinions are my own.

Montreal, Canada

@mrnugget
Thorsten Ball mrnugget
Author of interpreterbook.com and compilerbook.com. I like to program where the rubber hits the road — wherever that may be.

@sourcegraph Bavaria, Germany

@tjdevries
TJ DeVries tjdevries
Software developer. I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
@souffle-lang
The Soufflé Project souffle-lang
@michaelpj
Michael Peyton Jones michaelpj

CircuitHub London

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@chessai
chessai chessai
one must imagine sisyphus hacking
@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@kpadmasola
Krishna Padmasola kpadmasola

Hyderabad, India

@langston-barrett
Langston Barrett langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.

@GaloisInc Brooklyn

@nowsecure
NowSecure nowsecure
We secure Mobile Devices, Enterprises, & Mobile Apps
@bmann
Boris Mann bmann
Long time web tinkerer & community hand-waver. DWeb principles: technology for human agency. @lexicon-community @ATProtocol-Community

Vancouver, BC, Canada

@simonpj
Simon Peyton Jones simonpj

Epic Games

@meme
meme
@Icelandjack
Icelandjack
@expede
Brooklyn Zelenka expede
👩‍🔬 Indie dev 🏳️‍🌈 Queer AF 🤝 FOSS, standards, commons ✊ Black Lives Matter & Land Back

@inkandswitch Vancouver, Canada

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@ChrisPenner
Chris Penner ChrisPenner
Writing software to improve the experience of writing software. Author of Optics By Example

Unison Computing Victoria BC, CA

@matthijsgroen
Matthijs Groen matthijsgroen
Webdeveloper @kabisa. Likes to tinker with game-development, all webbased. Currently into building a nice web adventure game engine.

@kabisa Maastricht, The Netherlands

@julienhenry
Julien Henry julienhenry

@MathWorks Paris

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

Draper Boston

@andorp
Andor Penzes andorp
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.

https://www.redbubble.com/shop/ap/92458473 London, United Kingdom