Skip to content
View palmskog's full-sized avatar
107 followers · 0 following

Organizations

@UniMath @DistributedComponents @proofengineering @rocq-community

Block or report palmskog

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
@tabvivo
tabvivo
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@lamg
Luis Ángel Méndez Gort lamg
Solving problems

Germany

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@sins921
Jesús Jiménez lozano sins921
por favor alguien que me explique

apichi gadalajara

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@KerimGonul
Kerim Gönul KerimGonul

KTH

@RustyCobalt36
Rusty RustyCobalt36
@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

@ejmin91
ejmin91
Research Scientist
@zufius
zufius
@z3r086
Andreas Karg z3r086
NEW-WAVE

3V1L-Z3R0 Marl

@chung-thai-nguyen
Chung Thai Nguyen chung-thai-nguyen
Vibe coder. Verifiable computation.

Vietnam

@CxBug
Muhammed CxBug

berlin

@senthil28
senthil28
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@jgarte
Jorge Gomez jgarte

Madison, WI

@vxst
Jyn Spring 琴春 vxst
Stay fortitude, Do good, Be excellence: I will trust, and not be afraid.🏳️‍⚧️ / GPG: 48667DEF

永远坚强，永远善良，永远卓越

@BrentKylling
BrentKylling
@bittermandel
Jonathan Grahl bittermandel

Molnett.com Stockholm, Sweden

@1DGW
1DGW
@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@philip-peterson
Philip Peterson philip-peterson
Fighting for the user!! OSS contributor, Digital Northwest (Alaska, Washington, Oregon)

Portland, OR

@hu8813
hüseyin kaya aydin hu8813

Vienna, Austria

@cpredmond98
cpredmond98
@jmikedupont2
Mike DuPont jmikedupont2
Senior Full stack developer focused on p2p ml ai devops

@meta-introspector New Jersey

@Gao-Chuan
1phan Gao-Chuan
Yet another person trying to understand computer science and the ocean.

San Diego State University San Diego

@amirahmadi1987
amir amirahmadi1987
@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@sysang
Dao Sy Sang sysang
@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@jimmysitu
Jimmy Situ jimmysitu
CPU Micro Architect

ZHAOXIN, JMST 1KHujLT4AzQwQKSLEUSbcergqv7fMnQNXA

@aversey
Aleksey Veresov aversey

@logicalclocks Stockholm, Sweden

@himito
Jaime Arias Almeida himito
CNRS Research Engineer at LIPN - Université Sorbonne Paris Nord.

CNRS France

@DrRuisseau
Λ DrRuisseau
VErY eXPeriEnCEd GRAVITY FIGHTER, ExCiTED tO sHArE mY kNoWLeDge! I am not a technology nerd!11!!! Also, i'm so sorry for my geniusness and successness. =)
@Fencekeeper
Vegard Fjellbo Fencekeeper
Mathematician (topologist) working as a Senior Consultant at the Insight & Analytics Dept of Webstep. Based in Oslo.

Webstep Norway

@InfiniteEchoes
GY InfiniteEchoes
@SeshatCZ
SeshatCZ

Czech republic

@mehdikhawari
Mehdi Khawari mehdikhawari

Vienna, AT

@omasanori
Masanori Ogino omasanori

Japan

@m9h
Morgan Hough m9h
Computational biophysicist

Center17 San Francisco, CA

@ST-48-1240162
Mantle-Sound ST-48-1240162
Acoustic research at the summit of discovery

Shanghai

@XCIVIIXIII
Simone XCIVIIXIII
@start974
Jeremy Damour start974

Paris

@gaxiiiiiiiiiiii
gaxiiiiiiiiiiii
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@tandn
tandn

Planet Earth

@thalesmg
Thales Macedo Garitezi thalesmg