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.
おやすみ～
The following .gov domains have been registered in the past 24 hours:
andersontn911.gov
brewertonfiredistrict.gov
cityofhighlandar.gov
cityofisleton.gov
eastbrunswicknj.gov
fwbpolice.gov
hillcountymt.gov
mercedcounty.gov
ndclimbs.gov
ndsavin.gov
nwojdcoh.gov
parkesburg.gov
parkesburgpolice.gov
parkinar.gov
sanitarydistrict6tohny.gov
townofgainesvilleny.gov
tuscumbiavillagemo.gov
upperbrookville.gov
washingtonny.gov
willingny.gov
wyostabletoken.gov
You know how to get people to leave platforms run by evil people?
Yes, that's right, by offering better alternatives and being super friendly and welcoming and actively working on recruiting people and evangelizing for the better platforms and most importantly by not being chastizing and gatekeeping misers.
It is an honour and privilege to get to do the Forkinverse’s inaugural AMA. Thank you for this opportunity 
@kevinKevin Roose 
@CaseyCasey Newton 
@pj
AMA!
Bare metal programming with RISC-V guide (2023) via 
@RunxiYu https://lobste.rs/s/brf6gk #assembly
https://popovicu.com/posts/bare-metal-programming-risc-v/
My brofur 
@floofJean Luc Floofymaster Picard say “little lions need well groomed manes “ as hooman brushes him #caturday #fedicats #cats #CatsOfMastodon
Macross Plus is still one of my favourite films. And strangely prescient considering the world today.
Thread on indexes and indexing.
(starting with reposts)
Never Index Your Own Book
(Kurt Vonnegut Cat's Cradle, ch 55)
"It appeared that Claire Minton, in her time, had been a professional indexer. I had never heard of such a profession before.
She told me that she had put her husband through college years before with her earnings as an indexer, that the earnings had been good, and that few people could index well.
She said that indexing was a thing that only the most amateurish author undertook to do for his own book. I asked her what she thought of Philip Castle’s job.
“Flattering to the author, insulting to the reader,” she said. “In a hyphenated word,” she observed, with the shrewd amiability of an expert, “ ‘self-indulgent.’ I’m always embarrassed when I see an index an author has made of his own work.”
“Embarrassed?”
“It’s a revealing thing, an author’s index of his own work,” she informed me. “It’s a shameless exhibition—to the trained eye.”
“She can read character from an index,” said her husband.
“Oh?” I said. “What can you tell about Philip Castle?”
She smiled faintly. “Things I’d better not tell strangers.”
https://catscradle.neocities.org/chapter-55.html
say hello to Wednesday! she lives with me now and she is a perfect cat. she is 10 years old and blind and has been settling in great. expect many more pictures of her! #Wednesday #caturday #WednesdayOnSaturday
Journalist: "What do you think is your greatest achievement?"
David Bowie: "Marrying my wife."
"But as a musician?"
"Nothing else matters."
連休だからとひさびさに同僚とモンハンしてたらこんな時間になってもた…
どうりで眠いわけだわ🥱
I now have 69 stars in Mario 64
이따 그리고픈게 있는데 잘 .. 까진 바라지 않고 그려낼 수 있고싶다
My preference would still be for the final writeup for this result to be primarily human-generated in the most essential portions of the paper, though I can see a case for delegating routine proofs to some combination of AI-generated text and Lean code. But to me, the more interesting capability revealed by these events is the ability to rapidly write and rewrite new versions of a text as needed, even if one was not the original author of the argument.
This is sharp contrast to existing practice where the effort required to produce even one readable manuscript is quite time-consuming, and subsequent revisions (in response to referee reports, for instance) are largely confined to local changes (e.g., modifying the proof of a single lemma), with large-scale reworking of the paper often avoided due both to the work required and the large possibility of introducing new errors. However, the combination of reasonably competent AI text generation and modification capabilities, paired with the ability of formal proof assistants to verify the informal arguments thus generated, allows for a much more dynamic and high-multiplicity conception of what a writeup of an argument is, with the ability for individual participants to rapidly create tailored expositions of the argument at whatever level of rigor and precision is desired.
Presumably one would still want to have a singular "official" paper artefact that is held to the highest standards of writing; but this primary paper could now be accompanied by a large number of secondary alternate versions of the paper that may be somewhat looser and AI-generated in nature, but could hold additional value beyond the primary document. (5/5)
Addendum: as portions of my text above have been quoted out of context, I would like to also draw attention to the various caveats listed at https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems regarding the extent to which one can draw broader conclusions about AI mathematics capabilities from the progress in solving Erdos problems.
Just woke up to see 2000+ #introduction s that have happened on #forkiverse
I wonder what's next @CaseyCasey Newton @pj
holy shit you guys are really using this thing!!!
@kevinKevin Roose Fediverse is pretty neat, once you get into it!
ChatGPT Health is a marketplace, guess who is the product?
Link: https://consciousdigital.org/chatgpt-health-is-a-marketplace-guess-who-is-the-product/
Discussion: https://news.ycombinator.com/item?id=46541533
The field of Cat Ergonomics is, at times, unfathomable to us humans. #cats #CatsOfMastodon #caturday
Journalist: "What do you think is your greatest achievement?"
David Bowie: "Marrying my wife."
"But as a musician?"
"Nothing else matters."
今日は35っていうのを意識しすぎて寄りの写真多めになってしまった
いつもの撮り方をできていないので僕の負けです
A WSJ visual investigation found that the Minneapolis ICE killing is one of 13 incidents where federal immigration agents have used deadly force against civilians in vehicles since July
www.wsj.com/us-news/vide...
Videos Show How ICE Vehicle St...
우웃
PEAK気になる
にゃん
今日のポトレ
３５１．２を初本格投入
@rufustheduckRufus Normal is in the eye of the beholder.
Welcome to Mastodon!
Too slushy and slippery to walk.. but here's Jasper to keep me company and distract from doomscrolling (sigh)
Spent the afternoon adding half-block support to the Spectre.Console canvas widget (if the terminal supports Unicode, that is).
This will reduce the space required for images rendered to the console.
Too tired to care. 😴🐾
#CatsOfMastodon #cats #caturday
There are now baby chickens in minecraft 💕
Para la cuesta de enero, apliquen las sagradas escrituras #viernesdememes
After over a decade of making webcomics, we’ve learned a thing or two.
One: people love to read funny stuff for free on the internet.
Two: You have to peddle your wares sometimes, even if it feels weird.
We post our comics for free but also have to make a living. That's where Patreon helps: Supporters get early comics, BTS content, and the satisfaction of knowing they're keeping us just functional enough to continue drawing instead of getting real jobs.
New information extracted from Snowden PDFs through metadata version analysis
Link: https://libroot.org/posts/going-through-snowden-documents-part-4/
Discussion: https://news.ycombinator.com/item?id=46564762
真宵ちゃん
근데 스타게이즈 15세로 내려가서 그런지 오프닝곡 엔딩곡 부터가 소년만화스러워진 것 같았는데 나만 그런가
普段は全裸なのに寝るときには服を着るムーミンたち、いつ見ても不思議だな。
I would get up, but
RE: https://infosec.exchange/@jerry/115868831401484405
My #caturday entry was a little early.
Finding the sunny spot.
"Okay, so this man used to be a YouTuber, but then he made a video where he went to a Japanese suicide forest, and people got mad at him. He sucks. Then he pivoted to like, boxing? And he has a brother who also sucks." https://www.mcsweeneys.net/articles/explaining-to-your-parents-why-certain-celebrities-are-famous
The secret behind Tux the Penguin! 🐧✨
Source: Pat Gelsinger and Linus Torvalds talk Linux
Look what arrived in the post!!!
むずい
UK government exempting itself from cyber law inspires little confidence
Link: https://www.theregister.com/2026/01/10/csr_bill_analysis/
Discussion: https://news.ycombinator.com/item?id=46565731
RE: https://infosec.exchange/@jerry/115868831401484405
My #caturday entry was a little early.
Evan Prodromou
Cat 🐈🥗 (D.Burch) 
leyrer
Dan Piponi
marius
