aegistudio
Follow
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Christian Deacon
gamemann
DevOps & network engineer with a strong passion for open source! Building tools & firewalls. Creator of @tek-works & @modcommunity. Portfolio: cdeacon.net
@tek-works New Jersey, US
StarNekOvO
⭐️🌕🪼Queer 漏洞赏金猎人(见习) 可以在新加坡/杭州/吉隆坡偶遇 ，可能去🇵🇹🇳🇱🇯🇵，INFJ 双相重抑躁焦bpdADHD，吃🧱才能动呀。 Star ＞ whoami⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀ ㅤ⠀／dev／null
Rhodes Island Hong Kong
jiayongliang
anbgsl1110
Youth infinite fantasy, carrying clear, love yourself, love life.
Hangzhou, China
Like Xu
lkml-likexu
A linux kernel developer, focusing on performance (w/ monitorability, w/ debuggability, w/ scalability, w/ power efficiency).
Tencent Cloud Shanghai, China
yongzhen.wang
kingfs
5qyi6L+O5oqV6YCS566A5Y6GIG1haWx0bzogeW9uZ3poZW4ud2FuZ0BjaGFpdGluLmNvbQo=
Beijing
SuperFashi
superfashi
Acceleration is a substitute for eternity.
@gmo-ierae, @BlueWaterCTF, @water-paddler Tokyo, Japan
Shengyu Zhang
SilverRainZ
I don’t write complex code. I created @SrainApp and @sphinx-notes.
@chaitin ⇒ @bytedance ⇒ ? China
Liqueur Librazy
Librazy
zh-Hans. Learning programming from @DCjanus. PGP 0xE411E711. Full-stackunderflow developer. C#/Java/Rust/minecraft. Severe atopic dermatitis patient.
Beijing
Reimu NotMoe
ReimuNotMoe
CTO of @SudoMaker. Asian. Neurodivergent & Ace. High school dropout. I use C++, JavaScript, GNU software, MIPS processors, and ICs made by ethical companies btw
@SudoMaker The Big Scary Country
Yukino Song
ClassicOldSong
A jser, a music(noise) producer, a (cellphone)photographer, and... maybe a designer
@SudoMaker
