What is Hackers' Pub?

しごおわ

Wait, is this true? Law of energy conservation does not apply in general relativity? Energy can simply leak/dissipate with no gain on global scale?

That might explain why I am tired all the time

https://www.youtube.com/watch?v=lcjdwSY2AzM

お風呂あったかい

드디어 토요일....!!!!!!

샘하는 바람에도 오롯이 틔우는 꽃, 홍매화

🔧 Big news: the first Liberux dev-board is here!

After weeks of work, we’ve finally received the assembled PCB and already started booting it up. Our hardware team has spent the last days debugging, testing, and getting the SoC to talk to the PC, and we’re officially entering the bring up phase! 🎉

📚 We just published a full post with all the details, photos and videos: 👉 https://liberux.net/our-first-dev-board-has-arrived/

#Liberux #LiberuxNEXX #linuxphones #openhardware #opensource

눈부셨던 나날

#사진토돈

ねこの絵　ワトソンとホワイトワトソンに
#イラスト　#透明水彩　#illustration

레이스 끝자락은 봄 햇살로 기워냈지

#사진토돈

Some __nonstring__ turbulence https://lobste.rs/s/8cbips #linux #practices
https://lwn.net/SubscriberLink/1018486/1dcd29863655cb25/

中国メーカーのスマホを2台続けて使ってみて、日本家電メーカーは品質いいは嘘だとあっさり気づきました。

so much fun to talk, climb and catch up with old and new friends in Vienna 🇦🇹 now at airport heading back home ❤️

I was under the impression is was next to impossible for a fediverse server to change it's domain name?

Have all the Threads follower relationships broken now they've changed theirs?

Won't affect anyone on this server of course, they were already blocked. Now their new domain is blocked too. If they move to yet another domain we'll block that as well.

https://techcrunch.com/2025/04/24/threads-officially-moves-to-threads-com-and-updates-its-web-app/

#threads #fediPact

對不起了星期一的自己，但我覺得今天真的差不多了…

Designing Kar https://lobste.rs/s/qcxcys #show #programming #rust #web
https://joshleeb.com/posts/kar-design.html

もしお時間があればTikTokの新婦人公式アカウントで選択的夫婦別姓の国会前行動、コールの動画が上がっているので見てほしいのですが、コメントが「日本人じゃない」「帰化人」「中国人」「在日」「日本人は世界に誇れる戸籍制度を汚すようなことはしない」など、ヘイトヘイト、ヘイトのオンパレードで、女性が「名前を奪わないでほしい」と言うだけでこんなにもか…っていう、なんか、いやもう、なんかね

Incredible satellite image of the 33 (!!!!) operational fossil fuel combustion engines at the site of Elon Musk's XAI data centre “appalling that xAI would operate more than 30 methane gas turbines without any permits or any public oversight" @selc.bsky.social www.theguardian.com/technology/2...

Excited to share that we just released ESMeta v0.6.0! Here's two new features that we're really excited about in this release. Since this is my personal account, I won't be introducing the entire toolchain, but if you're curious, check out on https://github.com/es-meta/esmeta/ (1/n)

✨ Take a deeper look into the new FediDB redesign.

Available soon!

#fediDB

레이스 끝자락은 봄 햇살로 기워냈지

#사진토돈

分割で買ったMacbookAirの早期返済の申請をした

[花蓮罷團指罷免傅崐萁二階連署將達安全門檻 藍營稱正面迎戰⸺中央社](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

✨ Take a deeper look into the new FediDB redesign.

Available soon!

#fediDB

人生迷子すぎてドリフトしてる

"이거요? 제가 손으로 사람을 때리면 위험해서..."

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

Drop by https://f-droid.org/2025/04/24/twif.html

눈부셨던 나날

#사진토돈

おゆにしずんでとけたい

にゃー

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 😊

#fediDB

```
/software/mastodon/servers?version=latest&mature=1&small=1&region=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 😎

#fediDB

​​

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 🚀

https://github.com/fedidb

#fediDB

fri/20250425 #TheInformalities

님들아
유리가든보고가세요
너무귀여움
충격적

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...

‘민원 사주 의혹’ 류희림 방심위원장 “건강상 사유”로...