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.
메탈기어 시리즈 스토리를 정리하는 글을 만들까말까 고민하며 이거저거 조사하다가 생각하면 생각할수록 메탈기어솔리드5 팬텀페인은 만약 코나미가 코치마가 원하는 대로 메탈기어솔리드 3까지만 만들게 했더라면 애초에 필요하지도 않은 게임이었지만 일단 만들려고 한 순간 코지미의 마지막 메탈기어 게임으로써 메탈기어 사가의 마지막 빈 부분을 채우는 의미가 있다고 생각함.
시드니의 잠 못드는 어느 봄날 밤 10시 20분
한국어권 미스키 서버가 몇 개 인지 알아보려거든
키보드를 꺼내 ko_beepboop 커모지를 검색하게 하라
한국어권 미스키 서버가 몇 개 인지 알아보려거든
키보드를 꺼내 ko_beepboop 커모지를 검색하게 하라
Nova Launcher may be gone 😔, but not forgotten.
Help make it open source:
https://www.change.org/p/make-nova-launcher-open-source-let-the-community-continue-its-development
nano-bananaでモバイルアプリUIモックアップを作る
https://zenn.dev/oikon/articles/nanobanana-mobile-mock
Nova Launcher may be gone 😔, but not forgotten.
Help make it open source:
https://www.change.org/p/make-nova-launcher-open-source-let-the-community-continue-its-development
しゅいろママのミルクのませろ
RE: https://misskey.io/notes/aclsm6befw0205yc
Registration for #FSF40 #hackathon is now open! https://u.fsf.org/482
ミルミルのミルミ
お絵描きを再開しておりますぞ
77ㅑ 진짜 청년 복지 폼 미쳤다....
@SaekiTominagaトミー の2番煎じにしかならなかった…orz
（メモ）見出しレベルを設定するHTMLネイティヴ属性headingoffset - 水底の血 https://momdo.hatenablog.jp/entry/20250913/1757763041
Any complex project tends to have both explicitly stated and implicitly unstated target goals. For instance, a Lean formalization project may have as its explicit goal the task of obtaining a formal proof of some mathematical claim X; but there are often unstated goals, such as also formalizing key subclaims and definitions X_1, X_2, ... to X in a fashion that would be suitable for upstreaming to the Mathlib library; learning how to use various collaboration tools and distribute tasks; organically discovering insights to the finer structure of the proof of X that might not be emphasized in previous informal proofs; giving real-world training and experience to novice formalizers; and more generally building a community of humans expert in the art of formalization.
In the past, it has generally not been necessary to state these implicit goals because of a strong empirical correlation between the achievement of these goals and the achievement of the explicit goals. In the example of the formalization project, pretty much any human-centric effort to accomplish the explicit goal will end up naturally also achieving most of the implicit goals stated above. So the explicit goal effectively becomes a viable proxy for the broader range of actual goals. (1/2)
unfug
Man liest viel über die Quadratur des Kreises, aber wenig über die Kreisur des Quadrats. Warum bloß
Since Masotodn will soon support platform/native quote post, I'm refining a bit the experience in Ice Cubes.
The rocket is gone (🪦), and instead we're going back to a standard repost icon.
The button will now show a selection menu to boost or quote.
A new settings in display menu will allow you to set it to a boost or quote default too, so you can skip this menu if you wish.
Polen unter deutscher und sowjetischer Besatzung 1939–1945 by Jacek Andrzej Młynarczyk, 2010
Poland was one of the few countries to suffer the consequences of occupation by two totalitarian regimes during World War II. Both the Nazi and Soviet rulers aimed to murder the vast majority of the Polish intelligentsia, permanently alter existing social conditions, and exploit the occupied country...
erdgas, kalauer
Borkumer Bohrkummer
あれくらいの時にクリエイトデータ作ってしゅいろママに渡したけど
そこから結構ママの方でいじってるはず
そういえば以前、しゅいろママから藍ちゃんかママかどっちか忘れたけど他の人にエディットしてもらったみたいな話を聞いたことがあるような気がする。人違いだったらごめんねだけど。
Remade my #website: https://austinhuang.me
I guess it's a more modern take of the neocities stuff: plain and a bit professional (I don't like noisy visuals), but still tries to be playful in some places. Suggestions welcome!
I also have a 88x31 now (on the "links" page). Links welcome!
커피까지 먹었지만 4시간 동안 낮잠 잤음
Weird CPU architectures: the MOV only CPU https://lobste.rs/s/wbjiws #hardware
https://justanotherelectronicsblog.com/?p=771
（いやまさかね）
大体5年くらい前の
告白おかゆ #絵かゆ
Remade my #website: https://austinhuang.me
I guess it's a more modern take of the neocities stuff: plain and a bit professional (I don't like noisy visuals), but still tries to be playful in some places. Suggestions welcome!
I also have a 88x31 now (on the "links" page). Links welcome!
GraphQL comes second for me now. It promises to reduce frontend complexity by moving around on your plate to the backend.
But how well you manage this complexity varies wildly.
Skip making a GraphQL API first. Build a solid REST API, then consider GraphQL or others second.
The shiniest tech should never come first.
주말이라고 논다고 1도 개발 안 했다...
そうだぜ
Adding FRM parser utility to MariaDB https://lobste.rs/s/iuvpa7 #databases
https://hp77-creator.github.io
还得是英文圈
ok, I'm seeing people (maybe begrudgingly) poke around over here after bluesky made some not so great moderation decisions, so as a reminder to everyone that's been here: please do not act smug about this. bluesky worked for them and mastodon is totally different. there isn't any "wrong" place to go, neither is there a "wrong" way to post. be welcoming and accepting of other people's preferences please.
also, to people checking mastodon out for the first time or if it's been a while for you: feel free to tell off anyone who says that you're doing it wrong. block, report, whatever. you do not deserve to give harassers the time of day. that is how they win.
해 진 저녁 당신은 울산역에서 버스를 기다리고 있습니다.
주사위를 굴려 더블이 나오거나 5턴이 지나면 빠져나올 수 있습니다.
HTML Standardのnon-normative | YEND.DEV
어떻게 씬/장르 이름이
The Scene That Celebrates Itself
昼に行くとこんな感じ
RE: https://misskey.io/notes/aclpdhvvffr90dc6
시오
diaowinner
Zennのトレンド 
ももじ＠3/29_Jケット7_A23 
しゅいろ
kazuhito
Andreas Freise
Sara Joy 
ゼケ(ベ)
🎸🍔 
쯔방 
✨
白長谷
