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.
26/2/9 날씨 이것저것 오늘도 날씨가 춥습니다. 경기 북부, 강원 대부분 지역에는 한파경보가 발령되었고, 경기도 나머지 전체, 충청 대부분, 경북 대부분, 전북 일부 지역에는 한파주의보가 내려졌습니다. 건조까지 겹쳐서 한반도 대부분이 건조특보의 영향을 받고 있습니다. 오늘 최저기온 동향은 파주, 화천이 -17.8℃, 서울, 세종이 -10℃ 등으로 강한 바람까지 겹치며 체감온도가 크게 내려간 상황입니다. 주말동안 한파와 칼바람이 지나갔는데요. 참 안타까운 뉴스가 많았습니다. 별 일 없으셨기를 바라며 오늘 날씨 열어보겠습니다.
What is AI slop?
@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が辛い
the magic of art is being able to see the world through another person's eyes, even in non-representational art: all the little decisions of what is important to depict in detail, the choices of color, composition, the energy of the marks, and so on is essentially a byproduct of the perspective and the experiences of the person who made it. you get to witness something deeply personal hiding in the artifact beyond just the image itself.
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 #にゃんぷっぷーアート:
>主張も実績も要るわけがない。
>「何かが変わってくれれば、それだけでいい」
長い失望の果ての、一票が積み重なって、あそこまでの数になったと考えてよさそうです。
問題はシニシズム/ニヒリズムであるという点で、私と同じ意見でした。他の論点に問題をすり替えてはならない、ということ。
ニュージーランドのガメ・オベールことジェームズ・フィッツロイが今回の選挙の「リベラル」大敗について、その理由の順当なところをまとめてくれました。
https://open.substack.com/pub/gamayauber007/p/c4f?r=7c39mp&utm_medium=ios&shareImageVariant=overlay
이거 에반데
누군가 나한테 단도직입적으로 물어본 적이 있다.
"내가 널 위해서 하는 말인데... 너는 왜 극단적 선택 안해? 내가 너같이 어려운 상황에 처했다면 벌써 결단했을거다."
혈연 관계가 있다고 봐도 무방할 정도의 가까운 사람에게서 나온 질문인 만큼 귀를 의심했지만, 진지하게 물어보길래 솔직히 화도 안났다.
솔직히 피식하여 웃었다.
"내가 누구한테 이런 소리를 들을 정도로 저점을 찍었단 말인가? 그럼 곧 고점 한번 찍는 날이 오겠군."
그리고 그 다음 해에 좋은 일이 많이 생겼다.
그 해에 준비하던 프로젝트의 성과를 인정받을 기회가 생겼고, 결혼도 하고, 10년이나 갚아오던 빚도 다 갚았다.
만약 누군가 힘들게 사느니 차라리 죽는건 어떠냐고 조롱한다면, 그때야말로 투자의 방향을 크게 변경할 때라고 생각한다.
너 이제 잘 될 일만 남았다는 소리를 사람들은 참 4가지 없게 하는 경향이 있지만, 그 저점을 잘 잡으면 어려움을 이겨내고 평범한 삶을 누릴 수 있다.
어려운 시기를 겪으면서 느낀건,
모든 상황이 당사자를 억울하게 하지만 어찌할 도리가 없는 상황에서, 할복을 요구받던 역사 속 일본 사무라이 문화처럼
우리나라도 그와 비슷한 문화가 분명 존재한다는 점이다.
그런 상황에 놓였을 때 세상의 요구에 져주면 안된다.
그런 압박을 주는데도 끝까지 버텨서 멀쩡히 살아서 강한 삶의 의지를 보여주는게 세상이 가장 무서워하는 것이다.
選挙のたびにがっかり(なんてかわいいもんじゃないが)してしまうのってエコーチェンバー現象のせいでもあるなあと思う。私のTLではとっくに社民共産の連立政権ができあがってるはずだから…
졸려
드렁슨
出社したのでえらい
>主張も実績も要るわけがない。
>「何かが変わってくれれば、それだけでいい」
長い失望の果ての、一票が積み重なって、あそこまでの数になったと考えてよさそうです。
問題はシニシズム/ニヒリズムであるという点で、私と同じ意見でした。他の論点に問題をすり替えてはならない、ということ。
湯船の水を捨てずに給湯器の電源入れておくと凍結防止運転するので水道凍らないですよ！！！
에효
ねこですね
ヌンズン
ニュージーランドのガメ・オベールことジェームズ・フィッツロイが今回の選挙の「リベラル」大敗について、その理由の順当なところをまとめてくれました。
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
청년 28만명에 문화예술 관람비 지원…25일부터 최대 20만원씩
(서울=연합뉴스) 임순현 기자 = 국내에 거주하는 19∼20세 청년에게 공연·전시·영화 관람비가 1인당 최대 20만원까지 지원된다.
https://www.yna.co.kr/view/AKR20260209018300005
Stratum-1 time server on my Raspberry Pi 4 running NixOS:
look at my son
청년 28만명에 문화예술 관람비 지원…25일부터 최대 20만원씩
(서울=연합뉴스) 임순현 기자 = 국내에 거주하는 19∼20세 청년에게 공연·전시·영화 관람비가 1인당 최대 20만원까지 지원된다.
https://www.yna.co.kr/view/AKR20260209018300005
Vouch
Link: https://github.com/mitchellh/vouch
Discussion: https://news.ycombinator.com/item?id=46930961
oof here's a cursed question:
how does one make a #python dataclass with a subclass that changes *only* the default values of its fields, without adding new ones? is that doable?
Four university students chained themselves together in the front of Morrill Hall on Friday, saying they would not leave until they met with University of Minnesota President Rebecca Cunningham. They called on the university to cut ties with ICE. Three were arrested. [Video]
약 9시간에 걸친 첫 분류 시도는 실패하고 잇는 것 같다. ...... 이게 모델이 가벼워서인지 접근방식이 잘못되서인지는 모른다. ....... 이러니 다들 이런걸 어려워하는거군.
Deploying the Polestar2’s top secret takeout hook.
When the state sponsored threat actor has vibe coded their entire control server, all the login code is client-side, and they’ve infected themselves with their own malware.
시오
mcc
Satoshi Kojima (小嶋智)
Lionhairdino
SparklingOutlaw🍉
NixOS
@
Paul Cantrell
