Introduction to the Par Language via @4adAram Hăvărneanu https://lobste.rs/s/22rvk3 #compsci #plt
https://faiface.github.io/par-lang/

AI slows down open source developers. Peter Naur can teach us why

Link: https://johnwhiles.com/posts/mental-models-vs-ai-tools
Discussion: https://news.ycombinator.com/item?id=44560740

AWS launches Kiro, its Cursor clone

Link: https://kiro.dev/blog/introducing-kiro/
Discussion: https://news.ycombinator.com/item?id=44560662

#aws

Upyo: Simple and modern email sending library for JavaScript https://lobste.rs/s/x3y6ls #javascript
https://upyo.org/

The #neovim team works hard even during weekends to bring you a new maintenance 0.11.3 release. It is mostly about polishing existing functionality. The link: github.com/neovim/neovi...

Release Nvim release build · n...

클로드 데스크탑에서 사용할 수 있는 알라딘 MCP 서버를 DXT 파일로 공유합니다. 베스트셀러나 신간 정보, 도서 정보를 조회할 수 있습니다. 알라딘 API만 발급 받으면 편하게 쓰실 수 있습니다.

https://github.com/TeeDDub/mcp-aladin-books-server

Diffsitter – A Tree-sitter based AST difftool to get meaningful semantic diffs

Link: https://github.com/afnanenayet/diffsitter
Discussion: https://news.ycombinator.com/item?id=44520438

I'm writing a piece for my personal newsletter/blog (which you can find at https://exposed.ishotjr.com/ ) about independent and #OpenSource alternatives to #BigTech. Many of us here fled other #SocialMedia platforms as #enshittification (and often worse!) set in, and found greener pastures on #Mastodon, as well as switching to #Pixelfed for posting pics, #Kagi for our search needs, etc. — what other #tools, #apps, and #services do you use and recommend? Please #BoostForReach if you are able! 🤘💗🤘

Computer Scientists Figure Out How to Prove Lies

Link: https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/
Discussion: https://news.ycombinator.com/item?id=44519175

👀 3 takeaways from Mastodon v4.4's quote post implementation:

1) Quote posts can be filtered https://github.com/mastodon/mastodon/pull/34786

#MastoDev

Hello, #NYC! We at Masto.NYC are gonna host our first community meetup next week:

Wednesday, July 9
6 - 8 PM
Torch & Crown Brewing Company
20 Union Square

We'll have stickers for sure, and maybe some other goodies, too. Meet Masto.NYC folks! Order a personally compatible beverage and chat about Mastodon and NYC and the future of non-profit, billionaire-free social networks!

Hope to see you there.

CGI를 이용해서 2억 리퀘스트를 테스트했던 글의 후속작 Rust + CGI를 했더니 5억건을 처리한 것에 대해 (대충 제목 번역...)

안녕하세요! 이번에 fedify 오픈소스 멘티로 참여하게 되어 해커스펍에도 가입하게 됐어요~~ 현재 프론트엔드 개발자로 일하고 있고 okky에서 팀원들을 만나 톡픽이라는 작은 프로젝트를 현재 만들고 있습니다! 7월까지 마무리 예정이라 출근 전 후로 바쁘게 달리고 있네요..!

그리고 오픈소스 멘티로도 참여하게되어 아주 바쁜 삶을 살게되었습니다. 이런 삶 너무 만족스럽습니다 전 약간 발등에 불이 떨어져야 그나마..해내는 편이기때문에

블로그에도 글을 쓰고 있어요! 저도 멋드러지게 쓰고 싶은데 아직 어떻게 접근해야되는지 잘 모르겠어서 그냥 거의 조각글 수준으로 쓰고 있습니다...ㅋㅋㅋㅋ 한 번 구경오세요>< https://hyeonlogforweb.tistory.com/

[Stack Overflow] Getting creative with Coding Challenges

올해도 열리는 UCPC 2025에 많은 관심 부탁드립니다. 돌아오는 토요일에 예선이 있으며, Open Contest도 진행될 예정입니다.

https://2025.ucpc.me/

한반도를 종주해 날아오는 밤 비행기에서, 가장 선명하게 식별되는 지형지물이 가로등 번쩍이는 고속도로도, 휘황찬란한 야경의 마천루도 아니고, 어둠 속 광역조명을 받아 대낮처럼 빛나던 골프장의 초록색 잔디밭들이었던 기억. 나는 그걸 인식하기 전으로 돌아갈 수 없다. 유감스럽지만 골프는 해로운 문명이다.

@hongminhee洪 民憙 (Hong Minhee)

그런 거 쓸 거면 Python 안 쓰죠

프로그래밍 언어의 언권?투사가 되게 만드는 발언이군요. 어떤 프로그래밍 언어든 저런 취급을 받아선 안됩니다. 설령 PHP, 아니 Brainfuck이라고 하더라도 린터와 포매터는 갖추고 살아야합니다.

데이터 기반 리텐션 전략 - 실행 가능한 고객 메트릭 설계부터 이탈을 막는 전략 실행까지 (칼 골드 (지은이), 장훈 (옮긴이) / 에이콘출판 / 2025-07-21 / 42,000원) https://feed.kodingwarrior.dev/r/v6NMPT

https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=367485222&amp;partner=openAPI&amp;start=api

django admin 그만 쓰는 법

Building a Mac app with Claude code

Link: https://www.indragie.com/blog/i-shipped-a-macos-app-built-entirely-by-claude-code
Discussion: https://news.ycombinator.com/item?id=44481286

https://cojette.github.io/posts/bookreview_2025_02/

왜 내 책 리뷰에는 항상 시간 어떻게 갔냐 이런 말 매번 들어가냐 묻는데 그것이 진실이기 때무네… 그렇게 후다닥 사라진 올헤 2분기 독서 후기.

Just pushed the 100th commit to loops 🥳

Can't wait to tag the v1.0.0-alpha, we're so close 🚀

https://github.com/joinloops/loops-server

#loops

hackers.pub 이라면 계실 것 같아서... 혹시 이 문제를 해결할 만한 천재데이터엔지니어 분이 계시다면 고견을 여쭙고 싶습니다... 블스 한국어 클러스터에 지금 러브휴먼들이 너무 많아서 일반 사용자들이 고생하고 있습니다 그나마 다행인 건 블스에는 사용자 리스트라는 기능이 있어서 저런 러브휴먼 계정들을 넣은 리스트를 블락 리스트로 공유하는데 아무래도 양이 양인지라... 프로그램을 짜서 긁어넣고 있어요 문제는 저런 중간자(?) 계정들이 자꾸 빨려 들어가곤 합니다 그렇다고 제가 직접 일일히 확인하기엔 제 시간과 정신력에도 한계가 있으니... 데이터를 기반으로 걸러내야하는데 어떤 알고리즘? 이 러브휴먼과 그냥 휴먼을 걸러내기 가장 좋을까요? 단순 키워드 정도만 던져주셔도 감사하겠습니다!

성인 뇌는 노년기까지 새로운 뉴런을 계속 만듭니다.

https://www.perplexity.ai/page/adult-brains-keep-making-new-n-wLUgjQzPSXKxQzeVyBO5dw

늙어서 새로운거 못배운다는거 개뻥...

Quitting programming as a career right now because of LLMs would be like quitting carpentry as a career thanks to the invention of the table saw.

Tools: Code Is All You Need

Link: https://lucumr.pocoo.org/2025/7/3/tools/
Discussion: https://news.ycombinator.com/item?id=44453688

파이썬 공부할 겸 만든 토이 프로젝트를 소개합니다.

https://pypi.org/project/rust-minidump-mcp/

Rust Minidump MCP

Empower AI agents to understand crash dumps through MCP server

뭐하는 프로그램인가요?

크래시 덤프를 AI가 읽을 수 있도록 도와주는 MCP Server입니다.

어떻게 쓰나요?

우선 사용하시는 AI Agent 에 다음과 같이 rust-minidump-mcp 서버를 등록합니다.

{
  "mcpServers": {
    "rust-minidump-mcp": {
      "command": "uvx",
      "args": ["rust-minidump-mcp", "server"]
    }
  }
}

AI에게 크래시 덤프(minidump 포맷)와 symbol 이 저장된 위치를 전달합니다.
짜잔! AI 가 덤프를 읽을 수 있습니다. 크래시 원인을 요약하고 코드의 어느 위치에서 크래시가 발생했는지 알려줍니다.

이 정보를 어찌저찌 잘~ 엮으면 AI 에이전트가 크래시 보고 알아서 bug fix & PR 도 올릴 수 있도록 구성할 수 있지 않을까요?

저는 MacBook(또는 리눅스) 써서 minidump를 못남기는데요?

Minidump Writer 나 Crashpad Client, Breakpad Client 를 사용하면 크래시 시점의 ELF , DWARF 포맷을 minidump로 변환할 수 있습니다.

그밖에 궁금한 점은 아래 링크를 참조해 주세요~ https://github.com/bahamoth/rust-minidump-mcp

A Higgs-Bugson in the Linux Kernel

Link: https://blog.janestreet.com/a-higgs-bugson-in-the-linux-kernel/
Discussion: https://news.ycombinator.com/item?id=44447259

죠죠 작가 진짜 말이 안 되는 전개를 오로지 기세만으로 독자들 설득시켜서 받아들이게 만드는 지점에서 천재임ㅋㅋㅋ

무려 세 번을 정독한 분의 글을 보니 나는 왜 제대로 한 번을 안봤나 싶다. 나도 7월이 가기 전에 다시 읽자.

https://ddururiiiiiii.tistory.com/559

Vibe Coding

Ghostty's sprite renderer got a major refactor by our font maintainer (Qwerasd). We now support more sprites and they line up perfectly on cell edges. Additionally, our sprites now pack more efficiently on the GPU to save some VRAM. Comparison between terminals as an example.

Ghostty's always had a built-in sprite renderer (actually, rasterizer). The job of the rasterizer is to generate pixel-perfect sprites dynamically for a given grid size.

Practically, this results in much more aesthetically pleasing shell prompts, powerline bars, etc. And things like circles that line up perfectly make for better TUIs.

Some additional amazing background: the rasterizer uses a 2D graphics library written in Zig specifically for Ghostty by a community member (but generalized: https://github.com/vancluever/z2d). And while I wrote the initial rasterizer, the major work since has been by our font subsystem maintainer Qwerasd who has taken it to new, incredible levels. ❤️

Math.Pow(-1, 2) == -1 in Windows 11 Insider build

Link: https://github.com/dotnet/runtime/issues/117233
Discussion: https://news.ycombinator.com/item?id=44442219

https://github.com/riemannulus/suho.io/tree/main/apps/tools 이런 걸 만듦 (아직 url은 연결 안 함)

포인트는 새로운 툴을 추가할 때 moon run tools:new-tool 하면 알아서 스캐폴딩 해 줌 아주 편함

From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD https://lobste.rs/s/yyqk01 #education
https://emptysqua.re/blog/from-python-programmer-to-distributed-systems-researcher-in-10-years/

Portable Network Graphics (PNG) Specification (Third Edition) is now a W3C Recommendation

This document describes PNG, an extensible file format for the lossless, portable, well-compressed storage of static and animated raster images. PNG provides a patent-free replacement for GIF and can also replace many common uses of TIFF.

The Third Edition adds Animated PNG and High Dynamic Range (HDR) PNG.
https://www.w3.org/news/2025/portable-network-graphics-png-specification-third-edition-is-now-a-w3c-recommendation/

... #UbuCon #Korea 2025 참가등록은 https://2025.ubuntu-kr.org/tickets 에서 하실 수 있습니다!

@ubuntuCanonical Ubuntu

AI 에디터 커서 Cursor 완벽 가이드 (키노시타 유이치로 (지은이), 김모세 (옮긴이) / 영진.com(영진닷컴) / 2025-07-07 / 22,000원) https://feed.kodingwarrior.dev/r/xTdIug

https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=367003500&amp;partner=openAPI&amp;start=api

(트위터에 버릇처럼 글을 썼다가 여기 계정이 있다는 것을 생각하고.. 다음부턴 개발 관련 끄적임은 좀 의식적으로 여기에 써보기로..)

https://gpui.rs 는 zed 의 UI framework 인데, 이거 기반으로 desktop ui 프로젝트 시도도 있는듯. https://github.com/longbridge/gpui-component https://longbridge.com/desktop/ zed 가 지금은 한글 입출력이 좋은 것 처럼, iced, egui 에 비해 한글 입출력도 좋을거라 생각. 그나저나 longbridge 는 홍콩 회사인 것 같은데 gpui 를 굳이 저정도로(?) 썼다. 물론 이런 작업 굳이 한 쪽으로는 iced 개발자가 있는 cryptowatch 도 있긴 하다 (kraken 에 인수인데 desktop app 이 rust + iced)

egui 의 경우 사실 https://github.com/topki0325/egui-chinese-font/blob/ce80cb38b4d12e2542a6be2ddbaf5ca213e88a31/src/lib.rs#L126 폰트 문제에 가까운 것 같긴 함 (저 경로에 대해 걍 산돌고딕 폰트 경로 잡아주면 한글 출력도 되고 입력도 됨)

A Newbie's First Contribution to (Rust for) Linux https://lobste.rs/s/7d4on3 #linux #rust
https://blog.buenzli.dev/rust-for-linux-first-contrib/

#GitHubCopilot #바이브코딩 워크샵

https://www.youtube.com/playlist?list=PLDZRZwFT9WksXxU5uQOO3vIbYHnp1e-SC

제품요구사항문서(PRD)에서 백엔드, 프론트엔드 앱을 만들고 이를 컨테이너로 배포하는 모든 과정을 GitHub Copilot의 에이전트 모드와 MCP 서버를 이용해서 진행해 봤습니다.

총 6개의 에피소드로 이뤄졌으니 꼭 보세요!
#GitHub Copilot

Hackers Pub은 개발자를 위한 블로깅 플랫폼이면서 SNS기능이 탑재된 흥미로운 서비스이지만, ActivityPub 프로토콜을 지원하여 Mastodon/Misskey/Thread 등의 SNS를 구독할 수 있는 연합우주 소프트웨어이기도 합니다.

연합우주 소프트웨어가 정확히 어떤 것인지 간단하게나마 파악할 수 있게 슬라이드로 정리해봤습니다. (해커스펍에 오지 않은 분들에게만 미공개)

기술적으로 어떤 물건인지 궁금하시다면 @hongminhee洪 民憙 (Hong Minhee) 님이 쓰신 글도 한번 읽어보시는 것도 좋습니다.

막상 들어왔는데 어떤 계정을 팔로할지 모르겠다구요? 이 글도 참고할만할지도 모르겠네요.

해커스펍 온보딩 시각화자료도 준비해볼까 생각중이긴 한데, 뭐 암튼 적응에 도움되기를 바랍니다.

QEMU - "AI 코드 생성기 사용 금지" 정책 정의
------------------------------
- QEMU 커뮤니티가 최근 정책을 수정. *AI 코드 생성기(예: Copilot, ChatGPT 등)의 사용 및 해당 도구를 통한 코드 제출이 금지* 됨
# define policy forbidding use of AI code generators
- 최근 *AI 코드 생성기* 사용에 대한 관심이 급증하고 있으나, 하지만 해당 도구의 * 출력물에 대한 라이선스 해석*이…
------------------------------
https://news.hada.io/topic?id=21665&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

새롭게 다시 태어난, 또 만들어버린 boilerplate. 이제는 진짜 monolithic 하고 Pocket Galaxy라는 이름에 걸맞는 boilerplate입니다.

Django + Vue(Vuetify) 조합이구요, nginx가 이것저것을 다 처리합니다.

백엔드는 /api에서 서빙하고, 기타 기본적인 static 캐싱이나 로깅 등 전부 기초적인건 제공합니다.

간단한 웹사이트 하나 만들겠다는게 어쩌다 여기까지 왔는지.... 암튼 이제는 진짜 최소한의 웹사이트 만들때 뚝딱 하면 만들수 있을것 같습니다 제발...

내부용 툴 만들때 애용해보세요.

https://github.com/theeluwin/pocket-galaxy

오픈소스 프로젝트에 여러분의 gemini cli(등등)의 무료 사용량을 기여하세요

오픈소스 소프트웨어라는 소프트웨어 개발 방법은 그동안 대성공을 거두어 오고 있습니다. 여기에는 여러 요인이 있지만, 중요한 요인 중 하나는 이것입니다. 상업 소프트웨어든 오픈소스 소프트웨어든 공평하게 프로그래머의 시간을 들인 만큼 개발된다는 것이지요. 능력 있는 소프트웨어 개발자가 시간을 기여하면 오픈소스 소프트웨어는 상업 소프트웨어만큼이나 빠르게 성장할 수 있었습니다.

하지만 AI 프로그래밍의 시대가 빠르게 다가오고 있습니다. 앞으로 소프트웨어 개발은 프로그래머의 시간만으로 개발되지 않습니다. 상업소프트웨어는 AI 프로그래밍을 적극적으로 사용하여 이전과 다른 생산성으로 개발되기 시작할 것입니다. 상업 소프트웨어와 달리 오픈소스 소프트웨어는 언제나 그럴 수는 없습니다. 프로젝트의 성장과 유지를 위해 훌륭한 프로그래머들의 시간을 들이는 것을 넘어서, 훌륭한 프로그래머들이 시간에 더해 비용까지 들여야 한다면요.

상업 소프트웨어와 오픈소스 소프트웨어 사이의 불균등한 생산성의 시대가 코앞까지 다가오고 있습니다.

새로운 기여자 확보의 문제

문제는 여기서 그치지 않습니다. 오픈소스 프로젝트는 새 기여자를 얻기 더 힘들어져가고 있습니다. 왜냐하면 이제 'good first issue'라는 것은 의미가 없기 때문입니다. 그 정도로 쉬운 일은 새로운 기여자 대신 로봇이 해결할 가능성이 높고, 그 로봇은 새로운 기여자의 로봇일 수도 있습니다. 결국 AI 프로그래밍으로 기여하는 새 기여자는 이 프로젝트에 대해 거의 배우지 못하게 됩니다.

전통적인 오픈소스 생태계에서 'good first issue'는 단순히 쉬운 문제를 해결하는 것이 아니었습니다. 새로운 기여자가 프로젝트의 코드베이스를 이해하고, 개발 프로세스를 익히며, 커뮤니티와 소통하는 법을 배우는 학습 과정이었습니다. 하지만 AI가 이런 단순한 작업들을 대신 처리하게 되면, 새로운 기여자들은 진입 기회를 잃게 됩니다.

AI 프로그래밍의 현재 위치

AI 프로그래밍은 완벽하지 않습니다. 숙련된 전문가가 숙련된 도메인에서 작업하는 것만큼 잘하지는 못합니다. 하지만 비숙련된 프로그래머가 처음 보는 프로젝트에서 작업하는 것보다는 잘할 때가 많습니다.

그러나 많은 오픈소스 소프트웨어는 바로 이런 비숙련 기여가 성장의 한 축을 차지합니다. 처음 프로젝트에 참여하는 개발자들의 작은 기여들이 모여 거대한 프로젝트가 됩니다. 그리고 이런 비숙련 기여의 일부는 손쉽게 AI가 대체할 수 있는 기여입니다.

다행히도 지금은 AI 프로그래밍의 초창기입니다. Gemini CLI가 무료 사용량을 제공하듯이, 앞으로 여러 회사들이 비슷한 기회를 제공할 것입니다. Claude, ChatGPT, Copilot 등 다양한 AI 도구들이 개인 사용자에게 무료 크레딧을 제공하고 있습니다.

이것은 오픈소스 프로젝트에 기여할 새로운 기회로 삼을 수 있을까요?

주의: 이 글은 아무 프로젝트에나 방문해서 AI로 적당한 코드를 생성한 다음 패치를 보내라는 뜻이 아닙니다.

AI 프로그래밍은 (아직은) 마법이 아닙니다. "이 프로젝트를 겁나 멋지게 만들 기능을 추가해주세요"라고 한다고 해서 그런 패치가 나오는 식으로는 동작하지 않습니다.

이상적인 경우: AI 친화적 프로젝트

가장 좋은 방법은 프로젝트가 AI 친화적으로 준비되는 것입니다. 바로 작업할 수 있을 만큼 잘 정의된 이슈들이 있는 프로젝트라면, "nnn 번 이슈에 대해 작업해 주세요"라는 요청만으로도 누구나 기여할 수 있을 것입니다.

하지만 (적어도 아직은) 그런 프로젝트가 많지는 않을 것입니다.

현실적인 접근: AI가 잘하는 일들에 집중

대신 AI는 인간과 비대칭적으로 잘하는 기능이 있습니다.

이를테면 이슈에 minimal reproducible case가 보고되어 있지만 아직 구체적으로 발생하는 원인이 밝혀져 있지 않은 경우를 생각해봅시다. 버그를 고치는 사람이 해야하는 지루한 작업 가운데 하나는, 이 문제를 어떻게 수정할지를 생각하기에 앞서 이 문제가 어디서 발생하는지 찾는 것입니다. 디버거를 써야 할 수도 있고, 코드에 많은 trace log를 남겨야 할 수도 있습니다.

하지만 AI 코딩 에이전트는 테스트가 재현 가능하기만 하다면, 문제를 발생시키는 정확한 줄을 찾아내는 데 탁월합니다. 지치지 않고 정석적인 지루한 방법으로 꾸준히 로그를 추가하고 테스트를 다시 실행하면서 문제를 찾아내거든요.

어쩌면 문제의 원인이 아주 단순해서, 문제를 바로 수정할 수 있을지도 모릅니다! 그렇다면 패치를 제출해도 좋겠지요. 하지만 바로 수정하기까지는 어렵더라도 괜찮습니다. 버그 리포트와 실제 코드의 문제를 매핑하는 것은 그 자체로 지루하고 시간이 걸리는 일입니다. 이것을 대신하는 것으로도 큰 작업을 대신하는 것입니다.

주의: 모든 프로젝트가 AI 기여를 환영할 리는 없습니다. 충분히 유용하게 다듬어지지 못한 유형의 AI 기여는 스팸처럼 느껴질 가능성이 있음을 유의해야 합니다.

미래

사실 누구나 자기 라이브러리를 뚝딱 만들어낼 수 있게 되었다는 점에서 오픈소스 프로젝트에 참여하는 사람들의 동기와 기여 방식 자체가 크게 뒤바뀔 가능성이 높습니다.

AI 프로그래밍을 누구나 거의 무료로 사용할 수 있는 시대가 올까요? 아마 어느 정도의 사용량까지는 그럴 것입니다. 그것이 얼마나 많은 양일지에 따라서 오픈소스 프로젝트의 미래는 크게 바뀌겠지요.

만일 정말로 AI 프로그래밍을 누구나 무제한적으로 사용할 수 있다면, 대규모가 아닌 대부분의 오픈소스 프로젝트에는 더이상 협력이 필요하지 않을 것입니다. 진정으로 '어떻게'보다 '무엇을'이 더 중요한 시대가 온다면, 프로젝트의 목표를 확고하게 가진 사람이 극한의 완성도까지 프로젝트를 밀어붙이는 편이 훨씬 좋은 결과를 만들겠지요.

그런 시대가 올지 오지 않을지 모르겠습니다. 하지만 그 전까지는, AI 프로그래밍이 누구에게나 주어지는 기회이지만 프로젝트를 단숨에 완성할만큼 주어지지는 않는 시대가 유지되는 동안에는, 다음 세대의 오픈소스 기여의 방법은 AI 프로그래밍 사용량을 기여하는 것이 하나의 큰 축이 될 것입니다.