What is Hackers' Pub?

​​

ごみをすてしもの

@rmischookRichard Mischook @kyleKyle Hughes I think your intention was to offend actually

> 生きてゆく旅をやめるわけにはいかない。

がんばう。

https://gamayauber007.substack.com/p/c4f

RE: https://mas.to/@FormerlyStC/116036987723693845

it is *extremely* difficult to explain to someone how they sound when they do this

ニュージーランドのガメ・オベールことジェームズ・フィッツロイが今回の選挙の「リベラル」大敗について、その理由の順当なところをまとめてくれました。

https://open.substack.com/pub/gamayauber007/p/c4f?r=7c39mp&utm_medium=ios&shareImageVariant=overlay

'Negative space' #FotoVorschlag

전북일보에 따르면 올해 5주차 인플루엔자 의심 환자는 직전 주 대비 1.58배 증가, 올해 들어 가장 높은 수치가 기록되었습니다. 어린이와 청소년 중심으로 B형 독감 중심의 높은 유행 증상이 관측되고 있는데요. 지난 주까지 유행했던 A형 독감에 이어 B형 독감까지 빠르게 유행하고 있으니 특히나 큰 주의 당부드립니다. 블루스카이 가족 여러분께서 환절기때 아프지 않고 이제 1주일 남은 설 연휴 잘 맞이 하시길 바라며 이만 마치겠습니다. 좋은 하루 되세요.

독감 환자 급증…전북 1000명 당 60.7명, 전주 ...

예상되는 한파는 2월 16~21일 사이로, 지금 수준의 극한 한파는 아니지만 그래도 날씨가 풀리다 갑자기 추워지면서 건강에 큰 문제를 줄 수 있기에 많은 대비를 해 두셔야 할 것 같습니다. 이는 성층권의 혼란 때문인데요. 보통 2월 말에서 3월 초에 가열되지 않고 훨씬 빨리 발생하면서 극 소용돌이가 혼란, 에디 열속 흐름 상 2월 말에 유라시아 대륙 쪽으로 큰 한파 덩어리가 쏟아질 수 있다는 예상대로 진행되고 있는 것입니다. 그 동안 기온이 정말 급변할 수 있으니, 다시 한번 건강 관리에 큰 주의 기울이실 것을 당부드리겠습니다.

수도권을 위시한 지역에서는 눈이 내리다 지상 기온이 빠르게 오르겠지만, 남부 내륙 지역은 하층에 차가운 공기가 깔려있고 온난층이 갑자기 급격해지며 눈 대신 어는 비가 내릴 가능성이 커집니다. 2월 10일 새벽부터 아침 사이 경남 북서 내륙, 경북 내륙, 전북 동부 산간 지역에는 어는 비로 인한 블랙 아이스가 형성될 가능성이 크니 이 부분도 주의 당부드립니다. 이후 당분간은 기온이 크게 오르겠습니다. 하지만 봄이 오기엔 아직 이릅니다. 2월 14일 북극 소용돌이가 분열을 시작하는데요. 이 발작이 다시 1주일 뒤 추위를 몰고옵니다.

하지만 오늘 오후부터 고기압이 이동성 고기압으로 변질되며 상하이 인근에서 넘어오는 온난한 공기와 결합, 바람이 바뀌며 기온이 급격하게 반전되겠습니다. 화요일인 10일은 아침 최저기온이 -6~2℃까지 오르는데요. 지역에 따라 10℃ 이상 차이가 날 것으로 보입니다. 문제는 이 과정에서 대기불안정이 극심해지며 전국 곳곳에 비나 눈이 내릴 것으로 예상된다는건데요. 오전 인천, 경기 북부와 강원, 충청권을 시작으로 오후엔 강원 동해안을 제외한 대부분 지역으로 확대될 것으로 보입니다. 강설량 전망은 1~3cm으로, 내일은 우산 챙겨주세요.

다행스럽게 이번 한파는 굉장히 좁은 구역에서 강하게 기온을 떨어뜨리는 형태라, 생각보다 더 빠르게 기온이 회복될 것으로 보인다는 것입니다. 다만 낮까진 여전히 춥습니다. 황해 깊숙히 내려온 한랭고기압이 북극 한기를 끌어내리는 역할을 하면서 강풍과 한기가 결합, 체감온도를 끌어내리는데요. 오늘 아침 최저기온은 -15~-4℃, 낮 최고기온은 2~11℃로 전망됩니다. 주요 도시별로는 서울 -8~5℃, 대전 -8~6℃, 대구 -7~9℃, 광주 -6~7℃, 부산 -5~9℃, 제주 2~9℃입니다. 날씨는 전국이 대체로 맑을 것으로 보입니다.

슬픈 소식도 있었습니다. 5년 전, 캄보디아 노동자 고(故)속헹씨가 -18℃의 한파 속에 숨졌던 비닐하우스가 다시 조명되었습니다. 5년이 지났는데도 여전히 이름만 다른 속헹이 추위 속에 몸을 떨고 있었습니다. 이 지역에서 이주노동자의 열악한 주거 문제 개선을 위해 애써온 김달성 목사는 "재계약 권한을 가진 사장님에게 춥다고 말하는 순간 쫓겨날 수 있다는 걸 본능적으로 아는 것"이라 말했는데요. 농장주들이 이주노동자가 함부로 신고할 수 없는 처지를 악용해 열악한 비닐하우스에 거주하게 하는 작태가 이어지고 있었습니다. 슬픈 일입니다.

[르포]5년 전 속헹이 죽어간 그곳…또다른 '속헹'이 ...

지난 8일에는 경북 경주시 문무대왕면 산불이 발생, 진화했는데 다시 재발화하며 문제가 있었습니다. 또한 오후 20시 38분 경에는 부산 도심 인접 산지인 금정봉에서 산불이 발생, 9시간 만에 주불이 진화되기도 했습니다. 강풍과 건조라는 두 가지 요인이 산불 위험을 빠르게 키우고 있는데요. 작년에도 경북을 포함해 전국에서 동시다발적으로 산불이 발생했었습니다. 올해는 작년보다 눈이 더 적기도 했고, 지금부터 본격적으로 서풍이 불어오며 대기가 더 바싹 마를 것으로 전망되기에 더 많이 신경써야 할 것 같습니다. 많은 주의 당부드립니다.

[속보]경주 문무대왕면 산불 재발화…강풍 속 진화 난항...

26/2/9 날씨 이것저것 오늘도 날씨가 춥습니다. 경기 북부, 강원 대부분 지역에는 한파경보가 발령되었고, 경기도 나머지 전체, 충청 대부분, 경북 대부분, 전북 일부 지역에는 한파주의보가 내려졌습니다. 건조까지 겹쳐서 한반도 대부분이 건조특보의 영향을 받고 있습니다. 오늘 최저기온 동향은 파주, 화천이 -17.8℃, 서울, 세종이 -10℃ 등으로 강한 바람까지 겹치며 체감온도가 크게 내려간 상황입니다. 주말동안 한파와 칼바람이 지나갔는데요. 참 안타까운 뉴스가 많았습니다. 별 일 없으셨기를 바라며 오늘 날씨 열어보겠습니다.

@krosylightKagami is they/them 🏳️‍⚧️ #1 on my list would be Ai generated "creative content" -- music, art, literature, etc. Not sure if that falls squarely into the "things generated by any AI" but it gives me the biggest creep out feeling

A few days ago, I noted the revival of one archaic mathematical practice, namely that of encrypting one's proofs (or announcements). Today, as part of the ongoing Integrated Explicit Analytic Number Theory Network project https://www.ipam.ucla.edu/news-research/special-projects/integrated-explicit-analytic-number-theory-network/ , we found ourselves reviving another archaic piece of mathematical infrastructure: the logarithm table.

These tables, pioneered by Napier in the 17th century, were a mainstay of mathematical computation until eventually supplanted first by calculators and then by modern computers. But we are finding that verifying in Lean that, say, ln 2 is equal to 0.693147 to six decimal places is somewhat fiddly and computationally expensive to formally verify (one has to use a Taylor series with explicit remainder and figure out where to cut off the series).

Eventually we settled on what is basically the 17th century solution, modernized for the era of formal proof verification: the project now sports a file `LogTables.lean` which systematically gathers formally verified calculations of logarithms via a new interval arithmetic package. Similar to a precomputed log table, this file is intended to be typechecked once (as a laborious calculation), and then imported as needed by all other files.

It is a fascinating paradox that cutting edge technology can sometimes make obsolete practices relevant again, albeit with a modern spin. (Yet another example: the capability of current AI tools has revived the in-person class exam, which we had just started to move away from in the COVID era.)

현재 상태: 영하 20도의 냉동실 안에서 갤럭시 두 대가 스마트 스위치 신호를 교환중...

RE: https://bsky.app/profile/did:plc:ijc4yb24tysgjiaiib2ldgyk/post/3mee4rfvmvc2v

あとり (@at0ri_e) on X
エコーチェンバーにはなっちゃうけどSNSで同じ考えの人が可視化されるのは救いでもある。諦めないツイートにとても励まされてる。 https://x.com/i/status/2020465055033118916
本当にこれなんだよな
今回はfediが辛い

ancient pottery has the fingerprints of the person who made it permanently embedded in it, and if you touch it, you can reach out and touch the hand of the person who made it across space and time immemorial and experience a brief fleeting connection to a long gone person you will never know. and then get thrown out of the museum.

ブルアカが日本で配信されなくなるのが怖い

Lokahi Local Eatsのカルーアポーク（ハワイ風蒸し豚肉）プレートうんまー！

ごみすてにいこう

どねむけばぶ

What is AI slop?

​​

​​

自民が圧勝とか…裏金とかモリカケ問題とか解決していない不祥事があるのにまだ支持するの？会社だったら、とっくに倒産案件だよ。マジで何でこんな政党を支持しているの？

はいぜんろぼにゃんぷとはいぜんするにゃんぷっぷー​​​​
#にゃんぷっぷー #blobcat #にゃんぷっぷーアート:

miniKanren.org https://lobste.rs/s/es2peg #logiclangs
https://minikanren.org/

>主張も実績も要るわけがない。
>「何かが変わってくれれば、それだけでいい」
長い失望の果ての、一票が積み重なって、あそこまでの数になったと考えてよさそうです。

問題はシニシズム/ニヒリズムであるという点で、私と同じ意見でした。他の論点に問題をすり替えてはならない、ということ。

ニュージーランドのガメ・オベールことジェームズ・フィッツロイが今回の選挙の「リベラル」大敗について、その理由の順当なところをまとめてくれました。

https://open.substack.com/pub/gamayauber007/p/c4f?r=7c39mp&utm_medium=ios&shareImageVariant=overlay

Mastodon never disappoints. I search superbowl and find posts filled with owls, as it should be.
Here's my contribution to Superb Owl day. I felted this fellow from lamb and alpaca wool. #SuperbOwl #felting #HandMade #nature #fibet #wool #alpaca
Happy Superb Owl Day!

이거 에반데

어려운 시기를 겪으면서 느낀건,

모든 상황이 당사자를 억울하게 하지만 어찌할 도리가 없는 상황에서, 할복을 요구받던 역사 속 일본 사무라이 문화처럼

우리나라도 그와 비슷한 문화가 분명 존재한다는 점이다.

그런 상황에 놓였을 때 세상의 요구에 져주면 안된다.

그런 압박을 주는데도 끝까지 버텨서 멀쩡히 살아서 강한 삶의 의지를 보여주는게 세상이 가장 무서워하는 것이다.

選挙のたびにがっかり(なんてかわいいもんじゃないが)してしまうのってエコーチェンバー現象のせいでもあるなあと思う。私のTLではとっくに社民共産の連立政権ができあがってるはずだから…

졸려

드렁슨

出社したのでえらい

>主張も実績も要るわけがない。
>「何かが変わってくれれば、それだけでいい」
長い失望の果ての、一票が積み重なって、あそこまでの数になったと考えてよさそうです。

問題はシニシズム/ニヒリズムであるという点で、私と同じ意見でした。他の論点に問題をすり替えてはならない、ということ。

湯船の水を捨てずに給湯器の電源入れておくと凍結防止運転するので水道凍らないですよ！！！

#先に言え案件

에효

Migrating to #nixos . Sold.

https://curious.port111.com/2026/02/06/migrating-to-nixos.html

​​
ねこですね

ヌンズン

ニュージーランドのガメ・オベールことジェームズ・フィッツロイが今回の選挙の「リベラル」大敗について、その理由の順当なところをまとめてくれました。

https://open.substack.com/pub/gamayauber007/p/c4f?r=7c39mp&utm_medium=ios&shareImageVariant=overlay

I think it's rude to just dismiss someone's work as “AI slop” simply because it uses some AI.

"Upgrades without fear", by @rgbaxRalf Barkow

A concise summary of the benefits you can expect from adopting functional package management as implemented by #NixOS and #Guix.

https://wiki.ralfbarkow.ch/view/welcome-visitors/view/upgrades-without-fear