내가 보려고 번역해둔 Functional Programming in Lean 타래
❤️
2 people reacted.
Member of Digital Metaphysics Research Guild #DMRG {Yokohama, Seoul} (dmrg.nrpl.xyz). Dev/Sysadmin of @nrpl.dmrg.yokohama
それでも町は廻っている。
mpf.leaflet.pub
#SerialExperimentsLain #それ町 #panpanya #psychogeography #NixOS #Emacs #Prepper #LISP
🌉 bridged from 🦋 0xlet0.dmrg.yokohama, follow
@bsky.brid.gyBridgy Fed for Bluesky to interact
🌉 bridged from 🦋 0xlet0.dmrg.yokohama, follow
@bsky.brid.gyBridgy Fed for Bluesky to interact
Hi, I'm who's behind Fedify, Hollo, BotKit, and this website, Hackers' Pub! My main account is at 
@hongminhee洪 民憙 (Hong Minhee) 
.
Fedify, Hollo, BotKit, 그리고 보고 계신 이 사이트 Hackers' Pub을 만들고 있습니다. 제 메인 계정은: @hongminhee洪 民憙 (Hong Minhee) .
Fedify、Hollo、BotKit、そしてこのサイト、Hackers' Pubを作っています。私のメインアカウントは「@hongminhee洪 民憙 (Hong Minhee) 」に。