arbipher @arbipher
The depth lies in the valleys where we seek her, and not upon the mountain-tops where she is found. 逢山开路,遇水叠桥 学海无涯,回头是岸 English alt: @wengshiwei prover.me Joined April 2012-
Tweets769
-
Followers40
-
Following456
-
Likes1K
> Ironically, the background of this article is Chinese players' criticism and dissatisfaction with the arrogance and prejudice of the English media, and the English media's coverage of this article just confirms this arrogance. reddit.com/r/BlackMythWuk…
0
0
0
9
0
微信和QQ同时被异地登录了。这几天万一微信或者QQ上我联系你了,一概为假。(微信已经冻结了)。客服说要一到三天能给我发重置密码的短信。我就当半戒网三天吧。需要即时联系我的可以小红书搜“猴老板”(小熊猫头像,发布内容都是怂哥)。
arbipher retweeted
I tried to use Bing Image Creator to illustrate a discussion on Rust v. OCaml, but something went wrong.
想到一个和萨根标准(The Sagan standard is a neologism abbreviating the aphorism that "extraordinary claims require extraordinary evidence" (ECREE) )结构类似的句子:结构性的问题需要结构性的解决方法。
自己retweet自己之后,删除retweet把原帖删除了。。。 support.google.com/chrome/thread/… 这个flag改名叫Search web in side panel了

Josef Gattermayer | A... @jgattermayer
9K Followers 7K Following Co-Founder and CEO @AckeeBlockchain (cybersecurity) :: Assistant Professor and Ph.D. @FIT_CTU
跨境物流。 @AlmaField11
104 Followers 3K Following 大家好,我是来自深圳的国际货运代理 为国内外客户提供海运、空运、铁路、快递出口货物运输服务。 主营:中国-转至-欧洲、英国、美国、加拿大 可寄:玩具、食品、药品、化妆品、电子烟、电子产品、日常用品、医疗物资、名牌仿牌、成人用品、家乡特产、超长超大件等... 欢迎咨询/微信:158-1529-9914
Leo Lampropoulos @LeoLambro
1K Followers 622 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
Jie Zhou @__jiezhou
337 Followers 699 Following Assistant Professor in Computer Science at the George Washington University @gwtweets. Research in Systems Security and Compilers. PhD from @UofR.
Robert Zhang @0xrobertzhang
261 Followers 344 Following CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
先随便起个名字... @has_effect
106 Followers 319 Following you can’t see the dust without the light, nor can you see the light without the dust.
Guannan Wei @GuannanWei
1K Followers 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social
Megan Reynolds 👩�... @meganreyno
5K Followers 5K Following VC obsessed with software infra & GTM @vertexvus / founder of https://t.co/URmyndIMbL community 🫶 / ex @crane_vc @join_ef
Yao Li @lastland0
1K Followers 669 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
laiwaikin @laiwaikin
40 Followers 145 Following
Celeste @cahollenbeck
1K Followers 913 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
OCaml Security @OcamlSecurity
225 Followers 926 Following News about #OCaml and Security. Not affiliated with @OCamlLang core team.
Jeffrey Kegler @jeffreykegler
197 Followers 688 Following Inventor of the Marpa parsing algorithm. Discoverer of the Lost Morgenstern Document. Novelist.
ChinoKyou @YitaoChen
283 Followers 652 Following Generally Interested in Information Theory, Coding Theory, Machine Learning, Optimization. Casul TFT player now. 2nd@DreamHack San Diego 2023. Opinions my own.
r&d @ mad.fish @madfishofficial
5K Followers 2K Following a company experienced in #web3 & #blockchain. our products: @templewallet, @quipuswap, @yupanafinance.
Tori Vollmer @Proof_by
450 Followers 505 Following [email protected] [email protected] I'm Tori. I like weird math, pl, & old school proof theory. I only post pictures of my cat now She/her
The Search Space Podc... @searchspacepod
445 Followers 392 Following https://t.co/CGJ9Pz1D6b Let's get out of this place.
Shiwei Weng 翁士伟 @wengshiwei
74 Followers 123 Following JHU Ph.D. Student / Programming Languages / OCaml / Chinese alt: @arbipher
Prathyush @prathyvsh
6K Followers 228 Following Map maker @patternatlas ∩ Interface Engineer @prabros
comonoidal esotericis... @adamnemecek1
3K Followers 3K Following Fixing machine learning @ https://t.co/x06CbGClKL. There is no AGI, without energy-based models. As seen on HN: https://t.co/WpbTAjLvPv
Matias Madou @mmadou
2K Followers 4K Following Ph.D., CTO and co-founder Secure Code Warrior. Helping companies getting software security right by offering a scalable solution to empower and help developers.
Enrico Cecala @onegearrico
1K Followers 3K Following Navy SEAL On A Mission. Have a #Healthylifestyle and experience #lifeonyourterms. Demystify what's important to your health, free Ebook https://t.co/oiQbbtaC8v
Jerry Sun @_jerry_sun_
234 Followers 552 Following eng @notionhq, prev @SupergreatApp @Pinterest. I love petting other people’s 🐶 & 🐈.
OD @OD555666
13 Followers 53 Following
See @tsai_wo
13 Followers 308 Following
Zack Brandt @TheCISOAdviser
440 Followers 1K Following Helping executives and security teams stay ahead of advanced cybersecurity threats @crowdstrike #endpointsecurity
lalalaphae @X_LEFT
25 Followers 137 Following
Zhigong Li @lizhigong
35 Followers 148 Following
sheepx86 @sheepx86
170 Followers 207 Following
Denny Zhou @denny_zhou
22K Followers 540 Following Founded the Reasoning Team in Google Brain (now in the Gemini Core team of Google DeepMind). Build LLMs to reason. Opinions my own.
Phoronix @phoronix
61K Followers 119 Following Founded by @MichaelLarabel in 2004, Phoronix is the largest #opensource news, #Linux hardware reviews & Linux PC/server/HPC performance benchmark site.
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
Ningcong Chen @JXQNHZr1yUAj5Be
2K Followers 182 Following 本人MCS of WPI 2025秋季毕业, 北美2025年暑期找工作中 Linkedin页面 :https://t.co/rYwfGwSTOW
Ben Grimmer @prof_grimmer
3K Followers 434 Following Assistant Professor @JohnsHopkinsAMS, Optimization, PhD @Cornell_ORIE Mostly here to share pretty maths/3D prints, sometimes sharing my research
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 499 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Lucas Pluvinage @TheLortex
235 Followers 237 Following Tricking rocks into thinking (on the ciel bleu app) some open source: https://t.co/cjBkjoPQyR some pictures: https://t.co/xnHD0kuakr
Schloss Dagstuhl @dagstuhl
3K Followers 20 Following hosts CS research seminars · publishes open-access conference proceedings LIPIcs · operates literature database DBLP · non-profit
Logic & Applications @LogicPractice
27K Followers 8 Following Logic and applications of logic from @JohnDCook
Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
laiwaikin @laiwaikin
40 Followers 145 Following
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
AOSA @aosabook
3K Followers 81 Following Unique collections of software architecture case studies on open source applications. Volumes I and II on software architecture; volume III on performance.
Rui Ueyama @rui314
52K Followers 344 Following Googleソフトウェアエンジニア / スタンフォード大学院コンピュータサイエンス→投資生活→スタートアップ創業 Open-source dev. ex-@Google. MS/CS at Stanford. Creator of the mold and lld linkers.
Mark S. Miller @marksammiller
3K Followers 2K Following
Programming Languages... @Glasgow_PL
139 Followers 52 Following This is the account of the Programming Languages Theme at @GlasgowCS, spanning researchers in programming language foundations, systems, and education.
Supreeth Shastri @SuprShastri
529 Followers 186 Following Experimental computer scientist | An equation has no meaning for me unless it expresses a thought of god -- Srinivasa Ramanujan
Alex Xu @alexxubyte
277K Followers 453 Following Co-Founder of ByteByteGo | Author of the bestselling book series: ‘System Design Interview’ | YouTube: https://t.co/9gPSJSrtPU
Yun Wang @wyunnn
645 Followers 715 Following Senior Researcher @MSFTResearch | HCI, AI, VIS CS PhD @VisLab_HKUST
Students @ Systems @StudentsSystems
816 Followers 170 Following Talks, podcasts, and panels for the Systems community
Slava Egorov @mraleph
12K Followers 606 Following 👋compiling compilers @Google // overall tech lead for the @dart_lang programming language @[email protected]
Enrico Pontelli @enricopontelli
481 Followers 275 Following Dean of the College of Arts & Sciences, NMSU Regents Professor of Computer Science
Jie Zhou @__jiezhou
337 Followers 699 Following Assistant Professor in Computer Science at the George Washington University @gwtweets. Research in Systems Security and Compilers. PhD from @UofR.
Robert Zhang @0xrobertzhang
261 Followers 344 Following CS PhD student @UTCompSci | CS undergrad & Masson Fellow @JohnsHopkins | Formerly @Reactjs @MetaOpenSource
USENIX Association @usenix
14K Followers 834 Following Champions open access. Organizes vendor-neutral conferences in systems computing. Fosters collaborative & respectful communities of researchers & practitioners.
Shangyin Tan @ShangyinT
711 Followers 475 Following PhD student @Berkeley_EECS. Prev @PurdueCS, @MSFTResearch, @googledeepmind
Hao HONG 洪灝, CFA @HAOHONG_CFA
322K Followers 934 Following Person of the Year-Bloomberg BW;2xChina’s Most Influential Economist;2xEconomist of the Year-Asia Private Banker;“The man called China’s boom & bust”-Bloomberg
先随便起个名字... @has_effect
106 Followers 319 Following you can’t see the dust without the light, nor can you see the light without the dust.
Guannan Wei @GuannanWei
1K Followers 956 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; Bluesky @guannanwei.bsky.social
Jingbo Wang @bobowang2014
575 Followers 1K Following Incoming Assistant Professor @PurdueECE, Ph.D. in formal verification, PL/SE @CSatUSC, fan of @vardi. Opinions my own
Type Theory Forall @ttforall
4K Followers 280 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHM
Software Practices La... @ubc_spl
646 Followers 220 Following We study programming languages, verification, and software engineering in the Department of Computer Science at the University of British Columbia @ubc
Rock the JVM @rockthejvm
9K Followers 252 Following Teaching #Scala, #Kotlin, #Spark, #Flink and tech on the JVM. 📹 Videos at https://t.co/1ODhzZCpb9 🔖 Articles at https://t.co/gK3x49Bxk5
Chengyu Song @laosong
804 Followers 487 Following Associate Professor at UCR. Security, System, PL. Gatech & PKU alumnus. What are the important problems in your field? Opinions are mine own.
MPLR @MPLR_Conf
342 Followers 156 Following International Conference on Managed Programming Languages & Runtimes (MPLR'24). Official hashtag: #MPLR24
Denis Bakhvalov @dendibakh
5K Followers 450 Following Performance 🥷 @Intel. Book author📖. Blogger✍️. Speaker📢. Chess fan♟️. My newsletter: https://t.co/k0RKkc64zE. All opinions are my own. he/him
ASPLOS @ASPLOSConf
3K Followers 8 Following ACM conference on Architectural Support for Programming Languages and Operating Systems.
@compiler_explorer@ha... @CompileExplore
7K Followers 90 Following Compile C, C++, Rust, Haskell, Ispc, Java and other languages, and see assembly output. Also @compiler-explorer.com on bluesky
Yaozhu Sun @yzyzsun
247 Followers 378 Following Programming Languages Researcher. Postdoc @jouhouken 🇯🇵 | PhD @HKUniversity 🇭🇰
No recent Favorites. New Favorites will appear here.
Trends for United States
11,6 B posts
357 B posts
12,7 B posts
5.313 posts
418 B posts
8.654 posts
41,6 B posts
68,6 B posts
20,5 B posts
67,4 B posts
20,7 B posts
23,5 B posts
38 B posts
3.148 posts
47 B posts
5.688 posts
268 B posts