다믜 (@damhiya) 's Twitter Profile
다믜

@damhiya

프로그래밍과 증명을 합니다.
I write programs and proofs. Love Haskell, Martin-Löf type theory, Nix package manager, and Hoare logic.
plwiki.github.io

ID: 1058687540826238976

linkhttps://github.com/damhiya calendar_today03-11-2018 11:49:13

637 Tweet

211 Followers

368 Following

다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

4 months ago

티백 끈에 녹여서 납작하게 다려둔 구간이 있어서 불량인줄 알았는데 모세관 현상으로 끈 전체가 젖는걸 방지하는 장치였음

티백 끈에 녹여서 납작하게 다려둔 구간이 있어서 불량인줄 알았는데 모세관 현상으로 끈 전체가 젖는걸 방지하는 장치였음
다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

4 months ago

다믜 (@damhiya) on Twitter photo
다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

4 months ago

이번 분기 볼만한 애니 하나도 못찾았음

ㅍㄹㅅㅌ (@tmxlvmflvmfltmx) 's Twitter Profile Photo
ㅍㄹㅅㅌ
@tmxlvmflvmfltmx

4 months ago

은평구 청소년들이 만드는 토끼풀 신문, 한 중학교에서 배포 금지에 압수까지 했다고 보도가 나왔는데 사이트 들어가서 살펴보니까 섭외력이 장난 아님. 시내버스 파업하면 노조위원장 인터뷰하고, 국회의원에 지방의원에 독일 국회의원에 네팔 현지 활동가까지... tokipul.net

다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

3 months ago

github.com/damhiya/MetaLa… 저랑 같이 다단계 프로그래밍 해요

github.com/damhiya/MetaLa… 저랑 같이 다단계 프로그래밍 해요
다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

2 months ago

다믜 (@damhiya) on Twitter photo
다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

22 days ago

인용보고 순간 열받았는데 다시 생각해보니 어차피 나한테 전화 하는 사람 세명 밖에 없어서 열안받기로 함

인용보고 순간 열받았는데 다시 생각해보니 어차피 나한테 전화 하는 사람 세명 밖에 없어서 열안받기로 함
다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

20 days ago

한 10년만에 필름 샀어요

한 10년만에 필름 샀어요
다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

16 days ago

왜 영어 수업 듣는 사람이 to 부정사가 뭔지 알거라고 생각하는거지…

다믜 (@damhiya) 's Twitter Profile Photo
다믜
@damhiya

16 days ago

초등학생때 영어로 달력 읽는법 못 외웠는데, 그때 이후로 알려주는 곳 없어서 아직도 모름

Logic & Applications (@logicpractice) 's Twitter Profile Photo
Logic & Applications
@logicpractice

9 days ago

Proof General: Emacs front end for proof assistants proofgeneral.github.io