What is Hackers' Pub?

Neural theorem proving tutorial. ~ Sean Welleck. https://github.com/wellecks/ntptutorial #MachineLearning #ITP #LeanProver

うにゅ

気分が悪くなったときの対処法、雑多な情報で感情を上書きすることしかしらない

今天在凱道上，烏克蘭的朋友也站出來。
他想告訴台灣人：
「失去自由，只需一瞬；
爭取自由，需要一生。」

#大罷免

くーろでん

英BBCのラジオ番組がネットでも聞ける「BBC Sounds」　イギリス国外から利用停止計画を延期　引き続き利用可能に https://ino.to/T6BVXJ6

溶ける境界

My own brother and our oldest mate tried to kill me last night, by drinking 6 bottles of wine and making me laugh until 4 am.

​​

絵かぁ…

- OpenAI의 새로운 추론 모델 o3와 o4-mini는 이전 모델보다 더 많이 환각 현상 발생

- 내부 테스트에 따르면 o3는 PersonQA 질문의 33%에서 환각을 보이는데, 이는 이전 모델의 두 배이며, o4-mini는 48%에 달함

- OpenAI는 이유를 완전히 이해하지 못하고 있음

- 이 모델들은 코딩과 수학에서 더 나은 성능을 보이지만 전반적으로 더 많은 주장을 하여 더 많은 부정확성을 초래함

- 웹 검색 기능이 환각을 줄이는 데 도움이 될 수 있으며, 이는 지속적인 연구 과제

OpenAI's new reasoning AI models hallucinate more | TechCrunch

https://techcrunch.com/2025/04/18/openais-new-reasoning-ai-models-hallucinate-more/

UML diagram for the DDD example in Evans' book

Link: https://github.com/takaakit/uml-diagram-for-ddd-example-in-evans-book
Discussion: https://news.ycombinator.com/item?id=43731250

階段。

我喜欢意大利菜

英BBCのラジオ番組がネットでも聞ける「BBC Sounds」　イギリス国外から利用停止計画を延期　引き続き利用可能に https://ino.to/T6BVXJ6

> 12·3 내란 사태가 육군사관학교 출신 일부 장군들의 주도로 이뤄진 반면, 이를 저지한 결정적 역할은 제각각 출신도 다양한 비(非)육사 영관급 장교들의 몫이었다. (노컷)

https://v.daum.net/v/20250417052100688

#123쿠데타 #육군사관학교 #군대

연서명 부탁드립니다...!

🚨 긴급 연서명 요청 🚨

신월곡제1구역, 미아리 집결지의 여성 두 명이 명도집행을 당하여 짐을 몰수당하고 길거리로 내몰렸습니다. 구청 앞에서 위태로운 천막 안에 비바람 속 농성을 이어가고 있으나, 집을 빼앗긴 이들에게 구청은 월요일에 천막을 철거하라고 요구하고 있습니다. 명확한 이주대책 없이 농성장마저 철거하라는 요구는 부당합니다. 부디 연명에 참가해 주십시오.

https://forms.gle/L3iBbDq6JDVo55bB8

ラフっぽい方が好きな時がある​​

​​​​​​​​​​

機械翻訳で「UNOFFICIAL」が「国連公式」に訳されてて全然信頼度が違った。

I swear there used to be a time when my reaction to new software features wasn't a resigned sigh followed by figuring out how to switch it off.

Baseline MCP Server、W3C WebDX Community Groupが運営するBaselineのサイトに載せてもらいました～

https://web-platform-dx.github.io/web-features/baseline-in-the-wild/

にゃあ

踊るキミを見てる~~

かえた
かわいい

Side quest sneak peek: a browser extension that visualizes (Service Worker) Cache Storage for web sites.

Decided to build this after seeing how difficult it is too see what's stored in Service Worker cache. They can (accidentally) take up quite a lot of storage space.

Repo: https://github.com/cheeaun/stakataka
Not released yet, under review in Chrome Web Store.

#WebDev #FrontEnd #BrowserExtension #ServiceWorker

연서명 부탁드립니다...!

🚨 긴급 연서명 요청 🚨

신월곡제1구역, 미아리 집결지의 여성 두 명이 명도집행을 당하여 짐을 몰수당하고 길거리로 내몰렸습니다. 구청 앞에서 위태로운 천막 안에 비바람 속 농성을 이어가고 있으나, 집을 빼앗긴 이들에게 구청은 월요일에 천막을 철거하라고 요구하고 있습니다. 명확한 이주대책 없이 농성장마저 철거하라는 요구는 부당합니다. 부디 연명에 참가해 주십시오.

https://forms.gle/L3iBbDq6JDVo55bB8

Rewatched Alien Romulus, damn that movies is good. It’s now part of my custom Alien trilogy

#61 she chose a magical girl style wand

#art #mastoart

JavaScript Views, the Hard Way – A Pattern for Writing UI

Link: https://github.com/matthewp/views-the-hard-way
Discussion: https://news.ycombinator.com/item?id=43733636

It's only a kink if it comes from Kinki region of Japan. Otherwise it is just sparkling sexuality.

やっぱJR西の車は幌なしこそ至高……​​

Google日本語入力からMac標準の日本語入力システムに戻したら、キーボードのレスポンスがよくなった気がする。

Gonna play this Andor (S01E05) clip whenever I’m asked why I’m staying away from vibe coding.

あいこんかえようかな

​​
#misskey写真部

GCC 16 Adding Support For GNU/Hurd On RISC-V Targets

GNU/Hurd has long struggled with hardware support and is still working on its x86_64 support while having a host of various hardware limitations but it also appears they are eager to explore Hurd on RISC-V platforms...
https://www.phoronix.com/news/GCC-16-RISC-V-GNU-Hurd-Targets

言語化できないモヤモヤしたものを吐き出す方法を募集しています

天国へのカウントダウンをリアタイぶりに見てるんだけど、携帯が普及してない…！ってなつてる

体が二つ欲しい　アークナイツと鳴潮の生放送を同時に見たい

The Emergency is Here (Part 2)
https://www.youtube.com/watch?v=yiBggW15jLk

聞いてみたいことがあるのでアンケートします。

ノートパソコン＋板タブでお絵かきしている方に質問です。板タブの置き場所はどこですか？

よろしければポチッと。

Rant about Deutsche Bahn:

We recently took a trip out of Berlin for a few days - by train.

Since some people are always complaining about Deutsche Bahn, I must point out that absolutely everything worked smoothly.

All trains were on time.
The staff was very friendly.

今めっちゃヘッドホンのレシーバー持ってるか不安になって探しちゃった　あった

Watching the Holy Fire ceremony in Jerusalem.

https://www.youtube.com/live/GIgpZTwQ100?si=stomQEcGS6sS7fWD

電車から降りる時、何か忘れ物してないかものすごく不安になる　そういう時ほどなんも忘れてない

逆に不安を感じてない時ほど忘れてる

投稿欄に書いては消しを繰り返してる