What is Hackers' Pub?

애플, 99만원 '맥북 네오' 공개…중저가·교육용 시장 겨냥
(샌프란시스코=연합뉴스) 권영전 특파원 = 애플이 중저가 맥북을 내놓으며 크롬북이 장악한 중저가·교육용 시장에 뛰어들었다.
https://www.yna.co.kr/view/AKR20260305003600091

#news #뉴스

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

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

오늘 주가를 보니 사람들 혹은 봇들이 패닉을 멈추고 정신을 차린 모양이구만 ㅋㅋ

I've seen a lot of people talking about the practice of code review in a way that I consider unrealistic lately. So here are my thoughts on what code review is—and isn't—for: https://blog.glyph.im/2026/03/what-is-code-review-for.html

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 😂

Au revoir, Eleventy via @mwtMatthew W. Thomas https://lobste.rs/s/nbsppn #javascript #web
https://hamatti.org/posts/au-revoir-eleventy/

@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

@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.

#bluesky #ATProto #SocialMedia #SharingButton #ShareButton

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

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

おっさんはキアヌ・リーブスを期待しちゃうんよ…かわいい色いいんよ

MacBook Neo - Apple
https://www.apple.com/macbook-neo/

@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.

https://matrix.org/jobs/devrel/

#FediHire #DevRel

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

#Activism #Data #Safety #Technology #Antireport

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)

🎉 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)

Overreliance

#webcomic #krita #miniFantasyTheater

@cwebberChristine Lemmer-Webber also, I can see this type of situation very, very easily spiraling into a classic "death by convenience."
How long until the primary engineers no longer understand the how their program is built or what motivated ostensibly insignificant decisions that eventually add up

I hope one day to see AI and quantum computing solve the most intractable, complex problem in digital technology, one that has defeated our most powerful programming minds: making web forms that don't care whether you put a space in the postal code.

Welp, there we go https://bsky.app/profile/why.bsky.team/post/3mgaqaaisfs2e

> Oh interesting, people who don’t know how to build software are getting mad at my post about building software. Cute.
>
> Let me be clear, over the next year, the job of software engineer will shift dramatically to no longer have typing syntax into an editor as its primary time sink.

https://kawkaw.app/
日本人做了一个虚构购物网站，可以随便买东西满足购物欲（当然不会真的花钱），能买的商品也好好玩，还可以看评论

Last boost: recursion actually can be hard because lots of very hard problems are naturally recursive, but the alternatives are even worse

Lots of renewed talk about static site generators 'round these parts (which is awesome), so let me do a little shoutout to Pelican https://getpelican.com @pelican

I chose this over 11ty (which I did try!) because it's written in Python, which is one of the few (the only?) languages I know(ish), and because I'm more comfortable with their upgrade schedule (more like yearly instead of what felt like weekly with 11ty - that just stresses me out - YMMV, of course).

Anyway, it's a great little SSG if the other ones out there don't float your boat. It powers my site at: https://mitten.lol

맥오에스 돌아가는 아이패드인 건 맞는데 게임 안할 거면 이거 안사고 못쉥긴 크롬북이니 서피스니 살 이유가 없음

RE: https://bsky.app/profile/did:plc:7zfcnnagck3iuyiuivk6ie7c/post/3mgar27upg52l