What is Hackers' Pub?

ぜーけっけっけ！！！(ヤケクソ)

@thx@mustard.blog상어학땡스 마트에서 폴란드 수입 치킨은 한번도 못본거 같은데 파는 치킨집들이 많이 사나보네요.

Signal같은건데 incremental update도 되고 GC도 가능한 무언가를 만들려고 했더니 이런 정의가 나왔다. 혹시 비슷한거 알고 계신분 있나요?

type Dynamic<Value, Delta> = {
	read(): Value;
	disconnect(): void;

	updated: Observable<Delta>;

	fork(): Dynamic<Value, Delta>;
};

くろでんなでなでマッチング

Just installed VS Preview to play with C# 14.0 and the new "extension everything" 🤩

R# does not yet support this so I had to disable it... but the VS experience is so poor compared to R#. It is baffling that it hasn't improved significantly over the years. For example: The code navigation is still painful, no small popup window that you can open/navigate inline within the code but a big tab pane opening at the bottom and more painful to exit from - no esc key, only CTRL+TAB 😒

#csharp

아...5월 6일이 대체 공휴일이구나...5월 5일이 어린이날, 부처님 오신날이 겹쳤구나..그래서 대체구나...와...이런 경우가 있나??...공휴일 2개가 겹친다??

모든 사법, 입법, 행정의 법과 제도가 정치인/법조인/고위 공무원이 인텔리/지식인/엘리트에게 요구되는 최소한의 상식과 인성이 있다는 전제로 만들어져 있음. 인간은 모두 개쓰레기라는 원칙 하에 전부 고쳐야 한다고 생각함.

RE: https://bsky.app/profile/did:plc:rug3lizpp47juqv3cggpsog4/post/3lo6cb2lww22b

다음주면 생일이네.

절대 한국나이를 쓰지 마.
만 나이만 써.

https://github.com/hashicorp-forge/hermes

@thx상어학땡스 아니에요. 밈에 약해서...

기존 생태계와의 호환성을 깨는 방향으로 파괴적 혁신을 하려면 2배, 3배 좋은 정도가 아니라, 고민할 이유없이 탁월하게 좋아야 한다. 애매하면 사장되거나, 운 좋으면 생태계가 이원화된다. Deno가 그런 탁월함을 보여주길 기대했지만 그 정도는 아니었던 것이다...

메서도 사고 싶다

Automated theorem provers as the hub of the AI math ecosystem. ~ Stephan Schulz. https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/25.pdf #Math #AI #ITP

근데 폴란드에서 닭을 수입하는거야? 우유는 알고 있지만...

@thx상어학땡스 글라도스...? 모르는 밈이에요. 쉽지 않네요.

아..닭먹고 싶네...

@thx상어학땡스 조은아침이에요(?)

갑자기 땡겨서 뚱뚱한 근본 바나나우유랑 도리토스 삼

@thx상어학땡스 저는 주식이 감자에요.

​​
ゼケ(ベ) ＠zeke4010　


なりすましは良くないぜけっこう​​
私以外偽物だゼケ

땡스님 실물 목격 @thx상어학땡스

나는 쌀밥 안 해먹는데...

2025年 令和最新版 対策 横断歩道系 慢性的な咳

Hi, I am Tim a professional doomspeaker and security tinkerer. This is very much a personal account and covers little of my "work" stuff and more my interests in tech and tinkering.

You can find my work stuff on https://timnash.co.uk & https://linkedin.com/in/tnash

I am going to try and avoid where possible to much copying and pasting between socials going forward.

​​ 저도 매우 보수적인 사람인데, 대체 퀴어라는 젠더에 대해 이 정도로 발광을 하는 이유를 모르겠어요. 뭐 때로 몰려와서 꼬추 떼어주고 가는 것도 아닌데…;

MisskeyやMastodonはXと違って何かに怒ってる人が少なくて快適だから良い

세이버. 아밍소드. 사이드소드. 사고싶다.

젠장 사이드소드 사고 싶다

[단독]개막 두 달도 안남았는데 ‘퀴어 영화제’ 대관 취소···뒤에는 “동성애 반대”는 악성 민원 - 경향신문

https://www.khan.co.kr/article/202505021611001

싫어하더라도 인정은 해라 좀.

Fediverse コミュニケーションロボットオフ

@smallcircles🫧 socialcoding.. @Discourse I've already posted in them and even involved the lemmy devs to help triage months ago >_<

アイコン変えた

ドキュメント管理どうしよ

うあー

@stefanoStefano Marinelli I thought this would go well with the BSD Cafe 😃

Frontier of formal theorem proving with large language models: Insights from the DeepSeek-Prover. ~ Huajian Xin. https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/6.pdf #ITP #LeanProver #LLMs #DeepSeek

Semantics of probabilistic programs using s-finite kernels in dependent type theory. ~ Reynald Affeldt, Cyril Cohen, Ayumu Saito. https://dl.acm.org/doi/pdf/10.1145/3732291 #ITP #Rocq

@stefanoStefano Marinelli Very good album. Have a great friday too.

正規表現の先読みと後読み、少し考えないとどっちがどっちかわからない

xAI dev leaks API key for private SpaceX, Tesla LLMs

Link: https://krebsonsecurity.com/2025/05/xai-dev-leaks-api-key-for-private-spacex-tesla-llms/
Discussion: https://news.ycombinator.com/item?id=43865097

Owning the Stack: FreeBSD and ZFS for Infrastructure Independence

https://discoverbsd.com/p/28203cfa9d

這醫師的父母中一定有人是諧教徒！😂

​​

這醫師的父母中一定有人是諧教徒！😂

@thx상어학땡스 실제로 진짜 중립이 되면 오히려 맞지 않을 거라는 생각이 드네요.

부처나 예수처럼.

Xboxってマイクロソフト製だし普通のWindows使えようにしちゃえば良いのに

다들 중립이라고 말하며 중립 기어를 박은 뒤 양쪽으로부터 두들겨맞던데...

진짜 중립 같은 건 없다는 게 제 생각입니다.

[ 4Gamer.net: Xbox本体，大幅値上げ。Xbox Series Xは7万9980円から，Xbox Series Sは6万2480円からの価格設定に ]
https://www.4gamer.net/games/990/G999028/20250502007/

펨셀이라는 단어 말인데, 한남과 혐오주의자 여성이 영혼의 쌍둥이라는 데서 나온 단어겠거니 싶긴 하지만, 본뜻이 '비자발적 순결주의자'인 단어에 여자를 뜻하는 글자를 붙여서 혐오주의자 여성에 대한 비칭으로 쓰는 건 어떤가 싶은데. 터프나 혐디컬이라는 말 대신 이 단어를 고집할 필요가 있나? 사실 난 이게 메갈쿵쾅이랑 크게 다른 말인지 잘 모르겠다. 애초에 당장 문제가 되는 터프들의 행동 중 하나가 남자랑 연애/섹스/결혼하는 여성들에게 성희롱적 폭언을 퍼붓는 거잖아요. 비자발적 순결주의자가 아니라 컨트롤프릭적 순결주의자잖어...