What is Hackers' Pub?

Best claw machine prizes ever! 🐈

also i vaguely remember something about how ∀A. A could only work for this in haskell because it's not sound thanks to undefined/error, and that's perfectly okay for haskell thanks to laziness, but rust is strict. or something. this is where i reach my current depth haha

800cc daewoo can drive at 199 km/h

【速報】首相、厚労相に労働時間の規制緩和検討指示
https://www.47news.jp/13326012.html
「『ﾜｰｸﾗｲﾌﾊﾞﾗﾝｽを捨てる』発言は自分の覚悟を示したまでだ。これに噛みついてるやつはｱﾎか」とかゆってたﾄﾝﾁｷども息しとるか

Fix value of `quote_approval_policy` and `quoted_status_id` in ScheduledStatus serializer (#36549) by ClearlyClaire has been merged! https://github.com/mastodon/mastodon/commit/aba30a85beac1fcf70fc14bb7131583c50120ef1

Fix scheduled quote posts being posted as non-quote posts (#36550) by ClearlyClaire has been merged! https://github.com/mastodon/mastodon/commit/17eb1a7e668dbba6e79612395b99407e8e8de6b9

Alibaba Cloud says it cut Nvidia AI GPU use by 82% with new pooling system

Link: https://www.tomshardware.com/tech-industry/semiconductors/alibaba-says-new-pooling-system-cut-nvidia-gpu-use-by-82-percent
Discussion: https://news.ycombinator.com/item?id=45643163

Flink Watermarks…WTF? https://lobste.rs/s/iiseif #databases #distributed
https://flink-watermarks.wtf

LLMs Can Get "Brain Rot"

Link: https://llm-brain-rot.github.io/
Discussion: https://news.ycombinator.com/item?id=45656223

01時15分だからうねうね

메타의 AI Glasses 제품 출시 광고 영상인데 음바페가 나오네요. 다른 한 명은 누구인지 몰라서 ChatGPT에게 물어보니 이런 사람이네요.

"시드니 맥러플린-레브론(Sydney McLaughlin-Levrone)은 미국의 육상 선수로,
현재 여자 400m 허들 세계 기록 보유자이자 올림픽 금메달리스트예요.
현역 육상 선수 중에서도 가장 뛰어난 기량과 영향력을 가진 인물 중 하나로 평가받습니다."

엄청난 광고 모델들인 듯합니다. 메타가 정말 AI Glasses에 진심이네요.

RE: https://www.threads.com/@oakleymeta/post/DQEr_uGjrG7

So this the tweet in question is upsetting enough that I tried to verify it by going to twitter myself. I couldn’t find it but also what is the logic of the order of tweets now? I went to Staley’s page and the order is not chronological so… what is it? Truly unhinged.

Today October 21st is
Global Encryption Day! 🔒🎉

This is a good time to remember that encryption is essential to online security and digital privacy.

Despite some governments pushing hard to weaken it, we must remind them that we all need encryption, and especially end-to-end encryption, to stay safe online 💚

Privacy is a human right
and end-to-end encryption is one of the best tool we have to enforce that right.

https://www.privacyguides.org/articles/2025/04/11/encryption-is-not-a-crime/

#GlobalEncryptionDay #Encryption #E2EE #Privacy #RootForE2EE

​​

의견이 분분하겠지만 20세기 클래식에 여러 이야기들이 있지만 알아두어야 하는 한 사람이 있다면 헤르베르트 폰 카라얀일 것 같습니다.

RocqStar: Leveraging similarity-driven retrieval and agentic systems for Rocq generation. ~ Andrei Kozyrev, Nikita Khramov, Gleb Solovev, Anton Podkopaev. https://arxiv.org/abs/2505.22846 #ITP #Rocq #LLMs

Probably the most elegant design of tabs, ever.

#macOS

宮城オフ会IZUMINATION

음악이야기에 이어
오페라는 가수가 공연하고, 뮤지컬은 배우가 공연합니다.

TARmageddon (CVE-2025-62518) highlights the challenges of open source abandonware https://lobste.rs/s/tbmns8 #rust #security
https://edera.dev/stories/tarmageddon

AI Is Making Us Work More

Link: https://tawandamunongo.dev/posts/2025/10/ai-work-more
Discussion: https://news.ycombinator.com/item?id=45656916

I've written 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 third and final post of the series that focuses on writing the virtual machine is now out: https://abhinavsarkar.net/posts/arithmetic-bytecode-vm/

#programming #Blogging #compilers #programmingLanguages

오늘 음악 이야기를 하다 나온 것
사람들은 교향악단과 관현악단을 구분하지 않는다.
관현악단 = 오케스트라
교향악단 = 심포니 오케스트라
어원은 늘 그러하듯 고대 그리스 연극 무대에서 무대와 관람석 사이를 ὀρχήστρα(오키스트라??)라고 한 것에서 이어진 것.
오페라에 관현악이 붙을 때도 이 전통1700년도 넘는 공백에 따라 무대와 관객사이에 자리함.

오늘 음악 이야기를 하다 나온 것
사람들은 교향악단과 관현악단을 구분하지 않는다.
관현악단 = 오케스트라
교향악단 = 심포니 오케스트라
어원은 늘 그러하듯 고대 그리스 연극 무대에서 무대와 관람석 사이를 ὀρχήστρα(오키스트라??)라고 한 것에서 이어진 것.
오페라에 관현악이 붙을 때도 이 전통1700년도 넘는 공백에 따라 무대와 관객사이에 자리함.

Today October 21st is
Global Encryption Day! 🔒🎉

This is a good time to remember that encryption is essential to online security and digital privacy.

Despite some governments pushing hard to weaken it, we must remind them that we all need encryption, and especially end-to-end encryption, to stay safe online 💚

Privacy is a human right
and end-to-end encryption is one of the best tool we have to enforce that right.

https://www.privacyguides.org/articles/2025/04/11/encryption-is-not-a-crime/

#GlobalEncryptionDay #Encryption #E2EE #Privacy #RootForE2EE

Good morning! I am looking for contract work. If you have 10-15 hours a week of work on a well defined technical project (‘we need to move 6 websites by this date’, ‘we need to hire a team to do an infra migration’, ‘we need to complete an accessibility audit and figure out next steps’, ‘we need to improve our docs / our onboarding process’), let me know.

If you also need help getting to ‘well defined technical project’, I can also help!

I am a technical product manager who likes to be the ‘glue’ in sticky technical situations and figure out how to come out of it with useful and usable software. I’m based in San Francisco but I also have years of experience working in Asia and Europe, and can navigate time zones / remote teams / cultures / communication styles. I have experience in working in open source.

Send me an email: adrianna <at> futureethics.ai

#GetFediHired #California #Asia #europe

fediverse report is now scheduled to come out every friday (instead of every tuesday), due to some other work obligations.

so a few more days until the next episode. in the meantime, check out all the fediverse projects nlnet is funding with their latest grant round: https://nlnet.nl/news/2025/20251016-selection-NGI0CommonsFund.html

I know there are a lot of CSS magicians on the fediverse, is anyone open to freelance work? we're looking for some help with https://wizardzines.com

share a link to your site?

OpenAI is following a trend we’ve known about for years: There are endless theorized applications of AI, but in the real world many people want to use LLMs for sexual gratification.

🔗 https://www.404media.co/openai-sam-altman-interview-chatgpt-erotica/

스타워즈 느낌이 나도록 개인 블로그 인트로를 다듬었다.

kodingwarrior.github.io

観測するまでは誰しも美少女ですからねえ

the problem with testing moderation software is that you have to come up with vile stuff to make sure it gets rejected 🙃

🛰️ 왜 사람들은 X·Facebook을 떠나 Bluesky로 모일까?
데이터 소유권과 서비스 다양성을 기반으로 한 차세대 SNS

🌐AT-protocol과 Bluesky, 탈중앙 SNS를 향한 새로운 접근
👤이성민 (boltless)

티켓 https://event-us.kr/fossforall/event/110400
세션 https://2025.fossforall.org/sessions/

#FOSSforAll #Bluesky #ATProtocol #탈중앙SNS #커뮤니티

어느 뷔페를 가든지 간에

탄수화물은 제일 나중에 조지는 겁니다
탄수화물은 제일 나중에 조지는 겁니다

중요한 일이라 두번 말했습니다 #아무말

Show HN: ASCII Automata

Link: https://hlnet.neocities.org/ascii-automata/
Discussion: https://news.ycombinator.com/item?id=45621571

포옹하고 싶다

스포티파이 미국 패밀리 한 자리 남아요~~ 월 4900원

fedify로 블로그 만드는 일기 - 3

와 이젠 키 교환까지! 이제 그러면 미스키에서도 lookup 되려나?

Check out what the volunteers at last week's Free Software Directory (FSD) accomplished last week! https://u.fsf.org/495 #FreeSoftware #FSF

it's also kind of funny that we decided to pursue specialization for performance-related reasons, and therefore, losing parametricity was just a casualty, but now it's unclear if rust will ever get specialization

“<ecosystem> is going overboard on complexity! We need to make things simpler!” is such a tired take, regardless of the specifics.

Everyone likes things simple, by which I mean everyone likes things tailored to their current use case. Anything extra that goes on to make a library general or reusable or extensible will add bits of friction for whatever you’re doing specifically. And everyone feels that pain, so they’re happy to agree.

Nothing is stopping you from writing your own “simple” libraries though! You can always do what the nodejs ecosystem did and have people release ten new frameworks a week until you package manager has literally millions of piles of dreck in it.

The reason that ecosystems “standardize” on specific libraries and frameworks is that they solve the problems of the widest number of developers.

The alternative is worse. #programming

ssh鍵、移動するのがリスクだからデバイス毎に造り直すとかいうよくわからない脅威モデルの人がいるけど、移動するのがリスクだと思うのに頻繁に.ssh/id_ed25519.pubに追記することがリスクだと思わないのは何故？

붓(필기구)이 있는 유일한 곳이기도 …

RE: https://bsky.app/profile/did:plc:wuaity445q2mh3erfknu72er/post/3m3mncojbpc2t

​​

吃我的蛇年行大運啦！！

#inktober

Formally verified certification of unsolvability of temporal planning problems. ~ David Wang, Mohammad Abdulaziz. https://arxiv.org/abs/2510.10189 #ITP #IsabelleHOL

What are you doing, human? Just use your tongue.

Of all the AI browsers I’m not going to use, I’m not going to use OpenAI’s the most
https://mastodon.social/@verge/115412946450980588