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.
일단 EWY와 EXMC인가 25% 털어냄. KDEF는 들어갔다가 그냥 다시 다 팔았음;; 금과 은은 계속 들고갈 예정;; 독고구님이 추천해주신 써클도 감사하게 잘 들고 있음 하하...
(I don't think the line "people who don't know how to build software" means me specifically but I did wonder for a bit there)
You can guess my opinions, but I have left them out of this particular thread. My goal here was actually just to see if my gut sense was correct that Bluesky was heading in a vibecoding direction. I think that feels fairly confirmed based off the discourse I highlighted and also what seems to be an indirect response from Bluesky's team (though I think that's more because of what 
@davidgerard wrote about it than what I did)
Anyway, gnarly time, but people can decide for themselves whether that aligns with their values. One thing seems for sure: it's a bet many orgs are making, and this will be one thing where in the ~decentralized space we'll be learning much more about whether that bet pays off and results in a better or worse ecosystem over time.
Okay but this actually does make him a monster, right
![Eric - Lewis for Leader
We're drowning in emails!!
Yes, I'm writing you an email about too many emails. I'm a Monster. [link to french version]](https://files.mastodon.social/media_attachments/files/116/172/145/710/128/624/original/bb074a5a9108b8c4.png){kind=small}
In prep for the Windows 12 rollout, now is a good time to get your town's Linux Install Parties planned and advertised.
Here's my town's https://fxbginstall.party/
Here's a quick how-to guide to spinning one up in your town:
Goals:
- Install Linux on your neighbors' laptops. This preserves older laptops ( #permacomputing #ewaste prevention). This removes people from one part of the surveillance economy. And it saves people money.
- The party should be geared towards NON-TECHIES. This is NOT a Linux Users Group. This is not for enthusiasts. This for folks who just want their computer to work and let them do the basics. Bend the tech to the people, not the people to the tech.
Date and Time:
- Shoot for monthly parties. Try for a specific day of the week. Say the "First Saturday" or "Second Sunday" of every month.
- Easy for folks to remember and if they miss one month, they'll be there the next month
- Try for between two hours to four hours for the event.
- Be consistent. Show up for the full time even if no one shows up. Some times it takes two or three meetings before people start to come regularly.
Location:
- Shoot for a public community area
- The best bet is your local library if they have rooms or conference areas.
- City community centers are good, too
- Also look for religious institutions, civic orgs, or fraternal orgs if need be. It needs to be open to
the public, though, with no requirements to push other agendas on to visitors.
Linux Distro:
- Shoot for a single distro that caters to folks who are new. I usually go for Linux Mint, but go with what you like. Focus on ease of use and familiarity for folks who arent used to Linux or various Desktop Environments.
Waivers & Backups:
- Everyone should sign a waiver. You keep the signed waiver. They can have a copy of the waiver
- Explain that while you and other volunteers will make your best attempt to install Linux, you make no guarantees. You may brick their machine accidentally. And no files that were on the harddrive will remain. Everything will be deleted.
- They should make backups of their files before you start the install process (either online/cloud, or local on a USB)
- Some folks want you to try for a dual-boot, but thats up to you if you want to offer it. Still let them know that you might brick the machine even (especially?) if you try for a dual boot install.
- Example Waiver: https://tldp.org/HOWTO/Installfest-HOWTO/legalprotection.html
Advertisements:
- Create a simple brochure website and fliers with info and time and date
- Use words like "Update to a modern, private, and fast operating system. No monthly subscription. No cost. Volunteers will install for you." Appeal to folks whose laptops cant upgrade. "Can't install Windows 11 or 12? Don't throw your laptop away, install Linux. It's free, up to date, and secure" Etc etc.
- Use your town's local social media (eg Town Subreddit, Online/Offline Classifieds, Library Announcements, Town Events Page)
- Post fliers in various coffee shops, libraries, bars, restrooms, and community centers
- Tell other similar groups (hacker spaces, maker spaces, linux groups, etc) both to spread the word and get volunteers
- Word of Mouth: Just tell everyone you run into. And tell them to tell everyone they know.
What to bring:
- Multiple install media/USBs with your Distro on it to install on the laptops
- A couple "Demo Laptops" with your distro of choice installed for people to try out (install games, office suites, common programs for folks to try it out - aim for what people use so various browsers including Firefox and Chrome, Zoom / Teams, LibreOffice, MS Office on browser, browser games, desktop games, etc)
- Your own laptops to do internet lookups and specialized downloads (weird stuff happens - its good to be prepared)
- Extension cables and power strips
- Cheap USBs for last minute backups prior to installation that folks can take home with them
- Some screwdrivers or tools to open up laptops for light repair if you like
What to do:
- Greet folks as they come in and invite them to try out the demos
- Encourage questions and discussions (AVOID DISTRO FLAME WARS OR WHICH WINDOWS MANAGER BEATS WHAT DESKTOP ENVIRONMENT FOR FUCKS SAKE! THESE ARE NORMAL PEOPLE DONT SCARE THEM AWAY WITH YOUR NERD SHIT!!!!)
- If folks brought laptops for installation explain and have them sign their waivers, make sure they know all files will be deleted, ask if they've made backups, and then install!
- Help folks troubleshoot issues or install programs for those that already have Linux installed and need community support
That's it. Make it a regular occurrence and you'll get folks coming in for fresh installs monthly and to ask for help with previous installs. Also a really chill way to meet other folks and have a lovely afternoon.
If you have any questions, post up in this thread.
If you have any suggestions or tips and tricks that have worked at your own Linux Install Party, share with us as well!
#ewaste #linuxinstallparty #installparty #solarpunk #windows12 #windows11 #linux
Libre Solar – Open Hardware for Renewable Energy
Link: https://libre.solar
Discussion: https://news.ycombinator.com/item?id=47204994
I've broken down the risks and potential response to California's new(ish) Digital Age Assurance Act. It has a giant open source gap that, if fixed, could allay many concerns.
애플, 99만원 '맥북 네오' 공개…중저가·교육용 시장 겨냥
(샌프란시스코=연합뉴스) 권영전 특파원 = 애플이 중저가 맥북을 내놓으며 크롬북이 장악한 중저가·교육용 시장에 뛰어들었다.
https://www.yna.co.kr/view/AKR20260305003600091
Using LLM backed codegen to falsely relicense from copyleft licensing like LGPL to anything resembling MIT/BSD style licensing isn't just laundering code - it's an active attack on the labour aspect of the free software movement. It is an attempt to undo forcing cooperation by using the existing copyright system, subverting the very commons which they plundered to create these tools.
This is why playing by the rules rarely gets you change.
Big conversation going on in social psych I am mostly just reading from the sidelines. (being not a social psychologist, and in fact, was pretty soundly mocked in grad school by one of the social psychologists when I expressed interest in the subfield). I've read and enjoyed the work of everyone being referenced here, so it's interesting reading for sure
https://marycmurphy.substack.com/p/the-report-of-stereotype-threats
RE: https://mastodon.social/@effaustin/116132076492780407
📅 Save the date! Nate Bartram and Jonah Aragon will be in Austin, TX on March 13 to host a live, in-person episode of 🔴 This Week in Privacy; then attend EFF-Austin's party at The Butterfly Bar/Vortex!!
If you're in town, come say hi to 
@natebNate Bartram and 
@jonahJonah Aragon, and find out more about privacy from all the excellent guest speakers 💛
#Austin #EFFAustin #Party #AustinTX #EFF #Privacy #PrivacyGuides #Events
iranpol, uspol
MacBook Neo ポップでかわいい感じのデザインだわね。
두쫀새 #뜨개
A satellite imagery analysis conducted by Bellingcat shows that at least 15 police stations or police-related buildings were targeted in strikes conducted in Tehran between March 1 and March 3. https://www.bellingcat.com/news/middle-east/2026/03/04/satellite-imagery-reveals-strikes-on-iranian-police-stations/?utm_source=mstdn
😑..
Big conversation going on in social psych I am mostly just reading from the sidelines. (being not a social psychologist, and in fact, was pretty soundly mocked in grad school by one of the social psychologists when I expressed interest in the subfield). I've read and enjoyed the work of everyone being referenced here, so it's interesting reading for sure
https://marycmurphy.substack.com/p/the-report-of-stereotype-threats
So, how do we say "social web" in French?
Do not trust the WWW
오늘 주가를 보니 사람들 혹은 봇들이 패닉을 멈추고 정신을 차린 모양이구만 ㅋㅋ
Prove me you're a nerd with one sentence! 
The best part of losing your job when you work from home is using your now former employers laptop to look for a new employer, until they send the box for it 😂 (don't worry, I'm good, it's actually a relief haha)
But the literal reason I was let go is that they think they can do all the shit we do with new AI bullshit. I highly doubt that.
So, fuck your AI nonsense. I've worked at that place for like, 14 years and they're fools if they think they can automate it and still get claims paid.
But good luck, assholes 😂
穆罕默德從西元六一○年蒙受天啟，六三一年掌握麥加，以約二十年的時間統一了整個阿拉伯半島，因此，他不僅只是先知、宗教領袖，他還是政治領袖。不像耶穌只需為信徒的精神生活提供指引，穆罕默德還得籌劃稅收、外交談判等政治事務，甚至是發動戰爭。
@nixCraftnixCraft 🐧 Something to run my GPU emulator on top of? Maybe then boot Linux and run an emulated instance of MacOS System 7 in the browser?
Monuses and heaps. ~ Donnacha Oisín Kidney. https://doisinkidney.com/posts/2026-03-03-monus-heaps.html #Haskell #FunctionalProgramming
Mechanizing the proof of a borrow calculus. ~ Alban Reynaud Michez. https://hal.science/hal-05527340v1/file/article.pdf #RocqProver #ITP
Good News! 🚨👀
I am delighted to finally announce today what I've been working on in the past few weeks:
Privacy Guides' new Activism section! 
https://privacyguides.org/activism/
The Activism section offers a new way to empower the digital rights community. It will progressively grow with more tools to support the community in its privacy activism effort, both for individuals and organizations 💛
As Privacy Guides' new Activism & Outreach Lead, I will be working hard on developing this section even further in the coming weeks, adding many more tools to support our community.
I hope this can be a helpful resource for anyone who is ready to fight for privacy rights ✊🔒
#PrivacyGuides #Activism #Privacy #DigitalRights #HumanRights
@Em0nM4stodonEm 
This is goddamned FANTASTIC!!!!
If you have a "Share on Bluesky" sharing button on your website, and you only link to bsky.app, you might want to think about how to accommodate people who use witchsky.app, or blacksky.community, and soon a Northsky version.
A formally verified constructive proof of the consistency of Peano arithmetic using ordinal assignments. ~ Aaron Bryce, Rajeev Goré. https://arxiv.org/abs/2603.00487v1 #CoqProver #ITP #Math
You may not need that “AI” voice thing that reads your web pages aloud to users. It comes free in the browser:
• Edge’s Read Aloud (Ctrl + Shift + U),
• Firefox’s and Chrome’s reader mode text-to-speech,
• Safari’s Speech feature.
Stop adding trackers to your sites. Don’t add WCAG risk.
SorryDB: Can AI provers complete real-world Lean theorems? ~ Austin Letson et als. https://arxiv.org/abs/2603.02668v1 #LeanProver #ITP #AI
The purpose of proofs. ~ Lance Fortnow. https://blog.computationalcomplexity.org/2026/03/the-purpose-of-proofs.html #LeanProver #ITP #AI4Math
Advanced Terraform performance optimization https://lobste.rs/s/dzh1vd #devops
https://www.bejarano.io/terraform-performance/
Doc: I’m gonna need you to read between the lines
Me: okay
Doc: insurance typically only covers this lab work for people who have been told they have a vitamin D deficiency
Me: okay
Doc: so, have you ever been told you have a vitamin D deficiency
Me: Funny you should mention it, I have.
Completing the formal proof of higher-dimensional sphere packing. https://www.math.inc/sphere-packing #LeanProver #ITP #AI4Math
진성 사교도들이 주술적으로 세상을 멸망시킬 음모를 꾸미고 있는 게 우리가 현재 살고 있는 현실이라는 사실이 너무 당황스러워서 감정이 정확히 매겨지지조차 않는다.
RE: https://bsky.app/profile/did:plc:hochbfqogx72mijnvix7p4u7/post/3mg7wmpytos2h
The sphere packing project (Post 1: The story). ~ Chris Birkbeck Sidharth Hariharan Seewoo Lee. https://leanprover-community.github.io/blog/posts/SpherePacking-1 #LeanProver #ITP #Math
Polymarket has pulled the bet on a nuclear detonation happening in 2026. There were obv concerns that a platform being used by insider traders would not mix well with a bet encouraging the detonation of a nuke. Polymarket didn't respond to request for comment
https://www.404media.co/polymarket-pulls-bet-on-nuclear-detonation-in-2026/
Formalising sphere packing in Lean. ~ Chris Birkbeck, Sidharth Hariharan, Gareth Ma, Bhavik Mehta, Seewoo Lee, Maryna Viazovska. https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/ #LeanProver #ITP #Math
From 
@nelsonNelson Minar
GitHub status
https://mrshu.github.io/github-statuses/
A more honest third party monitor of GitHub services. The vital service has under 92% of uptime for the last three months. Rumor is they are migrating everything to Azure and it is going very badly
When AI writes the world’s software, who verifies it? ~ Leonardo de Moura. https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html #AI #LeanProver #ITP
All other things equal, I would prefer to live underground
@nixCraftnixCraft 🐧 it's ai slop. Claude generated it
AI, green energy inference
I got this setup working at home, to experiment with and help me to talk with colleagues about potential alternatives to Copilot/OpenAI/Anthropic.
It's using Regolo.ai, a 100% green energy inference provider with zero water waste, based in the EU: https://regolo.ai/the-environmental-impact-of-artificial-intelligence-why-building-a-sustainable-ai-matters/
I'm using their open weight models via OpenCode, which also works inside VS Code.
It doesn't solve all the problems with #AI of course, but it seems preferable to the default Big Tech options. WDYT?
Thanks to @Em0nM4stodonEm for the work 🙏🏴
@autonomysolidarityAutonomie und Solidarität @Em0nM4stodonEm Yes, great work! We definitely need more awareness in that direction. Less Bigtech, more independency and the tools to fight for freedom, privacy and security.
The cat is out of the box: 
@matrixThe Matrix.org Foundation is looking for a new Thib!
If you think you can be a good fit for the role, please send me an email explaining why and attach your CV.
If you tick most of the boxes but not all, please reach out nonetheless. It’s a tall order, but we have fantastic volunteers and a great handbook to help you settle into the role.
SURVEILLANCE SELF-DEFENSE
TIPS, TOOLS AND HOW-TOS FOR SAFER ONLINE COMMUNICATIONS
„This is Surveillance Self-Defense: our expert guide to protecting you and your friends from online spying.
Read the BASICS to find out how online surveillance works. Dive into our TOOL GUIDES for instructions to installing our pick of the best, most secure applications. We have more detailed information in our FURTHER LEARNING sections. If you’d like a guided tour, look for our list of common SECURITY SCENARIOS.…“
Tranks to 
@effElectronic Frontier Foundation
#Data #Privacy #SelfDefence #Technology #Surveillance #Repression
The Guides and Tools for Privacy Activists project from #Privacy Guides offers a new way to empower the digital rights community.
This section contains information to help you become a better defender of privacy rights, both for individuals and organizations.
Privacy Activist Toolbox:
https://www.privacyguides.org/en/activism/
Thanks to @Em0nM4stodonEm
🎉 Applications for the Sovereign Tech Fellowship are officially open!
What’s new? For the first time, community managers, and technical writers can apply alongside open source maintainers until April 6, 2026, to become Fellows.
The #SovereignTechFellowship invests directly in the people behind the code, supporting key experts whose work underpins the health and stability of critical components in the #opensource ecosystem.
(1/2)
Our latest blog post has all the information and updates about the program:
➡️ https://www.sovereign.tech/news/2026-fellowship-applications-open
Spread the word, share this post, and tag each other in the comments. We look forward to receiving your applications!
#SovereignTechAgency #DigitalInfrastructure #FOSS #Maintainers #Hiring #FOSSJobs
(2/2)
Jan Lehnardt 
Glyph
Ael Yokan
@
Stef Walter
jnkrtech
Olivier Forget
@
