농 위키:소개

마지막 수정 시각: 2023-07-24 11:55:06

지식 및 생각 정리용 개인 위키. 추후 몇 가지 기능들을 더 추가할 예정(필요를 느낄 때마다 하나씩 추가 될듯). 일단 기존에 다른 블로그 등에 흩어져 있던 자료들을 모아서 정리하는게 먼저일 것 같아 그것부터 합니다.

Problem Solving

C++

• Effective Modern C++

Haskell

• Haskell Study : github 저장소. 추후 이전 예정
• Weak Head Normal Form
• elerea

GHC Extension

• BangPatterns
• RankNTypes
• ScopedTypeVariables

수학

• multiplicative function

Etc

• Idris Practice
• Lean Prover
• 강화학습

Gfx-hal

• 1. Setup

Game

• Adam
• 게임 만드는 이야기
• 도트 작업물 모음
• bevy 엔진
• 소규모 게임 개발 이야기

생각 정리

• 생각(2017년)
• Prompt412 운영기(~2022)

TODO list

추가할 예정인 기능들

• 문서 검색
• 모든 문서 나열
• 최근 변경된 문서 나열
• ToC 생성