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.
Challenges in (auto)formalizing category theory. ~ Emily Riehl. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/EmilyRiehl.pdf #ITP #LeanProver #Math
May's tech-hype predictions for 2026
May's tech-hype predictions for 2026 onwards:
- The month after major public pensions and governments buy huge stakes in the AI companies (OpenAI, Anthropic, etc), the US AI bubble will start crashing. This will happen in 2026.
- At this point, free access to LLMs will go away. Corporate LLMs will raise their prices by at least 100x to make up for the loss in users and casual revenue.
- Unfortunately, this^ means AI coding /marketing wouldn't go away. It'd just be far, far more expensive and require deeper approvals. Your boss will have AI and you won't be able to summarize it.
- China and the rest of BRICS will take over the free AI market because they can. Perfect opportunity for propaganda and cyber warfare here.
- Many software products that wrap base commercial models will see their operating costs skyrocket. They'll basically need to rip it all out, or embed a cheaper model.
- Essentially, companies who haven't built out a proper data/AI team will fail unless their base non-AI product is still relevant.
- Small companies will die when they fail to transition out of this mess. There will be a wholesale buyout, like the dot com crash. This means deeper consolidation at the FAANG level.
- We've had essentially an entire generation of juniors who had a cheap/free magical crutch for years. How will you train people to read, write and code again across every industry?
- The costs of cloud services will also skyrocket, since they need to pay off their bullshit AI hardware/data centre investments. We may see a return to on-prem/hybrid IT. (This will be REALLY interesting for how software evolves from the current SaaS model.)
- Some people will start hyping quantum, but we're at least 2+ hype cycles away from that.
- (This one's a wild guess.) The next hype cycle is probably going to be in hardware/wearables/physical space, but that's ridiculously expensive to get into. It'll basically just be marketing.
- The techbro doomers will claim to have predicted this the whole time. They'll have more than enough money to start the next hype cycle for the next round of VC/PE hot potato.
- Western governments are still going to try to implement "AI" even after the crash and the prices go up.
May, this list of predictions are depressing as heck.
Yeah, but in a way, all of these things are already here. Nothing is new. It's simply the continuation of what's going to keep happening:
- Decreased value attributed to human labour.
- Consolidation of wealth and power.
- Profiting off public funds.
The whole game is hot potato, and the people left holding the bag are the public, the workers, and the least savvy investors. We're not even talking about profits anymore. The game is now growth and being able to sell something for perceived inflated value. What could be vs reality.
If you go back through the list and reframe every single item as a labour issue, it'll all make a lot more sense.
The only way to break the bullshit hype cycle is for us to redefine the meaning of "value", and to end the power that corporations and shareholders can exert on the public institutions that were always meant to serve the people.
Doing some positive affirmations on myself
CV:津田健次郎に生まれたかった
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
@NanoRaptorNanoraptor v4 final FIXv2.psd cycling by the river and a crow landed on the bike path in front of me, jumped in my way when i tried to go around so i stopped.
it jumped up and down until i dismounted and followed it to a nearby road where some of it's friends were squawking, all clustered around an endangered species of tortoise that couldn't mount the kerb to get to the river.
picked up the tortoise and walked it to the river, it swam off and the crows happily cawed and then all flew off.
@az @NanoRaptorNanoraptor v4 final FIXv2.psd Well hell, that's a real "humans are the fae-folk to animals" moment.
What's your most memorable experience with a wild animal, whether on purpose or by accident?
I think it is telling that we are about three years into the AI craze and, still, every single time someone says to me "I asked ChatGPT ___ " or "The chatbot told me ____" I know they are about to say something completely stupid and devoid of facts. Every single time.
For Pluribus fans, the song from the most recent episode is "Esperanza" by "Hermanos Gutiérrez."
https://m.youtube.com/watch?v=DrIQLiB3HPI
You're welcome.
This show is so well written and made. Levels.👍🏿
A US character upgrades from a cop car to a Rolls, while a South American one downgrades from a convertible to walking the Darién gap?
(Rare work post, you know what I do)
Yes I'm a fan of the creative team that produces Pluribus. Yes, it's an Apple TV show. Because yes, Android users can get the Apple TV App on Google Play, subscribe to it, and watch the show.
Yes I still ask the interview question "Do you like creative people?"
The X-Files producers had a problem: Season 1 was a big hit, but where would they get ideas for another 24 episodes for season 2?
A sci-fi nerd / Twilight zone fan from Virginia went to film school, saw season 1 of the X-Files, and thought it was the coolest show ever. He wrote a fan script for it.
The X-Files producers saw his fan script, and said "This is really good!" So they hired him to be a writer for X-Files season two.
He worked on the X-Files for 7 years.
Then he had a weird idea for a disturbed show about a high school chemistry teacher that becomes a meth dealing drug kingpin.
Great Movies and TV, are made by great Movie and TV makers. Creative people, working together, to produce something new.
Human beings love stories. Some of us go so far as to say that human beings need stories.
Sometimes I think that people forget that our role is to support creative people.
I've never met Vince Gilligan. I don't know him personally. I don't know if he's a nice person.
I only know his work.
Or more accurately, the output of his work. The tiny bit that makes it through all the rough drafts and bad takes, and didn't get cut in editing, and that studios released.
And I know that he didn't produce his shows by himself. He was part of a team, that is in turn part of an entire ecosystem of people and companies and organizations that support the production of creative work that we all enjoy.
I like creative people, and the ecosystem that supports them.
No Twilight Zone? No X-Files.
No X-Files? No Breaking Bad.
No Breaking Bad? No Pluribus.
It's easy to see how the world would be missing something if those never happened.
What's harder to see, is that there are other stories that didn't happen because we didn't support Black producers in 1959.
"Capitalism offers freedom of choice! Don't you want to have choice?"
I don't know if be exploited or starve is much of a choice.
@ColesStreetPotholeColes Street Pothole 💀 They won't because they haven't fully cashed out yet. When it does, tech will crash, but in the ways that hurt workers the most. The big time investors will hardly feel it. Money doesn't mean anything to them.
@mayintorontoMay Likes Toronto It's wild to just sit back and watch this cycle with crypto, AI, whatever, and not be able to do anything about it. So much commerce is now driven by folks seeing "the big payout" rather than *actually improving people's lives* that it makes me want to walk into the sea.
The weather was much better today than yesterday. No more grey in grey, no drizzle, even a bit of the sun peeking out.
So, I've been down to the beach at the mouth of the river elbe, today again getting my head clear, taking some photos and cleaning it up a wee bit.
I was (unfortunately) very succesful... Gathered a lot of washed up waste plastics. Wrappings and food boxes, a coke can but also some remnants of fishing nets. In the end it filled the whole bag I had with me.
Now for some tea and christmas cookies... 🙂
#beach #northern #germany #photo #nature
why the fuck does the UK not number its trains anyway
special interest infodump that may be safely ignored if you were just venting
@whitequark✧✦Catherine✦✧ It does! Individual locomotives all have unique five- or six-digit numbers, e.g. 43003, always printed somewhere on the body, where the first two or three digits represent the model and the last three are just sequential identifiers; and timetabled services are identified internally by train reporting numbers (informally "headcodes"), e.g. 1A37, though those are only unique within a particular region on a different day, not nationally. There are plenty more less widely-used identifier schemes too. Unfortunately most of this is not widely exposed to passengers through official channels, but there are plenty of enthusiast sites like RTT that expose open data
why the fuck does the UK not number its trains anyway
@whitequark✧✦Catherine✦✧ The UK does number trains! They just believe the public wouldn't understand it.
Check out https://www.realtimetrains.co.uk/ which exposes the data.
For example, the Kings Cross to York service leaving at 1106 is service 1N83.
Long thread (sorry 🙄)
For Pluribus fans, the song from the most recent episode is "Esperanza" by "Hermanos Gutiérrez."
https://m.youtube.com/watch?v=DrIQLiB3HPI
You're welcome.
This show is so well written and made. Levels.👍🏿
A US character upgrades from a cop car to a Rolls, while a South American one downgrades from a convertible to walking the Darién gap?
The weather was much better today than yesterday. No more grey in grey, no drizzle, even a bit of the sun peeking out.
So, I've been down to the beach at the mouth of the river elbe, today again getting my head clear, taking some photos and cleaning it up a wee bit.
I was (unfortunately) very succesful... Gathered a lot of washed up waste plastics. Wrappings and food boxes, a coke can but also some remnants of fishing nets. In the end it filled the whole bag I had with me.
Now for some tea and christmas cookies... 🙂
#beach #northern #germany #photo #nature
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
レンズが結露し始めたので撤収
取り敢えず大量の湿気取りと一緒にケースに入れてはみたけど...
何事も起きないといいけど
Happy Hanukkah to all those celebrating over the coming days!
Edit: This post was scheduled in advance before we knew about the tragedy on Bondi Beach. We did not mean to cause offence by posting without acknowledging it. Our thoughts are with those directly affected by the tragedy and Jewish communities worldwide.
it's kind of unbelievable that in 2025 the "instant messaging" problem is *less* solved than it was in 2010
@whitequark✧✦Catherine✦✧ for a brief, glorious moment ~20 years ago we had Pidgin/Gaim/lib{pidgin,gaim} and it worked for almost everyone
Apple Maps claims it's 29,905 miles away
Link: https://mathstodon.xyz/@dpiponi/115651419771418748
Discussion: https://news.ycombinator.com/item?id=46262950
낮 동안 우리를 활기 있게 하신 저의 주님, 날아다니는 스파게티 괴물 님,
당신과 함께 있으리니, 자는 동안도 지켜 주시어 편히 쉬게 하소서.
"14. 저의 주님, 날아다니는 스파게티 괴물 님, 세상의 시끄러움 속에서도 이 밤만큼은 조용히 당신과 함께 머물게 하소서."
🍝 날아다니는 스파게티 괴물 님께서 여러분과 함께.
😋 또한 주교의 면발과 함께 하소서.
🍝 기도합시다.
저의 주님, 날아다니는 스파게티 괴물 님, 이 밤을 편히 쉬게 하시고, 거룩한 죽음을 맞게 하소서.
2025-12-15T02:00:06+09:00
#날아다니는스파게티괴물님 #성면 #면발 #스파게티 #라멘 #파스타파리안 #성무일도 #성무일과 #매일전례
#FlyingSpaghettiMonster #FSM #HolyNoodle #Noodle #Spaghetti #Ramen #Pastafarian #NoodlyAppendage #Pastafarian #FSMism #FSMist #DivineOffice #DailyOffice #Breviary
Willison on Merchant's "Copywriters reveal how AI has decimated their industry"
Link: https://simonwillison.net/2025/Dec/14/copywriters-reveal-how-ai-has-decimated-their-industry/
Discussion: https://news.ycombinator.com/item?id=46261998
Joey and Sheena every morning #cats #catsofMastodon #silentSunday
The "online age verification is just like showing ID" talking point falls apart under the slightest scrutiny. Our new post breaks down why: https://www.eff.org/deeplinks/2025/12/why-isnt-online-age-verification-just-showing-your-id-person
墨西哥參議院以76票贊成、5票反對、35票棄權通過提案，此前提案已在眾議院通過，將從明年起對中國等未與墨西哥簽訂貿易協定的亞洲國家進口產品加征最高50%的關稅，多數商品關稅稅率將達35%。涉及的產品主要有汽車、汽車零部件、紡織品、服裝、塑料和鋼鐵等
墨西哥參議院通過法案 明年起對中國等商品加征最高50%關稅 https://www.rfi.fr/tw/美洲/20251211-墨西哥參議院通過法案-明年起對中國等商品加征最高50-關稅
はあ
Lessons from the PrimeNumberTheorem+ project and real analysis game. ~ Alex Kontorovich. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/AlexKontorovich.pdf #ITP #LeanProver #Math
상위 2%
What's your most memorable experience with a wild animal, whether on purpose or by accident?
@NanoRaptorNanoraptor v4 final FIXv2.psd cycling by the river and a crow landed on the bike path in front of me, jumped in my way when i tried to go around so i stopped.
it jumped up and down until i dismounted and followed it to a nearby road where some of it's friends were squawking, all clustered around an endangered species of tortoise that couldn't mount the kerb to get to the river.
picked up the tortoise and walked it to the river, it swam off and the crows happily cawed and then all flew off.
I will not post screenshots of reddit comments I will not post screenshots of r
もうなにもそのつもりじゃなかったんだけどな
しらね
首吊ってくるか
Small watercolor painting by my wife. #SilentSunday
So, computers can prove theorems (in Lean), what’s next? ~ Alex J. Best. https://github.com/pitmonticone/ItaLean2025/raw/main/presentations/AlexBest.pdf #AI #Math #ITP #LeanProver
i love the 
@gnome@floss.social desktop environment 
Em 
わしゃ
Evan Prodromou
jnkrtech
Stefan Bohacek
Stefano Marinelli
Quincy
