솔직히 w3schools 로고랑 많이 닮았다 https://ko.wikipedia.org/wiki/W3스쿨즈

W3C도 리브랜딩을 한다고?? https://www.w3.org/press-releases/2025/new-logo/

논리설계 공부 하랬더니 master-slave flip flop에 관한 이런 글이나 찾아보는 중...
기술에서 사용되는 특정 terminology에서 배제되는 사람들의 존재를 의식하고, 이를 바꿔 나가려는 실천이 필요하다는 생각이 든다

https://www.bu.edu/articles/2020/striking-out-racist-terminology-in-engineering/#:~:text=For decades%2C engineering textbooks have described electronic,student are finally helping to change that.

백준 지금 제출 속도대로라면 11월 8일 저녁 6시에 제출 번호 1억번이 나오겠다

무한개가 한 단어야?

솔직히 말하자면.... 주변의 모든 사람들이 표현식이라고 하니까 그냥 이바닥에서는 표현식이라고 하는구나라고 생각하고 아무생각 없이 썼어요 반성합니다

K-자소서
저는 자상하신 어머니와 아버지 사이에서 태어난 장남이며, 사주팔자에 맞춰 이름과 생년월일을 맞춰 태어난 이 시대의 고주몽인 줄 알았으나 현실은 하늘 높은지 모르고 치솟는 구직의 벽에 치여 살고 있는 이 시대의 평범한 컴퓨터공학 졸업 예정 학생입니다.

왜냐면 이 글을 재작성하고 있고 인터랙티브 부분이 복잡해서 타입 안정성은 웬만하면 챙기고 싶은데 타입스크립트도 안되고 ReScript도 안되고 굳이 Idris를 가져다 쓰는 건 오버킬같고...

문서 보니까 GADT가 있다고 해서 하스켈처럼 싱글톤 어쩌고 하는 게 되지 않을까 하고 내심 기대했는데 자연수도 못만들더라

JS에서 의존 타입을 쓰고 싶어서 ReScript를 설치해봤는데 안되나보다......🥲

요즘에는 rosettalens.com발 번역이 많이 보이는데 도대체 누가 만들어서 관리하고 있는지를 모르겠다 약관이랑 개인정보 처리방침을 봐도 없고...

ㅇㄴ clang 공식 페이지가 나한테 clang 21의 존재를 숨겼어...... 억울해

실제로 써보니까 좀 자주 튕긴다

gcc 지원 안하나보네 clang 업데이트해야지...

Zed의 윈도 버전이 드디어 공식 출시되었다. https://zed.dev/blog/zed-for-windows-is-here

공식 버전 출시 전까지는 deevus/zed-windows-builds 저장소 것을 쓰고 있었는데, 2주 전부터 베타 신청한 사람들에게 클로즈 베타를 쓸 수 있도록 링크를 보내주더니 드디어 정식 출시가 되었다. Private alpha 때부터 가벼운 반응 빠른 텍스트 에디터로, 또 개인 프로젝트용으로 잘 사용하고 있던 터라 감개가 무량하다.

Rust로 만들어져 윈도에서도 가볍고 빠릿빠릿하며, LLM 에이전트나 WSL 지원도 물론 완벽히 잘 된다!

이제 arm64 윈도용 빌드도 내 줬으면 🥺

게임을 하든 프로그램을 설치하든 무조건 설정부터 건드리는 사람

쓰고 있는 스택과 관심 있는 스택

YTN에서 편두통의 심각성에 대해 기사로 다뤄주시면서 인터뷰에 나오게 되었습니다. 편두통은 단순히 개인을 넘어 사회 전체에 큰 부담을 가져오는 질병입니다. 환자들이 적절한 진단을 받고 필요한 치료를 빠르게 받을 수 있는 환경이 마련되는 것이 환자 개인에게도, 주변 사람들에게도, 우리 사회 전체에 큰 이익을 가져옵니다.

기사에서는 편두통에 심각성을 주로 다뤄주셨는데 저는 잘 치료 받으면서 잘 관리하고 있습니다! 편두통은 전문 치료제를 받아서 전조가 오거나 통증이 시작될 때 빠르게 약을 먹으면 효과가 좋은 편입니다.

https://www.ytn.co.kr/_ln/0134_202510111313538858

그러고보니까 해커스펍을 파이어폭스 새 탭 화면에서 보면 아이콘이 고양이캐릭터가 아니라 Hs'P라고 나오더라

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ이건뭔버그냐 이렇게 큰 팝업창은 처음보네

취업에서 고배를 마시는 구직자들의 아픔은 이런거다.

한곳에서 탈락, 거절 뜬게 다른 곳에 지원할 때 영향을 미치지 않아야 되는데 현실은 그렇지 않다.

지원 횟수가 많아지는데 실제로 취업이든 이직이든 원하는바가 이뤄지지 않는 기간이 길어질수록

평판이 깎이고 다음 회사에 구직 조건을 제안할 때 점점 명시적, 암묵적 다각도의 패널티가 된다.

마치 은행 한곳에서 대출 거절나면, 아무리 다른 은행 찾아가도 심사에서 불이익을 받을 수 밖에 없는 그런 느낌.

그래서 HR 과정은 구직자, 구인자 모두 신중해야 한다.

@biuwhdle.bsky.social 님의 #미니게임잼파티 에 참여해서 카드게임을 만들었습니다. 유니티는 이번이 처음이었는데 다행히 72시간에서 120시간으로 연장돼서 그럭저럭 적응할 수 있었어요 다행입니다.....🥹 시간이 없어서 구현하지 못한 부분이 많습니다. 직접 해보고 싶으시다면 → eatch.dev/archive/Cons... (규칙이 복잡합니다. 타래를 꼭 읽어주세요.) #미니게임잼파티_후기 🧵

진짜재밌는문제였다 https://www.acmicpc.net/problem/24642

NameSilo API 옛날부터 생각만 하다가 방금 처음 써 봤는데, 생각보다 너무 쉽고 간단해서 깜짝 놀랐다.

문제가 심각하다.

아니, 그냥 API 키 발급 누르면 즉시 나오고, 그걸로 내 계정의 모든 것을 다 할 수 있으며, 심지어 연장이나 신규 구입 등 카드 결제 일으키는 행위도 할 수 있다고. 있는 거라고는 API 키를 읽기 전용으로 하는 거랑, "Block Restorations" 뿐이다. 도메인 네임을 제때 연장 못해서 소유권 잃은 경우, 좀 더 큰 돈을 내고 소유권을 회복할 수 있는데 이걸 restoration 이라고 한다. 이건 돈이 많이 들고 환불도 어려운 행위이기 때문에, 이것만 API 키로 못하도록 설정하게 해 준다는 것이다.

그러니까 이거 말고는 권한 관리도 없고, 여러 개의 API 키 중에서 하나만 폐지(revoke)하는 기능도 없고, 모든 API 키를 폐지하는 기능도 안 보이고, 이 API 키를 최근에 사용한 IP 주소는 어디냐 같은 기록도 아무 데도 안 보이고, 하다못해 이 API 키로 행할 수 있는 결제액의 상한 같은 것도 설정할 수 없고, 아무것도 없어!

나는 나 자신을 믿지 않는다. 나는 반드시 사고를 칠 것이다. 엔지니어라면 당연히 그렇게 가정해야 한다! 더구나 이 API 키는 내 도메인 네임의 소유권을 다 상실시킬 수도 있는 물건...? 내가 뭔가 잘못 이해하고 있는 건가? 멀쩡한 관리 페이지가 따로 있는데 네임사일로가 꽁꽁 숨겨 놔서 못 찾고 있는 건가?

거의 10년 넘게 쓰던 서비스인데 진지하게 탈출 고민이 생겼다.

여러분은 서비스가 "쓰기 쉽다는 이유로" 탈출을 고려하는 장면을 보고 계십니다. 이것이 2025년이다.

블로그 글로 投資(투자)를 받게 된 經緯(경위)를 仔細(자세)히 써 보았습니다.

@2chanhaeng초무 아하 그냥 대충 입력한 건데 그럼 여기서는 문제가 없네요

@2chanhaeng초무 윈도우 파폭에서는 으ㄸ나ㅁㄱ거△으로 보이는데 정상인가요?

If you're curious about the context, check out this post by Nur Ketene on LinkedIn and this photo of Vercel CEO Guillermo Rauch with Netanyahu on his X.

나는 "AI를 받아들이지 않는 사람들은 모두 도태될 것이다"라는 정서를 그만 좀 보고 싶다 https://www.youtube.com/live/WRZgLWQ3ieY

패스워드에 특수문자를 강제하면서, 쓸 수 없는 특수문자도 있음 (그래 참는다)

패스워드 입력에 가상키보드를 강제함 (힘들지만 참는다)

가상키보드에 있는 특수문자 중, 쓰면 안 되는 특수문자(*) 가 있음 <---- 이건 뭔 보법인가?

오늘은 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);  
}