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.
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."
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...
@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 💕
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
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.
아이폰은 솔직히 매 1년마다 교체하는 배터리 구독제 실행해야 하는 거 아니냐. 리터럴리 매 1년(약 13개월. 보증기간을 1달 넘긴 시점)마다 79%에 도달하는데 :(
Finding the sunny spot.
here's something I'd not have thought of-- putting a battery pack in the cooktop, so now it can deliver 10kW to a burner
Yet another reason to tut at the Mercator map projection
https://brilliantmaps.com/mercator-vs-true-size/
good job everyone
I replaced Windows with Linux and everything’s going great https://www.theverge.com/tech/858910/linux-diary-gaming-desktop
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
Current status: after working on the accessibility and accessibility barriers for libraries, I also get to work on that topic for museums. Can't wait. For now, I have nothing public on those topics, but, I have tones of content. I hope to get time to talk and write more about those this year!
Too slushy and slippery to walk.. but here's Jasper to keep me company and distract from doomscrolling (sigh)
Look what arrived in the post!!!
@bert_hubertBert Hubert NL 🇺🇦🇪🇺🇺🇦 I think this can use some extra attention: The .be registry wants to leave AWS and has created an RFP with lots of details of what they need. I think this could be the first sheep over the dam. I hope you can bring extra attention to this and a precedent can be created.
https://www.dnsbelgium.be/en/news/dns-belgium-leaves-aws
@bart @bert_hubertBert Hubert NL 🇺🇦🇪🇺🇺🇦 
@fjFrédéric Jacobs If you want to be more alert - I recently looked into gTLDs and pretty much all of them are ultimately owned by one US company (Donuts Inc) - so look out for where your registry is - they might be subject to US law as well…
Updated Debian 13: 13.3 released https://www.debian.org/News/2026/20260110 #debian #trixie #01
Been seeing a survey going around fedi this morning about Discord's use of AI, but it's hosted on some other unrelated website, there's no mention of it on discord's blog and the first time I've heard of it is from mastodon, so, like, anybody got a source for this, or is this just someone playing games?
“What are you going to do, evict me?” - Bear who was evicted
RE: https://bsky.app/profile/did:plc:7migibs2fyj2psyy6lmkul3h/post/3mc234yjr6s2m
Scientists discovered that some dogs, known as Gifted Word Learners, can passively pick up language and may possess toddler-level cognitive skills.
https://www.404media.co/gifted-dogs-learn-human-language-study-finds/
Wrote a custom C++ engine to render raw WAD geometry directly to the DAC.
Pure vector output, 1D occlusion culling, no rasterization tricks.
Running on a MOTU M4.
Anders Fogh Rasmussen served as secretary general of NATO from 2009 to 2014, after nearly eight years as the prime minister of Denmark.
"Eventually, that would also free up resources both in the U.S. and Europe, to confront the real long-term global challenge, namely China."
https://www.voanews.com/a/former-nato-chief-warns-against-axis-of-autocracies-/7447098.html
Org Mode Syntax Is One of the Most Reasonable Markup Languages to Use for Text
Link: https://karl-voit.at/2017/09/23/orgmode-as-markup-only/
Discussion: https://news.ycombinator.com/item?id=46564116
Dumb Dude, "How will immigration laws be enforced?"
Cool Dude, "They're misdemeanors, Dumb Dude. A fine can do the job of an army of the most aggro divorced guys in the country."
(But call me when we're mustering an army of former gifted kids to enforce all of our dusty anti-trust laws.)
PURRTRAN - ᓚᘏᗢ - A Programming Language For People Who Wish They Had A Cat To Help Them Code
This is very funny, found (of course) via a Japanese website. 😹
Love this: "Hex only works 4 hours a day. This limitation is due primarily to the fact that Hex is incredible lazy and will often nap for long periods of time. During these naps, Hex is not available to assist you with your programming tasks. Realistically, Hex is only available between 5-8 AM and 5-11 PM local time."
“What are you going to do, evict me?” - Bear who was evicted
RE: https://bsky.app/profile/did:plc:7migibs2fyj2psyy6lmkul3h/post/3mc234yjr6s2m
@ada
I've never tried pickled pears, sounds interesting!
Tender cactus has a texture like a steamed zucchini/courgette but it's slimy like okra. The flavor is mild but satisfying. It used to be a fairly common "vegetable" around here but not as many people eat cactus these days. I like it in tacos, with beans and rice and cactus is fantastic in scrambled eggs. 😋
It would be a betrayal of her legacy to let them scare us with her death.
leyrer
Dan Piponi
Cat 🐈🥗 (D.Burch) 
marius
GENKI
Paolo Melchiorre
