Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.
아우 이거 진짜 중국어 언어 장벽 심하네...
블스 할인의 날. 제가 외출해서 결제 문자가 좀 늦게 갈텐데
메모란에 [블스 할인]이라고 적어주시면 5kg 이상 전 상품 2000원 할인 적용됩니다. 오늘 24시 주문까지만 적용.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3m7ixbelq5c2n
알뜰폰 유심변경 우여곡절 끝에 됨 ㅠㅠ 그래서 이제 카카오택시 앱 처음 등록해봤는데 알뜰폰으로 등록해도 넘어가질 않음... 아 근데 진짜 앱이 뭐랄까 수준이 너무 떨어짐;; 디디나 리프트/우버 수준도 안되는 편의성과 디자인... 하하하
Went on a Christmas walk in Mayfair. The chance of avoiding #Whamageddon was pretty slim
It didn't happen to me once
Or twice. Or three times.
Ended up hearing "Last Christmas" a total of 4 times in less than 2 hours!
Well I guess I can now try coding it in #strudel
블스 할인의 날. 제가 외출해서 결제 문자가 좀 늦게 갈텐데
메모란에 [블스 할인]이라고 적어주시면 5kg 이상 전 상품 2000원 할인 적용됩니다. 오늘 24시 주문까지만 적용.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3m7ixbelq5c2n
残クレマイホーム・・・？
대전시가 고향사랑기부로 모은 기부금을 엑스포 공원 ‘과학자 시계탑’을 설치하는 데 쓰기로 해서 논란입니다. 사회적 취약계층 지원과 주민복리 증진 등에만 사용하도록 한 취지에 어긋난데다, 자의적으로 심의를 간소화해 절차에도 문제가 있다는 지적이 나옵니다.
고향사랑기부금으로 시계탑 조성?…대전시 기금 부적절 사...
The Creature was the highlight of the West Hollywood ice rink! ⛸️ ❄️
#Fotomontag #PhotoMonday #WeHoWinterIceRink #WestHollywood #LosAngeles #California #IceSkating #Merchtodon #Photo #Photography #Plushtodon #Winter
11月22日｜日本海の夕陽を後ろに
山口県萩市：国道191号
📷
EOS R5 + NewFD35-70mm F3.5-4.5
#misskey写真部 #photography
ねえちょっと聞いて！NewDaysで売ってる青森のリンゴだけでつくったリンゴジュースめっちゃ美味しい
Well, THAT was fucking awesome.
The Creature was the highlight of the West Hollywood ice rink! ⛸️ ❄️
#Fotomontag #PhotoMonday #WeHoWinterIceRink #WestHollywood #LosAngeles #California #IceSkating #Merchtodon #Photo #Photography #Plushtodon #Winter
메뉴 곳곳에 퍼진 아이콘 — 도와주세요
------------------------------
- *메뉴 항목마다 아이콘을 기본으로 넣는 디자인 관행* 이 확산되고 있으며, 이는 불필요한 시각적 잡음을 유발함
- Google Sheets와 macOS *Tahoe 버전의 메뉴 시스템* 이 대표적 사례로, 거의 모든 메뉴 항목에 아이콘이 추가됨
- 일부 메뉴에서는 *아이콘의 유무 기준이 불명확* 하고, 토글 표시와 겹치며 정…
------------------------------
https://news.hada.io/topic?id=24936&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
<국회의장실에서 알립니다> 금일 본회의에서 국회의장이 나경원 의원의 무제한 토론에 대해 제재하고 본회의를 정회한 이유를 설명드립니다. 1. 의제외 발언의 금지(국회법 제102조) x.com/wonsikw/stat... 무선 마이크 반입해서 유튜브 라이브도 하셨다고.
정상적으로 작동하는 걸 우겨넣었으면 시각이라도 보게 해달라!!!
ナナちゃん
@ha4ven_폴로늄 낭만 치사량이네요
@hillside힐씨 @ha4ven_폴로늄 Q&A에 따르면 실제로 작동하는 시계라네요
시침이 없어서 시각을 확인할 순 없지만요
Sidi stretching the flaps
Testing table with Sidi hot swapping modules.
#splitflap
#realtime
#omega
Sidi stretching the flaps
It was a long day.
同軸物件
這些人是不是得了一種「不用 Web 技術開發 Desktop app 會腹瀉到脫肛」的病。 😑
Google is using its monopoly position in search AND browsers AND mobile operating systems to edge out its upstart competitors in AI.
They suffered no consequences for the finding of anti-competitive behaviour with search and browsers, and they are now showing impunity in doing it with AI.
Regardless of what you think about AI, this is anti-competitive behaviour and should be stopped.
정상적으로 작동하는 걸 우겨넣었으면 시각이라도 보게 해달라!!!
세상엔 끔찍한 짤이 너무도 많고
Just a friendly reminder that I (and many other big accounts on Fedi) don't boost posts without #AltText
So if you want your post to get shared, you'll have a much bigger audience if you add alt-text to the media elements.
And that's not even counting all the folx with slow connections or vision impairment that wouldn't otherwise have access to your post.
건설 일 안 해본 사람이 은근히 모르는 것
In my ongoing research and development of computer peripherals, I have some improved types of printers, for which I am preparing patent applications:
* dot-vector printer (saves space!)
* daisy cutter printer
* chain saw printer
* commuter train printer
* pulse jet printer
건설 일 안 해본 사람이 은근히 모르는 것
BT
Xでバズってたアーティストで教職の何とかさん（作品見に行ったこと結構あるのに名前が思い出せない）の投稿を思い出したな。
jail.nix - Easily wrap your nix derivation in bubblewrap jails https://lobste.rs/s/lod9o8 #nix #security
https://git.sr.ht/~alexdavid/jail.nix
そうそうそういえば 
9d81561bb2 (upstream/main) Update Wrapstodon design (#37169)
ac71771d98 Fix misc comment typos (#37183)
697569e5f9 Add `account_id` attribute to `AnnualReport` entity (#37182)
4cdcdaa7d9 Fix streaming image build after removal of `.yarn` (#37181)
9702cbb41c Fix emoji on Wrapstodon (#37177)
ea768c17db Add counter cache to collections (#37176)
5347cabf3e Update dependency oj to v3.16.13 (#37135)
eef40ba96b Update dependency hiredis-client to v0.26.2 (#37137)
9063c3b660 Remove yarn patch for `babel-plugin-lodash`, removed during Vite upgrade (#37161)
e147947eb8 Add wrapstodon page spec (#37168)
Rounding and balancing (of temporal values) https://lobste.rs/s/hyretu #rust
https://docs.rs/jiff/latest/jiff/struct.Span.html#rounding-and-balancing
@saraisletFullmetal Manager 🌈💖🔥 : where are your lockpicks? The mailbox lock is broken!
Me: you really shouldn't try picking an unfamiliar lock, we'd just damage it further
*The next day*
Me, returning from the mailbox, hands full of mail@saraisletFullmetal Manager 🌈💖🔥 : how did you?!?
Me: I'm a cryptographer of some fame, the lock took one look and decided it didn't want to mess with that
A few years ago I found a boxcutter in a sink at work that'd been there for months.
Having a flatbed printer designed to print on solid objects and 5 minutes...
Time flies and today is already the last day of #OSSummit Japan 2025. 😮 Be sure to stop by Booth 12 to learn more about Igalia, discuss open source solutions, and enjoy our demos. 🏃➡️There's still time!
Shoutout to anyone who is doing anything today.
Stay strong. Doing things is hard.
怪奇！何もしてないのに直った！
상단의 무브먼트는 실제 시계로서 작동하지 않으며, 직접 감아서 작동하는 디자인 요소입니다.할 말이 안 나온다...
한강버스 선착장 7곳 가운데 잠실·옥수·압구정 선착장은 강바닥의 형태와 수심 변화 가능성이 큰 지점에 들어선 것으로 나타났습니다. 이들 선착장 주위에서 예상치 못한 사고가 발생할 수도 있다는 의미입니다.
[단독] 한강버스 잠실·압구정 선착장 ‘불안정 지대’ ...
おもち焼いてあげましょうね
『정진명의 굳이 써서 남기는 생각』에 새 블로그 포스팅이 올라왔습니다: 비트겐슈타인의 수학의 기초에 관한 강의
비트겐슈타인의 수학의 기초에 관한 강의
$ ruby -e 'puts "タワーマンション".chars.shuffle.join'
タンマョーンシワ
정진명의 굳이 써서 남기는 생각 @jm@guji.jjme.me
서명: 비트겐슈타인의 수학의 기초에 관한 강의
저자: 루트비히 비트겐슈타인(Ludwig Wittgenstein), 코라 다이아몬드(Cora Diamond)
역자: 박정일
출판사: 사피엔스21
출간일: 2010년 11월 17일
원서명: Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939
원서 출간일: 1989년
『비트겐슈타인의 수학의 기초에 관한 강의』는 『자연, 예술, 과학의 수학적 원형』에 이어 읽는 빌린책챌린지 책입니다. 루트비히 비트겐슈타인이 1939년 케임브리지 대학에서 수학의 기초에 대한 강의를, 여러 학생의 강의록을 기반으로 재구성해낸 출판물입니다. 주로 러셀과 화이트헤드의 『수학 원리』를 비판하는 내용이 엿보입니다.
이 강의가 이루어진 1939년이나, 비트겐슈타인이 러셀의 제자였던 점, 그리고 당시 수학계가 맞이한 근본적 문제제기와 그에 대한 논점들을 이해하지 않고서는 어떤 맥락의 책인지 알기 어려운 책입니다. 수학을 전공한 저도, 수학철학에 대해서는 깊게 알아보지 않았기 때문에 이 책을 읽으며 여러 내용을 보충했습니다.
비트겐슈타인은 이 강의에서 기초 산술을 논리학으로부터 빚어올리려 한 러셀의 시도는 틀렸으며, 산술은 논리학과 무관하게 존재한다고 말합니다. 그를 위해서 언급하는 것이 수학적 귀납법입니다. 수학적 귀납법의 재료에는 f(n)이면 f(n+1)이라는 증명이 포함되지요. 여기에 적절히 f(1)이 존재하면, f(2)도 되고, f(3)도 되고… 존재하는 모든 자연수에 대해서 성립하는 '무한한 도미노놀이'가 성립한다는 것이 우리가 아는 (기초적인) 수학적 귀납법입니다. 하지만 비트겐슈타인은 실제로 우리가, 예를 들면, f(3000)이 성립하는지 손으로 확인하는 절차를 거쳐보는 사고 실험을 통해 우리에게 그 의미를 전달합니다. 실제로 그렇게 했을 때 f(3000)이 성립하지 않는다고 하면, 우리는 수학적 귀납법을 의심하지 않습니다. 과정의 어딘가에서 실수를 했으리라고 믿는 것이지요. 가로로 25줄, 세로로 25줄씩 늘어놓은 점을 헤아렸는데 점의 개수가 624개였다면 우리는 계산 실수나 배치 실수를 생각하지 25 곱하기 25는 624일 가능성을 고려하지 않습니다. 비트겐슈타인은 이 지점에서 사람이 수학을 빚어올리는 방향을 서술합니다. 이해하기 쉬운 책은 아니지만, 이 관점을 이야기하고 책을 읽어나가면 조금은 갈피가 잡히는 듯합니다.
튜링이 마치 한국어로 말한 것처럼 '한국어'라는 단어를 써서 번역한 점이나, 'chess'를 '장기'로 번역하고 'knight'와 'bishop'은 '기사(말)'와 '주교(말)'로 남겨놓은 점 등은 조금 번역에 대해서 생각하게 되는 부분이 있긴 하지만, 읽는 과정의 어려움은 관련 소재에 대한 준비도 없이 뛰어든 제 멍청함이 가장 큰 비중을 차지했겠지요. 여러 학생의 강의록을 엮어 만든 책이다보니, 편집자의 노고에도 불구하고 한계가 드러나는 부분도 조금 있습니다.
개인적으로 제일 재미있던 부분은, 학생 중 한 명인 앨런 튜링과의 논쟁 끝에, 비트겐슈타인이 다음과 같이 말하는 부분이었습니다.
튜링은 내가 말한 어떤 것에도 반대하고 있지 않다. 그는 언어상으로는 모두 동의하고 있다. 그는 그 밑에 놓여 있다고 여기는 생각에 반대하고 있다. 그는 우리가 수학에 볼셰비즘을 도입시킴으로써 수학의 토대를 훼손하고 있다고 생각하고 있다. …(중략)… 불행하게도 튜링은 다음 강의부터 참석하지 못할 것이다.(pp.101-102)
어떤 내용인지 궁금하신 분은, 책을 한 번 읽어 보시는 것도 좋을 것 같습니다.
🕊️ 
GENKI
Cat 🐈🥗 (D.Burch) 
＠3/23(日)
東京オフ主催 
Danny Garside
드라코
