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.
The U.S. without good reason declared a trade war on the world.
Europe is now letting their unexpected adversary, the U.S., suffer at its own hand.
“‘In that case,’ said Napoleon, ‘let us wait twenty minutes; when the enemy is making a false movement we must take good care not to interrupt him.’”
- 1836, French Revolution: Volume 5 by Archibald Alison, Page 476, William Blackwood and Sons. Edinburgh.
![screenshot of a thread by Jakob Hanke Vela @HankeVela: Apr 7 • 7 tweets • 1 min read Brussels is watching amazed, as Trump destroys the US economy. "Nobody in the Commission thought that the US government would be this stupid and self-destructive," an EU official tells me. "That they would blow up their own country by letting ChatGPT make their trade policy." 🧵 EU officials are quietly preparing brutal countermeasures — but they’re in no rush. Markets are doing the work for them. Here’s what’s happening behind the scenes: 📜📌 Trump’s chaos is collapsing the US markets faster than any EU retaliation could. Inside the Commission and among EU governments, the mood is: Don't give Trump an excuse to blame this on others. Since February, the S&P 500 has dropped 20%. European officials believe Trump's trade chaos is backfiring — and see no reason to escalate while the damage grows organically. [trimmed to fit alt text]](https://files.mastodon.online/media_attachments/files/114/305/263/390/847/645/original/ab7bfebb17de0697.png)
Simon Park shared the below article:
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.
Read more →I built a latency meter with an Arduino and a photo transistor to answer one question: Is click-to-photon latency higher on Wayland than on X11?
And the answer is: Yes, actually.
⏱️ 42 ms on X11, compositing off
⏱️ 56 ms on X11, compositing on
⏱️ 64 ms on Wayland
⏱️ 71 ms on Windows 10
Tested with Plasma 6.3.4 and Firefox 137. I will improve my methods and confirm these numbers. See replies for details.
#Arduino #DIY #Electronics #X11 #Wayland #Linux #KDE #Plasma #Latency #Performance #Gaming
“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 2030 여성·성소수자
수정 2025-04-09 07:26 www.hani.co.kr/arti/society...
“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 ...
valtio-persist v2 has been released! It's a complete rewrite. Check it out 👉
https://github.com/valtiojs/valtio-persist
Exciting news for fans of typography!
"For decades, software like Adobe InDesign and LaTeX has evaluated multiple lines of text at a time as they decide where to end one line and begin the next. It’s just that the web didn’t use a multiline algorithm. Until now.
We are excited to bring this capability to the web for the first time, in Safari Technology Preview 216."
https://webkit.org/blog/16547/better-typography-with-text-wrap-pretty/ by 
@jensimmons
Drowning my sorrows in mushrooms
@MigueldeicazaMiguel de Icaza ᯅ🍉 and butter, apparently
Drowning my sorrows in mushrooms
@MigueldeicazaMiguel de Icaza ᯅ🍉 your sorrows look a lot like butter
「ペンライト広場が人生を変えた」労組や政党に加入する女性や性的マイノリティー
https://japan.hani.co.kr/arti/politics/52895.html
selectのformの選択変えても関数呼んでくれないと思ったらaddEventListnerに書くのはonCHangeじゃなくてchangeだったよね←
이상하다 ...... 담당 프로그래머가 아직 제출하지 않은 내 요구사항 문서를 어제 저녁때 본거같은데 ...... 왜 아직 날 죽이러 오지 않지...? 무기 사러 간 걸까 ......
논비건 표기도 필요하지만 좀 저는 오래 전 연합우주의 당시 맞팔인 사람이 어떻게 도축을 하면 고기가 부드러워진다든가 동물 입장에서도 낫겠다하는 그런 글을 올린 걸 봐서... 트리거 눌려서 CW표기 좀 해달라고 했다가 거하게 조리돌림 당했답니다.
xan - 터미널용 CSV 마법사
------------------------------
- *터미널에서 대용량 CSV 파일을 빠르고 효율적으로 처리* 할 수 있는 Rust 기반 도구
- 다양한 데이터 조작 기능 외에도 *표시, 시각화, 분석, 웹 스크래핑, 텍스트 처리, 네트워크 분석* 까지 지원
- 내부적으로는 고성능을 위해 *멀티스레딩* , *표현식 언어* , *병렬 처리* 를 활용
- 초대형 CSV (기가…
------------------------------
https://news.hada.io/topic?id=20221&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 2030 여성·성소수자
수정 2025-04-09 07:26 www.hani.co.kr/arti/society...
“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 ...
ねむい…
んぬぅ
からだがぽかぽかする
椅子に座った状態でも寝れるんだにゃあ
めはさめた
にゃあ
うえのさんにお気に入り送ったけど、通知されたか否か
Ten National Unions Call for Anti-Trump Resistance
https://buff.ly/Uui64m9
A post about me
https://nilio.ca/post?title=A%20post%20about%20me
This post is an attempt to start writing on my blog, it's a journey to find a creative direction for the future of what I will write while I don't want my blog to be too tech-oriented (just enough).
In this post I write about myself, my struggles and how I've overcome them. There is a bit on how I use computers and my current projects.
Several top officials at the #IRS, including the acting commissioner, resigned after the agency agreed to assist with deportation efforts — NYT
12·3 내란사태부터 123일간 이어진 응원봉 광장에서의 배움을 바탕으로 노동조합이나 정당에 가입하는 등 적극적으로 사회 참여에 나서는 이들이 있습니다. 특히 광장의 주체로 주목받은 2030 여성·성소수자들의 행보가 두드러집니다.
“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 ...
Several top officials at the #IRS, including the acting commissioner, resigned after the agency agreed to assist with deportation efforts — NYT
"Immigrants without legal status pay billions of dollars in taxes, many through a nine-digit code known as an Individual Taxpayer Identification Number. For years, immigrant advocates and tax experts say, the IRS has consistently assured undocumented taxpayers that their information is confidential, and that it would be safe for them to file tax returns."
Goodbye to all that revenue.
https://www.npr.org/2025/04/08/g-s1-59056/irs-dhs-information-sharing-deal-immigrants-tax-records
ImageOptim
このままだとNASAがDOGEされて補助金頼みのスペースXが立ち行かなくなる可能性もあるね。そもそも宇宙開発とMAGAは相性が悪い。
自由貿易もEVもMAGAとは相性が悪い。
イーロンマスクは、自分のビジネス基盤を潰すことを公言していたトランプに、五兆円費やしてTwitterを買い、二百億寄付して大統領の椅子を献上したんだなあ。
ある種の天才であることは間違いないんだけど、他人が何を考えてるのか読み取るのが本当に下手なんだろう。
I love it when a game crashes and you can see the temp title they used when they started working on it.
This is Avowed.
친구 친구의 친구 트친 블친 실친 애인 가족까지 다 연합으로 데려와.
I love it when a game crashes and you can see the temp title they used when they started working on it.
This is Avowed.
おはよう少年！ #ohayougirl
올빼미 스낵랩
여러분 은행이라고 무조건 원금 보장에 이자도 조금씩 주는 곳도 있으니까 주식하시는분들은 이런것도 생각해보세요...(?)
논비건식에 CW를 달아야 하는 이유
* 최근 CW에 대한 피로도를 느끼는 플로우에 고민하다가 한 번 써봅니다. 출근길에 쓴 거라 많이 축약된 내용입니다.
일단 저는 비건인이 비건을 하는 게 단순히 고기를 먹지 "못해서"가 아니라는 지점이 CW를 걸어야 하는 거라고 보거든요
이거에 대해서 뭐 피곤하다거나 그런거 그럴 수 있다고 생각해요 저라고 매번 뮤트단어쓰고 쿠션 이중삼중으로 하는게 편하겠습니까? 어찌되었건 게시물 하나 올리는데에 다른 게시물에 비해 노력이 드는데
하지만 '그런 노력을 들여서까지 게시물을 올려야 하는가', '그럼으로써 논비건식을 남들에게 노출하고 논비건식을 접한 타인이 동물착취와 폭력을 연상케 해야하는가', 그리고 그 '논비건식을 타인도 섭취하고 싶게끔 해야하는가' 이런 고민을 한 번 거치게 할 수 있는 장치라고도 생각해요
논비건식은 단순히 선택의 영역이고 개인의 신념이기 때문에(사실 이보다는 호불호의 영역으로 보는 것 같지만) 강요해선 안 된다
맞는 말이죠. 하지만 당신께서 그렇게 생각할 수 있는 것 자체가 육식(그로 인해 발생하는 착취와 폭력의 현장)에 익숙하고 무디다는 증거고, 그런 의견이 주류가 되어 인정받을 수 있다는 사실 자체가 기울어진 운동장임을 증명하는 꼴입니다
이게 다른 종류의 CW는 잘 사용하는 사람이 논비건식에서만 그런다면 더 그렇죠
물론, 그럼에도 피로감을 느낀다는 의견에 공감하고 이해할 수 있습니다. 현대인으로서 내가 살아숨쉬는 모든 행위가 누군가를 착취하는 구조이니 얼마나 피곤합니까. 도덕적으로 옳은 삶을 지향한다는 건 참 쉽지 않아요
그러나 CW를 걸어야 하는 피로감에 오히려 반발감을 느끼거나 불쾌하다면 자신이 어떤 말을 하고 있는 건지에 대한 정확한 인지는 해야한다고 봅니다. 인지를 하는 상태에서 자신이 그렇게 판단한다면 어쩔 수 없는 거고, 그게 괜찮은 사람들끼리 모이고 아닌 사람들은 떠나는 수밖에 없는 거죠
이에 대하여 해당 행위에 대하여 비판하는 분위기가 도는 걸 넘어서서 "너는 왜 CW를 걸지 않느냐"며 개인에게 불링을 하는 걸로 이어지는 걸 저는 반대합니다 어떤 이유에서든 개인과 개인이 논쟁하는 게 아니라(이건 어쩔 수 없는 영역인 거 아시죠?) 개인과 다수가 싸우는 형태가 되어선 안 되니까요
더불어, 제가 비건식 가장 열심히 섭취 할 때 경험으로 뮤단이 해결방안이 될 수 없는게
논비건식 사진은 뮤트가 안 돼요 그리고 논비건식은 보통 사진만 올리는 경우가 많고 게시하는 말도 다 달라서 뮤트단어로 해결해라는 전혀 도움이 안되고 해결방안이 못 됩니다
일론 머스크가 개인 제트기에서 POE 2(패스 오브 엑자일)를 방송했는데 튜토리얼 보스에게 죽고 방송도 종료했다는 소식😂
www.reddit.com/r/themayormc...
From the themayormccheese comm...
‘헌법재판관 지명’ 이완규, 오늘 법사위 출석···‘부적격 논란’ 재점화
2025.04.09 08:31 입력 m.khan.co.kr/article/2025...
‘헌법재판관 지명’ 이완규, 오늘 법사위 출석···‘부...
プロフに右派・国粋・民族主義と書いておきながら、一水会を知らないというクソ恥ずかしいニワカ君がこちらになります。
https://x.com/kawaiyusukeno3/status/1909220109714960895?s=46&t=B4mxefaSnMs7zImyV7jy5A
‘헌법재판관 지명’ 이완규, 오늘 법사위 출석···‘부적격 논란’ 재점화
2025.04.09 08:31 입력 m.khan.co.kr/article/2025...
‘헌법재판관 지명’ 이완규, 오늘 법사위 출석···‘부...
여러분 은행이라고 무조건 원금 보장에 이자도 조금씩 주는 곳도 있으니까 주식하시는분들은 이런것도 생각해보세요...(?)
What would you use to create high quality man pages?
scdoc and asciidoc don't support cross-references.
I'm kind of starting to see why some authors just write raw troff and commit that, but I'd like something more human-friendly if possible.
판교에 인구수가 지속적으로 유입된 결과, 그 질량이 주변의 중력에 영향을 미칠 정도로 커져서 시공간의 왜곡이 발생해요.
따라서 판교 일대는 곧 시간선이 느려지는 것을 넘어, 중력이 임계점을 넘어서는 경우 블랙홀이 되어 그 안에 있던 직원들이 시간의 정지를 느끼게 될 거에요.
고로 판교에서의 퇴근은 영원히 불가능해질 수도 있다는 예측을 할 수 있어요.
그래서 우리가 퇴사를 해서 인구 밀집지역의 중력을 낮춰야 하는 거군요?
드디어 깨달았습니다. 우리의 이 퇴사 욕구, 욕망은 시공간 왜곡을 막기위한 진화의 산물인것을...
이건 우리가 먼지같던 단세포 생물일 때부터 이어져온 숙명인겁니다!
퇴사! 퇴사를 통해 시공간을 지켜야합니다!
El lele (엘 렐레)
David Michael Barr
全体 : hankyoreh japan 
藤井太洋, Taiyo Fujii
Emelia 👸🏻
Lynnesbian 
상어학땡스 
MJ+
SparklingOutlaw🍉
세랄이 
