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.
new state of the art turing test: drawing a rubik's cube
Link: https://gist.github.com/izabera/3fb2f510f9e29811b57d3702002fc2a2
Comments: https://lobste.rs/s/8dtj3n
3110 Coq Tactics Cheatsheet
Link: https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html
Comments: https://lobste.rs/s/sjnbsz
영상 공개가 늦어진 이유는 "계엄군의 개인 정보 보호"를 이유로 영상 확보가 안 되다가 피해 입은 당사자 기자가 707 전 단장과 부대원을 고소하여 고소인 신분으로 국회측 영상을 제공받았기 때문이라고 함...
저들이 폭력으로 권리와 존엄을 짓밟은 사람들이 분명 더 있을 거라고 생각.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3llqpmdoe4k2y
i posted on my blog about the shows i played in march! shout out to fedi friends 
@protoproto ◇ and 
@exquisitecorplee and 
@ranjit who shared in the reveling.
also, if you scroll almost to the bottom you can see a ✨flowchart✨ describing the process i've been working with for live visuals.
RubyUI (Former PhlexUI): Ruby Gem for RubyUI Components
Link: https://github.com/ruby-ui/ruby_ui
Discussion: https://news.ycombinator.com/item?id=43548108
Dave Täht has died
Link: https://libreqos.io/2025/04/01/in-loving-memory-of-dave/
Discussion: https://news.ycombinator.com/item?id=43550098
おー（よくわかっていない←
Google、企業向けGmailで容易なE2EEメールのβ版提供開始 - ITmedia NEWS
https://www.itmedia.co.jp/news/articles/2504/02/news097.html
https://learnbyexample.github.io/learn_perl_oneliners/one-liner-introduction.html https://learnbyexample.github.io/learn_ruby_oneliners/one-liner-introduction.html
대화형 쉘 환경에서 Perl / Ruby 한줄짜리 스크립트를 짜는 방법을 소개. awk/sed 같은 스크립트를 쓰지 않고도, stdin으로 넘어온 입력을 가독성 있는 코드로 처리하기 좋음.
Test & Code: Python 3.14 won’t repeat with pytest-repeat
https://testandcode.com/episodes/python-3-14-wont-repeat-with-pytest-repeat
Even though there’s no rational reason why it shouldn’t work.
レトロPC（MSX）に移植されなかったり、残念移植作品の描き直しを発表しています。
X/witterやSNSに投げたものを作品ごとに note にまとめてます。
Ubuntu 24.04.2 LTSのXubuntuちゃんは
1 device has a firmware upgrade available.
Run `fwupdmgr get-upgrades` for more information.
って。
$ sudo sh -c 'apt update; apt dist-upgrade -y; snap refresh'
:
The following upgrades have been deferred due to phasing:
ubuntu-drivers-common xserver-common xserver-xorg-core xserver-xorg-legacy
The following packages will be upgraded:
vim-common vim-nox vim-runtime vim-tiny xxd
5 upgraded, 0 newly installed, 0 to remove and 4 not upgraded.
5 standard LTS security updates
:
$ cat /var/run/reboot-required*
cat: '/var/run/reboot-required*': No such file or directory
$ fwupdmgr get-upgrades
Devices with no available firmware updates:
• SSD 970 EVO Plus 250GB
• System Firmware
System manufacturer System Product Name
│
└─UEFI dbx:
:
こっちはよくわからない←
imagine, if you will, dragons
New webrtcHacks post on how to measure #OpenAI response latency - Fippo shares a guide on how to use chrome://webrtc-internals and WireShark to precisely measure and analyze OpenAI's response timing with their #WebRTC Realtime API
https://webrtchacks.com/measuring-the-response-latency-of-openais-webrtc-based-real-time-api/
逆光とフラップは勝利!!
Ubuntu 20.04.6 LTSもいっとこ
$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
だーけーどー
$ cat /var/run/reboot-required*
*** System restart required ***
linux-image-5.4.0-212-generic
linux-base
$ sync; sync; sync; sudo reboot
(-人-)
https://learnbyexample.github.io/learn_perl_oneliners/one-liner-introduction.html https://learnbyexample.github.io/learn_ruby_oneliners/one-liner-introduction.html
대화형 쉘 환경에서 Perl / Ruby 한줄짜리 스크립트를 짜는 방법을 소개. awk/sed 같은 스크립트를 쓰지 않고도, stdin으로 넘어온 입력을 가독성 있는 코드로 처리하기 좋음.
Ubuntu 22.04.5 LTSこうしんこうしん
$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
The following NEW packages will be installed:
linux-headers-5.15.0-136 linux-headers-5.15.0-136-generic
linux-image-5.15.0-136-generic linux-modules-5.15.0-136-generic
linux-modules-extra-5.15.0-136-generic
The following packages have been kept back:
libnss-systemd libpam-systemd libsystemd0 libudev1 systemd systemd-sysv
systemd-timesyncd udev
The following packages will be upgraded:
linux-generic linux-headers-generic linux-image-generic
3 upgraded, 5 newly installed, 0 to remove and 8 not upgraded.
3 standard LTS security updates
:
$ cat /var/run/reboot-required*
linux-image-5.15.0-136-generic
$ sync; sync; sync; sudo reboot
(-人-)
Great news, we're hiring a full-stack developer for Zoo, our CAD startup. You'd be building TypeScript/React frontends with Rust backends. Please DM me for any questions.
Now in beta – increase your reach by connecting your Ghost website to the fediverse 🌏
Discover and follow your favorite people and publications across Ghost, Threads, Mastodon, BlueSky, Flipboard, WordPress, and more – all in one place.
The open web is getting social.
https://nazology.kusuguru.co.jp/archives/174316/2
このテストを大規模に行った結果、17,050件以上の“配送不可アイテム”が確認されました。
書籍カテゴリーは特に多く、研究によれば約1.1%の書籍が何らかの制限を受けていると推計されます。
一部は中東など宗教規範の厳しい地域でのブロックが目立ちましたが、内容とは無関係そうな商品まで誤分類でブロックされている事例も数多く見つかったのです。
たとえば「rainbow（虹色）」という語が入っているだけで実際にはただのキャンディ（Mentosの“レインボー”）が購入不可になっていたり、「Gay」という単語が含まれるだけで哲学書（ニーチェの著作）がブロック扱いされたりするケースもありました。
さらに、「food porn」という俗称で料理本が弾かれたり、乳がん・母乳ケアに関する本までもが“性”や“ポルノ”と混同されているような事態も見受けられます。
本来は安全規制や技術的な理由（WiFi機器やチャイルドシートなど）での配送制限も存在しますが、こうした正当なカテゴリー以外に、宗教・性的要素と誤解されているジャンルがまとめて規制されているのが問題の核心といえます。
「日本人が洋楽を聴かなくなった」というのが一部界隈で話題になっていた。自分の場合はどうかと考えてみると、Spotifyなどのストリーミングによって「洋楽」を聴く量はCDが主流だった頃の10倍くらいは聴いてる。でもこの2、3年で1枚もCDを買っていない。なので金銭的な出費は減ってる。案外、そういう人も多いのではないだろうか。「洋画」についても同じような構造があるかも。
NHKラジオを聞いていたら「プラっと」という番組の番宣が流れてた。番組の内容はどうでもいいけど、番宣のナレーションがおかしい。トーン自体はおかしくないけど抑揚がところどころ違和感がある。もしかして音声合成?
Finally! Mozilla Thunderbird challenges Gmail with its own email service. And that's just the beginning...
https://www.forbes.com/sites/jasonevangelho/2025/04/01/finally-mozilla-thunderbird-takes-on-gmail-with-new-email-service/
https://nazology.kusuguru.co.jp/archives/174316/2
このテストを大規模に行った結果、17,050件以上の“配送不可アイテム”が確認されました。
書籍カテゴリーは特に多く、研究によれば約1.1%の書籍が何らかの制限を受けていると推計されます。
一部は中東など宗教規範の厳しい地域でのブロックが目立ちましたが、内容とは無関係そうな商品まで誤分類でブロックされている事例も数多く見つかったのです。
たとえば「rainbow（虹色）」という語が入っているだけで実際にはただのキャンディ（Mentosの“レインボー”）が購入不可になっていたり、「Gay」という単語が含まれるだけで哲学書（ニーチェの著作）がブロック扱いされたりするケースもありました。
さらに、「food porn」という俗称で料理本が弾かれたり、乳がん・母乳ケアに関する本までもが“性”や“ポルノ”と混同されているような事態も見受けられます。
本来は安全規制や技術的な理由（WiFi機器やチャイルドシートなど）での配送制限も存在しますが、こうした正当なカテゴリー以外に、宗教・性的要素と誤解されているジャンルがまとめて規制されているのが問題の核心といえます。
Single Catgirl Multiple Bites
재택미팅하면 집중 1도 못하는 엄마 지켜주는 둘찌
「日本人が洋楽を聴かなくなった」というのが一部界隈で話題になっていた。自分の場合はどうかと考えてみると、Spotifyなどのストリーミングによって「洋楽」を聴く量はCDが主流だった頃の10倍くらいは聴いてる。でもこの2、3年で1枚もCDを買っていない。なので金銭的な出費は減ってる。案外、そういう人も多いのではないだろうか。「洋画」についても同じような構造があるかも。
Tailscale support for Plan 9.
https://tailscale.com/blog/tailscale-enterprise-plan-9-support
“しかし時として成功することもある。Unityの経営陣は主力製品をメタクソ化した後、追放された。”
メタクソ化を防ぐ深層防御――Bluesky/Mastodonと4つの力、コード・法律・規範・市場 » p2ptk[.]org
https://p2ptk.org/monopoly/5274
いまこんな番組が放映されることに厳しい気持ちになった...。口話の訓練には意味はあるだろうけど、手話を禁止することにはなんの意味もない。というか言語を奪うにひとしく、ほぼ人権侵害じゃないか。 https://www.twellv.co.jp/program/documentary/bs12-sp/archive-bs12-sp/bs12-sp_14/
thinking of entering into the category of endofuctors. might try being a monoid
I love y’all but nobody should travel to the US for the foreseeable future unless they absolutely have to, so… this is pretty much USRust conf now? https://mastodon.social/@rustfoundation/114264675682631425
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
Link: https://queue.acm.org/detail.cfm?id=3712057
Discussion: https://news.ycombinator.com/item?id=43547593
@kvuzetrevolutionary girl erin did you start?
作り置き
在庫管理が
最上川
코파 델 레이 미친 경기다. ㅋㅋㅋ
Pretty Print HTML using PHP 8.4's new HTML DOM https://lobste.rs/s/szt1xf #php
https://shkspr.mobi/blog/2025/03/pretty-print-html-using-php-8-4s-new-html-dom/
same
Comcast is working really well; I don’t even see why someone would want the option to choose another ISP
teeしてやりなおし←
地域交流
最後にsortを入れちゃったのでぜんぶ終わるまでうまくいってるかわからない←
가을별
GENKI
nogajun🍉
은열쇠🥨 
