What is Hackers' Pub?

Atmospheric CO2 has passed 430 parts per million.

The last time atmospheric CO2 was at 430 ppm was during the ancient Pliocene Era, three to five million years ago, and humans didn’t exist.

@therealraccoonthe real raccoon Ⓥ Ⓐ also good (but not on the same level imo)

읍내에서 블루아카 헌혈관련 논란(?)을 보고 하는 소리: 그렇게까지 블루아카덕후들의 헌혈이 싫어서 헌혈을 보이콧할정도라니 걍 인생을 존나 단편적으로 사시네. 뭐그런생각밖에안듦 내가 개싫어서 몸부림치는 사람이 사실 어떤 노동운동의 첨병일 수도 있고 내가 도덕적으로 글렀다 생각하던 사람도 선행을 할 수 있는거임 이 새끼/저 집단은 개빻았으니 당연히 까일 부분만 있어야한다 <하는 사고만 멈추면 다 해결되는 문제를 못받아들여서 왜 추하게 굴고있는지 모를 일임...

​​

[ 好みの3Dモデルが使えるAIデスクトップマスコットアプリ「CocoroAI」がリリース - 窓の杜 ]
https://forest.watch.impress.co.jp/docs/news/2008686.html

역시 나도 할래 1❤️ = 3💬

これは良さそうね！

佐賀大学、マイナンバーカードで証明書発行　国公立大初 - 日本経済新聞
https://www.nikkei.com/article/DGXZQOJC21BDO0R20C25A4000000/

In between myth and reality: AI for math -- a case study in category theory. ~ Răzvan Diaconescu. https://arxiv.org/abs/2504.13360 #LLMs #Math

터미널에 대해 궁금한 점이 생겨 자료를 찾다 보니 Windows Console Team에서 연재한 시리즈물을 발견했는데, 그 내용이 참 유익했다.

Windows Command-Line Series:

1. Backgrounder
2. The Evolution of the Windows Command-Line
3. Inside the Windows Console
4. Introducing the Windows Pseudo Console (ConPTY)
5. Unicode and UTF-8 Output Text Buffer

콘솔 앱이 터미널과 입출력을 주고 받는 것을 공기처럼 당연하다고 생각했는데, 그 과정에는 커서 이동이나 개행 등과 같은 제어 문자를 렌더링하거나 SIGINT 같은 시그널을 발생시켜주는 처리가 존재했다. 터미널과 콘솔 앱이 서로 분리된 구조가 과거 물리 터미널로부터 비롯된 것도 흥미로웠고 말이다. 사실 이해 못 한 부분이 아직 많아서 다음에 또 읽어볼 생각이다.

@draco드라코 근데 내용이 좀 이상한 게 원래 리눅스는 패킷이 없을 때는 인터럽트모드로 동작하다가 패킷이 들어오기 시작하면 폴링으로 전환했어요. 폴링 상태에서도 패킷이 안 들어오기 시작하면 인터럽트모드로 가구요
그 경계선을 살짝 튜닝했다는 이야기 같은데 너무 내용이 뼈가 없고 뜬구름만 잡네요

​​

reddit にて「mastodon をメジャーにするには？」

「まず、政府に対して大きな抗議活動をします。次に政府が X と Bluesky を弾圧します。そうすると、mastodon がメジャーになります。これはトルコで起きていることです。」

…お…おぅ

SKT 유저 분들 중 아이폰 쓰시면 이 참에 eSIM 전환 해보세요.
이미 eSIM 쓴다면… 재발급 받아야겠지?
—
해킹에 서버 뚫린 SKT⋯＂키값 등 유심 관련 고객 정보 유출＂ [일문일답] (출처 : 아이뉴스24 | 네이버 뉴스) https://naver.me/5neWHCSV

First impressions of Pocket Flow’s tutorial generator https://lobste.rs/s/llxpp7 #ai #practices #programming
https://technicalwriting.dev/ml/pocketflow/index.html

[단독] 노동청, 서울시의 ‘직장괴롭힘 1년 지나면 조사 안 한다’ 매뉴얼 시정 권고 25.04.17 10:21 서울식물원 노동자 사망 사건 조사 과정 근로기준법 위배 발견…서울시는 이미 해당 조항 삭제 m.ilyo.co.kr?ac=article_v...

[단독] 노동청, 서울시의 ‘직장괴롭힘 1년 지나면 조...

nanophone ❌
microphone ✅
milliphone ❌
phone ✅
kilophone ❌
megaphone ✅
gigaphone ❌

Linux 코드를 30줄만 수정하면, 전력 사용량을 최대 30% 절감할 수 있음 | GeekNews
https://news.hada.io/topic?id=20472

Linux 6.13 커널에 공식 반영이라니 좋은데?

Morgen geht es los. Noch 1 Tag bis zum Sammelstart.

https://www.hamburg-werbefrei.de

#HamburgWerbefrei. Für mehr #Ruhe vor der #Konsumgesellschaft.

#Hamburg #Werbefrei #Moin #Möwe #Volksbegehren #Volksentscheid #Adblocker #Werbung #Außenwerbung

#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[s] ∩ t = f[s ∩ f⁻¹[t]]". https://jaalonso.github.io/calculemus/posts/2025/04/22-interseccion_con_la_imagen/ #LeanProver #IsabelleHOL #Math

Diese #correctiv-Recherche hat mindestens so viel Aufmerksamkeit verdient wie die Potsdam-Geschichte um #noAfD und "#remigration".

Sie zeigt am Beispiel der „Berlin Campaign Conference“, wie Teile der CDU/CSU mit Hilfe (Geld) von Putin, Orban und Trump der Machtübernahme der Faschisten in Deutschland den Weg ebnen.

Großen Dank an @correctiv_orgCORRECTIV !

https://correctiv.org/aktuelles/trump-und-europa/2025/03/12/geld-macht-kampagnen-der-lange-arm-von-team-trump-2/

#Tholos #TheRepublic #PetschnerMultari #Trump #Putin #Orban #Spahn #JensSpahn #Patzelt #Amthor #MCC #UnionStiftung #Saarland

Create a Personal Blog with NetBSD on a €1 VPS: Efficient and Secure

https://discoverbsd.com/p/3c5cf5869b

現在所在的instance雖然有爆多表情符號可以用，還能對貼文按表符回應，可惜就是用Mastodon v3改的，少了v4可以修改貼文等新功能

Hey remember when that German guy on here told me I was catastrophizing by saying that some American autistics self-diagnose and don't get an "official" record because they are worried about the government monitoring them?

I blocked him but if anyone's still in touch please pass this along:

https://www.cbsnews.com/news/rfk-jr-autism-study-medical-records/

„Keine ernsthafte Bedrohung“, „kein Grund, das EU-Recht zu ignorieren“: Grenzkontrollen zu Österreich waren 2022 illegal, und sind es heute womöglich auch. Weg damit!
https://www.taz.de/!6079524

📆 Neuer #Termin

Donnerstag, 24. April: Erste Content-#Oase 🏝️ im #Gängeviertel am 24. #April - ist den ganzen Tag offen. Zum #Unterschreiben & mit #Adbusting-Ausstellung des Künstlerkollektivs #DIESIRAE.

Wegen eines Ladendiebstahls im Wert von 1,49 €, der Jahre zurück liegt, soll Krzysztof Glinkowski jetzt ins Gefängnis. Der ehemalige Obdachlose hat inzwischen seine Sucht unter Kontrolle, eine Wohnung, einen Job. Er droht das alles zu verlieren...
Systemische Diskriminierung von armen Menschen? Wenn man dagegen sieht, wie wenig Finanzkriminalität in 🇩🇪 verfolgt wird... #Düsseldorf
https://rp-online.de/nrw/staedte/duesseldorf/verstoss-gegen-bewaehrungsauflagen-fiftyfifty-klient-soll-ins-gefaengnis_aid-126399527

그거아십니까?!
감도 겉과속이 똑같이 붉다는 것을...
저는 겉과 속이 같은 감이엇던거에요

blender練習二日目その２

SKT 유저 분들 중 아이폰 쓰시면 이 참에 eSIM 전환 해보세요.
이미 eSIM 쓴다면… 재발급 받아야겠지?
—
해킹에 서버 뚫린 SKT⋯＂키값 등 유심 관련 고객 정보 유출＂ [일문일답] (출처 : 아이뉴스24 | 네이버 뉴스) https://naver.me/5neWHCSV

#Exercitium: Cuadrado más cercano. https://jaalonso.github.io/exercitium/posts/2025/04/22-cuadrado_mas_cercano #Haskell #Python #CommonLisp

"'내 권리는 현안에 집중하는 데 방해돼요'라고 말하는 사람 봤나? 항상 남의 권리에 관해서만 그렇게 말하잖아?"

RE: https://bsky.app/profile/did:plc:ya7gfadgypyypiva5pboi6mi/post/3lnesg6yuvk2y

"Si un loco se obstinara durante mucho tiempo en lanzar piedras a la Luna, no alcanzaría, naturalmente, el blanco apetecido, pero acabaría por ser un hondero excepcional." ~ José de Letamendi (1828-1897).

昨晚在高速公路橋上為了分心拍的影片。
很驚訝竟然拍的出星星，火車與飛機也化成閃亮亮的光點，真的很漂亮！！

但我也就欣賞了這一分鐘www後面就被各種呼嘯聲跟振動嚇到不行了🤣

노동·사회단체가 꼽은 올해의 ‘최악의 살인기업’에 이주·하청노동자 등 23명이 화재로 숨진 아리셀이 선정됐습니다. 시민들이 뽑은 ‘최악의 살인기업’으로는 학교 급식노동자의 폐암 등 산업재해에 대응하지 못하고 있는 시·도 교육청이 꼽혔습니다.

‘올해 최악의 살인기업’은 아리셀…20년간 최다 1위는...

Readings shared April 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/21-readings_shared_04-21-25 #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math

내가 제일 좋아하는 프로그래밍 문법, "파이프라이닝"
------------------------------
- *파이프라이닝* 은 프로그래밍 언어에서 코드의 가독성과 유지보수성을 높이는 중요한 기능임
- *데이터 흐름을 왼쪽에서 오른쪽, 위에서 아래로 자연스럽게* 표현할 수 있게 해주는 방식
- Rust 와 같은 언어에서 파이프라이닝은 코드의 흐름을 명확하게 하고, IDE 의 자동 완성 기능을 통해 개발 생산성…
------------------------------
https://news.hada.io/topic?id=20473&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

서울 용산구의 한 고등학교 학생이 학교 교사를 포함한 여성들을 불법촬영한 혐의로 경찰 조사를 받고 있습니다. 성범죄 사건의 경우 가해자와 피해자의 즉시분리 조처가 필수적이지만, 학교 안에선 피해 교사와 가해 학생을 분리할 제도적 방안이 마땅치 않아 교사는 병가를 내는 방식으로 스스로 학생을 피해야 했습니다.

[단독] 불법촬영 피해자인데 가해자 ‘즉시 분리’는 7...

Linux 코드를 30줄만 수정하면, 전력 사용량을 최대 30% 절감할 수 있음 | GeekNews
https://news.hada.io/topic?id=20472

Linux 6.13 커널에 공식 반영이라니 좋은데?

"아아, 이런, 착오가 있었습니다. 당신은 후한 말기가 아니라 위진남북조 시대 초기로 분류되는 게 맞습니다." "...위...라고...???"

(obviously run by staffers, etc, lol, just like, i think of Klout: how popular are you on 0-bieber)

@thx@mustard.blog땡상어 땡스나폴리탄스파게티 괴담썰(?)

vmmgr.sh
Now with WEB

人間の眼はFoveonではないそれはそう

これまで存在しなかった新しい色「olo」を視神経への刺激で見せることに成功 - GIGAZINE
https://gigazine.net/news/20250421-new-color-olo/

Generational gap: realising that some (basic) technological concepts are lost

“다양성과 차별 금지, 대선에서 사라져”
탄핵 광장 자유발언자 6명 심층 인터뷰…“극우를 밀어내는 수단으로 차별금지·인권보장 필요”
https://h21.hani.co.kr/arti/society/society_general/57198.html

趕緊刪掉以前過推薦g0v.social的黑歷史推文

FreeBSD: Dual VNET Jails with Bastille

https://github.com/krolingo/UTMdualVNETJails

끔찍한 버전: "황제로 유비를 모셨다고요?" "그렇소! 그것이 내 삶의 최고 보람이요!" "그럼 이 분을 후한 말기 출신으로 분류해주시오." "...후한의...말기라고...?"

What is recommended to buy to setup AP for providing wi-fi service? #openbsd

這次SNS逃難潮以Fediverse為大宗？時代真是變了，以前推特被賣給馬斯克那時還沒什麼人想來這裡。