inspired by #Phanpy to try #LaTeX rendering in #Fedicat

오늘 MS에서 주관하는 Let's Learn MCP: JavaScript 강의를 들었습니다.
저처럼 MCP에 대해 아무것도 몰랐던 분이시라면 추천드려요! 여기서 자유롭게 보실 수 있고, C#, Python 등 다른 언어로도 진행되더라고요.

• GitHub에 LLM 비교 서비스(?)가 있다는 걸 알게 되었습니다. 한 눈에 볼 수 있어 좋아보였어요.
• MCP가 무슨 concept인진 어느정도 이해했지만 역시 AI쪽 배경지식의 부재로 방대한 의문점이 많이 남았습니다. 일단 RAG와의 차이점을 더 찾아볼 필요가 있어 보입니다.
• 그리고 Cursor에 GitHub MCP를 붙여보았는데 신기했습니다. 더 사용해봐야겠습니다. 일단 사프 Notion MCP를 붙이면 너무 좋을듯...
• 많이 늦었지만 지금이라도 알게되어서 감사하다. 연사님의 "절대 뇌피셜로 공부하지마라" 라는 말씀이 찔리고 좋았습니다.

#PhanpySocial changelog ✨

💬 Better display support for Mastodon v4.4's native quote posts
🧮 Math formatting for LaTeX
🐛 Bug fixes

🔗 https://phanpy.social/
💬 https://matrix.to/#/%23phanpy:matrix.org

VI 사용자의 구글 제미나이 CLI을 통한 AI 코딩 어시스턴트 첫경험

제미나이 CLI에 대한 리뷰는 아니고 그동안 AI 코딩 어시스턴트를 사용하지 않았던 VI 사용자의 AI 코딩 어시스턴트에 대한 간단한 감상입니다.

https://www.just4fun.kr/post/2455

#IT #AI #개발 #구글 #제미나이

Much of the internet runs on systems written in the programming language C, but C has major security vulnerabilities.

Now, @amitamit levy, @mpmilanoMae Milano and @lschuermannLeon (dormant account), along with collaborators at Princeton and UC-San Diego, have created a tool, Omniglot, that safeguards systems while developers migrate them to safer languages like Rust.

Learn more: https://bit.ly/44UnAF2

1년 반 만에 글을 썼다. 웹이 복잡해진 과정을 간략히 되돌아보고, 웹을 지탱해온 하이퍼미디어라는 개념이 얼마나 강력한 힘을 가졌는지 짚어보았다. https://parksb.github.io/article/43.html

해커톤 - 아이디어 도출, 팀 구축, 구현, 입상 전략까지 (노아론 (지은이) / 로드북 / 2025-07-28 / 30,000원) https://feed.kodingwarrior.dev/r/VYdKUR

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

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/