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.
みんなにおふとんかけようね
人間に依存するの、やめたい
・・
サーバラック組立らっくらく!! #ではない
The FediAlgo hashtag filter section now highlights any hashtags you've posted about recently.
Interestingly the most I've used the app the more I've found feed filtering gets a ton of mileage for me. It's a huge change of pace to be able to instantly flip between whatever people are talking about on the Fediverse. Not really something you can do on any other social media platform I'm aware of.
* video of FediAlgo + link: https://universeodon.com/@cryptadamist/114395249311910522
#FediTools #FediTips #Fediverse #Mastodon #activitypub #mastohelp #Fedi #foss #nodejs #opensource #MastoAdmin #SocialWeb #Feed #timeline #algorithmicFeed #algorithmicTimeline #TL #algorithm #node #nodejs #hashtag #hashtaggames
Trying my luck with 
@djangoconDjangoCon US 
by submitting a proposal for the first time 🎉
I always seem to miss the deadline for this conference, maybe Django needs a deadline reminder app? 😅⏰
Either way… let me ship it!
F* (fstar) Interactive Tutorial:
https://fstar-lang.org/tutorial/
I'm only like 10% into the tutorial, but this language is CRAZY (fun)! 
😄
I try to learn the fundamentals of it, so I can use the backend of it in #Aeneas... so I can ultimately formally verify my #Rust crate (former attempts with #Creusot and #Kani failed for me).
Aeneas:
https://github.com/AeneasVerif/aeneas
See part two of toot for a toy example of proving function equivalence
1/2
I cannot express enough how sweet my cats are. They are gentle, kind, and affectionate. Not a hint of malice in their soul. And softer than any plushie.
ぼくの依存関係にコーディングが追加されている可能性があってまずい (要するに依存症になってるかも)
コードを書きたすぎて禁断症状でてるさすがにそこまでは行かない
3d
自己肯定感が高い期と低い期を上下左右前後している
SNSってメンタル病むけどやめたら吐き出せる場所がなくなってそれこそ悪化しそう
Buffet retiring? Good for him, probably bad for my IRA.
https://olive088861.studio.site/1 nobi でこういうことが起きないようになにか考えているかというとあんまり考えていないんだけど、権力差が生じないように意識している気はする。ただそういうのを、個人のバランス感覚だけでやっていくのもいいわけではないんだろうなぁ。人がどうやって間違うのかはいつもわからないし自分がトチ狂うことなんていくらでもあるだろうし。
understanding-j: An introduction to the J programming language that gets to the point https://lobste.rs/s/uykgta #apl
https://github.com/bugsbugsbux/understanding-j
I want to upgrade from Python 3.8 to 3.9.
I've got several command line apps, linked in ~/.local, which I installed with pip.
Is there a way to get 3.8 pip to give me a list of everything it's got installed, so I can uninstall 3.8 and then reinstall them under 3.9?
This is Ubuntu 20.04 LTS.
how cncf projects feel like
ベッドから脱出する理由無いためこのままスマホ触ってよ
Bad: Dealing with annoying CAPTCHAs.
Good: At least Google knows I was at #ExcavaCon last weekend and gave me an easy one.
にゃーん
Bad: Dealing with annoying CAPTCHAs.
Good: At least Google knows I was at #ExcavaCon last weekend and gave me an easy one.
Contributions to ruby/spec by Ruby implementation https://lobste.rs/s/pbsast #ruby
https://eregon.me/blog/2025/05/03/contributions-to-ruby-spec.html
とても素敵な絵を見るたび何とも言えない
あ、686分VRCしてることになってる
まったくあらーむがなりはじめません
起きた直後の記憶ってなんか曖昧だよね
Is the #Fediverse really open for #freedom?
In the last weeks, I noticed more & more messages from different instances/admins about moderation, banning and de-federations. Initially, people told the Fediverse is more open, not blocking and deleting content compared to other social medias. However, I think it shifted to the opposite where a single instance admin decides for the whole user base (which might not even be aware of it).
#community #activitypub #federation #opensource #socialmedia
にゃーん (何しよ)
いっぱい寝た
起きた人におふとんをプレゼントするおしごとしたい
おはよん
Read the whole thread. https://mastodon.social/@mhoye/114443796959742823
Here's a fun story from my time at Mozilla. Remember that time accidentally sent a notification to all our mobile users that just said "monitor"? I was sent to run the retro on that, see what we could learn and prevent a recurrence.
It would have been pretty easy to say "this person screwed up it's their fault" - and sure a human made a mistake - but I am an absolute believer in blameless, in-depth retrospectives as _the_ essential tool of safety, reliability and personal growth. So.
Let us be the sunlight that destroys the mold upon our nation.
わたしはかわわいいでちゅわ
독일대안당 '극우단체 지정' 후폭풍…경찰관 193명 징계
▲ AfD 선거 포스터독일 정부가 독일대안당, AfD을 '우익 극단주의 단체'로 지정하면서 정치권을 넘어 공직사회로 후…
https://news.sbs.co.kr/news/endPage.do?news_id=N1008088096
a network thats split up into separate and independent components that can be reused by other parties is just so fucking cool
especially now that were at the point these components can be chained together: you can take blacksky's relay, feed it into appviewlite, and connect that to deer
RE: https://bsky.app/profile/did:plc:kkf4naxqmweop7dv4l2iqqf5/post/3loc4eia35c2g
Hello! We're the team that builds and supports Mastodon, alongside the community. Today, we wanted to share an update on our organisation. https://blog.joinmastodon.org/2025/05/evolving-the-team/
エチオピアゲイシャうんまー！寝坊してもうんまー！
Show HN: Free, 100% in browser PDF editor
Link: https://breezepdf.com
Discussion: https://news.ycombinator.com/item?id=43880962
@stefanoStefano Marinelli thank you and then you just tell to clonezilla create a new hardrive from this directory? that a new harddrive will be able to boot windows again? (if we will pretend that another hardware is not a problem)
looks like we're actually getting pkgbase in FreeBSD 15.0-RELEASE. i did not expect this to be ready in time, but there's a lot of last-minute work going on, like bsdinstall support that was just committed.
My new favorite pedestrian desire path, which includes a short rail bridge on an active line. I walked past it, thought it was funny, then turned around to take the photo and use it.
Within a minute one other person was going in the same direction, and one person in the opposite. A freight train had come through a few minutes earlier.
いるいる 
サトマキ
Glyph
🏳️🌈🖖🏽 
Evan Prodromou
