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.
[花蓮罷團指罷免傅崐萁二階連署將達安全門檻 藍營稱正面迎戰⸺中央社](https://www.cna.com.tw/news/aipl/202504250256.aspx)
"花蓮縣提議罷免國民黨立委傅崐萁的民團「微光花蓮」今天指出，第二階段連署數量達到2萬4000份，為保全安全門檻，將上修至2萬6000份。國民黨花蓮縣黨部表示，正面迎戰。"
//花蓮人只有這一次機會擺脫傅崑萁。
Mathematical Logic (Math 570) Lecture Notes. ~ Lou van den Drie. https://www.karlin.mff.cuni.cz/~krajicek/vddries.pdf #Logic #Math
昨天眼鏡洗一洗鏡片竟然掉下來
今天拿去眼鏡行請服務人員裝回去順便洗鏡片(有的地方我怎麼洗碗精洗都沒用)
這竟然不用付錢嗎
我甚至當初也不是在這家買的
我就這樣拿著有問題的眼鏡進去然後坐著滑手機再拿著完好如初的眼鏡出來
不花一毛錢
好神奇啊
Lean 4 formalization of the logic textbook "Logic Notes" by Lou van den Dries. ~ Will Bradley. https://github.com/a2435191/lean-logic-formalization #ITP #LeanProver #Logic #Math
人生迷子すぎてドリフトしてる
"이거요? 제가 손으로 사람을 때리면 위험해서..."
This week in #FDroid (TWIF) is live:
* #NLNet funds more projects
* #ElementX fixes a #CVE
* #GadgetBridge offline #GPX maps & headphones
* #Linphone #SIP build fix
* v8 #Mindustry beta
* more #KeyMapper features
* #WikiReader improvements
* #OpenCamera preview shots, lens selector, #UltraHDR
+ 15 new apps
+ 199 updates
눈부셨던 나날
Tout ce que vous pouvez trouver sur le blog 2@&1⌨ à l'adresse https://anowan.blogspot.com/, thread en construction :
おゆにしずんでとけたい
にゃー
VIEWカードは駅のATMで、三井住友カードはWeb申し込みからの振り込みでクレジットカードの繰り上げ返済できるけど、大体お問い合わせからじゃないとできないのね
‘민원 사주 의혹’ 류희림 방심위원장 “건강상 사유”로 사의 표명
수정 2025.04.25 19:11
www.khan.co.kr/article/2025...
‘민원 사주 의혹’ 류희림 방심위원장 “건강상 사유”로...
미국 CBS방송 등 현지 언론은 해당 공간에 메이크업 조명과 대형 거울 등이 설치되고 수천 달러의 개조비용이 들었다고 전했습니다. 수정 2025-04-25 07:25 imnews.imbc.com/replay/2025/...
[이 시각 세계] "앵커 출신 미 국방장관, 펜타곤에 ...
[花蓮罷團指罷免傅崐萁二階連署將達安全門檻 藍營稱正面迎戰⸺中央社](https://www.cna.com.tw/news/aipl/202504250256.aspx)
"花蓮縣提議罷免國民黨立委傅崐萁的民團「微光花蓮」今天指出，第二階段連署數量達到2萬4000份，為保全安全門檻，將上修至2萬6000份。國民黨花蓮縣黨部表示，正面迎戰。"
//花蓮人只有這一次機會擺脫傅崑萁。
"이거요? 제가 손으로 사람을 때리면 위험해서..."
미국 CBS방송 등 현지 언론은 해당 공간에 메이크업 조명과 대형 거울 등이 설치되고 수천 달러의 개조비용이 들었다고 전했습니다. 수정 2025-04-25 07:25 imnews.imbc.com/replay/2025/...
[이 시각 세계] "앵커 출신 미 국방장관, 펜타곤에 ...
So the new FediDB is quite powerful, allowing you to search specific software servers with the following optional filters:
- latest version
- open registration
- region (North America, Asia, Europe, Africa, South America, Oceania)
- mature servers (3+ years old)
- small communities (< 10k users)
Not to mention sorting by user count, status count, mau, and server age.
And you can also search by domain.
I’ll share a demo screencast shortly, I think you guys will love it 😊
```
/software/mastodon/servers?version=latest&mature=1&small=1®ion=asia
```
The new FediDB API will support advanced filtering, perfect for many use cases!
This example query will return a paginated list of Mastodon servers that:
- are running the latest version
- are mature (older than 3 years)
- are small (less than 5k users)
- are in the asia region
I'm about to record a demo of the UI, stay tuned ✨
One last thing, the API is open to all 😎
Question: for web site metrics, what is a sound, open source, privacy-respecting option? goal is to be able to see which pages are hit, blog stats etc, that's all. Any views on e.g. Umami vs Matomo vs Offen (or alternatives)? 🤔
(for a hosted solution, a plan for non-profit usage would be good)
そういえば日焼け止め買ったら美容液までついてきて🉐
Check this out ✨
The new FediDB has been redesigned and refactored to leverage the 394 million data points we've collected and aggregated.
Imagine being able to easily find a server with open registration that is mature (3+ years old) and located in your region, with just a few clicks!
Looking forward to working with fedi devs to further improve this, and to finish open sourcing the entire platform 🚀
님들아
유리가든보고가세요
너무귀여움
충격적
Note to self: Wherever you're not using Poudriere, don't change the FreeBSD package source to "latest" by default and out of habit. You might find that working with "quarterly" is sufficient, and can have some advantages.
‘민원 사주 의혹’ 류희림 방심위원장 “건강상 사유”로 사의 표명
수정 2025.04.25 19:11
www.khan.co.kr/article/2025...
‘민원 사주 의혹’ 류희림 방심위원장 “건강상 사유”로...
Day 15 of learning Rust as a C# dev:
No classes. No inheritance. No constructors.
Rust structs keep it simple and make you rethink how much you really need.
Here’s why less is more:
https://woodruff.dev/rust-structs-vs-c-classes-less-is-more/
ねこの絵 ワトソンとホワイトワトソンに
#イラスト #透明水彩 #illustration
Magical Haskell: A friendly approach to modern functional programming, type theory, and artificial intelligence. ~ Anton Antich. https://books.google.com/books?id=aLBWEQAAQBAJ #Haskell #FunctionalProgramming #AI
╭━━━━━━━━━━━━━╮
┃ﾊｲｯこちら ┃
┃ なんにもわかりまセンター ┃
┃ です！┃
╰━━━━━━ｖ━━━━━━╯
∧___∧
(📞⊙ө⊙)
もし世界が昆虫食メインの世界になったら生き残れません
크아악... 아름다워........
Esurioへ
毎日サボらず鉄剤のめ
Esurioより
평안하신지요, 여러분.
@No4Vcb@buttersc.one바주카 님이 백합.정원의 마스코트인 유리와 가든을 그려주셨어요.
너무 아름다워요.. 의상도 귀여워요... 감사해요.
最近何もしてないな 仕事すら全然やってない気がする
Porting song recommendations to Haskell. ~ Mark Seemann. https://blog.ploeh.dk/2025/04/21/porting-song-recommendations-to-haskell/ #Haskell #FunctionalProgramming
오 예 현 직장에서의 마지막 월급 수령 완료
이거 진짜임
Integrating effectful and persistent. ~ Jack Kelly. https://exploring-better-ways.bellroy.com/integrating-effectful-and-persistent.html #Haskell #FunctionalProgramming
Didn't get much 
@manyfold work done yesterday, mainly due to spending a couple of hours rescuing a duckling from the rainwater drains on the road outside my house. Succeeded eventually though, and reunited the duckling with its mum. They go *fast* when they want to.
Implementing Unsure Calculator in 100 lines of Haskell. ~ Rodrigo Mesquita. https://alt-romes.github.io/posts/2025-04-25-unsure-calculator-in-100-lines-of-haskell.html #Haskell #FunctionalProgramming
投資を一切しないという投資判断をしている
ああ、なにもしたくない
현대오토에버 채용공고 돌았나 ㅋㅋㅋㅋ
https://litt.ly/hyundai_autoever
練習で描いてみたアイコンのオリキャラちゃんです
Happy #FediDonutFriday friends!
Today, I'm enjoying a blueberry jam, vanilla creme, hot dog looking donut (in Finnish we call all of these "munkki" regardless of size and shape).
I invite you to join me and share one win or happy moment from the week in replies. I want to hear your highlights!
Mine was our wonderful collab meetup with 
@turkufrontendTurku ❤️ Frontend and Aurajoki Overflow from Wednesday. A full house of new and old friends and good discussions.
If you're new to #FediDonutFriday, here's 
@sethmlarsonSeth Larson's introduction to it: https://sethmlarson.dev/fedi-donut-friday
Fediverse Donut Club (#FediDonutFriday)
At a past job there was an employee-run "donut club" where members would rotate every week bringing in donuts for everyone else. By the time that I joined this club there was over 30 people meani...
sethmlarson.dev · sethmlarson.dev
Link author: Seth Larson@sethmlarson@fosstodon.org
Europeans! Are you concerned about the security of your health information? How about its accessibility with #OpenSource tools?
The 
@EUCommissionEuropean Commission is seeking members for its Health Cybersecurity Advisory Board - deadline is May 23rd.
MJ+
Woojin Kim
드라코
@reiver ⊼ (Charles) 
SparklingOutlaw🍉
糸葱ににか 
