@jcha0713joohoon 안녕하세요! 반갑습니다! #자기소개 에 올라와있는 분들 팔로하셔도 좋고, 자기소개도 해주시면 땡큐입니다<

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.

I’d love to work together with my PSF Board buddy @jezdezJannis Leidel
I’d also be glad to collaborate again with @simonSimon Willison the author of Django and someone who brings a balanced perspective on AI.
The choice is yours, but I truly valued the time I spent with them.
I hope to see people on the PSF Board who are dedicated to the community and who connect many others together.
Please consider supporting them in the upcoming PSF Board election.
#PSF #Pyton

책읽는 코지마 계정을 부활시킬 때가 온 것 같아 @reading_kojima책읽는 코지마

우부콘 코리아 2025에서 **"연합우주(Fediverse)란 무엇인가"**를 주제로 소개하는 세션을 가졌었는데, 그 때 쓰던 발표자료 한번 만들어놓으니까 "연합우주는 이런겁니다" 하고 던져주기 좋은 듯.....

발표자료는 여깄다네요... https://slides.kodingwarrior.dev/fediverse-onboarding-ubucon2025.pdf

Congrats on 50 million Fediverse Users! Special thanks to fediverse.hanbitgaram.com for creating 39.4 million users and 4.3 billion statuses over night!

@joonnotnotJoon 이젠 제가 멘헤라 상태인데 바톤터치네요

@mike_edwards @2chanhaeng초무 That's cool!!

@kodingwarriorJaeyeol Lee 요런 디자인은 어떠세용

중력가속도 상수 다르고 (건물 4층에서 뛰어내려도 타박상 없음), 산소 밀도 다르고, 스팀펑크? 디젤펑크? 같은 느낌이 드는 이상한 공간이었어...

이세계 여행하는 꿈을 꿨더니 머리가 아프다

@2chanhaeng초무 선생님.......... 진짜 2회차 모집할때 꼭 모시겠습니다 와...

Zed Industries가 코드 에디터와 코딩 에이전트 사이의 통신을 표준화하기 위해 Agent Client Protocol (ACP)이라는 걸 소개했다. 잘 돼서 Neovim의 AI 통합 생태계가 더욱 풍성해지면 좋겠다. https://agentclientprotocol.com/overview/introduction

@akastoot악하 순간 하이텔로 봤네;

@z9mb1Jiwon 닌텐도스위치가 그런 기능 제공했던 것 같기도 한데 아리까리하네요

진짜 디자인 하고싶은대로 다 하고 있는데, 누군가가 보다 못해서 "차라리 내가 하고 만다" 하고 자원을 해주지 않을까(?)

Hackers' Public 명찰 디자인 Canva로 짜고 있는데 진짜 재밌다

- 마틴 파울러는 LLM이 소프트웨어 개발에 미치는 영향을 논의하며, 자동완성을 넘어선 다양한 사용 워크플로우를 놓치고 있다고 지적

- 프로그래밍 역할의 미래에 대한 질문들은 여전히 정답이 없음

- AI가 과거 기술 발전과 같은 버블 상태임을 확인

- LLM을 신뢰성을 위해 여러 번 질의해야 하는 "환각 엔진"으로 강조

- 특히 AI 에이전트가 개인 데이터와 신뢰할 수 없는 콘텐츠에 접근할 때의 보안 위험을 경고

Some thoughts on LLMs and Software Development

https://martinfowler.com/articles/202508-ai-thoughts.html

#Optique 0.3.0 is out with dependent options and flexible parser composition, shaped by feedback from @z9mb1Jiwon's work migrating @fedifyFedify: ActivityPub server framework CLI from Cliffy to Optique.

https://hackers.pub/@hongminhee/2025/optique-030

@hongminhee洪 民憙 (Hong Minhee) 전 5시에 선약이 있어서 일찍 일어나면 한 3시까지만 있을지두요

@morealLee Dogeon 와, 바로 알아보시네요

토요일

• 일본 노래만 부르는 오타쿠팟이 있어서 신나게 놀려고 합니다,,,

일요일

• (Cosmoslide) Follow 기능 전면적으로 개편하고, 게시글이 전파가 잘되는지 파악해보기
• Hackers' Public 2차 모집 준비

이게 뭐게요

@z9mb1Jiwon 마음이 아프네요

연합우주에도 오하아사가 있다니

@yg1ee밀 네. 2차 모집은 9월 1일에 열겁니다. 오전 11시~12시 사이에 ..

Pin 기능이 생기면 고정할거

Hi there 👋

I’m Jaeyeol, a software engineer who loves Neovim and Zed. I see myself as a pragmatic builder — I focus on creating software that I’d genuinely want to use, made for people rather than for technology’s sake. Beyond coding, I also experiment actively within developer communities, often initiating gatherings and exploring new ways for people to connect and share.

One of my current personal projects happens to be in the fediverse space: cosmoslide — a slideshare-like service for sharing presentations across the fediverse. It’s built with NestJS (@fedify/nestjs) for the backend, Next.js for the frontend (most of it is vibe-coded, so I’ll probably rewrite it later 😅)

The project is still in development, with an expected first release between late September and mid October. It started as a personal experiment, but I’m excited to see how it may contribute to the broader fediverse ecosystem.

I enjoy meeting others who are curious about new ideas, whether in technology or in community.

vim-jp에서 주관하는 올해 vimconf는 11월 2일(일)에 열린다고 한다..... https://vimconf.org/2025/ja/

11월 1일에 OSSCA 일정이 있어서 그냥 포기해야......

@2chanhaeng초무 아직은 좀 괜찮은데, 내일 어떨지 모르겠어요

오늘은 여기까지만 하고 쉬어야지.. 컨디션이 너무 안 좋음

이유 : 9월 14일 이후부터 계속 주말마다 일정이 있음... 9월 말에는 일본 가야 함..

코로나 증상 아슬아슬한데, 증상이 나타나는게 지금이라서 진짜 다행이다...

We're excited to announce the release of BotKit 0.3.0! This release marks a significant milestone as #BotKit now supports #Node.js alongside #Deno, making it accessible to a wider audience. The minimum required Node.js version is 22.0.0. This dual-runtime support means you can now choose your preferred #JavaScript runtime while building #ActivityPub #bots with the same powerful BotKit APIs.

One of the most requested features has landed: poll support! You can now create interactive polls in your #bot messages, allowing followers to vote on questions with single or multiple-choice options. Polls are represented as ActivityPub Question objects with proper expiration times, and your bot can react to votes through the new onVote event handler. This feature enhances engagement possibilities and brings BotKit to feature parity with major #fediverse platforms like Mastodon and Misskey.

// Create a poll with multiple choices
await session.publish(text`What's your favorite programming language?`, {
  class: Question,
  poll: {
    multiple: true,  // Allow multiple selections
    options: ["JavaScript", "TypeScript", "Python", "Rust"],
    endTime: Temporal.Now.instant().add({ hours: 24 }),
  },
});

// Handle votes
bot.onVote = async (session, vote) => {
  console.log(`${vote.actor} voted for "${vote.option}"`);
};

The web frontend has been enhanced with a new followers page, thanks to the contribution from Hyeonseo Kim (@gaebalgom개발곰)! The /followers route now displays a paginated list of your bot's followers, and the follower count on the main profile page is now clickable, providing better visibility into your bot's audience. This improvement makes the web interface more complete and user-friendly.

For developers looking for alternative storage backends, we've introduced the SqliteRepository through the new @fedify/botkit-sqlite package. This provides a production-ready SQLite-based storage solution with ACID compliance, write-ahead logging (WAL) for optimal performance, and proper indexing. Additionally, the new @fedify/botkit/repository module offers MemoryCachedRepository for adding an in-memory cache layer on top of any repository implementation, improving read performance for frequently accessed data.

This release also includes an important security update: we've upgraded to #Fedify 1.8.8, ensuring your bots stay secure and compatible with the latest ActivityPub standards. The repository pattern has been expanded with new interfaces and types like RepositoryGetMessagesOptions, RepositoryGetFollowersOptions, and proper support for polls storage through the KvStoreRepositoryPrefixes.polls option, providing more flexibility for custom implementations.

#fedidev

GPT-5가 어려운 문제에 있어서는 오히려 Claude Opus 4.1보다 낫다기에 한 번 써보고 있는데, Claude Code로는 당연하게도 GPT-5 모델을 못 쓰니 대신 Crush를 써보고 있다. 일단 첫인상으로는 MCP 외에도 LSP를 지원하는 게 마음에 든다. 바로 deno lsp를 연결해서 써보고 있다.

[🍏매장 이용안내]
최근 튜사 방문객 급증으로 Wi-fi가 끈기는 현상이 자주발생돼 공유기를 추가하였습니다.
Wi-fi 연결 목록 추가, Wi-fi명, 비밀번호가 변경 되었습니다.
방문하실 때 참고해주세요. 기존Wi-fi는 연결이 안됩니다.
비밀번호는 매장에 업데이트 해놨습니다.

🍏 tusa앨런튜링
→ 컴퓨터과학의 선구자, 암호해독의 전설.
“AI는 사람을 흉내 내는 걸로 시작한다.” — 지능과 논리가 흐르는 곳.

🍏tusa리누스토발즈
→ 리눅스 커널의 창시자, 오픈소스의 상징.
“코드는 공유되기 위해 태어났다.” — 리누스다운 개방형 개발존.

🍏tusa스티브워즈니악
→ 애플 1호기를 손수 만든 하드웨어 천재.
“개발은 Garage에서 시작된다.” — 납땜 냄새가 날 것 같은 공간.

🍏 tusa제임스고슬링
→ 자바(Java)의 창시자, 객체지향의 아버지.
“한 번 작성, 어디서나 실행.” — 안정성과 몰입을 위한 고슬링존.

[홍보글]👍
튜사에서 ASUS 제품을 경험해보실 수 있습니다. ASUS ProArt 모니터, AUS ROG 키보드까지 노트북, 마우스만 가지고 오시면 최적의 작업공간이 탄생됩니다! 그외 다양한 키보드와 모니터암까지 셋팅해놨으니 놀러오세요!

ASUS ROG 키보드 공동구매 진행중!
(튜사만 진행하는 최저가!)

공구참여!
https://discord.gg/KAJYgRY7tr

@roo_37루 @hongminhee洪 民憙 (Hong Minhee) 문서를 관리하는 것 자체도 꼼꼼한 개발자로서의 중요한 덕목이죠(?)

민희님이 관리하시는 것만 봐도 문서화 퀄리티에 굉장히 감탄하게 됩니다...

• https://fedify.dev/
• https://upyo.org
• https://optique.dev

문서 잘 뜯어보시면, 80 column 원칙에다가, 소스코드랑 마우스 호버하면 Document 뜨는거랑, 디테일하게 재밌는 부분이 많아요

안녕하세요. 성수동에 위치한 개발자 아지트 공간 튜링의사과입니다.

Mastodon 이전에 가입 후 관리를 못했지만 앞으로는 꾸준한 활동으로 인사 드리겠습니다. 잘 부탁드립니다. 😀

Hackers' Public 1차 모집 완판!!!!!!!!!

2회차 모임은 "연구하는 사람 여기 다 모여" 특집이 될까 "프론트엔드 하면서 툴링시스템에 고통받는 사람들 모임" 특집이 될까.. 다음 연사자로 모시고 싶은 분들 최소 5명...

React is Simple!

Think React state is easy? One wrong move and your counter breaks.

Why It Happens

React batches state updates.
Using setState(state + 1) can overwrite updates with stale values.
The functional form setState(prev => prev + 1) ensures correctness.

Don't

const [count, setCount] = useState(0);

setCount(count + 1);
setCount(count + 1); 
// ❌ Result: count = 1

Do

const [count, setCount] = useState(0);

setCount(prev => prev + 1);
setCount(prev => prev + 1);
// ✅ Result: count = 2

Explanation

• setCount(count + 1) → uses an old snapshot of state.
• setCount(prev => prev + 1) → React passes the freshest value.

Updating state without prev is like asking for “one more slice” 🍕…
but the box already got emptied. Always ask from the current box.

@2chanhaeng초무 기하학 유형하면.... @evenharder이하 이 분이 굉장히 달인이셨던걸로 알고 있는데요(?)

@woaol벨 아차차차...

@akastoot악하 얼탱이가 없네요 얼얼탱탱 후라이팬놀이도 아니고

@2chanhaeng초무 당장은 말씀드릴 순 없지만... 재밌는 그림이 나오긴 했어요

대관료 + 강연비를 충당할 수 있을 정도의 손익분기점을 넘었다...!! 그리고 수상할 정도로 뻥셔널 얘기를 하고 싶어하는 분들이 많으신...

@akastoot악하 신청해놓고 갑자기?

1일차 야간의 끌올