간만에 플러터개발

‘그냥 tryAny 쓰면 예외는 다 잡을 수 있는 거 아닌가? 왜 ResourceT를 써야 하지?’라고 생각했는데 찾아보니 tryAny로는 비동기 예외를 잡을 수 없다고 한다.

writeGreetingSafeAttempt :: IO ()
writeGreetingSafeAttempt = do
  dir <- getDataDir
  h <- IO.openFile (dir </> "greeting.txt") WriteMode
  _ <- tryAny do
    IO.hPutStrLn h "hello"
    IO.hPutStrLn h "world"
  IO.hClose h

⚠️긴급⚠️ 정신건강 위기를 겪고 있는 잇창명을 도와주세요. (구체적인 자살 언급 있음 주의) eatchangmyeong.notion.site/1f7f07f5faae...

⚠️긴급⚠️ 정신건강 위기를 겪고 있는 잇창명을 도와주...

더 많은 교육을 받은 노동자가 더 높은 임금을 받아야 하나? 교육을 통해 개인의 생산성이 향상되므로 그렇다는 것이 기능론적 인적자본론의 입장이다. 교육에 드는 비용은 개인의 신체에 자본으로 축적된다. 실무를 통해 얻어지는 능력(직무능력)뿐 아니라, 새로운 지식을 빨리 습득할 수 있는 능력(훈련적합성) 자체가 교육을 통해 길러진다. 교육은 개인의 인지능력, 직무능력, 협업능력을 향상시킨다. 인적자본론에 따르면 소득 불평등이 커지는 이유는 교육에 따른 노동자의 생산성 격차가 커지기 때문이다. 해결법은 교육팽창을 통해 생산성이 낮은 노동자의 생산성을 높이는 것이다.

"[토스] 25년도 1학기 Frontend Platform Assistant 모집

실력 있는 토스의 시니어 개발자들과 프론트엔드 개발환경의 미래를 그려가며 성장해 보세요! 전담 멘토와 직접 소통하며, 기술 문제에 대해 생각하는 방식을 배울 수 있어요. 다음 프로젝트 중 하나에 2달동안 참여하게 돼요.

- 토스 앱의 모바일 서비스를 만드는 개발 서버
- 오래된 브라우저를 지원하는 Polyfill 서버
- Node.js 라이브러리를 간편하게 빌드하는 CLI
- LLM을 활용한 자동 문서화 및 수정 워크플로우
- LLM을 활용한 자동 디자인 워크플로우
- 토스 사내 애플리케이션 성능 최적화
- JavaScript 빌드 결과물 크기 분석 및 모니터링 도구"

https://toss.im/builder/to/a11be5ce3e814c6cbea880abe27588e8

3개의 명령어로 윤년 여부를 확인하기 | GeekNews
https://news.hada.io/topic?id=20945

재미는 있는데...
항상 느끼는 거지만 알고리즘을 극단적으로 최적화 하는 사람들은 상당히 변태같음 ㅋㅋ

"나는 예전에는 글을 많이 쓰곤 했다. 아이디어가 떠오르면 적어두고, 시간을 들여 신중히 다듬어서 하나의 작품으로 만든 다음, 완성되면 세상에 공유했다. (...) 하지만 이제는 아이디어가 떠올랐을 때 엉성한 단어 몇 개만 프롬프트에 밀어 넣으면 즉시 완성된 생각이 얻어진다. AI가 아이디어를 너무나 쉽게 구체화할 수 있기 때문에, 아무리 발전된 아이디어라도 내 생각을 공유하고 싶은 마음이 덜 든다." 요즘 내가 글을 안(못) 쓰는 이유와 일맥상통. https://dcurt.is/thinking

Deno 2.3.3 is out 🎊
⭐ deno serve any directory
⭐ fetch over Unix sockets
⭐ new OTel events: boot_failure and uncaught_exception
⭐ dark mode on HTML coverage report

https://github.com/denoland/deno/releases/tag/v2.3.3

MoonBit에서 가상 패키지라는 개념을 도입했는데, 내가 몇 해 전에 상생했던 것과 거의 같아서 신기하다.

안녕하세요? Hackers' Pub에 첫 게시글을 올립니다. 간략한 소개를 위한 사이트를 만들었습니다. 잘 부탁드립니다!

https://leetekwoo.com/

이걸 보니 조만간 Zed를 써봐야겠다는 생각이 든다 https://zed.dev/blog/vim-2025

Kotlin으로 iOS 앱 만들어보았다 가능할지도

https://blog.jetbrains.com/kotlin/2025/05/compose-multiplatform-1-8-0-released-compose-multiplatform-for-ios-is-stable-and-production-ready/

If a module defines a custom exception type and throws that exception within the module, it absolutely must export that exception type as well. I'd think this is basic, but it seems a surprising number of packages declare exception types without exporting them.

@reiver@reiver ⊼ (Charles) Your reply makes me realize that we need a new property in ActivityPub, like isNotSerious or isJoke that I can mark on posts.

By the way, in case you didn't notice, the previous sentence is not serious.

요즘은 내가 코드를 짤 일은 없고, 개발계획도 AI가 짜고, 개발을 실제로 하는것도 AI가 한다. AI가 좀 핀트 어긋난 것 같으면 내가 잠깐 수정해주는 정도? 누가 보면 바이브 코딩이지만, 엄밀하게는 "바이브 코딩"은 아니다.

요즘 애용하고 있는 워크플로우는 이렇다.

1. Gemini 웹 대화창 띄워서 "~~한 요구사항이 있어. 시니어 개발자로서 어떻게 작업을 이어나갈지 계획을 알려줘" 하고 마스터 플랜을 뽑는다
2. Gemini에서 응답이 오면, "AI 한테 그걸 시킬건데, AI가 이해할 수 있게 스텝 바이 스텝으로 XML 포맷으로 지시사항을 알려줘. 각각의 지시사항은 하나하나 검토하기 편하게, 여러개로 분리된 파일이었으면 좋겠어" 라고 프롬프트를 순차적으로 뽑아낸다
3. 검토할 거 검토해보고, 적당히 괜찮겠다 싶으면, 프롬프트를 Aider든 뭐든 AI에다가 복붙하면 끝.
4. 최종 결과는 Repomix 돌려서 Gemini 웹 대화창에 올리고, 1~3을 반복

중소규모 플젝은 이게 잘 먹히고, 3주에 걸쳐서 할 것 같았던 작업을 3일컷으로 끝냈다.

다음주 수요일부터 OSS 컨트리뷰션 아카데미 멘티 모집을 하는군아.... 연합우주 쪽 사람이라면 Fedify 지원합시다

러스트 10주년 행사 가는 중

24日(일)(土(토)) FediDev KR 스프린트 모임에 오시는 분들께는, 귀여운 Fedify 로고 스티커를 나눠 드리겠습니다.

https://hackers.pub/@hongminhee/0196b961-2b85-7b25-b6cf-9900405d52eb

@mikebrobertsMike Roberts While the W3C specs exist as a reference, I wouldn't recommend starting there—they're underspecified and don't provide enough practical guidance for implementation.

Instead, I'd suggest these more practical resources:

1. Fedify's Creating your own federated microblog tutorial:

   • Provides a hands-on, step-by-step implementation
   • Covers both the theory and practice in an accessible way
   • Shows how to handle common ActivityPub patterns

2. For a better conceptual overview:

   • Sebastian Jambor's excellent Understanding ActivityPub series
   • Darius Kazemi's A highly opinionated guide to learning about ActivityPub

3. The SocialHub forum has many discussions about implementation practices and challenges faced by developers.

4. The FEP (Fediverse Enhancement Proposals) process documents community-developed extensions and conventions that go beyond the official spec.

The biggest challenge with ActivityPub isn't understanding the core concepts, but navigating all the de facto standards and practices that have evolved beyond the specs. Starting with practical tutorials rather than specs will give you a much clearer path forward.

흠, Nushell로 넘어가 볼까…?

GAAD 한국어 소개글 작업 후기 - 올해의 GAAD는 내일(15일)입니다.

#GAAD #세계접근성인식의날

https://a11ykr.github.io/stories/about-gaad-in-korean-2025/

I've been thinking about client-server interactions in the #fediverse. #ActivityPub #C2S isn't widely used, and most clients rely on Mastodon-compatible APIs instead.

What if we created a new standardized API based on GraphQL + Relay for client-server communication, while keeping ActivityPub for server-to-server federation?

The Mastodon-compatible API lacks formal schema definitions for code generation and type checking, which hurts developer productivity. And ActivityPub C2S is honestly too cumbersome to use directly from client apps.

#GraphQL would give us type safety, efficient data fetching (only get what you need), and the ability to evolve the API without breaking clients. #Relay's features for pagination, caching, and optimistic updates seem perfect for social apps.

Would this be valuable to our community? What challenges do you see? How might we handle backward compatibility? And should this be formalized as an FEP?

Curious what others think about this approach.

#fedidev

인간이 일개 기업에서 의도적으로 방치하고 있는 추천알고리즘에 프로그래밍되지 않으려면 탈중앙화를 해야한다...

@bglbgl gwyng @hongminhee洪 民憙 (Hong Minhee) CDN 같은 경우에는 해당 플랜 (무료든, 비지니스든) 에서 허용하는 요청수나 트래픽 한도를 초과하는 기간이 일정기간 계속되면 플랜 업그레이드 하라는 메일을 보내는 것으로 알고 있어요. 그래도 업그레이드 안하고 쓸 수는 있지만, 꽤나 제약이 있는 걸로 알고 있습니다. (Rate Limit 을 걸어버리거나) 엔터프라이즈 플랜 (연간계약)으로도 클라우드프론트보다는 조금 더 저렴했던 기억이 있습니다. (사실 거의 비슷하긴 했지만요)

비록 이제는 나도 Git을 메인 형상 관리 시스템으로 사용하지만, Mercurial을 Git보다 먼저 배웠고 오랫동안 좋아했던 사람으로서 큰 Mercurial 저장소들이 하나 둘 Git으로 전환하는 것은 다소 씁쓸한 소식인 것 같다.

https://glandium.org/blog/?p=4346

( ~ 5/31) 제 3회 파이 웹 심포지움 참가자 모집

< 이 행사는 한빛미디어의 장소 후원을 받았습니다 > 주제: AI 시대를 위한 파이썬으로 웹 서비스 개발하기

최근 파이썬이 가장 많이 쓰이는 분야는 단연코 AI입니다. 이제 AI 서비스에 웹 개발이 필요해지는 순간이 많아졌습니다.

웹 서비스 개발 뿐 아니라 openai 나 bedrock같은 AI 서비스의 api 를 이용한 또 다른 서비스를 만들어야합니다.

AI 서비스를 만들면서 겪은 웹 서비스 기술을 함께 나누어보세요! 세션이 끝난 이후엔 다과와 함께 네트워킹 시간도 가질 수 있습니다.

일시 : 2025년 5월 31일 (토) 13:00 ~ 18:00 장소 : 서울특별시 서대문구 연희로2길 62 한빛미디어 리더스홀

https://event-us.kr/pythonkorea/event/103147

last.fm의 ActivityPub버전을 만들어볼까싶어 찾다보니 neodb가 있네? (https://github.com/neodb-social/neodb) 얜 Takahē 기반이래?

📋 토스 프론트엔드 플랫폼 어시스턴트 모집 (~5/23)

토스 개발자들이 쓰는 플랫폼을 직접 만들어 볼 기회.

2달동안 시니어 개발자에게 멘토링을 받으며, 이력서의 강력한 한 줄을 완성해 보세요.

실무에서 사용하는 플랫폼을 깊이 있게 경험해 보세요.

🔗 지원하기: https://toss.im/_m/lNUIQJk

빨리 바OO님 및 무ㅎ님들을 여기로 보내야한다

아아~ 여러분 이만한 기여 맛집이 어디 없습니다~
ActivityPub 기반의 오픈소스 블로깅 서비스 HackersPub에 현장에서 기여할 수 있는 기회! 그 외에도,,,

* Fedify : ActivityPub 기반의 소프트웨어 개발하는 난이도를 낮춰주는 라이브러리
* Hollo : 1인 블로깅 플랫폼
* 혹은... 프론트엔드 하시는 분 한정, 마스토돈 클라이언트 만들기 온보딩까지 가능...!!!!

https://hackers.pub/@hongminhee/0196b961-2b85-7b25-b6cf-9900405d52eb

fedify-dev/hollo#56가 남아 있다면 해결하고, Hollo 패키지를 nixpkgs에 올릴 예정이다. 할 수 있다면 모듈도..

https://hackers.pub/@hongminhee/0196b961-2b85-7b25-b6cf-9900405d52eb

Re: https://github.com/TryGhost/ActivityPub/issues/570#issuecomment-2873773122

@julian I believe you can use only its signature generation/verification functions without depending on Fedify's other features right now, e.g.:

import {
  createProof, // Create OIP
  createSignature, // Create LDS
  signRequest, // Create HS
  verifyObject, // Verify OIP
  verifyRequest, // Verify HS
  verifySignature, // Verify LDS
} from "@fedify/fedify/sig";

Also, Fedify is available on npm, and is used with Node.js or Bun!

Finally got to build this. Quick UI toggles to see all possible permutations of a post.

Previously was trying out Storybook.js but it's a bit too much for my needs (too many files, too many clicks).

CSS view transitions are pretty cool. More permutations need to be added later. And it's fun building this.

#PhanpySocialDev

Every mathematical model of reality starts by introducing redundancy and ends by removing it.

5월 24일.... FediDev KR 스프린트 두번째 모임이 있을 예정입니다...

https://event-us.kr/fedidevkr/event/104114

스키마 주도 협업, 버저닝, 모노레포 https://blog.laftel.net/post/23

臺灣(타이완)에서는 乖乖(괴괴)라는 菓子(과자)를 서버 같은 컴퓨터 옆에 符籍(부적)처럼 두는 風習(풍습)이 있는데요. 乖乖(괴괴)는 中國語(중국어)로 「말을 잘 듣는다」는 뜻인데다, 草綠色(초록색) 封套(봉투)가 順航(순항)을 象徵(상징)한다고 합니다. (그래서 여러 色(색) 封套(봉투) 中(중)에서도 草綠色(초록색) 封套(봉투)만 效果(효과)가 있다고 여겨집니다.)

그런데 아내가 지난 臺北(타이베이) 出張(출장)에서 乖乖(괴괴)를 한 封紙(봉지) 사 왔더라고요. 그래서 저도 이 인스턴스 hollo.social과 Hackers' Pub이 돌아가는 Mac mini 옆에 두기로 했습니다. 乖乖(괴괴) 封套(봉투)에는 「請(청)〈乖乖(괴괴)〉，不要當機(불요당기)」(말 잘 듣고, 다운되지 말아라)라고 썼습니다.

乖乖(괴괴)의 效驗(효험)은 流通期限(유통 기한)까지 持續(지속)된다고 하는데요, 제가 둔 封紙(봉지)는 2026年(년) 4月(월) 11日(일)까지입니다. 그 때까지 다운이 안 되는지 한 番(번) 지켜보도록 합시다. 🤣

I'm looking for a Markdown formatter, and I'm quite particular about my Markdown style. I don't want it to be formatted in a generic Markdown style. For instance, I prefer a style that adheres to rules such as:

• 80 characters at most per line, except for code blocks and URLs.
• Prefer reference links over inline links.
• Prefer setext headings over ATX headings.
• Two new lines before opening an H1/H2 heading.
• One space before and two spaces after a bullet.
• Wrap file paths in asterisks.
• Wrap inline code in backticks.
• Wrap code blocks in quadruple tildes (~~~~), and specify the language with a single space after the opening tildes (e.g., ~~~~ bash).

Are there any Markdown formatters that allow for such detailed customization of these elements? Or would I have to build one myself?

같은 이유로 Neovim을 못 쓰고 있다.

요즘은 #helix 에디터를 쓰고 있는데, .helix/languages.toml 파일로 프로젝트 별 구성을 쉽게 할 수 있어서 맘에 든다:

[language-server]
deno = { command = "deno", args = ["lsp"], config.deno.enable = true }

[[language]]
name = "javascript"
language-servers = ["deno"]
formatter = { command = "biome", args = [ "format", "--stdin-file-path", "buffer.js" ]

#helixeditor

https://hackers.pub/@hongminhee/0196c20f-71e3-7a7c-920c-2f4cf8790b13

해커스펍이 파이콘 커뮤니티 후원사로 선정이 되어서 이번엔 진짜 해커스펍 로고가 필요해졌다는 소식입니다..... 파이콘 홈페이지에 로고랑 같이 커뮤니티 소개가 올라갈 예정임....

cc @hongminhee洪 民憙 (Hong Minhee)

Cursor 탭 자동완성의 짧은 역사
------------------------------
- Cursor의 *최고 수준 탭 자동완성 기능* 은 Supermaven의 Babble 모델 인수로 가능해졌으며, 이 모델은 *최대 100만 토큰 컨텍스트 창* 과 *250ms의 낮은 지연 시간* 을 자랑함
- 기존 LLM 기반 자동완성은 caret 위치 이후 코드만 예측하는 한계가 있었으나, Babble은 *git diff 기반 편집 시퀀스 학습* 을 통해…
------------------------------
https://news.hada.io/topic?id=20845&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

中學生(중학생) 때 내가 컴퓨터를 잘 안다고 생각해서 先生(선생)님들이 나에게 學校(학교) 電算室(전산실)을 맡겼는데, 어릴 때 公私(공사)를 모르고 學校(학교) 서버를 私用(사용)했던 것이 생각난다. Windows 서버였어서 IIS에 PHP를 붙여서 썼었다.

헉

https://news.hada.io/topic?id=20735

Hackers' Pub의 Fedify를 RFC 9421과 더블노크를 구현한 개발 버전으로 업그레이드 했습니다. 어쩌면 연합 관련하여 오작동이 있을 수 있습니다. 만약 그런 현상을 발견하신다면 알려주세요! (아마도 없을 겁니다. 아마도…)

<1945년 해방 직후사>를 읽었다.

1945년 8월부터 12월까지를 중점적으로 다룬다. 현대 한국이 기원하는 결정적인 시기였음에도 불구하고, 해방 직후 어떤 일이 있었는지는 잘 알려져 있지 않다. 고립된 조선총독부와 무능한 미군정, 그리고 친미-반공-기독교-엘리트 조선인들이 빚어낸 역사. 오늘날 한국의 보수주의가 이들로부터 출발했다는 사실과 아직도 이들로부터 정통성을 찾고 있다는 사실이 비극이다.

https://pedia.parksb.xyz/history-immediately-after-liberation-in-1945 #독서

안녕하세요, 업으로 프로그래밍을 하고 있는 컴퓨터 학부생 김무훈입니다.
현재 3년차 웹 프론트엔드 개발자로서, 다가오는 7월부터 함께할 정규직 포지션을 적극적으로 찾고 있습니다.

최근 학과 사무실에서 졸업 요건을 확인한 결과, 전공 필수 한 과목과 전공 선택 2학점(총 5학점)이 남아있음을 확인했습니다.
본래는 다음 2학기까지 수료 후 내년 2월에 졸업할 예정이었으나, 교수진과 상의한 결과 취업 및 재직이 확정된다면 수업 이수 방식을 보다 유연하게 결정할 수 있다는 긍정적인 답변을 받아 적극적으로 조기 취업을 추진하게 되었습니다.

이는 전공 필수 과목의 경우에만 해당이 되는 문제이고, 전공 선택 2학점의 경우 앞으로의 여름 학기 현장 실습 또는 다음 학기에 개설되는 하나의 원격 강의로 대체하여 문제가 없는 상태입니다.

지금까지의 업무 경험과 프로젝트는 아래의 포트폴리오에서 확인하실 수 있습니다.
📌 경력기술서 겸 포트폴리오 페이지: https://www.frontend.moe/portfolio/

좋은 인연을 찾을 수 있도록, 많은 관심과 연락 부탁드립니다!

I recently set myself the exercise of using modern automated tools - in particular, a combination of the #GithubCopilot large language model and the dependent type matching tactic #canonical - to try to semi-automatically formalize in #Lean a one-page proof provided by a collaborator of the #EquationalTheoriesProject (Bruno Le Floch). With these tools, I was able to more or less blindly do the formalization in 33 minutes, withou any real high level conception of how the proof proceeded. It was a very different style to how I usually formalize results, but was workable for this type of technical, non-conceptual argument where the main issue is to get the details correct rather than the "big picture".

I recorded my attempt at https://www.youtube.com/watch?v=cyyR7j2ChCI . See also additional discussion at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2 . The final proof (which is far from optimized, but got the job done) can be found at https://github.com/teorth/estimate_tools/blob/master/EstimateTools/test/equational.lean