bgl gwyng

@bgl@hackers.pub · 81 following · 90 followers

슈티를 함께 만들 팀을 만들고 있습니다. 관심 있으신 분, 또는 잘 모르겠지만 이야기를 나눠보고 싶은 분도 bgl@gwyng.com으로 편하게 연락주세요.

GitHub
@bglgwyng
shootee
www.shootee.io
Juntai Park @arkjun@hackers.pub
Public
Shared by bgl gwyng

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

3
0
0
0
1
0
4
0
0
1
0
0
0
0
0
Jaeyeol Lee @kodingwarrior@hackers.pub
Public
Shared by bgl gwyng

( ~ 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

파이 웹 심포지움 3회차 - 이벤터스

AI 시대를 위한 파이썬으로 웹 서비스 개발하기

event-us.kr

1
0
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public

As 's author, I'm contemplating its adoption beyond Ghost's implementation. Finding potential users for ActivityPub tools seems challenging—perhaps I'm addressing a very niche need?

While the technical complexity of ActivityPub makes tools like Fedify valuable, I wonder about the actual market demand for federation outside specific communities.

Open, decentralized systems make sense to many developers, but businesses often prefer closed ecosystems that align with traditional models.

Still, I see potential as the grows and digital sovereignty concerns increase. Fedify aims to lower the technical barriers to federation.

I'm curious: Which projects would benefit most from Fedify today? What would make federation compelling enough for platforms to implement?

Would appreciate perspectives from both developers and platform owners.

bgl gwyng @bgl@hackers.pub
Public

@hongminhee洪 民憙 (Hong Minhee) As a developer building a service that is planned to join the fediverse, I'm still uncertain about what the timeline should look like in the fediverse app. Why do users need multiple apps with each timeline sharing some of their content? When you have multiple email accounts, then you might need a single email client that supports all of them at the same time. In which aspect fediverse differs from this situation?

3
0
0
악하 @akastoot@hackers.pub
Public
Shared by bgl gwyng

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

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

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

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

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

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

토스 Frontend Platform Assistant 모집

2025년 상반기. 2달간의 실전, 시니어 개발자와 만드는 진짜 직무 경쟁력

og.toss.im

1
0
0
bgl gwyng @bgl@hackers.pub
Public

Figma보다 나은 디자인툴을 만들기 위해서 뭐가 필요할까? 여러 축으로의 개선이 가능하겠지만, 근본적으로 더 우월한 뭔가를 만들고 싶다면 Figma가 내부적으로 쓰는 디자인 언어보다 나은걸 만들어야 한다. 즉 flexbox + CSS + 뭐시기 보다 나은 디자인 언어가 필요하다. 반대로 그런 언어를 이미 알고있다면 그걸 기반으로 GUI 툴을 만드는건 역시 야심찬 작업이긴해도 비교적 자명한 일이 된다. 어떤 툴이든 그것이 내부적으로 쓰는 언어를 능가하는 기능을 제공할순 없다.

6
0
0
Jaeyeol Lee (a.k.a. kodingwarrior) :vim: @kodingwarrior@silicon.moe
Quiet public
Shared by bgl gwyng

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

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

hackers.pub/@hongminhee/0196b9

5월 24일(土) 한국 연합우주 개발자 모임(FediDev KR)에서 두 번째 스프린트 모임을 개최합니다! 장소는 뚝섬역 5번 출구쪽에 위치한 튜링의 사과(@TuringAppleDev)입니다. 참고로 스프린트 모임이란 함께 모여서 오픈 소스 코딩을 하는 자리인데, 한국 연합우주 개발자 모임의 스프린트에서는 새로운 연합우주 서비스나 앱을 개발하거나, 번역이나 문서에 기여하는 등 연합우주와 관련된 다양한 오픈 소스 활동을 모여서 함께 합니다. 지난 스프린트 모임의 기록을 스프린트 블로그(@sprints.fedidev.kr)에서 살펴보실 수 있습니다. 저는 그날 Fedify, Hollo, Hackers' Pub에 기여하시고자 하는 분들을 옆에서 도와드릴 예정입니다. Fedify, Hollo, Hackers' Pub에 기여해보고 싶었던 분들이 계시다면 모임에 참가하여 저와 함께 스프린트를 해보는 것도 좋을 것 같습니다. 이번 모임에 관심이 있으신 분은 행사 신청 페이지를 참고하시기 바랍니다.

5월 24일(土) 한국 연합우주 개발자 모임(FediDev KR)에서 두 번째 스프린트 모임을 개최합니다! 장소는 뚝섬역 5번 출구쪽에 위치한 튜링의 사과(@TuringAppleDev)입니다. 참고로 스프린트 모임이란 함께 모여서 오픈 소스 코딩을 하는 자리인데, 한국 연합우주 개발자 모임의 스프린트에서는 새로운 연합우주 서비스나 앱을 개발하거나, 번역이나 문서에 기여하는 등 연합우주와 관련된 다양한 오픈 소스 활동을 모여서 함께 합니다. 지난 스프린트 모임의 기록을 스프린트 블로그(@sprints.fedidev.kr)에서 살펴보실 수 있습니다. 저는 그날 Fedify, Hollo, Hackers' Pub에 기여하시고자 하는 분들을 옆에서 도와드릴 예정입니다. Fedify, Hollo, Hackers' Pub에 기여해보고 싶었던 분들이 계시다면 모임에 참가하여 저와 함께 스프린트를 해보는 것도 좋을 것 같습니다. 이번 모임에 관심이 있으신 분은 행사 신청 페이지를 참고하시기 바랍니다.

hackers.pub

Link author: 洪 民憙 (Hong Minhee)@hongminhee@hackers.pub

0
0
0
5
0
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by bgl gwyng

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!

Hello! I noticed that Ghost started adding linked data signatures to published objects. Would you consider using integrity proofs in addition to linked data signatures (or instead of them)? Fedify ...

Support object integrity proofs · Issue #570 · TryGhost/ActivityPub

Hello! I noticed that Ghost started adding linked data signatures to published objects. Would you consider using integrity proofs in addition to linked data signatures (or instead of them)? Fedify ...

github.com · GitHub

1
1
0
0
1
0
3
0
0
0
0
0
1
0
0
4
0
0
bgl gwyng @bgl@hackers.pub
Public

무언가가 프로그래머블하다는 것은 문제가 생겼을때 디버깅을 해야한단걸 의미한다. 전세계에 프로그래밍을 좋아하는 사람들은 수백만명 정도 있고, 디버깅을 좋아하는 사람은 정확히 0명 있다.

  • Nix의 개발새발 빌드 에러메시지를 읽고 있는 누군가
6
0
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by bgl gwyng

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

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

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

나무 바닥 위에 Mac mini가 놓여 있고, 그 옆에 臺灣 菓子인 草綠色 封套의 乖乖가 놓여 있다. 乖乖에는 「請〈乖乖〉，不要當機」(말 잘 듣고, 다운되지 말아라)라고 써져 있다. 주위에는 흰 토끼 某樣 電球와 파란 꽃이 든 花盆이 있다.
5
1
0
2
0
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by bgl gwyng

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?

CommonMark Spec

spec.commonmark.org

2
2
1
Honnip @honnip@c.honnip.page
Public
Shared by bgl gwyng

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

요즘은 에디터를 쓰고 있는데, .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" ]

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

1
0
0
bgl gwyng @bgl@hackers.pub
Public

Nix 언어를 새로 만들지말고 그냥 Python DSL 같은걸 썼으면 어땠을까 종종 생각한다. 그 세계선에선 또 그 Python DSL 욕을 주구장창 하고 있겠지만, 적어도 생태계는 더 커지지않았을까. 남바완 Linux 배포판이 됐을 수도 있다.

3
2
0
4
0
0
bgl gwyng @bgl@hackers.pub
Public

빌드 고치는 것과 같이 결과물을 확인하는데 시간이 오래걸리는 일을 하는 날엔 엄청 비효율적으로 일하게 된다. 이상적으로 생각하면 빌드 돌려놓고 그사이에 다른일 하면 되긴하는데, 나는 컨텍스트 스위칭이 너무 느려서 그게 잘 안된다. 잘 하는 사람은 실제로 병렬로 일을 처리할 수 있나?

3
1
0
geeknews_bot @geeknews_bot@sns.lemondouble.com
Public
Shared by bgl gwyng

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

Cursor 탭 자동완성의 짧은 역사 | GeekNews

Cursor의 최고 수준 탭 자동완성 기능은 Supermaven의 Babble 모델 인수로 가능해졌으며, 이 모델은 최대 100만 토큰 컨텍스트 창과 250ms의 낮은 지연 시간을 자랑함기존 LLM 기반 자동완성은 caret 위치 이후 코드만 예측하는 한계가 있었으나, Babble은 git diff 기반 편집 시퀀스 학습을 통해 더 유연한 코드 추천이 가능

news.hada.io · GeekNews

0
0
1
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Quiet public
Shared by bgl gwyng

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

3
0
0
안녕 @annyeong@stella.place
Public

그럼 PCB 크기가 달라지면 케이스도 내가 만들어야함
→ 手作り 케이스 내 손으로 만들 자신 없어서 ergogen으로 선언형으로 우회

roBa랑 겹쳐보면 이정도 차이

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by bgl gwyng

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

RFC 9421: HTTP Message Signatures

This document describes a mechanism for creating, encoding, and verifying digital signatures or message authentication codes over components of an HTTP message. This mechanism supports use cases where the full HTTP message may not be known to the signer and where the message may be transformed (e.g., by intermediaries) before reaching the verifier. This document also describes a means for requesting that a signature be applied to a subsequent HTTP message in an ongoing HTTP exchange.

www.rfc-editor.org

2
0
0
도막도 @domatdo@hackers.pub
Public

@bglbgl gwyng 한편으로는 단순 함수 호출로 모델링하기 어려운 상호작용도 있습니다. 일대 다 통신이나 다대 다 통신, 스트리밍 등이 그러하지요. 함수를 사용해서 이들을 모델링하는게 불가능하지는 않겠지만 메시지 패싱으로 모델링하는 것보다 단순하지는 않으리라 생각합니다.

bgl gwyng @bgl@hackers.pub
Public

@domatdo도막도 저는 객체지향이 메시지 패싱을 어떻게 잘 할건지에 대해서 (좋든 나쁘든) 방향을 제시하고 있지 않다고 생각합니다. 가령 세션 타입은 상호작용을 어떻게 기술할지에 대한 나름의 의견이 있지요. 또는 액터 모델은 (좋은지는 잘 모르겠지만) 메시지 패싱을 할때 fire-and-forget 방식으로 하자고 하죠. 근데 객체지향에서 제안하는 방법론이 실제로 설계를 할때 도움이 될만큼 구체적인 형태로 존재하는지 모르겠습니다.

3
0
0
Simon Park @parksb@silicon.moe
Public
Shared by bgl gwyng

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

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

pedia.parksb.xyz/history-immed

Simonpedia

pedia.parksb.xyz

0
0
0

bgl gwyng shared the below article:

도둑의 도시 가이드

정진명의 굳이 써서 남기는 생각 @index@guji.jjme.me

서지정보

서명: 도둑의 도시 가이드
저자: 제프 마노(Geoff Manaugh)
역자: 김주양
출판사: 열림원
출간일: 2018년 6월 20일
원서명: A Burglar's Guide to the City
원서 출간일: 2016년

생각

은평구립도서관에서 장기대여한 39권의 책 중, 『궁극의 문자를 찾아서』에 이어 두 번째로 읽는 책입니다. 도시 설계와 건축에 관심이 있어서 그것을 범죄자의 입장에서 다룬 책이라고 하여 읽게 되었습니다.

책의 핵심 아이디어는 다음과 같습니다. 건축물을 설계하는 사람들은, 다소의 예외는 있을 수 있지만, 건축물을 이용하는 사람들이 이용하는 목적을 효율적으로 달성할 수 있도록 설계합니다. 그런데 도둑, 혹은 침입절도자(burglar)들은 설계자들이 상정하지 않고, 이용자들이 상상하지 못한 방법으로 건물을 이용한다는 것이죠.

맺는말에 가까운 성격인 마지막 장까지 총 일곱 장에 걸쳐 다양한 사람들을 만나며 여러 일화를 소개하는 구성으로, LA를 헬리콥터로 순찰하는 대원, 자물쇠 풀기 스포츠 관련자, 유명한 도둑을 검거한 경찰, 심지어는 게임 『시프』를 만든 디렉터나 『범죄의 재구성』, 『도둑들』의 최동훈까지 인터뷰하거나 업무에 동행하며(최동훈의 인터뷰는 책에 반영되지 않았습니다) 다양한 이야기를 보고 듣는 것이 이 책의 강점이라고 할 수 있겠습니다.

저는 게임을 하면서 게임의 진행 상태를 개조해서 플레이하곤 하는데, 이 책을 읽으면서 그런 행동들과의 유사성을 생각하기도 했습니다. 제가 진행상태나 게임 데이터를 개조하는 것은 대개 이 게임의 개발자가 의도를 가지고 어떤 경험을 주려고 했지만 도무지 그 목적을 달성하기 어려워보이는 게임 디자인에 항의하는 성격에(다음 단계로 넘어가려면 결과가 달라지지 않는 행동을 너무 많은 회수 반복해야 한다거나 하는 경우가 여전히 많은 게임에 있습니다) 가깝습니다만, 아무튼 목적 면에서는 일치한다고 생각합니다. 제가 하는 건 백화점에 들어가서 1층부터 8층까지 아무것도 안 보고 9층까지 순간이동해서 푸드코트에서 밥만 사 먹고 건물 밖으로 순간이동하는 행동에 가깝다고 생각합니다. 이 책에서 다루고 있는 것과는 다소 성향이 다르지요. 멀티플레이어 게임에서 핵을 쓰는 행위는 좀 더 명확하게 누군가에게 피해를 주기 때문에 좀 더 침입절도와 비슷하다고 할 수 있을까요? 음, 그런 기준으로 비교를 해도 될지 잘 모르겠습니다.

이것저것 생각나는 바가 많은 책이었습니다. 서울시가 광화문광장과 시청광장을 무력화하는 것도 생각이 나고, (무허가로) 마천루의 벽면을 오르거나 파쿠르를 하는 사람들 생각도 나고, 게임 『와치 독스』 생각도 나고요. 프로그래밍 쪽에서부터 관심을 가지게 된 『패턴 랭귀지: 도시, 건축, 시공』 생각도 나고요. 이 책은 다른 도서관에 있어서 빌리자면 빌릴 수는 있겠는데, 두께를 생각하면 완독하기 위해 빌릴 수는 없을 것 같네요. 반체제적이고 저항적인 건축/건축 오용(책의 표현을 빌림)을 다룬 책이 더 있으면 읽어보고 싶습니다.

Read more →
0
0
0
김무훈 @iamuhun@hackers.pub
Public
Shared by bgl gwyng

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

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

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

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

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

포트폴리오

오픈소스, 상호작용과 접근성, 개발자 경험에 관심을 갖고 이 세 가지를 만족하는 웹 프로그래밍을 하고 있습니다. 3년여 동안 여러 스타트업을 거치며 웹 프런트엔드 엔지니어링을 주 업무로 경험했습니다.

www.frontend.moe · 프엔모에

8
1
0
Terence Tao @tao@mathstodon.xyz
Public
Shared by bgl gwyng

I recently set myself the exercise of using modern automated tools - in particular, a combination of the large language model and the dependent type matching tactic - to try to semi-automatically formalize in a one-page proof provided by a collaborator of the (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 youtube.com/watch?v=cyyR7j2ChC . See also additional discussion at leanprover.zulipchat.com/#narr . The final proof (which is far from optimized, but got the job done) can be found at github.com/teorth/estimate_too

Formalizing a proof in Lean using Github copilot and canonical

In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one...

www.youtube.com · YouTube

1
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by bgl gwyng

5월 24일(土) 한국 연합우주 개발자 모임(FediDev KR)에서 두 번째 스프린트 모임을 개최합니다! 장소는 뚝섬역 5번 출구쪽에 위치한 튜링의 사과(@TuringAppleDev튜링의 사과)입니다.

참고로 스프린트 모임이란 함께 모여서 오픈 소스 코딩을 하는 자리인데, 한국 연합우주 개발자 모임의 스프린트에서는 새로운 연합우주 서비스나 앱을 개발하거나, 번역이나 문서에 기여하는 등 연합우주와 관련된 다양한 오픈 소스 활동을 모여서 함께 합니다. 지난 스프린트 모임의 기록을 스프린트 블로그(@sprints.fedidev.kr한국 페디버스 개발자 모임)에서 살펴보실 수 있습니다.

저는 그날 Fedify, Hollo, Hackers' Pub에 기여하시고자 하는 분들을 옆에서 도와드릴 예정입니다. Fedify, Hollo, Hackers' Pub에 기여해보고 싶었던 분들이 계시다면 모임에 참가하여 저와 함께 스프린트를 해보는 것도 좋을 것 같습니다.

이번 모임에 관심이 있으신 분은 행사 신청 페이지를 참고하시기 바랍니다.

FediDev KR 스프린트 두 번째 모임 - 이벤터스

내가 원하는 행사를 개최하거나, 참여할 수 있는 플랫폼 - 이벤터스

event-us.kr

7
1
3
6
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by bgl gwyng

Fedify에 드디어 RFC 9421을 얼추 구현했고, 이제 상호운용성 테스트를 위해 Mastodon의 특정 브랜치를 실제로 인스턴스로 띄워서 액티비티를 송수신해봐야 한다. 그런데 Mastodon 띄우기가 너무나 귀찮다… (Mastodon 띄우기 귀찮아서 ActivityPub 개발 시작한 사람.)

3
0
0
1
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

예전부터 생각하던 건데, git reset --hard를 인자 없이 쓰면 git stash로 동작하거나, 아니면 적어도 인자 없이 썼을 때 오류가 나게끔 설정할 수 있었으면 좋겠다. 별 생각 없이 날려도 괜찮겠지 싶어서 git reset --hard 쳤다가 몇 분 뒤에 후회하는 경우가 종종 있다.

2
2
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by bgl gwyng

예전부터 생각하던 건데, git reset --hard를 인자 없이 쓰면 git stash로 동작하거나, 아니면 적어도 인자 없이 썼을 때 오류가 나게끔 설정할 수 있었으면 좋겠다. 별 생각 없이 날려도 괜찮겠지 싶어서 git reset --hard 쳤다가 몇 분 뒤에 후회하는 경우가 종종 있다.

2
2
1
bgl gwyng @bgl@hackers.pub
Public

뉴럴넷을 설계할수 있는 GUI를 프로토타이핑 해야하는데 좋은 방향이 생각이 안난다. 첨에 착수할땐 자명하다고 생각했는데, 막상 시작하고나니 의외로 참고할 물건도 적고 난감한 상태다.

3
0
0
5
1
0
4
0
0
4
0
0
7
1
0