Information / Study
-
F# [F#] F# Computation Expression 톺아보기
-
JAVA | Kotlin Behavioral Programming 라이브러리를 코틀린에서 구현해보자 feat Channel
-
JAVA | Kotlin Kotlin DSL 에 다양한 제약사항을 적용해 보자 Feat [Contract]
-
Functional Study [Monad] 내멋대로 Monad 이해하기 - Kleisli🐟
-
JAVA | Kotlin 코틀린으로 살펴보는 Y 컴비네이터 (Feat Fixed Point)
-
Clojure Clojure 의 매크로 시스템의 튜링완전 (애매한) 증명 feat SKI
-
기타 정보 [DB] 현재는 모든 과거의 필연적인 산물이다 - Bitemporal 을 곁들인 타임머신
-
JAVA | Kotlin Kotlin ServerResponse 에 대한 DSL 을 구축해보자!
-
JAVA | Kotlin [Spring Boot] + Kotlin 에서 Route + Beans DSL 을 사용해보자
-
JAVA | Kotlin Kotlin SQL DSL 을 구축해보자! 쓸 수 있는 방법을 전부 동원해봐서!
-
Functional Study [Algebraic Effect] 내 멋대로 대수적 효과 이해하기 feat Continuation
-
Functional Study Delimited Continuations 가 대체 뭔데?
-
Functional Study [Monad] 시퀀스를 여행하는 모나드를 위한 안내서
-
Functional Study [HKT] Value / Type / Kind 와 Higher Kinded Type (Feat. 고차함수)
-
Functional Study [Expression Problem] 표현 문제란?
-
Functional Study [Optics/Lens] 내 멋대로 Optics 이해하기 Feat) arrow-kt
-
Clojure [Clojure] Idiomatic Clojure - Code Smells (관용적인 클로저 - 코드 스멜)
-
Functional Study [Monad/Free Monad] 내멋대로 Free 모나드 이해하기
-
Functional Study [Monad] 내멋대로 Monad 이해하기 - Bind (FlatMap), Monad
-
Functional Study [Monad] 내멋대로 Monad 이해하기 - Map, Return, Apply
-
C# [C#] 공변성(Covariance)과 반 공변성(Contravariance )
-
기타 정보 속성기반 테스팅 [property based testing]
Just4Fun / Toy Projects
-
토이 대한 축구 협회 프로그래밍 랭기지를 만들어보자 되도록 튜링완전하게..
-
JAVA | Kotlin [Ktor] + kts 활용해서 Dynamic Endpoint 만들기
-
JAVA | Kotlin Kotlin 초기화 코드 제너레이터
-
토이 주술회전 대사로 프로그래밍을 해보자
-
토이 [CodePaper] 코드들을 하나의 md 문서에 모으기
-
토이 [GPT] AI-Powered 심리테스트
-
토이 [ChatGPT] API 가 나온 기념 AI 끼리 신나게 놀게 해보자
-
토이 [PassThrough] 지하철역 근처 음식점 포장 주문
-
토이 [IHFK] 짜증나는 키오스크 개 뿌수는 게임
-
토이 [LolChatLang] 롤챙 프로그래밍 언어를 만들어보자
-
토이 [Toy] GitDot - Canvas로써 의 Github
-
토이 [SUMM-Calculator] 숨덕용 가짜 계산기
-
토이 [Parallel-Woard] 병렬적 사고(?) 를 키워주는 게임
-
기타 정보 주둥아리 주도 개발 (JDD)
-
Clojure [Clojure] Clojure 에서 Runtime 함수를 생성해보자
-
AI [AI] 신비한 캬루콘 생성기 (feat. 뒤틀린 황천의 캬루콘)
Activity / Contribution
-
OSS | 컨트리뷰션 [Spring AI] Spring AI 컨트리뷰트
-
OSS | 컨트리뷰션 [Microsoft/PowerToys] 마이크로소프트 파워토이 컨트리뷰트
-
OSS | 컨트리뷰션 [Microsoft/Calculator] 마이크로소프트 계산기 컨트리뷰터가 되기까지의 기나긴 여정
-
OSS | 컨트리뷰션 2021 오픈소스 컨트리뷰톤 장려상 수상 - Azure Functions OpenAPI Extensions
-
대외활동 기록 오픈핵 해커톤
-
대외활동 기록 Ethcon Korea 2023
-
대외활동 기록 Hackathon in Undefined Hacker House Tokyo feat Astar Chain
-
대외활동 기록 Hackathon in Sui Builder House Seoul / 2nd 수상
-
OSS | 컨트리뷰션 [Kotest] 코테스트 typo 컨트리뷰터 되기
-
OSS | 컨트리뷰션 [Clojure] docjure 컨트리뷰트
-
OSS | 컨트리뷰션 [Xaml-Controls-Gallery] 한글자로 마이크로소프트 컨트리뷰터 되기
-
OSS | 컨트리뷰션 [NNStreamer] Neural Network (NN) Streamer