이찬행 is following

Official account of the Lean theorem prover and programming language

*Encounter the Wider World*

Bridgy Fed bot user for Bluesky. To bridge your account to Bluesky, follow this account. More info here.

After you follow this account, it will follow you back. Accept its follow to make sure your posts get sent to the bridge.

To ask a Bluesky user to bridge their account, DM their handle (eg snarfed.bsky.social) to this account.

레몬그린입니다!

https://github.com/Bananamilk452

블루스카이 유저 분이라면 @ap.brid.gy@bsky.brid.gy 계정을 팔로우하셔서 연합우주 브릿지를 만드셔야 저랑 교류가 가능합니다...!!

만화, GL, BL, 게임, 프로그래밍! 안먹는게없음 🏳️‍🌈🏳️‍⚧️

뒷계정은 팔로우 가려받습니다

이웃집 흑염소

레고를 뿌리고 뿌린 레고들을 쌓고 있습니다.

음악 작곡에서 시작해 몽골학을 거쳐, 지금은 컴퓨터 공학과 친해지려고 노력하고 있습니다. 한때 지평선을 넓히는 데 집중했다면, 이제는 뿌리를 내려 깊어지려고 노력 중입니다.

Yet another PL enthusiast a.k.a. Hyunjoon Kim, d01c2 plz read my nickname as 'dolce'.

인간의 언어처리와 LLM의 언어처리를 서로 비교하는 전산심리언어학(Computational Psycholinguistics)을 연구했'었'습니다.

하지만 CS덕질이 더 재밌다는 걸 깨닫고선 대학원을 탈출했습니다.

요즘은 데이터 엔지니어링과 컴파일러가 재밌어요.

지금까지 다루어 봤던 언어는 아래와 같습니다. MSX Basic Z80 Assembly Pascal GW-Basic C Macromedia Director Visual Basic PHP Flash Actionscript C++ Javascript

그리고 지금은, 하스켈을 비즈니스에 쓰려고 몇 년간 노력하고 있습니다. 지금 상태는, 하스켈 자체를 연구하는 게 아니라, 하스켈 (혹은 함수형 언어) 이해가 어려운 이유를 연구하는 아마추어 연구가쯤 되어버렸습니다. 하스켈 주제로 블로그를 운영 중이지만, 아직은 하스켈 프로그래머라고 자신 있게 말하진 못하고 있습니다. 가끔 이해에 도움이 될만한 측면이 보이면, 가볍게 아이디어를 여러 SNS에 올려보곤 하는데, 그다지 프로그래머에게 쓸모 있는 내용이 포함되진 않는 것 같습니다.

설계 능력 없고 코딩 AI보다 못하고 뭔가 이상한 걸 만들고 있고 (#레퍼럴프로젝트, http://referral.akaiaoon.dev) 매일 커피나 마시는 이제 직장이 없는 SE

게임 디자이너에서 웹으로 넘어가려고 하고 있어요~

よく使う：Java

深掘りしたい：Go

勉強中：React、TypeScript, Python

스콜라아이돌교수버튜버