@joonnot@hackers.pub · 64 following · 79 followers
Uncertified Quasi-pseudo dev
어느덧 #FOSSforAll Conference 2025가 이번주 토요일로 다가 왔습니다! 처음으로 열리는 #FOSS for All Conference 에서 어떤 분들이 연사로 나서서 어떤 메시지를 전달할지 궁금하지 않으신가요? 올해 #미디어 파트너 #요즘IT 와 함께 몇몇 발표자 분들을 인터뷰 하였습니다. 인터뷰 기사를 통해 어떤 행사가 될지 알아보세요!
- 기사 읽어보기 https://yozm.wishket.com/magazine/detail/3436/
- 참가등록 https://event-us.kr/fossforall/event/110400
저게 38만 킬로미터 떨어진 허공에 떠 있는 물체고, 1억 5천만 킬로미터 떨어진 광원의 빛을 반사해서 내 눈에 보인다는 게 가끔 정말 생경하게 다가올 때가 있다.
RE: https://bsky.app/profile/did:plc:4sujqnbd47ey26qcvajqoxa2/post/3m4ueopbvzw23
@theeluwin제이미 님 축하드립니다
저희 학교 강의자료에 올라가셨습니다
덜 메이저한 리눅스 배포판의 장점/단점
[□□] □□□□ □□□□ □□□ □□ □□□ □□□ □□ □□□! □□□ □□□□ □□□□ apt□□□ pacman dnf apk □□□□ □□ □□□□□□□ □□ □□□ snap□□ □□□□□ □□□□□ man□□ □□□□ □□□
[□□] □□□ □□□□□ □□□□□ □□□ nanum-fonts □□□ Google□□ □□□□ □□□□ □□□ □□□ □□□? □□ □□□□, noto-fonts-cjk□ Noto Sans KR□□□□ □□□□□□□□ □□□ □□□□□□ IME□ □□ □□□□□
구슬아이스크림 @icecream_mable@hackers.pub
이 글은 자료구조와 알고리즘에서 중요한 개념인 재귀가 자연어에서 어떻게 나타나는지, 특히 통사론적 관점에서 인간 언어 능력의 창조성을 보여주는지를 탐구합니다. 'X의 Y의 Z의...'와 같은 소유격 조사를 사용한 문장 확장을 통해 재귀의 개념을 설명하고, 이러한 재귀가 카탈랑 수와 연관되어 있음을 지적합니다. 영어 예시를 통해 전치사구의 추가가 문장의 중의성을 증가시키고, 구문 분석의 가능한 경우의 수가 카탈랑 수열을 따른다는 것을 보여줍니다. 생성 규칙을 통해 명사구를 재귀적으로 확장하면서 중의성 계수가 카탈랑 수와 동일하게 나타남을 설명합니다. 마지막으로, 자연어의 중의성 해소는 산술 표현식과 달리 확률에 의존하며, 이는 전산/심리언어학에서 중요한 연구 주제임을 강조합니다. 이 글은 재귀의 개념이 자연어에서 어떻게 복잡하게 작용하는지, 그리고 그 중의성을 이해하는 것이 왜 중요한지를 흥미롭게 제시합니다.
Read more →근데 LLM에서 XML이나 JSON을 쓰는 게 효율 때문이 아니라 LLM이 해당 포맷에 익숙하기 때문인 거 아닌가…? 🤔
3090은 진짜 젊어서는 비트코인 캐고 늙어서는 llm 돌리는 불쌍한 세대네
蛇崩 (じゃくずれ) @ja@hackers.pub
이 글은 프로그래밍 용어 "expression"을 "표현식"이 아닌 간결한 "식"으로 번역해야 한다고 주장합니다. 필자는 "expression"이 수학에서 유래되었으며, 수학에서는 이미 "식"으로 번역되어 사용되고 있음을 지적합니다. 또한, 프로그래머들이 "표현식"을 선호하는 이유로 사전적 정의와 초·중등 교육에서 비롯된 선입견을 들지만, 실제로는 "식"으로 번역해도 의미 전달에 전혀 문제가 없다고 강조합니다. 오히려 "표현식"은 "representation"의 번역어인 "표현"과 혼동될 수 있으며, "정규표현식"과 같이 불필요하게 긴 용어를 만들어낼 수 있다고 비판합니다. 결론적으로, 필자는 "expression"을 "식"으로 번역하는 것이 더 정확하고 간결하며, 전산학 용어의 일관성을 유지하는 데 도움이 된다고 주장하며, "정규식"이라는 간결한 용어 사용을 옹호합니다.
Read more →알고계십니까? 고대의 언어인 줄 알았던 Smalltalk 친척 Self는 놀랍게도 최근까지도 업데이트가 되고 있습니다. https://selflanguage.org/
JavaScript의 .prototype 개념에도 영향을 주었다고 알려진 Self가 어떤 언어인지 궁금하시다면 Series about Self(lobste.rs)를 읽어보세요. 프로그래밍 언어에 대한 여러분의 시야가 넓어지는 데에 도움이 될 겁니다.
한국어 번역:
K-자소서
저는 자상하신 어머니와 아버지 사이에서 태어난 장남이며, 사주팔자에 맞춰 이름과 생년월일을 맞춰 태어난 이 시대의 고주몽인 줄 알았으나 현실은 하늘 높은지 모르고 치솟는 구직의 벽에 치여 살고 있는 이 시대의 평범한 컴퓨터공학 졸업 예정 학생입니다.
Yet another recent example of AI assistance in mathematics: my colleague Ernest Ryu here at UCLA was able to solve an open problem in optimization theory (roughly speaking, an asymptotic convergence result for a certain class of ODEs) in large part through an extended conversation with a large language model, serving both as a "rubber duck" and a stochastic generator of proof ideas. https://x.com/ErnestRyu/status/1980759528984686715 Many of the ideas generated were not usable, but a non-trivial fraction of them did contain some viable strategies that had not been immediately evident to Ernest. There was a significant pruning process to isolate the small number of useful ideas and discard the larger set of non-useful ones, but even so, the tool provided a net time saving in reaching a working argument, which Ernest then polished by hand into a two-page proof. (1/2)
대부분의 경우, 온프레미스로 서빙되는 연합우주 서비스들 연전연승
얼마 전 웹서핑을 하다가 우연찮게 현재 앤트로픽에서 엔지니어이자 연구원으로 근무하고 있는 Nelson Elhage가 쓴 Computers can be understood(=컴퓨터는 이해가능하다)라는 글을 봤습니다. 다 읽고나니 이 분 마인드가 제가 평소에 CS 공부할 때랑 너무 비슷해서 공감이 가고 아직 CS 뉴비인 저한텐 굉장히 도움이 되는 한편, 이 마인드가 어떠한 단점을 또한 가져다주는지 잘 얘기하는 것 같아 (사실 읽으면서 뜬끔하는 게 많았음) 저만 알기엔 아까워서 이렇게 번역해서 올려봅니다.
번역된 글을 보려면 여기로 이동해주세용.
혹시나 오역 및 CS 용어에 문제가 있다면 언제든 알려주시면 감사하겠습니다.
I'm giving the keynote at the FOSS for All Conference 2025, but the organizers told me I have to provide my slides in English too, which means I'm now stuck having to explain what the heck Korean mixed script (國漢文混用體) is in English. 😇
근데 왼쪽 같은 생각 들 때는 걍 무지성 딸깍이 누르는 것도 의외로 도움이 되긴 하는 듯...
당장 결과물 안 나와서 우울감에 빠져있을 때는 AI든 뭐든 써서 뭐라도 만들어내서 자기효능감 떡락 악순환에서 탈출하는 게 큰 도움이 됨
사극에서 AI 로봇을 찔러 죽이면 마지막 대사로 “너… 방금 정말… 핵심을 찔렀어…” 하고 죽을까?
We're excited to announce that #Fedify has been awarded a service agreement by the 
@sovtechfundSovereign Tech Agency! The Sovereign Tech Fund is investing €192,000 in Fedify's development over 2025–2026 to strengthen the fediverse ecosystem.
This investment will enable us to significantly expand Fedify's capabilities and make it easier for developers to build federated applications. The commissioned work focuses on improving developer experience, adding comprehensive debugging tools, and ensuring Fedify remains at the forefront of #ActivityPub innovation.
Here are the key milestones we'll be delivering:
Web framework integrations: Official adapters for Next.js, Elysia, Fastify, and Koa, making it seamless to add federation to existing applications
ActivityPub debug & development tools: Real-time debug dashboard with WebSocket monitoring, federation lifecycle hooks, and implementation checklist CLI to make federation interactions transparent and debuggable
Storage & infrastructure enhancements: SQLiteKvStore for robust file-based storage across Node.js, Deno, and Bun, plus performance optimizations for production deployments
Comprehensive documentation & examples: Specialized tutorials for building federated blogs, social networks, and content platforms, with complete working examples and migration guides
Observability & monitoring: Full OpenTelemetry metrics, performance benchmarking tools, and federation health dashboards for production environments
Advanced features & standards: FEP-ef61 (Portable Objects) support and implementation of emerging Fediverse Enhancement Proposals to keep Fedify at the cutting edge
All developments will be open source and available for the entire #fediverse community to use, contribute to, and build upon.
이번 연휴 때 서울에서 모각작, 모각코 하실 파티를 만들어보려고 페북메신저 채널을 만들었습니다.! 파이브스팟이나 원루프사당을 쓸 것 같습니다.
https://m.me/cm/AbbiwdoizU4gxbqc/?send_source=cm:copy_invite_link
Please help me list math formalization projects looking for volunteers:
너무 이른 시점에 일반화를 걱정하는 것은 위험할 수 있습니다. 자신이 코드를 작성하든 다른 사람의 코드를 이해하려 하든, 우리는 이 책에서 취한 접근 방식을 따를 것을 권장합니다. 즉, 일반적인 것부터 시작하지 말고 구체적인 예시부터 시작하세요. 그런 다음 그들이 어떤 측면을 공유하는지 관찰하세요. 학습자로서 이러한 순서는 더 쉬운 구체적인 예시를 토대로 더 어려운 추상적 개념을 이해할 기회를 더 많이 제공합니다. 저자로서 이러한 순서는 더 추상적인 발상이 타당성을 갖고 목적을 지닐 수 있도록 도와줍니다.
— 《Finding Success (and Failure) in Haskell》, 149쪽
오픈소스 서밋 코리아 세션 리스트 공개됐네요
여러분 int *p를 (int *)(uintptr_t)p 캐스팅하지 마세요 출처라는 것이 바뀝니다
이거 아무리 봐도 옛날에 본 심리검사 문항 같다. 이런 느낌으로
@z9mb1wwj 
@catamorphicCata 
@d01c2Hyunjoon Kim @icecream_mable구슬아이스크림 
@minju2996bbang 
@lionhairdino 
@akastoot악하 
@jihyeokJihyeok Seo 
@linea 
@woaol벨 @theeluwin제이미 
@rangho우주해커 끄적끄적 랭호 📝 
@nebuletoHaze 
@jcha0713joohoon 
@hyunjoon 
@krepe90남기현 (Krepe) 
@cetaceanightskyCetacea 
@aiooAhn Kiwook 
@ink_punctuation책 읽는 프로그래머 
@yg1ee밀
오늘 Hackers' Public 행사 첫번째 모임에 와주셔서 정말 감사합니다! 정말 즐거웠습니다! 잘 들어가세요!
오는 11월 8일 토요일 오전 10시, 광운대학교에서 열리는 FOSS for All 컨퍼런스에 여러분을 초대합니다.
FOSS for All 컨퍼런스는 "Free and Open Source Software for All"이라는 슬로건 아래, 모두를 위한 오픈 소스 컨퍼런스를 목표로 하는 비영리 오픈소스 커뮤니티 주도의 컨퍼런스입니다.
FOSS for All 컨퍼런스는 오픈소스 소프트웨어와 커뮤니티에 관심 있는 누구나 참여할 수 있으며, 개발자, 기여자, 디자이너, 번역가, 기획자 등 다양한 역할의 사람들이 경험과 지식을 공유하는 장으로 기술 발표, 커뮤니티 부스, 패널 토크 등 다양한 프로그램이 마련될 예정입니다.
많은 후원과 참여를 부탁드리겠습니다. 고맙습니다. :-D
오래 전
는 문장을 읽었고 그것에 대해 종종 생각함. 생각해 보면 정말 하는 일이 대개 그런 것에 속한다고 느낌. 어딘가에 있다는 데이터를 모으고 가공하고 정제해서 또 어딘가에 두고 그걸 누군가 가져갈 수 있게 하는 일 끊임 없이 반복함. 데이터의 형식이나 크기나 여러 속성이 다양하고 그래서 다루는 방법과 기술에도 많은 차이가 있지만 어쨌든. 요즘 종종 인용되는 타입 검사는 해결책이 아니라 증상이다(Type Checking is a Symptom, Not a Solution)에 대한 반응들을 보고 직렬화 글과 거기 인용된 인터넷은 디버깅 모드로 돌아가고 있다는 글까지 떠올랐음.
(이 글은 Hackers' Pub에서 제공하는 Markdown 문법 가이드에 익숙해지기 위한 시도로 작성함.)
포항공대 > 카이스트인 이유
포스텍은 '포스'가 있지만,
카이스트는 '텍'도 없기 때문,,,,
〈타입 검사는 해결책이 아니라 증상이다〉(Type Checking is a Symptom, Not a Solution).
난 이 글에 동의하지 않는데, 여러 측면에서 그렇지만, 한 측면에만 집중해서 얘기해 보자면: 좋은 아키텍처는 훌륭한 프로그래머를 요구하지만 타입 시스템은 훌륭한 프로그래머를 요구하지 않기 때문이다.
누구나 훌륭한 프로그래머가 되어야만 하는가? 혹은 될 수 있는가? 좋은 아키텍처를 그릴 수 있는 훌륭한 프로그래머가 아니라면 소프트웨어 개발을 해서는 안 될까? 좋은 아키텍처에만 의존하는 것은 잠재적으로 엘리트주의를 끌어들이기 쉽다: 「어떤 시스템이 오작동하는 것은 아키텍처가 나쁘기 때문이다. 아키텍처가 나쁜 이유는 그걸 설계한 프로그래머가 수준 미달이기 때문이다」와 같이.
반면 타입 시스템은 일단 도입만 하면 누구나 그 덕을 볼 수 있다. 팀 내의 프로그래머들의 역량이 뛰어나든 뛰어나지 않든. 훨씬 평범한 보통 사람에게 유리하다. 타입 시스템이 미봉책일 수는 있지만, 그 미봉책이 더 많은 사람들을 프로젝트에 참여할 수 있게 해준다고 생각한다.
https://contribute-suggestion.vercel.app/
대강 배포는 했어요
프론트 버그가 많아서 고쳐야 하지만 일단 올리긴 올림
깃헙 토큰은 각자 받아서 사용해야 됩니당
지난 몇 달간 htmx로 웹 앱을 만들면서 느낀 점은, 골디락스 존의 하위 50% 애플리케이션에만 htmx가 적합하다는 것이다. 클라이언트 상태를 조금이라도 다뤄야 하는 순간이 오면 불행이 시작된다. 하이퍼미디어 시스템의 철학에 동의하는데, 그 구현은 아일랜드 아키텍처의 접근법이 더 나을 수도 있겠다는 생각이 든다. https://deno.com/blog/intro-to-islands
Here is a first proof-of-concept demonstration of an actual outcome for the erdosproblems/OEIS linkage project. There are a number of Erdos problems relating to irrationality of specific series. I asked an AI to compute several of these series to several decimal places (https://chatgpt.com/share/68b7160a-3d4c-800e-a834-415ee9aac2a8), then entered in these decimal strings into the OEIS search bar. I found several hits, which I then uploaded to the project https://github.com/teorth/erdosproblems/commit/89c3a9c977fd40de74c0ea18d30ff258af053ff3%E2%80%9C .
In particular, I linked Erdos problem 259 https://www.erdosproblems.com/259 to OEIS A371134 https://oeis.org/A371134. In the latter page, there was a reference to a solution to the problem by Chen and Ruzsa https://doi.org/10.1023/A:1004742930674 that was not known to the erdosproblems.com site. So now we can mark that problem as solved!
I think this type of semi-automated literature search could be a good use case for AI tooling, since the (potentially unreliable) output of such AI tools is only used to locate more reliable human-generated resources, rather than being directly incorporated into the final product.
https://keivan.io/the-day-appget-died/
윈도 패키지 매니저 AppGet의 개발자가 WinGet 개발 과정에서 접촉했던 경험을 쓴 글.
MS가 오픈소스 친화적으로 바뀌고 있다고 하지만, 여전히 내부 문화가 매우 관료적이고 사내 정치가 toxic하다고 유명한데, 독립 개발자로서 MS와 컨택하는 일이 어떤 것인지 잘 알려주는 사례라고 봄.
Special thanks 한 줄만 적어줬어도 그가 분노하지는 않았겠지만, 그 한 줄 넣기가 어려운 게 Microsoft겠지.
Tiny Datasette Uses USB For the Modern Day
https://hackaday.com/2025/09/01/tiny-datasette-uses-usb-for-the-modern-day/
Parse, don’t validate는 언제 읽어도 좋은 글이다 https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/
혹시 번역본이 편한 분은 여기에 번역본이 있습니다.(notJoon님 말고 다른 분들 보시라고 링크 달아 둡니다.)
https://eatchangmyeong.github.io/2022/12/04/parse-don-t-validate.html
I just published a blog post on the use of type-level programming in TypeScript. It was originally a section of the larger post I’ve been alluding to but I broke it out and expanded it. It’s much more of an opinion piece than most things I write but I’d like to think I have a few decent insights in there. Please check it out and let me know what you think.
look at this big fucking cat
Today is the new semester for 
@CMUDBCMU Database Group's Intro to Database Systems! We're going harder into material than ever before. Projects are more challenging but you can use LLMs to help. We also have 10min talks each Wed from leading DB companies. Follow from home/prison on YouTube: https://15445.courses.cs.cmu.edu/fall2025
Everything is available for free to non-CMU students:
• Lectures on YouTube: https://www.youtube.com/playlist?list=PLSE8ODhjZXjYMAgsGH-GtY5rJYZ6zjsd5
• Slides + Notes + Homeworks on course website.
• Project source code on GitHub: https://github.com/cmu-db/bustub
• Grading with Gradescope (see FAQ ➡️ https://15445.courses.cs.cmu.edu/fall2025/faq.html#q7)
Special thank you to our Affiliate companies for their support this academic year:
• ClickHouse
• DataStax
• dbt Labs
• Firebolt
• MotherDuck
• RelationalAI
• SingleStore
• SpiralDB
• PingCAP / TiDB
• Yellowbrick
• Yugabyte
Hackers' Pub은 현재 Fresh 프레임워크로 만들어져 있는데, Fresh 프레임워크의 한계를 벗어나기 위해 GraphQL + SolidStart 스택으로 넘어가는 작업(web-next)을 진행중입니다. 진행 상황을 관리하기 위해 에픽 이슈를 만들었습니다.
역시 수제코딩을 해야 감각이 늘고 리터러시가 생긴다..... 뇌에 힘주고 해야하는건 수제코딩..
블로깅의 쇠퇴, AI의 끝없는 학습, 비공개 플랫폼(Discord 등)으로의 이주, 짧고 중독성만을 강조하는 피드와 BM, 한 번 보면 다시 찾기도 힘든 SNS 포스트, 범람하는 가짜뉴스와 개소리와 혐오... 웹은 정보의 망망대해도 아닌 소행성대로 변해가고 있다.
I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: https://newsletter.ofthebrave.org/p/im-an-award-winning-mathematician
네이버플러스 멤버십 해지가 잘 안되어서 고객센터에 전화했다. 몇 차례의 좌절 끝에 비밀통로를 발견했다.
![네이버플러스 멤버십 고객센터 ARS 통화 절차 흐름도.
첫 안내: “[ARS] 해지 문의는 1번, 페이 문의는 2번을 누르세요.” — 사용자는 1번 선택.
다음 안내: “[ARS] 해지는 온라인으로 가능합니다. 문자로 링크를 받으려면 1번을 누르세요.”
1번을 누르면 ‘통화 종료’로 이동(빨간 박스).
입력 없이 약 5초 대기 시 다음 단계로 진행.
다음 안내: “[ARS] 해지 문의는 2번, 페이 문의는 3번을 누르세요.” — 사용자는 2번 선택.
다음 안내: “[ARS] 해지는 온라인으로 가능합니다. 문자로 링크를 받으려면 1번을 누르세요.”
1번을 누르면 ‘통화 종료’(빨간 박스).
입력 없이 약 5초 대기 시 다음 단계로 진행.
마지막 안내: “[ARS] 상담원과 통화하려면 0번을 누르세요.” — 사용자는 0번 선택.
최종 결과: ‘상담원 연결’(초록 박스).
노란색 박스는 기다려야 하는 안내 구간, 빨간색 박스는 통화 종료 지점, 초록색 박스는 상담원 연결 지점을 의미.](https://mstdn-cdn.e14forest.net/media_attachments/files/115/030/745/878/402/043/original/e54b3427833bc8c6.png)
이번에 다익스트라보다 빠른 최단 경로 알고리즘이 나왔다고 해서 논문을 읽어봤는데 역시 어려워서 나가떨어졌다 arxiv.org/abs/2504.17033
Breaking the Sorting Barrier f...
@
