오늘은 https://www.acmicpc.net/problem/27157 이 문제를 러스트로 풀겠다고 삽질하다가 시간만 날리고 C++로 풀었다...🥲

요즘에는 타입스크립트로 이상한 핵 안쓰고 LR 파서를 100% 타입세이프하게 구현할 수 있는지 테스트해보고 있다

이번 카톡 업뎃 촌철살인 평가

웃긴짤을봤다

http://logitext.mit.edu/main 재미있는 웹 앱 중 하나. 논건 대수(Sequent Calculus)를 사용해 1차 논리("모든 대상에 대해"나 "어떤 대상이 있어"를 서술할 수 있는 논리)의 명제를 상호작용을 통해 증명해 볼 수 있다. 예를 들어 A /\ B -> A (A 그리고 B이면 A이다)를 증명하려면

• 위 명제를 입력칸에 넣는다.
• ->를 눌러 명제 안의 "이면"을 증명에서 쓸 수 있는 가정(|-의 왼쪽에 있는 것)으로 바꾼다.
• 가정의 A /\B를 눌러 "그리고"의 양 측에 해당하는 가정 A와 B 각각을 얻는다.
• 가정이나 결론의 A를 눌러 가정을 사용하는 것으로 증명을 끝낸다.

보다 입문자에게 친절한 설명은 http://logitext.mit.edu/tutorial 에서 읽어볼 수 있다.

@akastoot악하 아 그게 그거였군요 감사합니다...

아 장문을 쓰면 자동으로 LLM 요약이 생성돼요? 끌 수 있었으면 좋겠는데

#연친소 #겹친소

요즘은 대학 학부 공부 중이라 뜸하지만 가끔씩 그림 그립니다. 폴리아모리 레즈비언 트랜스 여성 당사자이고요 팔레스타인 해방에 연대합니다. 또한 퍼리, 철덕 성향이 있습니다. 서울 강북권 거주 및 활동합니다. 흔적 남겨주시면 장르 상관없이 제가 알아서 팔로해 드립니다. 블스 및 트위터 등 출신 옛 인연 분들 대환영합니다.

"두통과 함께하는 사람들"은 다음 주(22일 ~ 28일) 편두통 인식 개선 주간을 맞이해서 광화문에서 커피차 이벤트를 진행합니다! 주변에 많은 공유와 참여 부탁드려요.

• 📆 언제? 2025년 9월 22일 (월요일) 오전 10시 ~ 오후 2시
• 📍 어디서? 광화문 한국프레스센터 광장 [네이버 지도]
• 📋 무엇을 하나요? 편두통 질환과 캠페인을 소개하며 다양한 기념품(안대와 귀마개 등)과 음료를 드립니다! 🎁🥤
• ✅ 왜 하나요? 국제적으로 진행하는 캠페인의 일환으로 편두통에 대한 오해를 해소하고 편두통을 알리는걸 목표로 합니다.

오랫동안 열심히 준비하던 것 중 하나입니다. 부스 놀러와주시면 기쁠 것 같아요.

해커스펍 언어 선택창을 보니까 ko-KR이랑 ko-KP 말고 ko-CN도 있구나 신기하네...

탈모가 심한 개발자는 함수형 패러다임을 써야 하는 이유는?

함수형 써보니까 모나드라

엌ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

[개발투표] 나는 개발자로서 LLM이 1️⃣ 좋다 2️⃣ 싫다 📊 Show results

아무튼 오늘은 면접에서 탈락했습니다. 축하해주세요

@babetits romney

edit: thank you everyone for ackshuallying a shitpost, your replies are extremely necessary and I'm very impressed by what a bunch of super smart cool boys y'all are

여기서 차단 기능을 처음 써봤다

이제 자바 메인을 이렇게 써도 된다니 놀랍군요

void main() {  
    var name = IO.readln("What is your name? ");  
    IO.println("Hello, " + name);  
}  

하스켈은 이렇게 씁니다! 참 쉽죠!

main = do
  putStrLn "What is your name?"
  name <- getLine
  putStrLn ("Hello, " ++ name)

(맥락 설명: 블루스카이 API 테스트용으로 작성 시각을 2026년 1월 1일로 맞춰서 올렸던 글입니다.)

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ대유쾌마운틴이다이글지금도맨위에있네

다른 논문은 13페이지다 다행이다

#해커스펍지식인: 안드로이드 연합우주 앱 중에 해커스펍을 지원하는 것이 있나요?

#해시태그 테스트

관심 있는 분야의 논문을 열어봤는데 187페이지야.........

행성 파괴자 소행성을 막을 수 있을까? - YouTube

https://www.youtube.com/watch?v=kVl8WLEvjSI

아니 얘들, 요즘 원본 영상 올라오고 이틀만에 한국어판이 올라오네?

@eatch잇창명 EatChangmyeong💕🐱 어서 오세요!

다람쥐 헌 쳇바퀴에 타고파.