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.
Puh endlich ist unsere große Wechselrichter-Geschichte erschienen. Sie ist voller Sicherheitslücken und anderer Angriffspunkte und mir ist mit jedem Interview und jeder Analyse klar geworden: es sieht nicht gut aus. 80 Prozent der Technik auch in privaten Solaranlagen stammt aus China und kann von dort fern gesteuert werden. Und es gibt Sicherheitslücken noch und nöcher.
(Paywall; freier Link folgt für Follower:innen im Thread)
https://www.zeit.de/digital/2025-08/sicherheit-solaranlagen-wechselrichter-angriff-hacker
#cybersecurity #solar #photovoltaik
Behold, the goober
なんかオフィスの手指消毒用のアルコールこんな匂いだったっけ？ になってる
Getting ready to conclude my "summer of Rust" with a week of attempting to implement Raft. This is either going to be great or I'm going to get my ass kicked. Or both. Definitely both I'd bet. Is there such a thing as "Type 4" fun?
This is the only "cryptocurrency" I want to see in the world...
Big-stop semantics: A simple way to get the benefits of small-step semantics in a big-step judgment. ~ David M Kahn, Jan Hoffmann, Runming Li. https://arxiv.org/abs/2508.15157v1 #ITP #Agda
Maggie stylin’ this #kittyloafmonday 🐱🤎 #cats #kittens #catsofmastodon
ﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾊﾟﾝﾁﾗﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺﾇｺ
저녁 뭐 먹지.. 뭔가 좀 자극적인거 먹고 싶은데
I'm writing a series of blog posts, in which I write a #bytecode #compiler and a #virtualMachine for arithmetic in #Haskell. We explore the following topics in the series:
- Parsing arithmetic expressions to ASTs.
- Compiling ASTs to bytecode.
- Interpreting ASTs.
- Efficiently executing bytecode in a VM.
- Disassembling bytecode and decompiling opcodes for debugging and testing.
- Unit testing and property-based testing for our compiler and VM.
- Benchmarking our code to see how the different passes perform.
- All the while keeping an eye on performance.
The second post of the series that focuses on writing the #compiler is now out: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm-compiler
“물가 싸고 행복해”…전세계 Z세대가 꼽은 ‘살고 싶은 도시’ 1위는
https://n.news.naver.com/article/081/0003568602?ntype=RANKING
저기도 은근 총기사고 많던데...
Servo Report for Week 33 2025
- Multiple improvements to Trusted Types
- layout: Set color and text decoration on <select> elements by default
- script: Properly fire input events for clipboard use in input elements
- devtools: Show clients where they can set breakpoints
You can help support Servo, an independent web rendering engine, and the health of the web ecosystem by donating:
https://github.com/sponsors/servo
https://opencollective.com/servo
Formalizing axiomatic theories of truth. ~ Bram Swaanen. https://studenttheses.uu.nl/bitstream/handle/20.500.12932/49881/master-thesis.pdf #ITP #LeanProver #Logic
あたまいてー
サスコードってなに？
misskey初心者ですフォロワー5人が目標です
#misskey始めてました
Introduction to proofs using Waterproof. ~ Alex van Tilburg. https://studenttheses.uu.nl/bitstream/handle/20.500.12932/49918/thesis_alex_van_tilburg.pdf #ITP #Rocq #Waterproof
Confused about who is sleeping in the living room. Notices the loud snoring originates from the cat.
身内とお話してて、今使ってるカメラを下取りに出せばα7R4を10万くらいで買えるかもって気が付き
任意のよその子ﾊﾟﾝﾁﾗ義務化
In-Memory Filesystems in Rust
Link: https://andre.arko.net/2025/08/18/in-memory-filesystems-in-rust/
Discussion: https://news.ycombinator.com/item?id=45001883
Dead Bug Timer Relay Needs No PCB
https://hackaday.com/2025/08/25/dead-bug-timer-relay-needs-no-pcb/
2025/08/25 08時00分〜2025/08/25 20時00分
added:
https://github.com/django/djangoproject.com/issues/2175
한국에도 Django 커뮤니티 디스코드가 생긴듯. 모더레이터분이 Django에 기여한 이력이 있으신 분!
梨
画像キャッシュサーバ、調整中ですー
「最近阿，看到有綠營支持者，一臉見獵心喜的阿，拿著公共政策參與平台的提議，說，要把核廢料放在支持核三重啟的縣市
我只能說，很遺憾，很失望！民進黨不但貪腐無能，談判無能，跪舔美國，把台機電賣給了川普，結果換來超高關稅的羞辱，這樣還不夠！現在阿，連造謠抹黑的手段都這麼不入流，如此理盲、法盲、反智、愚民的行徑，將會被全民所唾棄！
很顯然，民進黨阿，完全沒有從兩次大罷免學到教訓，賴清得，現在輸了不認帳，還煽動無知的青鳥搞這種下三爛的手段，這麼貪污無能的政黨，我們還要讓他存在台灣社會嗎？
煽動自己的青鳥做出這麼白痴的事情，實在笑掉大牙！難道核水事件還被打臉的不夠痛嗎？現在還要把核廢料放在別人家？如此湮滅人性的行為，更顯現出阿，民進黨就是綠共、納粹！視人民為草芥的殘暴政黨！
況且阿！核三公投的主文是第三核能發電廠確認無安全疑慮後繼續運轉 根本與核廢料和興建新的核電場無關，請賴清得不要在煽動網軍做這種丟人現眼的事情，如果民進黨輸的還不夠，那我未來當選新北市長之後，將會讓這種綠色納粹政黨永遠消失在台灣政壇」
https://join.gov.tw/idea/detail/136f0612-596c-46a5-846e-58e5225c4633
《なめらかな世界と、その敵》
台版居然出了！
台譯為《平滑世界及其敵人》
科幻短篇故事集，作者：伴名練
封面：赤坂アカ
手上的日文版是精裝本，如果沒記錯，是我第一次日本自由行時，於名古屋某間LOFT內書店購買的，但老實說那天逛了好多書店，可能搞錯了也說不定。
（其實我還沒看完 Orz）
買中文電子版來看後記
作者把二零二二年五月三十一日為止的紙本版稅捐給「烏克蘭人道危機救援金」
也把故事中的舊蘇聯相關內容修改，避免讀者的錯誤聯想。
當作語言練習素材剛好可以對照差異～
@bagderdaniel:// stenberg:// absolutely killed it this morning at the #opensourcesummit EU.
Awesome keynote 🔥 kudos!
Really enjoyed the talk by @bagderdaniel:// stenberg:// : He told the story of the hard work of maintaining a popular open source project, within the short time of a keynote presentation, and doing so in a fun and entertaining way while getting all his points across. Well done!
I enjoyed your Curl presentation at the Open Source Summit in Amsterdam. Thank you 🙂
A case study on the effectiveness of LLMs in verification with proof assistants. ~ Barış Bayazıt, Yao Li, Xujie Si. https://lastland.github.io/pdfs/LLMVerify.pdf #ITP #Rocq #LLMs
2025/08/25 08時00分〜2025/08/25 20時00分
added:
뷔페를 왔는데… (회식) 입맛이 없네용
今天精神好萎靡
8月底天氣還是很熱，但精神體感總覺得有點秋意
今天沒到7點公司外面已是黑黑的了
ギャンブラーのことをかっこいい感じに言ってるwww
『物語化批判の哲学 〈わたしの人生〉を遊びなおすために』（難波 優輝）｜講談社
https://www.kodansha.co.jp/book/products/0000415351
しゅいろキャット
Pentium II 350Mhz
- 3dfx Voodoo3 3000
- Creative Soundblaster Live! Drive
那覇発きさらぎ経由札幌行き、間もなく出発します
We've seen a fair few people doing this recently: please don't put emjoi in alt text, it's very unfriendly to screenreaders!
昔の
の絵出てきた、めっちゃかわいいから見て ※谷間
ちょっとねた
왜 내 이빨은 특정한 한 곳에만 음식물이 잘 껴서 잇몸이 뻐근하게 만드냐...... 그나마 뻐근하니까 빨리 알고 조치할 수 있긴 한데 그래도 싫다
leyrer
CatSalad🐈🥗 (D.Burch) 
愚痴をこぼしても一人 
白長谷
이찬행
MJ
🕊️ 
ぺこん
