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.
おやしゅみ…… 
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
I replaced Windows with Linux and everything's going great
Link: https://www.theverge.com/tech/858910/linux-diary-gaming-desktop
Discussion: https://news.ycombinator.com/item?id=46566465
잠이 안와서 두찜 사이드메뉴 보다가 굉장히 어이없는 메뉴를 목격했다. 납작만두에 '서울식'이라는게 존재가 가당키는 한거야??
Welcome, new Forkiverse followers! Here's my guide to Fediverse norms and culture from a couple of years ago: https://www.wired.com/story/how-to-get-started-use-mastodon/
weird little personal/medical life update
I donated a kidney on Wednesday! I got home from the hospital yesterday and am doing great.
I donated anonymously so I don't know who the recipient is, but I was told the kidney started working immediately and they are doing well too.
자러가겠습니당 다들 쫀새벽 되세요~!!
Usenet was where conversations took place before social media came about.
@ternaard@nl.fedimeteo.comTernaard - FediMeteo@ternaard@nl.fedimeteo.comTernaard - FediMeteoRE: https://mastodon.glitchy.social/@yehor/115867326330055728
Really like how this connects the ephemeral feel of social media to the physicality of the equipment it runs on.
I wonder if DigitalOcean would let me take a photo of the server rack my Mastodon server runs on, hm.
근데 스타게이즈도 스탬피드처럼 전개 너무 빠를 것 같다는 불길한 예감이 들어… 당연함 이거 나름 긴 서사가 있는데 그걸 납작하게 만들려고 하다보니
How will the miracle happen today?
Link: https://kk.org/thetechnium/how-will-the-miracle-happen-today/
Discussion: https://news.ycombinator.com/item?id=46489514
Cooles Projekt eines #Amiga Fans und richtig gut umgesetzt. Er hat ein kleines Mauszeigermuseum gebastelt – eine Sammlung aller #Mauszeiger aus 100.000 Disketten-Images, von 1984 bis heute:
아무튼 우리 주인공 님들 최애캐의 운명은 어떻게 될까요 트라이건 스타게이즈 끝까지 지켜봐주세요(지금은 ㄹㅇ 이말밖에
팔란티어, 美 ICE 추방작전 핵심으로 부상… CEO “이민 통제는 진보적 가치”
데이터 분석 기업 팔란티어가 미국 이민세관단속국(ICE)의 대규모 추방작전을 위한 핵심 기술 제공자로 부상했다. 3일(현지 시각) 워싱턴포스트에 따르면 팔란티어의 소프트웨어 '이민 라이프사이클 운영 시스템'이 불법 체류자 추적·식별·추방 절차 전반에 투입되면서 트럼프 대통령이 강화한 대량 추방 기조의 중추적 역할을 하고 있는 것으로 나타났다.
팔란티어, 美 ICE 추방작전 핵심으로 부상… CEO ...
팔란티어, 美 ICE 추방작전 핵심으로 부상… CEO “이민 통제는 진보적 가치”
데이터 분석 기업 팔란티어가 미국 이민세관단속국(ICE)의 대규모 추방작전을 위한 핵심 기술 제공자로 부상했다. 3일(현지 시각) 워싱턴포스트에 따르면 팔란티어의 소프트웨어 '이민 라이프사이클 운영 시스템'이 불법 체류자 추적·식별·추방 절차 전반에 투입되면서 트럼프 대통령이 강화한 대량 추방 기조의 중추적 역할을 하고 있는 것으로 나타났다. https://biz.chosun.com/international/international_general/2025/12/04/2M37SNROMVD4NNHMTBR7OUEYE4/
Still achey and having a hard time thinking but my temperature is down a bit at least. I am now lukewarm bot. 
Happy #caturday 🐱 #FosterKittens #cats #CatsOfMastodon
@inthehandsPaul Cantrell The feds will pull an inside job soon enough, I reckon. Or ICE'll accidentally shoot one another, as the Guard did in Detroit decades ago. Or one of them will have a heart attack and drop dead, and the feds will blame something something. Or one of their cars will blow up, and the feds will claim civilian sabotage. They have several options.
US politics; Star Wars; gloomy
@BartokNo Exceptions I can definitely see the regime using ‘Andor’ S2E9 as their playbook (but with IFVs instead of riot control droids).
おやすみ～
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."
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)
Stefano Marinelli
🛡️ 
Evan Prodromou
leyrer
Dan Piponi
