Skip to content
View lamg's full-sized avatar
56 followers · 118 following

Achievements

Achievement: StarstruckAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report lamg

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 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
@CharlesHoskinson
Charles Hoskinson CharlesHoskinson
CEO of IOG

@input-output-hk Input Output Hong Kong Ltd. Boulder, Colorado

@bytewizard42i
johnny5i bytewizard42i
Crypto and tech fool. CEO of Crypto Financial World, Today's Ai, and Fabulous F, publications & EncryptVault. Love Midnight, 4 time hackathon winner.

EnterpriseZK Labs Greater Philadelphia area

@fs-djinn
fs-djinn
@arielgomezmendez
Ariel Gómez Méndez arielgomezmendez
Frontend developer
@gonzalez-brothers
Gonzalez Brothers gonzalez-brothers
@WillEhrendreich
Will Ehrendreich WillEhrendreich
Jesus, who is Yahweh incarnate, took your place on the cross, died, and then got back up again on the third day. I love Jesus, my wife, and my daughters.

Hagerman & Company Wisconsin

@dsyme
Don Syme dsyme
Principal Researcher, Visiting Professor
@jackrusher
Jack Rusher jackrusher
Former kernel hacker and Bell Labs/AT&T Researcher, currently making art and technology in Berlin.

Applied Science Studio Berlin

@chrisdone
Chris Done chrisdone

Artificial Labs @artificialio England

@speakeztech
SpeakEZ Technologies speakeztech
Secure, Intelligent Services - IoT, AI, Cloud, Media

United States of America

@tpetricek
Tomas Petricek tpetricek
Academic interested in new ways of thinking about programming and history & philosophy of computing. Likes @fsharp, works at @d3sprog & sometimes @fsharpworks.

Charles University Prague

@halcwb
Casper halcwb

UMCU Netherlands

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@mpetruska
Mark Petruska mpetruska

Budapest

@franziskuskiefer
Franziskus Kiefer franziskuskiefer

@Cryspen Berlin, Europe

@palmskog
Karl Palmskog palmskog

KTH Royal Institute of Technology Stockholm, Sweden

@ejgallego
Emilio Jesús Gallego Arias ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Lean FRO Paris

@rocq-community
Rocq-community rocq-community
A project for a collaborative, community-driven effort for the long-term maintenance and advertisement of packages for the Rocq Prover
@blinklabs-io
Blink Labs blinklabs-io
Open source and custom blockchain solutions for Cardano
@IntersectMBO
Intersect MBO IntersectMBO
Intersect is a member-based organization for the Cardano ecosystem — putting the community at the center of Cardano’s development

United States of America

@maestro-org
Maestro maestro-org
Leading Bitcoin infrastructure provider

United States of America

@CardanoSharp
CardanoSharp
@blockfrost
blockfrost.io blockfrost
Cardano API-as-a-Service

Cardano blockchain

@Daniel-SchaeferJ
Daniel Schaefer Daniel-SchaeferJ

Agora Data San Diego, California

@dhsorens
Derek Sorensen dhsorens
protocol snarkification @ethereum

Ethereum Foundation

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@Anastasia-Labs
Anastasia Labs Anastasia-Labs
Haskell Web3 Consultancy
@txpipe
TxPipe txpipe
Open Source Blockchain Tools
@midnightntwrk
Midnight midnightntwrk
The architecture of freedom is rational privacy.
@mate-desktop
MATE Desktop mate-desktop
MATE Desktop Environment
@teorth
teorth
@RustanLeino
Rustan Leino RustanLeino
Lover by day, hacker by night

Bellevue, WA, USA

@freifunk-berlin
Freifunk Berlin freifunk-berlin
Freifunk Berlin is a local initiative that promotes free and open Wi-Fi networks in Berlin.

Berlin

@Oxidefier
Oxidefier Oxidefier
Translate Solidity smart contract to Solana Rust code
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@Thorium
Tuomas Hietanen Thorium

London, UK

@MakerXStudio
MakerX MakerXStudio
Digital product development for startups, corporates and venture builders
@stanislaw
Stanislav Pankevich stanislaw

Berlin, Germany

@abelbraaksma
Abel Braaksma abelbraaksma

Exselt Amsterdam

@ashmind
Andrey Shchekin ashmind

New Zealand

@almibe
Alex Michael Berry almibe
Developer interested in libre software. Creator and lead developer of the Ligature Knowledge Representation toolkit.

@library-weasel Possum Tooth, North Carolina, USA

@Tarmil
Loïc Denuzière Tarmil

D-Edge Rouen

@fsbolero
Bolero fsbolero
F# on WebAssembly

Budapest, Hungary

@LoafPickleWW
LoafPickle LoafPickleWW
Just a dude looking to make Algorand easy to use and learn
@cusma
Cosimo Bassi cusma
Free Spirit Pirate (and a bit Electrical Engineer)

@algorandfoundation Trani (Italy) / Recife (Brazil)

@goswinr
Goswin Rothenthal goswinr
Architect of buildings (and software)

http://rothenthal.com Vienna, Austria

@janinedotgm
janinedotgm
@sisk-http
Sisk sisk-http
Sisk is an web framework and environment for developing web applications with .NET

Brazil

@psfinaki
Petr psfinaki
Software developer in Prague. Into music, languages, traveling, coffee and open source.

Prague

@AndreeaFar
Andreea Farcas AndreeaFar
Front-End developer | Always Learning, Always Innovating

Cluj-Napoca