Skip to content
View pogin503's full-sized avatar
110 followers · 486 following

Sponsoring

@kenkoooo
@herumi

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@emacs-jp

Block or report pogin503

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
@kory33
Kory | Ryosuke Kondo kory33
Modelling ιδέα as form and instantiating intuition as code.
@rubima
Rubima rubima

Tokyo, Japan

@FactorioBlueprints
FactorioBlueprints
@MizarProject
Mizar Project MizarProject
@aconite-ac
aconite aconite-ac
@swyxio
swyx.io swyxio
ai/software 3.0: https://latent.space/ devrel/devtools: https://dx.tips/ blog: https://swyx.io/ideas advice/career book: https://learninpublic.org

smol.ai San Francisco

@pandaman64
pandaman pandaman64

Japan

@iehality
Palalansoukî iehality
ニョカマー パラランスキー 解かれた花束が光を放つ

Tohoku University

@MaggieAppleton
Maggie Appleton MaggieAppleton
Design engineer exploring how LLMs can help us think different kinds of thoughts. Enthusiastic about metaphors, EUP, and marmite. Building at @githubnext

@GithubNext London

@ByteDance-Seed
ByteDance-Seed
@tailwindlabs
Tailwind Labs tailwindlabs
Creators of Tailwind CSS and Headless UI, and authors of Refactoring UI.
@loco-rs
Loco loco-rs
The one-person framework for Rust for side-projects and startups
@uemurax
Taichi Uemura uemurax
@mimifuwacc
mimifuwacc mimifuwacc
Web Developer / React / TypeScript

PLSP-Lab / Hatena Co., Ltd. Tokyo, Japan

@suketa
suketa
@YusukeIwaki
Yusuke Iwaki YusukeIwaki

Fukuoka, Japan

@s-taiga
s-taiga
@korosuke613
Futa HIRAKOBA korosuke613
Engineering Productivity at Cybozu Inc.

@Cybozu Tokyo, Japan

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@sfja
Software Foundations和訳プロジェクト sfja

Japan

@proof-ninja
proof-ninja

Japan

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@EgbertRijke
Egbert Rijke EgbertRijke
Postdoc in Mathematics

Johns Hopkins University Baltimore, MD

@nineties
Koichi NAKAMURA nineties
CEO&Founder of https://idein.jp

Idein Inc. Tokyo, Japan

@rzrn
rzrn
@aabaa
Kazuhisa Nakasho aabaa

Iwate Prefectural University Iwate, Japan

@EzoeRyou
江添亮 EzoeRyou
Former C++ standard committee member C++ textbook writer https://github.com/EzoeRyou/blog https://twitter.com/EzoeRyou
@LaurenceWarne
LaurenceWarne
ex Maths Student @ UoM

Manchester

@astoff
Augusto Stoffel astoff
@conventional-commits
Conventional Commits conventional-commits
Commit message convention and the tools to enforce it.

World

@anyproto
Any Association anyproto

Switzerland

@FormalizedFormalLogic
Formalized Formal Logic FormalizedFormalLogic
Formalize Formal Logic in Lean4
@Frederick888
Frederick Zhang Frederick888
@szermatt
Stephane Zermatten szermatt

Fribourg, Switzerland

@tree-sitter
tree-sitter
@tghika
tghika
@awfulwoman
Charlie O'Hara awfulwoman
Drunken old bitch. Believes that capitalism is awful despite living in it and having a job and buying things and shit. 🤷🏼‍♀️

Berlin, Germany

@planetmath
PlanetMath planetmath
@ssh0
Shotaro Fujimoto ssh0
❤️ Physics, Mathematics, Art, Linux, Vim, Python, ShellScript

@team-lab Tokyo, Japan

@boehs
Evan Boehs boehs
The idea is to die young as late as possible

~/

@antirez
Salvatore Sanfilippo antirez
Computer programmer based in Sicily, Italy. I mostly write OSS software. Born 1977. Not a puritan.

Redis Labs Catania, Sicily, Italy

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@sshaw
Skye Shaw sshaw
@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@jpsecher
Jens Peter Secher jpsecher
software engineer, devops, infrastructure as code, embedded, test-driven development, automation of tedious tasks, rough architecture up front

Kaleidoscope Construction Copenhagen, Denmark, EU

@ttsuki
ttsuki ttsuki
Something of a game software engineya-

Kobe@Japan

@ondanaoto
OndaNaoto ondanaoto
@lean-ja
lean-ja lean-ja
lean-ja は、Leanに関する情報の交換と集積を目的とした日本語コミュニティです。

Japan

@paul90
Paul Rodwell paul90
@WardCunningham
Ward Cunningham WardCunningham
Hacking federated wiki since 2011. Find our code in @fedwiki.

Cunningham & Cunningham, Inc. Portland, Oregon