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.
睡眠時間は十分あるはずなのに妙な眠気が残っていて気持ち悪い
Whole Earth Index
Link: https://wholeearth.info/
Discussion: https://news.ycombinator.com/item?id=45734259
Hey, everyone ! Join Democrats Abroad for US election night watch party today (Nov 4)! You can find us LIVE on Tik Tok:
https://vm.tiktok.com/ZNHcmWUN2KcN1-uKth1/
Benedict Reuschling
犬、抱きしめている
布団から出たくない
RE: https://mastodon.neat.computer/@privacyguides/115492320806318499
Excellent video that people starting to learn about privacy would benefit a lot from watching!
From an emotional point of view, it is crucial to start by defining your threat model and build your digital life from there. It's so easy to enter in panic mode, because you can always go more private, more anonymous. But is it actually serving you?
Me: What if you screen proposed account names using some pattern matching to flag some of them for human review?
John Mastodon: No.
ん〜〜〜ッッッ！！！朝！！！！！憎い！！！！憎い！！！！憎い！！！！！！
I'm using masto-mailo-inator!
#masto_mailo_inator
Hey, everyone ! Join Democrats Abroad for US election night watch party today (Nov 4)! You can find us LIVE on Tik Tok:
https://vm.tiktok.com/ZNHcmWUN2KcN1-uKth1/
I hate that there's basically no way of knowing whether this means "this app is $3, but you can't know the price without downloading it" or if it means "this app will act like a Windows Vista machine with a virus even after you pay for it, and there is nothing you can do about it except uninstall"
대학원생 RA비용을 올리기 위한 아이돌공연하는 스쿨아이돌(???) 프로젝트 해줘
Liftoff of Ariane 6 carrying Sentinel-1D!
ねむいわね
It looks like #Loops federation is working! I'll keep the horizontal format videos on #PeerTube , and vertical, short-format videos here: 
@Moxxi@loops.video
The videos load perfectly on the Android Mastodon app, yay! It'll be more convenient than having to exit your phone app to end up on a website designed for desktop to watch a 10-second video designed for your phone! You don't even need the Loops app! The hashtags work but maybe I should use something else than #DogsOfMastodon for the videos?
Just when you thought @techconnectify.bsky.social couldn’t take the dishwasher discourse up another level, Alec does it again.
(If you’ve not seen the other videos in the series, they’re brilliant)
さて起きる、今日は午前中で燃え尽きる笑
Print in Place Pump Pushes Limits of Printing
https://hackaday.com/2025/11/04/print-in-place-pump-pushes-limits-of-printing/
macOS 26.1 Tahoeでは、プレビューアプリがPDFファイルの角を勝手に丸く表示してしまう問題が修正。
https://applech2.com/archives/20251105-macos-26-1-preview-pdf-rounded-corner-fixed.html
#applech2 #macOS_26_Tahoe #iOS_26 #iPadOS_26 #macOS #macOS_26 #PDF #Tahoe #プレビューアプリ
✨ One line of CSS. Smooth page transitions. No JavaScript.
```
@view-transition {
navigation: auto;
}
```
The 🆕 CSS View Transitions bring native animations to multi-page apps, no SPA setup needed!
Explore now 👇
https://developer.mozilla.org/en-US/blog/view-transitions-beginner-guide/
Normalize Identifying Corporate Devices in Your Software
Link: https://lgug2z.com/articles/normalize-identifying-corporate-devices-in-your-software/
Discussion: https://news.ycombinator.com/item?id=45747938
Normalize Identifying Corporate Devices in Your Software
If you dual-license your software in such a way that it requires a paid license for commercial use, here are two code blobs for you. macOS pub fn mdm_enrollment() -> eyre::Result<(bool, Option<String>)> { let mut command = Command::new("/usr/bin/profiles"); command.args(["status", "-type", "enrollment"]); let stdout = command.output()?.stdout; let output = std::str::from_utf8(&stdout)?; if output.contains("MDM enrollment: No") { return Ok((false, None)); } let mut server = None; for line in output.lines() { if line.starts_with("MDM server") { server = Some(line.trim_start_matches("MDM server: ").to_string()) } } Ok((true, server)) } Windows pub fn mdm_enrollment() -> eyre::Result<(bool, Option<String>)> { let mut command = Command::new("dsregcmd"); command.args(["/status"]); let stdout = command.output()?.stdout; let output = std::str::from_utf8(&stdout)?; if !output.contains("MdmUrl") { return Ok((false, None)); } let mut server = None; for line in output.lines() { if line.contains("MdmUrl") { let line = line.trim().to_string(); server = Some(line.trim_start_matches("MdmUrl : ").to_string()) } } Ok((true, server)) } Looking at mobile device management (MDM) enrollment is not a silver bullet for identifying corporate devices running your software, but it is a good start.
lgug2z.com · LGUG2Z
Link author: 
Jeezy@jeezy@lgug2z.com
*inhales*
STOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMPSTOMP
I'm using masto-mailo-inator!
#masto_mailo_inator
![A "two buttons" meme format showing a hand, labeled "Me," simultaneously pressing two buttons on a soda fountain. The blue button on the left is labeled "Want To be Alone And not Be Bother[ed]". The red button in the middle is labeled "Want Love And Attention". Both blue and red soda streams are pouring into the cup below.](https://files.mastodon.social/media_attachments/files/115/493/424/954/599/668/original/8abc4aee7839ce69.png)
I'm working on some federation and other bug fixes for the Loops server and app!
Please keep the bug reports coming!
Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?
ie you should be able to take a bidirectional type system and formulate a constraint-based version it, and I've done that a few times in an ad-hoc way, but I'd like to see if there's a proper principled approach to it
Codemaps: Understand Code, Before You Vibe It
Link: https://cognition.ai/blog/codemaps
Discussion: https://news.ycombinator.com/item?id=45813767
🎤 Call for Participation (CfP) – Gestalte das Programm der #GLT26!
Du hast ein spannendes Open-Source-Projekt, technisches Know-how oder gesellschaftliche Insights rund um Freie Software? Dann reiche jetzt deinen Beitrag ein!
🗓️ Deadline: 31. Januar 2026
💬 Formate: Vorträge (20/40 Min), Workshops, Lightning Talks
📩 Einreichung über Pretalx: https://pretalx.linuxtage.at/glt26/cfp
Wir freuen uns auf eure Ideen! 🙌
#GLT26 #Graz #Linux #OpenSource
Does anyone have a reference for combining unification-based type inference with bidirectional type-checking?
ie you should be able to take a bidirectional type system and formulate a constraint-based version it, and I've done that a few times in an ad-hoc way, but I'd like to see if there's a proper principled approach to it
Street Witch
私たちのキャラクターが富山新聞に載ったよ
macOS 26.1 Tahoeでは、プレビューアプリがPDFファイルの角を勝手に丸く表示してしまう問題が修正。
https://applech2.com/archives/20251105-macos-26-1-preview-pdf-rounded-corner-fixed.html
#applech2 #macOS_26_Tahoe #iOS_26 #iPadOS_26 #macOS #macOS_26 #PDF #Tahoe #プレビューアプリ
pg_lake: Postgres with Iceberg and data lake access https://lobste.rs/s/ei1qwn #databases
https://github.com/Snowflake-Labs/pg_lake
Linux's desktop market share now stands at 3.05% (on Steam), an all-time high! 📈💪
けやきの中のさいたまスーパーアリーナ、さいたま新都心、さいたま市
Lumix GH1 + 7Artisans 10mm F3.5 #Misskey写真部
흐어어어어어어엉 데이트하고싶다
秋の光は美しい、さいたま新都心、さいたま市
Lumix GH1 + 7Artisanas 10mm F3.5 #Misskey写真部
餡の色のパーカーを収集しようかな #とは
Blogged: Easier reflection with [UnsafeAccessorType] in .NET 10 - exploring the .NET 10 preview, part 9
In this post I show how to work with [UnsafeAccessor] to do 'easier' reflection and how to use .NET 10's [UnsafeAccessorType] with types you can't reference at compile time
あずき色いいなあずき色
Evan Prodromou
Stefano Marinelli
is a Green 
+ 
AAPL Ch. 
Alexandre Mutel