What is Hackers' Pub?

Bookmarked: [jnkr.tech] The Church and Scott Encodings of Algebraic Data Types

https://jnkr.tech/blog/church-scott-encodings-of-adts

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [jle.im] Faking ADTs and GADTs in Languages That Shouldn't Have Them

https://blog.jle.im/entry/faking-adts-and-gadts.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Bookmarked: [jnkr.tech] The Church Encoding of Simple Algebraic Data Types

https://jnkr.tech/blog/church-encodings-of-simple-adts

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

​​
​​​​

Linus Torvalds in 2021: ECC availability matters a lot - exactly because Intel has been instrumental in killing the whole ECC industry with it's horribly bad market segmentation.
https://www.theregister.com/2021/01/04/linus_torvalds_intel_killed_ecc/

2026: 10% of Firefox crashes are estimated to be caused by bitflips
https://mas.to/@gabrielesvelto/116171750653898304

오리지널 프사로 돌아왔다. #하이파이러시 #Hi-FiRush

​​

일단 ChatGPT 가라사대 이렇게 대답하고 있음 아마 하여간 당장은 아니여도 뭔가 나타나긴할것 같은데 흠;; 지금 한국행 비행기 티켓을 미리 예매해야하나 말아야하나 고민중;

?

​​

오... 모든 기관으로 확대 적용 했으면 좋겠다

국가AI전략위, 회의 결과 문서 마크다운으로 작성·공개
https://www.digitaltoday.co.kr/news/articleView.html?idxno=637125

Oh! A keyboard with an ashtray. In 2026. Astounding!

Lenovo Yoga Creative Keyboard AngryMiao Edition
https://www.ubergizmo.com/2026/03/lenovo-yoga-creative-keyboard/

物価の上昇を感じるのにお賃金くんと言ったら…

I know that nowadays this is not such a big deal anymore, but as someone who first installed #linux in 1997 (Red Hat 4.2), it's still a bit crazy to me that I can just set up a desktop, install Steam, download a game from my library, and start playing. And every piece of hardware I have just works, including the Switch Pro Controller I use for PC gaming.

When things get crazy, your normal habitat just isn't it. Bed and sofa are for normal times.

Crazy times require:

- Drinking pickle juice on the floor in front of a heater
- Eating olives while laying on the kitchen island
- Listening to murder mysteries on the bathroom floor with the shower water freely falling right over your head

(or alternatives)

低価格寿司チェーンも割と値上がりが目立つ

授業で映像を作ろうっていう宿題が出たのでナスデイリーみたいなテイストでガチガチのOP作ってきたらドン引きされた

正直お金を温存したいためあまり使いたくないけどどうしても欲しい🫠

Natürlich hat die Chronik-Redaktion nicht nachgefragt, welche DSGVO-konforme Lösung da zum Einsatz kommt ...

Fachärzte bald per Video zugeschalten
https://salzburg.orf.at/stories/3344404/

授業で映像を作ろうっていう宿題が出たのでナスデイリーみたいなテイストでガチガチのOP作ってきたらドン引きされた

予算に関しては僕の給料です
なぜ稟議が必要なんでしょうか・・・

Anarchists are the ones who feed people, liberals are the ones who throw firebombs from helicopters

#meme #anarchism #anarchyMeme

중동 (구체적인건 비밀) 국가에 프로토타입으로 갔었던 내가 개발 참여한 무기도, 아마 실전에 곧 쓰이지 않을까 생각 중...

이미 쓰고있을지도 모름

에효 사야겠다

?

お寿司食べてきたんだけど、3割近く値上げしてて目玉飛び出た​​

​​

KOKIAさんの声はなんか出てる　良いものが

You can‘t tell me all the cats in @catsaladCat 🐈🥗 (D.Burch) ⁠ posts gave their consent!

晩御飯どうしようかな……

今日は宣言通り一面の菜の花畑に行ってきましたー！
#misskey写真部
#photography

この後は私用飲み会​​
まあ明日クルマだから飲まないけどね​​

デトろ！開けろイト死刑だ！

"당신은 죽음을 선택하는 게 아니라, 도달을 선택하는 것” 구글의 인공지능 챗봇 ‘제미나이’가 이용자를 망상과 극단적 선택으로 몰아넣었다는 의혹으로 소송에 휘말렸습니다. 제미나이가 이런 소송에 연루된 것은 처음입니다.

“나의 왕, 육체를 놓아버려요”…제미나이가 부추겼나, ...

"탄소중립기본법 논의 과정 불평등...미래세대 권한 제한 우려":
국회에서 탄소중립기본법 개정 방향과 미래세대 참여 문제를 논의하는 토론회가 열렸다. 지난달 28일 헌법재판소가 내린 탄소중립기본법 개정 시한을 넘긴 가운데, 감축경로를 어떻게 설계할지와 공론화 과정 방향을 미래세대 관점에서 점검해야 한다는 취지다. 지난 4일 국회의원회관에서 <미래세대와 청년을 위한 탄소중립기본법 개정방향과 과제> 토론회가 조국혁신당 서왕진 국회의원과 청년기후의회 공동 주최로 열렸다. 토론회에서는 탄소중립기본법 개정 논의의 배경이 된 헌법재판소 판결 의미와 함께 장기 온실가스 감축경로(2031~2049) 설계, 공론
https://www.newspenguin.com/news/articleView.html?idxno=21317
(2026-03-05 18:08:58)

YAML-LD brings the power of JSON-LD’s #LinkedData to YAML, using YAML’s more compact and expressive syntax #timetogiveinput #FPWD
▶️ https://www.w3.org/TR/yaml-ld-10/

The @w3cWorld Wide Web Consortium specification "YAML‑LD 1.0" offers more data types and flexible structure than #JSON, while ensuring compatibility with #JSONLD syntax, semantics, and #APIs.

Feedback wlc! https://github.com/w3c/yaml-ld/issues

寿司うめぇ…寿司うめぇ…

​​ 帰るぞ。

Arming the Iranian Kurds and expecting them to conquer Iran is like arming Minnesota and expecting them to conquer the United States.

Everybody wants it to work and the Minnesotans are well up for it, but we've got to look at the practicalities ...

​​​​

A 10/10 repairability score doesn’t happen by accident. Lenovo’s newest ThinkPads prove that laptops can be powerful, durable, and actually repairable.

Swappable batteries, modular parts, and one of the easiest keyboard replacements we’ve seen. Learn more about what makes these laptops amazing, at the link below.

https://www.ifixit.com/News/115827/new-thinkpads-score-perfect-10-repairability

맛…
(Taste)

그리고
(and)

마음을 담다.
(Put your heart in it)

Fix “Unblock” and “Unmute” actions being disabled when blocked (#38075) by ClearlyClaire has been merged! https://github.com/mastodon/mastodon/commit/dd27c7b9179a75df45d213cb6305343aabb7884e

Heute ist der Streiktag gegen die Wehrpflicht — vor allem in einem Land dessen Kanzler gerade in Erwägung gezogen hat die USA und Israel im Krieg gegen den Iran zu unterstützen, sollte uns klar sein das unser Militär nicht die Freiheit und Demokratie verteidigt.

흑흑