초무

리퀴드 글래스 나만 좋은가... 나는 옛날부터 굳이 필요 없으면 모든 UI가 투명했으면 좋겠다고 생각했는데

어떤 조건문을 만족하는 원소의 집합을 $Q$ 라고 해봅시다
그럼 $Q$의 임의의 부분집합 $P$ 의 원소는 $Q$의 원소이므로, 그 조건문을 만족할 겁니다
이 때, 공집합$\empty$은 모든 집합의 부분집합이죠?
따라서 공집합의 원소는 모든 조건문을 만족합니다

공허한 참(Vacuous truth)은 사실 좀더 포괄적인 개념입니다
가정이 거짓이면 명제는 항상 참이다라는 개념입니다
공허한 참이라고 부르니 어렵게 느껴지죠?
저는 항상 한국어 한정으로 '니 말이 진짜면 내일 해가 서쪽에서 뜨겠다' 참으로 이름을 바꿔야한다고 주장해왔습니다
가정(니 말)이 거짓이니 결론(해가 서쪽에서 뜨는 것)이 참이든 거짓이든 명제는 참이 되죠

이걸 공집합의 원소는 모든 명제를 만족한다 에 적용시켜볼까요?
이 명제를 좀더 조건문처럼 쓰기 위해 만약 (가정)이라면 (결론)이다 형태로 바꿔보죠
그럼 a가 공집합에 포함된다면, a는 모든 명제를 만족한다 가 됩니다
그런데, a가 공집합에 포함된다 는 거짓이죠?
따라서 해당 조건문은 가정 자체가 거짓인 공허한 참입니다

어쩔뻔뻔

마크다운으로 올리면 마스토돈에서는 아예 안 보이네

🤮

또다른 팝업 광고창 지옥도가 열리는 건 아닐련지...

<fieldset>

Hello

</fieldset>

HTML 태그 중에 진짜 이상한 거 많다

<progress id="file" max="100" value="70">70%</progress>

<input type="text">

<iframe width="560" height="315" src="https://www.youtube.com/embed/D-w2HwG18vg?si=FDVbw9PCuoF7UBqt" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen></iframe>

찍찍

어흥

어흥

2회차때는 쫌더 펍냥이가 다이나믹하게 움직일 수 있도록 만들겠읍니다

튜사 측에서 포스터를 스샷 말고 https://public.hackers.pub 을 띄워놨으면 움직여서 더 귀여웠을텐데... 아쉽🥲

사실 나는 JS(TS) 입문을 Fetch API 이후에 입문해서 axios 이런 거 왜 쓰는지 이해를 못했음

• 06년생이 20살임: 그렇군요
• 대학 신입생들이 Django 프레임워크 보다 어림: 기절하다

리액트 기본 파비콘 쓰는 페이지 어떤데

엥 HTML 주석처리 되는구나ㅋㅋㅋㅋ

K팝 인스턴스 만들면 좀 팔릴려나
근데 그 팬덤의 유독성을 내가 관리할 수 있을까+거대자본의 뮤비로 눈이 저세상 가버린 K팝 팬덤의 마음에 드는 디자인을 내가 해낼 수 있을리가,,,

버그 제보

페디파이 빡시게 기여해서 2.0 뜨면 블로그 만들어서 블스 떠야지

블스 CEO가 폭력은 어떤 상황에도 안 된다며 찰리 커크 추모 트윗을 올림;

아 물론

• 팔레스타인, 가자 얘기? 안 함
• 민주당 인사의 총격 피살사건 때는? 역시 안 함
• 찰리 커크 사망 당일 콜로라도의 학교에서 발생한 총격 사건 얘기는? 당연히 안 함

좀더 흥할까 싶어서 고양이로 비슷한 드립 짤을 만들어봤는데 전혀 안 흥함ㅠ

재열님의 배꼽 빠지는 유우머를 보니 저의 희대의 드립이 생각나는

프로 루머 사진 보고 진짜 못생겻다 했는데 아녔음 케이스 씌우니까 ㄹㅇ 찐으로 못생겼음

ㄹㅇ 찐으로 그냥잘걸 이었다

비동기 프로그래밍:

• async, Promise, ...: X
• AI 에이전트 갈구고 딴짓하기: O

코파일럿이 종종 멍청해져서 왜 그런가 보면 코파일럿이 클로드 말고 GPT로 지멋대로 바꿔놔서 그럼 ㅡㅡ

製나 作 이나 둘다 짓다, 만들다라는 뜻인데 製品은 상품, 공산품 처럼 쓰이고 作品은 예술품, 공작품 처럼 쓰이는 게 신기하군
요것이 아시안 언어의 신비...?

다같이 손 잡고 하나둘셋 하면 노드 지우고 디노로 갈아타는 거다 알았지?
자 하나
둘
셋!

귀여운 마스코트까지 있는 TS 런타임 Deno 냅두고 왜 이따위로 모든 경우의 수 하드코딩 되어 있는 JS 런타임 쓰는 건데

집에 갈거냐고요? 제가 갤럭시의 무시무시함을 보여드리겟읍니다

튜사 다 와서야 노트북 두고 왔다는 걸 알게 되다

우부콘 발표하고 그 다음 주에 파이콘 발표하고 그 다음 달에 해커스 퍼블릭 여시는 분이 말씀하시니 믿음이 가네요

커뮤니티에서 정치적인 주제를 금지하면 결국 관리자가 보기에만 정치적이지 않은, 자기 입맛에 맞는 정치적인 글만 남더라구요

또 모나드 설명 글 읽고 있음
그치만 주제 하나로 수많은 사람들이 각자의 해석에 따라 각자의 방식대로 글을 쓴다는 게 너무 재밌지 않음?
https://blog.merovius.de/posts/2018-01-08-monads-are-just-monoids/

any 쓰지 마세요
네
as unknown as
흐끼야악

'스킬 이슈에서 스킬 있슈로!' 라는 삼류 국비 학원 광고 문구 같은 말장난이 생각남

파이썬은 뇌빼고 쓸 수 있어서 쓰는건데 async 쓰면 뇌 못 빼잔슨