I aim to create video games and other media for learning STEM disciplines. Pronouns: he/him/his.
* 자기소개(About me): https://bsky.app/profile/chabulhwi.bsky.social/post/3kktpd44t6u23
이 개정안이 발의되면 여러분도 국회 의안정보시스템서 그 내용을 확인하실 수 있어요. likms.assembly.go.kr/bill/bi/main...
• 오후 9~10시: '농부는 대체되었다' 게임 해 보기
이날 낮에는 제 노트북에 캐시OS(CachyOS)를 설치해야 돼요. 그동안 제가 녹화한 영상들을 제 데스크톱 컴퓨터에서 거기로 옮겨야 해서요. 밤 9시에 방송할게요.
• 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 9~10시: '농부는 대체되었다' 게임 해 보기
이날 낮에는 제 노트북에 캐시OS(CachyOS)를 설치해야 돼요. 그동안 제가 녹화한 영상들을 제 데스크톱 컴퓨터에서 거기로 옮겨야 해서요. 밤 9시에 방송할게요.
• 채널 링크: chzzk.naver.com/7b15632e2d01...
• 레미: join-lemmy.org
• 제가 가입한 레미 서버: lemmy.world
• 키다리게가 공직에 출마하는 내용의 만화: piefed.world/post/651620
제가 쓰는 레미 클라이언트 앱은 선더(Thunder)예요. apt.izzysoft.de/packages/com...
• 레미: join-lemmy.org
• 제가 가입한 레미 서버: lemmy.world
• 키다리게가 공직에 출마하는 내용의 만화: piefed.world/post/651620
제가 쓰는 레미 클라이언트 앱은 선더(Thunder)예요. apt.izzysoft.de/packages/com...
이 개정안이 발의되면 여러분도 국회 의안정보시스템서 그 내용을 확인하실 수 있어요. likms.assembly.go.kr/bill/bi/main...
이 개정안이 발의되면 여러분도 국회 의안정보시스템서 그 내용을 확인하실 수 있어요. likms.assembly.go.kr/bill/bi/main...
> MBTI가 통계적으로 유의미하다는 주장도 의심해 봐야겠군요. 대체 왜 젊은 한국인들이 성격 유형에 관한 사이비 과학을 그리 좋아하는지 모르겠어요. 그래도 그게 궁금한 분들은 다음 레딧 댓글을 한번 보시길 바라요. www.reddit.com/r/korea/s/pS...
> MBTI가 통계적으로 유의미하다는 주장도 의심해 봐야겠군요. 대체 왜 젊은 한국인들이 성격 유형에 관한 사이비 과학을 그리 좋아하는지 모르겠어요. 그래도 그게 궁금한 분들은 다음 레딧 댓글을 한번 보시길 바라요. www.reddit.com/r/korea/s/pS...
제가 직접 문서를 작성할 때는 타이프스트(Typst), 레이테흐(LaTeX), 스핑크스(Sphinx), 아스키독(AsciiDoc) 중 하나를 이용할 듯해요. 대부분의 사무직원에게는 이를 추천하지 못하겠지만, 문서의 버전을 관리하면서 서식도 잘 맞추고 다양한 파일 형식으로 내보내기 좋다고 생각해요.
제가 직접 문서를 작성할 때는 타이프스트(Typst), 레이테흐(LaTeX), 스핑크스(Sphinx), 아스키독(AsciiDoc) 중 하나를 이용할 듯해요. 대부분의 사무직원에게는 이를 추천하지 못하겠지만, 문서의 버전을 관리하면서 서식도 잘 맞추고 다양한 파일 형식으로 내보내기 좋다고 생각해요.
• "린 4로 하는 정리 증명" 7장 '공리적 세부 사항' 절: lean-lang.org/theorem_prov...
이번 절은 수식 없이 자연 언어로만 설명된 내용을 제가 해설하기가 너무 힘들었어요.
• "린 4로 하는 정리 증명" 7장 '공리적 세부 사항' 절: lean-lang.org/theorem_prov...
이번 절은 수식 없이 자연 언어로만 설명된 내용을 제가 해설하기가 너무 힘들었어요.
• 오후 5~6시: "린 4로 하는 정리 증명" 7장 (12) 같음 유형의 재귀자
이번에 설명할 내용은 꽤 어려워서 아마 제가 녹화를 여러 번 시도할 수 있어요.
• 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 5~6시: "린 4로 하는 정리 증명" 7장 (12) 같음 유형의 재귀자
이번에 설명할 내용은 꽤 어려워서 아마 제가 녹화를 여러 번 시도할 수 있어요.
• 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 5~6시: "C 프로그래밍: 현대적 접근" 16장 4번 연습 문제 풀기
제가 indent의 버그를 피하려고 셸 스크립트를 수정해야 했고, 그래서 토요일에는 한 문제밖에 못 풀었네요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 5~6시: "C 프로그래밍: 현대적 접근" 16장 4번 연습 문제 풀기
제가 indent의 버그를 피하려고 셸 스크립트를 수정해야 했고, 그래서 토요일에는 한 문제밖에 못 풀었네요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
제가 자퇴한 이유는 단지 대입 때문은 아니었지만, 저는 학습 속도가 느리다는 자기 객관화를 못해서 대가를 치렀죠.
근데 저는 제가 수능을 못 본 덕분에 그나마 자기 객관화가 더 됐다고 생각해요. 그리고 이건 제 자조적인 농담이기도 한데, 제가 2023년에 항공대를 자퇴했듯이, 고졸자가 어차피 대학도 자퇴할 거면 대입은 별 의미가 없어요.
제가 자퇴한 이유는 단지 대입 때문은 아니었지만, 저는 학습 속도가 느리다는 자기 객관화를 못해서 대가를 치렀죠.
근데 저는 제가 수능을 못 본 덕분에 그나마 자기 객관화가 더 됐다고 생각해요. 그리고 이건 제 자조적인 농담이기도 한데, 제가 2023년에 항공대를 자퇴했듯이, 고졸자가 어차피 대학도 자퇴할 거면 대입은 별 의미가 없어요.
> 그러나 현행 교육과정에서 [수학 I]의 경우, 행렬이 곱셈 연산에서 교환법칙이 성립하지 않고 영인자를 가지며 역원이 없는 행렬이 존재한다는 성질 때문에 나타나는 특이한 행렬 연산을 다루는데 치중하고 있다. 이는 계산량은 많고 의미는 크게 갖지 못하는 문제 풀이 위주의 학습을 강조하는 것이라는 지적이 개정 시안 연구의 설문조사에서도 제기되었다.
> 그러나 현행 교육과정에서 [수학 I]의 경우, 행렬이 곱셈 연산에서 교환법칙이 성립하지 않고 영인자를 가지며 역원이 없는 행렬이 존재한다는 성질 때문에 나타나는 특이한 행렬 연산을 다루는데 치중하고 있다. 이는 계산량은 많고 의미는 크게 갖지 못하는 문제 풀이 위주의 학습을 강조하는 것이라는 지적이 개정 시안 연구의 설문조사에서도 제기되었다.
• 오후 5~6시: 멘티의 린 퀴즈 답안 검토하기
밀린 일을 먼저 해야 돼서 린 해설 영상은 다음 주에 녹화할게요. 그리고 제가 아직 근력 운동을 못 했어요. 그래서 '농부는 대체되었다' 게임도 다음 주에 할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
• 오후 5~6시: 멘티의 린 퀴즈 답안 검토하기
밀린 일을 먼저 해야 돼서 린 해설 영상은 다음 주에 녹화할게요. 그리고 제가 아직 근력 운동을 못 했어요. 그래서 '농부는 대체되었다' 게임도 다음 주에 할게요.
• 치지직 채널 링크: chzzk.naver.com/7b15632e2d01...
미래에 제가 논리학을 훨씬 더 깊이 공부하고 나면, 아동 및 청소년 성 착취물과 음란물의 관계를 형식적으로 기술해 볼게요.
미래에 제가 논리학을 훨씬 더 깊이 공부하고 나면, 아동 및 청소년 성 착취물과 음란물의 관계를 형식적으로 기술해 볼게요.
근데 당사자들에게 그건 너무 무리한 요구잖아요? 그래서 갑갑했죠. 저도 이제 슬슬 손 떼려고요.
근데 당사자들에게 그건 너무 무리한 요구잖아요? 그래서 갑갑했죠. 저도 이제 슬슬 손 떼려고요.
• 영상 주제: 아동·청소년 성 착취물의 정의 개선하기
11월 10일(월) 새벽 2시에 발표 자료를 다 만들었어요. 월요일에는 제가 작성한 문서들에 관한 법률 검토를 받고, 마트서 식재료를 사고, 근력 운동을 할게요. 그다음 날에 영상을 녹화할게요.
• 영상 주제: 아동·청소년 성 착취물의 정의 개선하기
11월 10일(월) 새벽 2시에 발표 자료를 다 만들었어요. 월요일에는 제가 작성한 문서들에 관한 법률 검토를 받고, 마트서 식재료를 사고, 근력 운동을 할게요. 그다음 날에 영상을 녹화할게요.