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.
其他国家的移民政策很多都治标不治本，只有川总牢牢抓住要害，你们移民过来说到底不就是觉得美国好，我把美国搞烂了你们自然就走了 
Who remembers HappyPenguin / The Linux Game Tome
@cwebberChristine Lemmer-Webber
I do,
That was actually the reason I bought linux.pizza is the first place. I talked to the original owner of happypenguin.org in 2017 about buying the domain, and build a refreshed website for it.
He stopped responding sadly, and the domain expired - and a gambling site bought it.
Patterns for Modeling Overlapping Variant Data in Rust https://lobste.rs/s/bialze #rust
https://mcmah309.github.io/posts/patterns-for-modeling-overlapping-variant-data-in-rust
weh
🌍 Accessibility matters for everyone.
Whether permanent or temporary, disability can affect us all at some point in our lives. That’s why accessibility isn’t a bonus feature: it’s a necessity.
At Jami, we’re committed to making private communication truly inclusive. From screen reader support to keyboard navigation, here’s where we stand and where we’re going: https://jami.net/how-accessible-is-jami/
#Accessibility #Inclusion #TechForGood #OpenSource #Jami #PrivacyMatters #AccessibilityMatters
More posts coming soon, just setting this up as an account for the spicier content that isn’t a great vibe-match for my main. 💋
Screening my follows and I don’t fuck with fascists or TERFs, so if those apply to you please prescreen yourself out into the bin.
"The moment a user asks, 'Wait, why can't I go there? You said these were open,' we've failed on our promises. That's where we are right now."
I wrote about adversarial interoperability and the importance of making the most powerful parts of the open social web more accessible to users.
BREAKING: NETANYAHU'S plane reportedly FLED to GREECE.
네타냐후 비행기가 그리스로 튀었다고. 최소한 본인은 아니더라도 (자기 가족이라도 태워서) 비행기는 피난 간 걸로 보임.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3lrj4cwieo227
I'll tip my hat to the new Constitution
Take a bow for the new revolution
Smile and grin at the change all around
Pick up my guitar and play
https://youtu.be/rtHshBWFRyg
Made a new friend today at Ottawa's Natural History Museum!
We're talking about the buffer cache. #bsdcan
How on earth is kicad installed from Debian stable (bookworm)?! The debian repositories have a three year old version (6). The kicad "download" page just says "apt install kicad", there's no info on what repository to use/add to sources.list from Kicad!
I've got it installed on a kubuntu machine, that uses a ppa something repository peculiar to kubuntu. No help there.
Can't download from kicad?
Then there's a big red warning about ditching Wayland because it's so buggy (kicad uses in *hard*).
Things are not good in the OSS world. What stupid bickering this X vs Wayland crap is.
Oh, the ⁂ stickers are here! I’ll have some to sell in #Rennes tomorrow and #Montreuil the 22/06.
In-person delivery only for now!
@FediverseSymbolFediverse Symbol ⁂ #fediverse #stickers
Copilot, The Good Parts: Efficiency | by Rob Conery.
Sign idea:
No Kings except this guy, and even then for only ~7 minutes
Maryna Viazovska is launching a project to formalize a proof of her well-known result that the E_8 lattice is the optimal sphere packing in eight dimensions. The announcement can be found at https://leanprover.zulipchat.com/#narrow/channel/113486-announce/topic/Sphere-Packing/with/523951357 where you can also find a talk by Viazovska describing the project.
Among other things, the project will develop some of the classical theory of modular forms and complex analysis, which is only partially in Lean's Mathlib at present. For instance, Cauchy's theorem is only currently available for rectangular contours, which means that the valence formula for modular forms (which is usually proven using Cauchy's theorem applied to a non-rectangular contour) is not yet formalized.
I saw a pundit, absolutely exuding "hello fellow kids" energy, use the colloquialism of prefixing a sentence with "chat," but they seem to have understood this to mean that one is rhetorically addressing ChatGPT. I just want a sanity check here, but my understanding is that this slang is mimicking streamers, talking to their stream chat, right? Like, "chat, are we cooked" is not rhetorically asking for an LLM to opine on one's degree of cooked-ness, it's "dear reader" for gen alpha. Right?
Centralised: Urethra
Fediverse: Pee-erTube
Coming to social media these days is like "Haha, hey guys, check out this meme I found! Oh fuck, are we under martial law? Sorry, I was polishing dice for an hour and I didn't know the tone shifted."
Sometimes when I'm sad I remember the #Fediverse exists and then I feel lighter
이스라엘 정부가 돌았음.
이란이 미사일 수백발 쏘니까 평소에 가자/팔레스타인 막던 수준의 요격 시스템이 방어를 못함. 폭격하고 달라서 민간인 피해가 나올 수 밖에 없는 정밀도일 것.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3lrj423c3is27
Meanwhile, in the industrial security space:
There are moments of tranquility amongst the carnage of the world. Its not easy to empty your mind but pleasant vistas help. Happy Friday everyone
I Convinced HP's Board to Buy Palm for $1.2B. I Watched Them Kill It in 49 Days
Link: https://philmckinney.substack.com/p/i-convinced-hps-board-to-buy-palm
Discussion: https://news.ycombinator.com/item?id=44270709
Die #Innenminister haben sich gegen ein #AfD Verbotsverfahren entschieden. Also das kommt jetzt wirklich überraschend.
Das Verfahren sei zu "riskant". Klar, nachher ist der Schwiegervater böse, man verliert die Mitgliedschaft im Golf Club, in der Stammkneipe redet keiner mehr mit einem. Wer will als Innenminister schon aus seinem Schützenverein gemobbt werden?
Wenigstes #ARD und #ZDF sind erleichtert: Wie hätten sie darüber berichten sollen, ohne dass das ein schlechtes Licht auf die AfD wirft?
이스라엘 텔아비브 대규모 타격 중. 네타나후는 해외로 미리 튀었다는 소문. 이란, 이스라엘에 미사일 다량 발사…핵시설 피격 보복 이란 미사일 발사로 보복, 이스라엘 새벽 이어 심야 공습 벌여
Sometimes when I'm sad I remember the #Fediverse exists and then I feel lighter
The meaning of life, according to my #Linux server, is to silently serve files until the power goes out, at which point it enters a profound state of unresponsive thought
Show HN: Tattoy – a text-based terminal compositor
Link: https://tattoy.sh
Discussion: https://news.ycombinator.com/item?id=44268644
New #art post for all Patreon members (free & paid): Bear Face.
https://www.patreon.com/posts/131402142 Subscribe for free to see the full image!
Graphite on dot paper. How do we stay attentive during frustrating meetings at work? We find an image of a bear and draw him in our journal. I love this frumpy fellow.
@artart group 
@CuratorMastodon•ART 🎨 Curator 
@visualartsVisual Arts Channel #pencilDrawing #sketch #sketchbook #artist #commissionsOpen
遠藤麻衣の「ギャラリスト葵と悪役令嬢レイラの華麗なる人生やり直し契約」、5分くらいの映像だけどクッソおもしろかった。「これぞ血統と通貨のダンス！」とか意味不明な決め台詞とか最高だった(意味不明ってかアイデンティティポリティクスを利用するアート市場への揶揄なんだけど)。
It was my extraordinary pleasure to chat with 
@lattea new hope 
about her amazing site, media guides, comics, movies, and more! Be sure to check out her delightful site: https://anhvn.com/ https://beep.town/@foofaraw/114676895084152575
I saw a pundit, absolutely exuding "hello fellow kids" energy, use the colloquialism of prefixing a sentence with "chat," but they seem to have understood this to mean that one is rhetorically addressing ChatGPT. I just want a sanity check here, but my understanding is that this slang is mimicking streamers, talking to their stream chat, right? Like, "chat, are we cooked" is not rhetorically asking for an LLM to opine on one's degree of cooked-ness, it's "dear reader" for gen alpha. Right?
遠藤麻衣の「ギャラリスト葵と悪役令嬢レイラの華麗なる人生やり直し契約」、5分くらいの映像だけどクッソおもしろかった。「これぞ血統と通貨のダンス！」とか意味不明な決め台詞とか最高だった(意味不明ってかアイデンティティポリティクスを利用するアート市場への揶揄なんだけど)。
この宣伝動画もめっちゃウケる。内容的には「アートって本当は生まれが問われる世界なのよ」がアイデンティティポリティクスにたいする暗黙の言及なんだけど、それより「おいおい、晴れの日に泥を塗りに来たのか？」とかのクソ台詞がクソヘタ演技で述べられると笑ってしまう。クソ展開、クソ台詞、クソ演技がとにかくよくて、クソ動画からしか得られない滋味あふれる作品だった。生成AIつかった作品ではかなり快心の出来なんじゃないか。 https://www.instagram.com/reel/DKTHL2IqqkU/
Rust書きたい。
Transmuting between chemical elements is dangerous because there are 256 possible atomic numbers but only 81 of them correspond to valid elements. The rest give you glitch elements that behave erratically and can even corrupt nearby atoms and molecules. Most of these are caused by indexing the periodic table out of bounds, though a couple elements were deleted before release.
"Company after company announced the integration of #AI #chatbots into their products, but is this what customers really want or need, or is tech leadership just jumping on another bandwagon?"
oh look, a new luxe dev log!
dev log #15 - try luxe now!
As we continue to wrap up our goals for a wider release we're happy to note that you can try luxe already!
Read all about it in dev log #15!
おやすみ
StarMalloc: verified memory allocator https://lobste.rs/s/jpfyd6 #compsci #formalmethods #security
https://dl.acm.org/doi/10.1145/3689773
for having a monopoly on violence, the state posesses a terrible sense of business. say you wish to be violent. you could "buy" a license in form of an unpredictable penalty (fine and/or jailtime) or you could - get this - *get paid* by the government for doing violence. think i'm pulling your leg? far from it! in this youtube masterclass, i will
ばいばい
三洋時代のエネループ、使うか...
ねようかな
これだからねるのはいやだ
𝚜𝚎𝚕𝚎𝚊 
🌻 
nixCraft 🐧
てんせき a.k.a.みんないいこ。
mcc
