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.
아 근데 주토피아 1 때는 개나 고양이처럼 가축화되면서 나타난 동물들은 인간이 없으니까 안 나오는구나 했는데 2에서는 동물이 직접 나오진 않지만 cat, dog 라는 어휘가 나와서 쫌 묘했음
Probability theory in Mathlib. ~ Rémy Degenne. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/RemyDegenne_Probability.pdf #ITP #LeanProver #Math
みなさま
今夜もご挨拶が深夜になってしまいました…
すぐ頭がもやもやして絵が進まない…！
Here are the four paragraphs of conclusion from that clickbaity piece ("Is Signal safe?") by 
@protonprivacyProton about 
@signalappSignal that is doing rounds.
1. "Signal remains widely regarded as the gold standard for secure private messaging for very good reasons. The Signal Protocol is extremely secure, and unlike most other apps that use the Signal Protocol, Signal collects almost no metadata from the Signal app."
1/🧵
@rysiekMichał "rysiek" Woźniak · 🇺🇦 Signal is not perfect, but compared to most apps it is still way ahead, and pretending otherwise just confuses people more than it helps.
Fairy puff! Postcard from my collection, mailed 1912.
おやすみ
Brownian motion and stochastic integrals. ~ Rémy Degenne et als. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/RemyDegenne_BrownianMotion.pdf #ITP #LeanProver #Math
4. "But none of these have undergone the same level of rigorous external scrutiny as Signal, and all of them have tiny user bases by comparison to Signal, which limits their practical usefulness."
4/🧵
The piece itself is relatively ok, apart from the SGX thing.
The problem is the clickbaity title suggesting Signal might not be safe.
Most people only read headlines and the first few paragraphs of articles, and so what they might incorrectly take away from this piece is that Signal's safety is somehow suspect.
It's not. Signal is safe.
This is outright *dangerous* at a time when effective, usable privacy and encryption tools are more important than ever – and under attack globally.
5/🧵/end
Q. 저는 게임 안 하고 문서 작업만 하는데요 A. 게임으로 어차피 4K 뽑기 쉽지 않아서 많이 못 씁니다 오히려 문서 작업에 4K 가 좋은게 눈도 안 아프고 디테일도 잘 보여서 훨씬 좋음 저는 요즘 사실상 코딩만 하는데도 눈이 편안하니 훨씬 좋습니다
Love and strength Bondi and NSW. 😢 ❤️
14時間半くらい寝た
Here are the four paragraphs of conclusion from that clickbaity piece ("Is Signal safe?") by @protonprivacyProton about @signalappSignal that is doing rounds.
1. "Signal remains widely regarded as the gold standard for secure private messaging for very good reasons. The Signal Protocol is extremely secure, and unlike most other apps that use the Signal Protocol, Signal collects almost no metadata from the Signal app."
1/🧵
1/
The Web of the 1990s and early 2000s (then called the World-Wide-Web) was different (in quality) from the Web of today.
One interesting thing from that era was that — there were many individuals who (on their own) created whole web-sites about some (narrow) topic each of them obsessed over. Something that each of them raged to master and document — and then published to the world (via the World-Wide-Web).
...
アウディみたいになってそう
ちくびが顔くらいの大きさに、、、 
The UK Online Safety Act ushered in an age verification market without regulating providers.
Our open letter calls for this to be corrected ahead of tomorrow's debate.
We're supported by the Age Verification Providers Association and 600+ members of the public.
Read more ⬇️
#OnlineSafetyAct #onlinesafety #osa #ageverification #privacy #ukpolitics #ukpol
Dryppet sparer ikke på vannet i dag. #silentsunday #mosstodon #trailrunning #oslove
2時半
RE: https://fedi.simonwillison.net/@simon/115719041180042917
This is fascinating. “vibe engineering” is going to be mega-powerful for well-specified domains. Does this mean we’ll spend more time creating well-specified domains, or…?
ここあにゃんのちくびおおきくする
絵上手いヒトうらやましい
ok the UK *does* have decent rail information software! i should've just asked railfans instead
Differential geometry in Mathlib. ~ Michael B. Rothgang. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/MichaelRothgang_DifferentialGeometry.pdf #ITP #LeanProver
A very basic implementation of a virtual continuum fingerboard https://lobste.rs/s/oiib0n #show #art
https://continuum.awalgarg.me
The (emergent) strategy of the #FOSS movement as a whole is "Make FOSS, change the world". And it worked. 9 trillion of value to the corporate business world and big tech. You can do a lot with that money, and indeed change the world.
Titmouse in the Thicket
The Carleson project: formalization and collaboration. ~ Michael B. Rothgang. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/MichaelRothgang_Carleson.pdf #ITP #LeanProver
@effElectronic Frontier Foundation & 12 Organizations Urge #UK Politicians to Drop #DigitalID Scheme Ahead of #Parliamentary Petition Debate
The UK’s PM Keir Starmer pitched the scheme as a way to “cut the faff” in proving people’s identities by creating a virtual #ID on personal devices with info like names, date of birth, nationality, photo, & residency status to verify their right to live & work in the country.
But the case for digital identification has not been made.
#privacy
うーん
The making of Lean. ~ Leo de Moura. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/LeonardoDeMoura.pdf #ITP #LeanProver
Kimi K2 1T model runs on 2 512GB M3 Ultras
Link: https://twitter.com/awnihannun/status/1943723599971443134
Discussion: https://news.ycombinator.com/item?id=46262734
Christmas Chainsaw Massacre
結局VRChatできなかった 
The Weight #2
Oil on Paper, 9 x 12”
#mentalhealth #climatechange #migration #art #artwork #painting #mastoart #oilpainting
潮吹きオブジェ
そして多分流れ星は撮れてないです
深夜になるとテンションがマイナスになってく
I was looking for grammar/spell-check language servers to use in Neovim and came across Harper (https://writewithharper.com/)
Turns out it also has extensions for Firefox/Chrome. I don't use Grammarly, but for people who do, could be a nicer, more private alternative — it's local-only and open-source.
JustHTML by @EmilStenstromEmil Stenström is a new Python library (no dependencies) that parses HTML according to the HTML5 specification and passes the 9,200 test html5lib-tests suite
It's 3,000 lines of code mostly written by coding agents over a couple of months https://simonwillison.net/2025/Dec/14/justhtml/
Long thread (sorry 🙄)
上を見過ぎて首が痛くなって多分それが原因で頭も痛くなってきた
1차 반열종 페콕 비공식 !! 근데 당근이 크게 안 자라고 개 쥐꼬리만큼만 자람
Massive 16TB database leaks 4.3 billion professional records
An unsecured 16-terabyte MongoDB database containing approximately 4.3 billion professional records was exposed without authentication from November 23-25, 2025, including names, emails, phone numbers, work histories, and other personally identifiable information. It's suspected that the data set is owned by a data broker or a lead-generation company, but the researchers did not disclose any details.
**Data brokers are just greedy, but not at all good with their data protection. Because it's not their data, it's simply grabbed and abused.**
#cybersecurity #infosec #incident #databreach
https://beyondmachines.net/event_details/massive-16tb-database-leaks-4-3-billion-professional-records-v-8-u-f-u/gD2P6Ple2L
Good day all!
I just updated the #podcast #rss everywhere to point to the new home of Fireside Fedi: https://tubefree.org
Here is the Podcast RSS if you follow directly via #Antennapod or any other podcast app: https://tubefree.org/feeds/podcast/videos.xml?videoChannelId=5934
If you're following via #Spotify you'll have to search for the new Fireside Fedi and it's the one WITHOUT Fedicast in the name. :-D
If you follow me on #Peertube , PLS make sure you've followed and updated to https://tubefree.org/@firesidefedi . @firesidefed@tubefree.org
The Weight #2
Oil on Paper, 9 x 12”
#mentalhealth #climatechange #migration #art #artwork #painting #mastoart #oilpainting
Em 
の絲針紡🐬🤓 
Chris Siebenmann