Skip to content
View lamg's full-sized avatar
55 followers · 112 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
@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 at @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

Amazon Web Services Seattle, 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
Chief Technology Officer, F# (fsharp) - developer

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

@human-substrate
Substrate human-substrate
An Open-source Framework for Human Understanding, Meaning, and Progress
@chitter99
Aaron Schmid chitter99
I use nixos btw

Switzerland, Zürich

@VitoMelchionna
VitoMelchionna
@tinymanorg
Tinyman tinymanorg
@arialdomartini
Arialdo Martini arialdomartini
Test infected • XP practictioner • Writes bugs in C# F# Haskell Lisp • Loves Emacs and Cherry MX Blue

Lost in Emacs - @arialdo@mastodon.online

@voronoipotato
Alan Ball voronoipotato
If I wrote something in LGPL/GPL/AGPL that I have the original rights to and you want a more permissive license, contact me for the right to use.

NC