What is Hackers' Pub?

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땡상어 글라도스...? 모르는 밈이에요. 쉽지 않네요.

아..닭먹고 싶네...

Do what you say
Say what you do

@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 コミュニケーションロボットオフ

アイコン変えた

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

うあー

@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/

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

https://www.techdirt.com/2025/05/01/judge-in-apple-epic-case-is-spitting-mad-at-apples-willful-contempt/

Great summary.

“그렇기에 매력적인 외모를 가진 사람들에게는 게임에 시간을 소비하는 것이 ‘기회비용’이 더 크며, 그 결과 게임 시간은 줄어드는 경향이 있는 것으로 보인다”고 분석했다. 2025-05-02 14:27:43 m.thisisgame.com/webzine/news...

"잘생긴 사람은 게임을 많이 하지 않는다"

DeepIsaHOL progress report: current machine learning for the Isabelle proof assistant. ~ Jonathan Julián Huerta y Munive. https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/8.pdf #ITP #IsabelleHOL #LLMs

It's #FairtradeMusicFriday! Here's a new submission thread for May.

As always, submit your own release or someone else's, it can be by #FediMusicians or not, hosted on #Bandcamp, #Faircamp, #JamCoop, #Mirlo or #SelfHosted, as long as it is by an #IndieArtist - it doesn't even need to be new.

Just make a direct public comment (with a link & description) to this post and it will appear at https://isitfairtrademusicfri.day automagically!

Buying or boosting will make an artist's day 💙

​​ 진정한 프로 아무말러 = 한국 언론사

StaRt - Mrs. GREEN APPLE (Variety)
#NowPlaying

​​ 진정한 프로 아무말러 = 한국 언론사