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.
Introducing Gemma 3n
Link: https://developers.googleblog.com/en/introducing-gemma-3n-developer-guide/
Discussion: https://news.ycombinator.com/item?id=44389202
なんかいたい
うあ
🖥️ My ultra-budget server powering http://websysctl.alfonsosiciliano.net has been running smoothly for the past 2 months. So far, so good!
📈 #Crawlers hit tens of thousands of sysctl parameter pages daily. That's fine, since robots.txt allows it. But why keep requesting non-existent pages as if the site were built with WordPress 😤 ? Fortunately, the stack (#FreeBSD 
+ #OpenResty 🌐 + #Lapis ✏️ + a custom-built #database 📦 ) stays well within the limited resources of my $5/month cloud server.
The code might soon be #OpenSource stay tuned!
#UNIX #sysctl #WebDev #WebServer #ThePowerToServe #coding #Lua #kernel
We love the new Mastodon Signal stickers (https://mastodon.social/@Mastodon/114749156199964168) so much, that we decided to add them as custom emojis too 
다음달부터 주4일제 도입합니다
ねようかな
I feel like this magnet I found at a local kitchen store is expressing how we are all feeling right now.
We've got some good news thanks to 
@nlnet and 
@NGIZeroNGI Zero open source funding 🎉
Librecast has been funded to do more awesome things with #multicast
Watch this space.
How about a graphical subnet scanner that shows any device's open ports by leveraging rustscan, shows domain and localdomain names if any? I just needed it for myself.
10 days after appearing in court for #terrorism charges, and 2 days before their #Glastonbury performance, which still faces threats of being cancelled (as other #festivals have done) and/or removed from #BBC broadcast, #Kneecap have just cocreated and released a video: "we are not the story", proceeding to illustrate the legal definition of #genocide with testimonies from medical staff and #Palestinian casualties in #Gaza. ✊🏽#Repost #retoot #boycott #divest #bds
I refer to all LLMs as "the robot," also helps me to not gender the robots
nilhilism
What do you get when you
(cons '() (cons 'hi '()))
A nil-hi-list
nilhilism
@cwebberChristine Lemmer-Webber Boosting this so others have to suffer, too
What UI first distinguished radio buttons from checkboxes with circles and squares? https://lobste.rs/s/xpugii #historical #retrocomputing
https://retrocomputing.stackexchange.com/questions/31806/what-ui-first-distinguished-radio-buttons-from-checkboxes-with-circles-and-squar
Hosting a synth building workshop by 
@noisio this Saturday June 28 at Pedal Markt in Berlin! Come build an ATtiny Punk Console, a Levitation Drone Oscillator and a few other small standalone devices!
Details & booking: https://pedalmarkt.com/collections/upcoming-workshops/products/28-06-2025-noisio-music-noise-devices-soldering-workshop
#synthdiy #electronics #electronicsworkshop #berlin #noise #music #diy #electronicsworkshop
Lisp debugging: you either have too many or not enough parenthesis
Solving LinkedIn queens with Haskell. ~ Agnishom Chattopadhyay. https://imiron.io/post/linkedin-queens/ #Haskell #FunctionalProgramming
猫撫でてたら増えた
SunOS 4.0.3 desktop from 1989. I will take this over modern stuff any day. Sun was rock solid with Unix and hardware stuff until Oracle decided to ruin that iconic brand.
If you're looking for alternatives to "you guys" or "ladies and gentlemen" etc look no further
but the behavior is explicitly gendered, degendering it obscures that fact
https://beige.party/@HG/114750686794578943
nilhilism
What do you get when you
(cons '() (cons 'hi '()))
A nil-hi-list
[AWS Architecture] Simplifying sustainability reporting using AWS and generative AI in banking
Without fail, every one of 
@b0rkJulia Evans's zines has hit me with a new or better understanding of how things work. This one's no exception.
@mu無 Mu what are they building? and i assume is in lisp?
@houseofxyz
Here is the excellent talk that turned me on to their vision: https://social.coop/@cwebber/114688242964109365
@joemama
Can bureaucracies join the Fediverse? Yes – with WordPress ActivityPub. #WordPress #fediverse #ActivityPub
Posted into THE FEDIVERSE VS. CORPORATE SOCIAL MEDIA 
@the-fediverse-vs-corporate-social-media-mobileatomTHE FEDIVERSE VS. CORPORATE SOCIAL MEDIA
@mu無 Mu uh, are you a lisp person?
@houseofxyz
Slightly into programming, I think we should help @cwebberChristine Lemmer-Webber program the next social media technology.
Intro To Uno Platform - Full Cross-Platform C# Development | with Tim Corey.
https://www.youtube.com/watch?v=Cm2FRfiAzSU
#unoplatform #dotnet #csharp #xaml #xplat #mobiledev #macos #windowsdev #linux
The sigmoid function and the universal approximation theorem (in Isabelle/HOL). ~ Dustin Bryant, Jim Woodcock, Simon Foster. https://www.isa-afp.org/entries/Sigmoid_Universal_Approximation.html #ITP #IsabelleHOL
"Dieser Schinken hat soeben alle meine persönlichen Daten an seine 12.832 Partner übermittelt!"
"Ist ja auch ein Techbrosciutto."
Betsy and I were on a podcast together with Denver about philanthropy, transcript on same page: https://denver-frederick.com/2025/06/24/the-american-dream-is-broken-this-50-million-bet-could-help-rebuild-it/
A modular splitting framework for saturation theorem proving (in Isabelle/HOL). ~ Ghilain Bergeron, Florent Krasnopol, Sophie Tourret. https://www.isa-afp.org/entries/Splitting_Framework.html #ITP #IsabelleHOL
New NLNet Projects were recently announced, with a solid collection of ActivityPub related ones:
* Mastodon adding new features for institutional instances
* ActivityPub Polls for Wordpress
* Funkwhale Federation Improvements
* Making Events more interoperable between Fediverse Platforms
* Context Discovery in NodeBB
* Icosa 3-D Model Sharing with ActivityPub
Did I miss any?
https://nlnet.nl/news/2025/20250624-announcement-grants-CommonsFund.html
I wrote a thing about the new paper about the Monostable Tetrahedron:
https://www.solipsys.co.uk/ZimExpt/MonostableTetrahedron.html
It has pictures. Sort of.
日本語打てるようになった
うれしい
The hidden number problem (in Isabelle/HOL). ~ Sage Binder, Eric Ren, Katherine Kosaian. https://www.isa-afp.org/entries/Hidden_Number_Problem.html #ITP #IsabelleHOL
ねむいー…
ATmosphere Report #122 - This weeks #atproto news:
- Zeppelin is a new full-network appview, allowing you to use the Bluesky network without Bluesky PBC's infrastructure
- @roomy.chat shows the alignment and struggles of combining atproto with local-first computing
- combining atproto with OpenID Connect
https://connectedplaces.online/reports/atmosphere-report-122/
This weeks atproto news:
- Zeppelin is a new full-network appview, allowing you to use the Bluesky network without Bluesky PBC's infrastructure
- @roomy.chat shows the alignment and struggles of combining atproto with local-first computing
connectedplaces.online/reports/atmo...
ATmosphere Report – #122
breaking news: live action comet-san 100% uses a bunch of the same sound fx as ganbaron lmao
"Dieser Schinken hat soeben alle meine persönlichen Daten an seine 12.832 Partner übermittelt!"
"Ist ja auch ein Techbrosciutto."
This is an interesting discussion of practical shortfalls in the combat utility of first-person view (FPV) drones, written by a guy who operated them on the front lines in Ukraine.
https://warontherocks.com/2025/06/i-fought-in-ukraine-and-heres-why-fpv-drones-kind-of-suck/
ねむーい
Google DeepMind Releases AlphaGenome
Link: https://deepmind.google/discover/blog/alphagenome-ai-for-better-understanding-the-genome/
Discussion: https://news.ycombinator.com/item?id=44387659
ensure that the User can trust the Wallet Solution
they buy the bs sold by google/apple huh
play integrity / safety net (aka drm) does not ensure the user of anything, all it does it take away the user’s ability to modify the software the devices they own run
This allows the operating system of the device to perform relevant checks regarding the authenticity of the app
no, it gives the app ways to check if the OS is unmodified, by google’s definition of unmodified.
the app shouldn’t check the os, the os should be safe by default and vet apps. should an user want to do a modification to their os that google did not personally approve, that should be none of the concerns of applications running under that os
My department (computer science and technology, cambridge university) is recruiting a system administrator! Details at https://www.jobs.cam.ac.uk/job/47810/ — to quote our infrastructure lead, “Primarily Linux, with some involvement in network infrastructure, datacentres, storage, and of course supporting researchers to build interesting things :-)”
just small circles 🕊
wakest ⁂
leyrer
Fediverse Report
mcc