d01c2 @folded_const
Yet another applied PL engineer (KR/EN/JP) github.com/d01c2 Joined November 2023-
Tweets182
-
Followers202
-
Following610
-
Likes2K
d01c2 retweeted
번역 작업 하고 계시네요. ita9naiwa.github.io/debuggingteams/
번역 작업 하고 계시네요. ita9naiwa.github.io/debuggingteams/
0
9
48
4K
38
d01c2 retweeted
DEFCON is fun, but how about finding a v8 bug during DEFCON? We forgot to report it and this is fixed right now, since this should not affect stable released version of Chrome, here is a brief analysis. The bug was found with @101010zyl and @Reset816. xia0.sh/blog/maglev-de…
d01c2 retweeted
If you are at all interested in type checking, you should definitely check out Stephen Diehl’s Typechecking Zoo! It has in-depth walkthroughs of implementing progressively more advanced type systems. Link below 👇
XD
d01c2 retweeted
I got a new t-shirt :)
d01c2 retweeted
This online course on dependent types looks really cool! The course materials (a WIP book) are freely available online. Link in comments
d01c2 retweeted
박사학위과정 중 강제로 익히게 된, 반드시 상대의 빈틈 및 설명없는 공백을 찾아내는 기술이 있다. - 모든 장점에 반작용이 있다고 의심할 것. - '해당' 설명을 한 게 아니라 '관련' 설명으로 뭉개진 않았는지 다시 내 자신에게 이해 여부를 질문할 것. - 근거 논리의 타임라인을 백지에 그려볼 것.
d01c2 retweeted
🚨 Our amazing #FUZZING'25 keynotes are online! "Constraining Fuzzing without Paying Too Much" by Miryung Kim youtu.be/L90MBb6NLBE "Are you sure you belong in academia?" by Will Wilson youtu.be/qQGuQ_4V6WI // @mboehme_, @lszekeres, @moarbugs, @RuijieMeng
🚨 Our amazing #FUZZING'25 keynotes are online! "Constraining Fuzzing without Paying Too Much" by Miryung Kim youtu.be/L90MBb6NLBE "Are you sure you belong in academia?" by Will Wilson youtu.be/qQGuQ_4V6WI // @mboehme_, @lszekeres, @moarbugs, @RuijieMeng
d01c2 retweeted
If you want to write well, start by reading examples of good writing. Similarly, if you want to build a habit of reading papers - start by reading well-written papers to build confidence and momentum. This is a list from a course at UPenn by @RajeevAlur.
재밌게 봤던 FSE'25 fuzzing 발표들
d01c2 retweeted
@TheOfficialACM Council has reaffirmed yesterday that all ACM publications and related research artifacts in the ACM Digital Library (@ACMDL) will be fully openly available after 1-1-2026. Computing science material of the highest quality freely available to all! #OpenAccess
PLDI'25 wrapped, Norway bound for FSE'25🇳🇴✈️
Starting monday, I'm at PLDI'25 in Seoul! Seeya there:)
Uicasee @Uicasee591
114 Followers 2K Following
Oceetu @Oceetu9879
10 Followers 606 Following
8bits @6502z80
53 Followers 1K Following
김검열 @nyan1O1
254 Followers 336 Following 컴퓨터&수학 비슷한 거 배우는 학부생(이었던 사람) (blog) https://t.co/ptX2EB4B3h / (cv) https://t.co/rTlE6YfZTY
fun @fun_v18a
13 Followers 19 Following
Soyeon Park @_runiel
378 Followers 307 Following Security Researcher @ Samsung Research America | DARPA AIxCC Winner @TeamAtlanta24
wuc9521 @wuc9521
84 Followers 1K Following
sem1latt1ce @sk_196844
293 Followers 508 Following
Darkflames @Darkf1ames
3K Followers 584 Following Programming Language Theory / Type Theory / Developer / Photography 📷 / 中文 English 日本語
yeonkaisomun @yeonkaisomun
389 Followers 1K Following
Moreal @dev_moreal
176 Followers 579 Following
Han Park @ipuris
400 Followers 2K Following Majoring in network security and authentication. Co-founder and CTO of @deeplyinc. :D
Seokho Song @0xdevssh
64 Followers 56 Following External Committer @chromium and @v8js. Loving playing violin as a hobby 🎻 and take a photo.
tek @booleanistic
212 Followers 558 Following
Jay Lee @jay_lee_it
86 Followers 1K Following Founder, CEO & CPO of VENDIT Inc. We take care of every aspect of hotel property operations and sales — from A to Z. Raised $7 million in our Pre-A round.
kmizu @kmizu
15K Followers 6K Following A Software Engineer in Osaka (& Kyoto). Ph.D. in Engineering. Interests: Parsers, Formal Languages, etc. ツイートは所属先の見解と関係ありません．思いついたことをつぶやきます．人生を楽しく生きよう（New!）
Basix @Basix1120
5K Followers 6K Following Software Engineer | 고용주의 의견과 무관합니다 | 계정정보 https://t.co/QXHrPWbud5 | 인증용 https://t.co/FnooGTLNb1 | 🇰🇷🇬🇧
Luke Jahnke @lukejahnke
3K Followers 6K Following
( . . . , ≤ ) @NOTpartialorder
65 Followers 65 Following 저는 소유욕이 매우 강해서, 만약 제게 가까이 다가오면 떠나려고 생각하지 마세요.
Joseph Garvin @joseph_h_garvin
1K Followers 3K Following voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @[email protected] @josephhgarvin.bsky.social
1377 High-yield Nukes @buptsb
2K Followers 1K Following
lannex @lannex_shin
28 Followers 380 Following As a software engineer, I mainly talk about development and …
슈퍼 아카이브 �... @RangHo_777
277 Followers 2K Following Deprecated! Currently residing at Bluesky: https://t.co/ddugi8MHB1
ever0de @ever0de
106 Followers 406 Following
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Helia-17(헬리아) @heliatalk
2K Followers 770 Following @helia17.bsky.social [email protected] Front-dev 외국어 배웠더니 괴로움이 세 배🇰🇷🇯🇵🇺🇸🇨🇳
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
개발자 솔람 @Solam_IT
3K Followers 2K Following 홍학같은 개발자 솔람의 일상 //끼루룩// 실리콘밸리에서 서식 중// #개발자 #일상계 #실리콘밸리 #풀스택 #백엔드 #프론트엔드 #여성개발자_트친소// 정치계와 본업계정 따로 분리했습니다 감사합니다!
matt godbolt is mostl... @mattgodbolt
15K Followers 2K Following Husband, father, coder, sometime verb, real person. Fond of old hardware. Co-host @twoscp. #BlackLivesMatter. @matt.godbolt.org on bsky He/him
The Institute for Typ... @typememetics
693 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
xia0o0o0o @Nyaaaaa_ovo
3K Followers 1K Following Write some shit code. CTF with @r3kapig. Do shit security research. Currently at University of California, San Diego. DEFCON 31/32/33 finalist | LOOKING FOR JOB
8bits @6502z80
53 Followers 1K Following
김검열 @nyan1O1
254 Followers 336 Following 컴퓨터&수학 비슷한 거 배우는 학부생(이었던 사람) (blog) https://t.co/ptX2EB4B3h / (cv) https://t.co/rTlE6YfZTY
ohjin @pwn_expoit
4K Followers 445 Following I'm still hungry. I will be world-class, @[email protected]
어웨어랩 @and_awarelab
9K Followers 2K Following 심리적안전감에 기반한 conversater | #안전감 에서 #연결감 까지 | 퍼실리테이션, 코칭, 영화치료 | 영화 집단상담 | [email protected] | @awarelab.bsky.social
Liam\0 @LiamInfoSec
496 Followers 232 Following vuln researcher Currently: Lost in Browser Exploitation
Soyeon Park @_runiel
378 Followers 307 Following Security Researcher @ Samsung Research America | DARPA AIxCC Winner @TeamAtlanta24
Goreng @sudo_goreng
1K Followers 217 Following zoomer SRE @ an Indonesian AI company tryin to learn Elixir, ML-stuff, and Lisp so I can write good stuff and most importantly follower of Jesus ✝️
[email protected] @ddvd233
20K Followers 1K Following PhD Student @MIT Media Lab | Multimodal LLMs | MS in Computer Science @Stanford, RA at @StanfordSVL supervised by @drfeifei | 艾默里归宅部荣誉部员｜日本語本当下手
jeppojeps - Antonio N... @jeppojeps
892 Followers 395 Following Zimperium Inc. scholar, inventor. FWIW opinions are my own. Author of Fuzzing Against the Machine founder @ https://t.co/1OJiGY3WHs
LLVMFoundation @LLVMFoundation
2K Followers 1 Following The LLVM Foundation is a nonprofit supporting the https://t.co/YmRkiZIqlp project by fostering community growth through our various programs.
llvm.org @llvmorg
11K Followers 7 Following Open source project for compiler infrastructure, tools, and more. Here Be Dragons.
chreke @therealchreke
664 Followers 878 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
June Kim @cjunekim
3K Followers 411 Following Started programming in 1982 w/ Apple II. Still looking for that joy. Expert in expertise research & NDM research President of Agile Consulting
Statistics Papers @StatsPapers
6K Followers 2 Following New Statistics submissions to https://t.co/HHqPequzVU (not affiliated with https://t.co/HHqPequzVU)
Psyho @FakePsyho
25K Followers 366 Following Game Designer; Problem Solver; past: OpenAI (Dota), Pro Competitive Programmer, Poker
Joseph Suarez 🐡 @jsuarez5341
17K Followers 104 Following I build sane open-source RL tools. MIT PhD, creator of Neural MMO and founder of PufferAI. https://t.co/z468O4HDxF
Dmitry Vyukov @dvyukov
9K Followers 381 Following I tweet about fuzzing, bugs, sanitizers, security, hardening, kernels, syzkaller, Go, performance, concurrency, lock-free algorithms.
CHR⟲🗼✨🍅🏅 @_CCCHHHRRR_
668 Followers 2K Following lang=en/zh/ja | Astronomy🌌Aerospace🚀/Cosplay/Outdoor🏔️🏕️🚲/Photography📷 /Travel/Rail🚃+Air✈️/Art🎨/スタァライト🦒☀️/虹ヶ咲🌈💧/MyGO/GBC/アニメ聖地巡礼🗺️
Samuel Timbó @io_sammt
8K Followers 350 Following Software Engineer - Researcher - Builder - Founder - Creator of Unit - https://t.co/nGnstCPiPD
wuc9521 @wuc9521
84 Followers 1K Following
sem1latt1ce @sk_196844
293 Followers 508 Following
Lean @leanprover
6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.
Manu Sridharan @rakingleaves
2K Followers 1K Following Professor @UCR_CSE doing research in programming languages and software engineering. https://t.co/8YGA4y2NaS BSky: @manu.sridharan.net
SOAP at PLDI '25 @SOAP_Workshop
153 Followers 69 Following The International Workshop on the State Of the Art in Program Analysis (SOAP), co-located with @PLDI.
Pentagon Pizza Report @PenPizzaReport
237K Followers 73 Following Pentagon Pizza Report: Open-source tracking of pizza spot activity around the Pentagon (and other places). Frequent-ish updates on where the lines are long.
Darkflames @Darkf1ames
3K Followers 584 Following Programming Language Theory / Type Theory / Developer / Photography 📷 / 中文 English 日本語
IroncladDev @IroncladDev
11K Followers 236 Following Opinionated Texan SWE who aims to build and share great software with the world • Building @webtui & @fedibtc • I like guns and TUIs
Boosik @0xboosik
8K Followers 3K Following Degen dev @orca_so, dev captain @SuperteamKorea ex) Samsung electronics mobile division, tech lead @a41_allforone, @DecipherGlobal
Superteam Korea @SuperteamKorea
3K Followers 136 Following Bring talented founders and builders to launch and grow in Korea's Solana ecosystem
Cyfrin CodeHawks @CodeHawks
10K Followers 4 Following Helping companies secure smart contracts and auditors get paid. More than $2M+ rewarded to auditors. Powered by @cyfrinAudits
ATOMIC⚡️₿ITCOIN @atomicBTC
33K Followers 522 Following Bitcoin Diploma Korean translatorㅣ@BTCSocialLayer auditorㅣ비트코인 결제 매장 @btcmapkr ㅣ(Personal Account)Trends for United States
7.709 posts
26,5 B posts
90,9 B posts
35,2 B posts
77,9 B posts
59,8 B posts
1.365 posts
21 B posts
1.182 posts
9.284 posts
17 B posts
16,3 B posts
110 B posts
53,4 B posts
3.347 posts
21,2 B posts
4.607 posts
16,8 B posts
8.702 posts
You might like
Elon Musk
@elonmusk
225.3M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.7M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.8M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.4M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers