Type system 익숙해지면 나아지겠지만... 진짜 이런 추상화를 10년도 전에 했다는 게 믿기지 않는다
수학 하는 애들은 진짜 괴물이구나
구독자 3505명
알림수신 56명
모두 행복하게 HTML로 프로그래밍하는 프로그래밍 및 코딩 채널
진짜 Coq는 봐도봐도 모르겠다
추천
1
비추천
0
댓글
5
조회수
139
작성일
댓글
[5]
글쓰기
Random_Access
코드포스_하레
스프
softwarefoundations.cis.upenn.edu
Software Foundations
스프
코드포스_하레
최근
최근 방문 채널
최근 방문 채널
번호
제목
작성일
조회수
추천
공지
아카라이브 모바일 앱 이용 안내(iOS/Android)
29878717
공지
코딩 채널에 오신 것을 환영합니다.
18500
8257
잡담
주말에 겅부하니까 현타 오지네
[1]
31
0
8256
잡담
콘으로 알아보는 코딩 희망/절망편
[5]
68
2
8255
정보
Git 커밋 요령 및 메세지 컨벤션
[1]
52
5
8254
아오 지피티 시발롬때문에 금방끝날거 졸라 허비했네
[2]
114
0
8253
질문
웹사이트 제작을 준비한다는 늅이..
[3]
127
1
8252
앱·겜
캐릭터안보이는 거 해결완료 ㅋㅋㅋㅋ
[3]
86
1
8251
정보
Git을 처음 접하는 사람에게
[26]
221
9
8250
C/C++
윈도우 오디오 PID 따는 코드
[1]
65
1
8249
C#
유니티 코드좀 봐주실 수 있나요..?
[15]
135
3
8248
질문
도저히 답이 안보여서 글 남겨봅니다
[10]
123
0
8247
유머
아무것도 안했는데 버그가 고쳐졌다
[5]
119
4
8246
크롬 사각형 깨짐이슈 걍 윈도우가 개병신짓한건데 애들 뭘보고 윈도우찬양하는걸까
[1]
91
-2
8245
질문
원하는 프로그램의 모든 pid를 따서 음소거를 시키는 프로그램을 짰는데요 크롬을 건드릴 때 버벅거림도 심하고 마우스도 말을 듣질 않습니다.
81
0
8244
오늘 학교에서 pccp 함
[4]
111
1
8243
질문
깃허브 main branch에다가 업로드 하려고 하는데
[1]
76
0
8242
사소한 불편을 직접 해결 << 개발자 낭만 ㅆㅅㅌㅊ
[2]
191
10
8241
깃허브 push 된 건지 확인좀 해주세요
[5]
72
0
8240
사실 개발보다 보안이 현시창이 훨씬 심한 것 같음
125
6
8239
질문
def 질문 받아주세용
[7]
98
0
8238
질문
개발자 중고신입으로 들어갈려면 이력서를 경력/신입 중 뭘로 해야해?
[4]
112
0
사용하고 계신 브라우저가 시간대 설정을 지원하지 않으므로 GMT 시간대가 적용됩니다.