What is Hackers' Pub?

People here have been discussing exact real number computation recently.

Here are the lecture notes for a talk I gave at Fun in the Afternoon in 2011, with Haskell code computing arithmetic operations, trigonometric functions, definite integrals and more, using infinite sequences of digits to represent real numbers.

https://github.com/martinescardo/ExactRealNumberComputationInHaskell

[참고] 연말정산 간소화자료 중 민감정보 삭제 방법 www.sejungilbo.com/news/article... 스라의 걸어다니는 종합병원 분들 참고하세요~!!

RE: https://bsky.app/profile/did:plc:eb7rhrrnoa6bgvovmp4lscff/post/3m5lbnpqik226

[참고] 연말정산 간소화자료 중 민감정보 삭제 방법

두통(literally) 타이레놀을 먹어서 지금은 괜찮습니다.

아맞다 안녕하세요 이혼숙려캠프를 보고 두통이 생긴 사람입니다.

I think nobody wants AI in Firefox, Mozilla

Link: https://manualdousuario.net/en/mozilla-firefox-window-ai/
Discussion: https://news.ycombinator.com/item?id=45926779

#firefox #mozilla

​​リクエスト​​​​​​​​

1020 여성 입장에서 이성애 연애의 리스크가 연애-결혼을 통해 정서적-경제적으로 안정적인 삶을 사는 메리트를 추월했다고 보인다. 당신의 남친, 미니 이준석이거나 일베충, 또는 머스크 빠돌이, 아카라이브와 디시인사이드 오타쿠 갤러리 상주자일 수 있습니다 수준 아닌가.

RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3m5lnko7vbk2p

People here have been discussing exact real number computation recently.

Here are the lecture notes for a talk I gave at Fun in the Afternoon in 2011, with Haskell code computing arithmetic operations, trigonometric functions, definite integrals and more, using infinite sequences of digits to represent real numbers.

https://github.com/martinescardo/ExactRealNumberComputationInHaskell

I'm absolutely humbled and grateful for all your offers to translate my Fedi promo video in multiple languages.

Guess how many subtitles we have now? EIGHTEEN!!!

The latest subs are:
- Espéranto by @MichelPatrice
- Portugal Portuguese by @filipeHermano Filipe

🔗 : https://blog.elenarossini.com/fediverse-video/

Thank you so much for all your help - it really takes a village ❤️ ✨

Allow drag&drop of link to quote in compose form (#36859) by tribela has been merged! https://github.com/mastodon/mastodon/commit/4ab1d5d7242b07ebcb547d6d4866533f718a5ce9

FYI, last Friday was my last day at Unstructured. I've been taking a week off and then going back to Pantheon to work on their observability offering.

I love the people at Unstructured, and I wish them the best.

Industry commentator Xe Iaso, author of the Anubis anti-LLM-bot crawling tool, thinks that Valve is about to win the console generation. Interesting times are coming in 2026.

I’m giving a talk at @eurosky.social titled “EuroCloud to App Liftoff in the ATmosphere” As EuroCloud builds out hardware and infra services, what are the opportunities for building the next generation of EU designed & hosted apps? With ATProto building blocks.

RE: https://bsky.app/profile/did:plc:ooensn4mr5mhznzypvxelfa3/post/3m5lm3g6cfs2a

...그럼 "SEOUL MY SOUL"은 의미를 파악할 수 있나?

RE: https://bsky.app/profile/did:plc:4sujqnbd47ey26qcvajqoxa2/post/3m5knyd5fnp2g

재업 테토 내한 상상도

깻잎님 블스계정이 있었구나

I think that signing up for @piccalilli's emails has been one of the best things I've done this year. High quality, human curated content that interests me is underrated and hard to come by.

https://piccalil.li/the-index/

白っぽいセーラーすき

이거 누가제보함;;;

RE: https://bsky.app/profile/did:plc:4rbcfuuvcmkm3seadmhpatmz/post/3lz5qkdtyx225

AGI fantasy is a blocker to actual engineering

Link: https://www.tomwphillips.co.uk/2025/11/agi-fantasy-is-a-blocker-to-actual-engineering/
Discussion: https://news.ycombinator.com/item?id=45926469

Fix error with remote tags including percent signs (#36886) by ChaosExAnima has been merged! https://github.com/mastodon/mastodon/commit/c5eca8ffb26f5ecbdec212e5e1c352ae9dd8e28d

Skebイラスト進めてます​​

KBS #추적60분 에서는 개발자, 사무직, 디자이너 등 업계 내 'AI 도입'으로 인해 실직하시거나 구직이 어려워진 분들의 사연을 받습니다 #AI

The old Loops app will now show "Login Error" when you login

The Help Center link now redirects to https://loops.video/pages/android-update

We will send an email to all users when the apps are available in the app stores later this month!

#loops

「目覚めた人たちの新時代」ヤバすぎる https://id.sankei.com/sv/28714/

国会議員、よく眠っているから目覚めた人たちが国会議員になるのか

I lost 1000 files from my #obsidian sync because its dumb and im very mad

夜の絵作業捗る​​

https://bugzilla.mozilla.org/show_bug.cgi?id=2000000

아무튼 너넨 성공했어

ChatGPT is piloting group chats—humans + AI collaborating in one thread.

Think planning trips, drafting outlines, settling debates. Group chats live separately from private chats, and memory isn’t shared. Rollout starts on mobile/web for logged‑in users in select regions. ChatGPT now decides when to chime in, can emoji‑react, and references profile pics.
#AI Threads

#FursuitFriday #Fursuit
제가 소식적에 토끼를 사냥하고 다녔죠
지금은 전부 저를 따르고 있어요

스위치2 ver21.0.0 펌웨어 버전에서 기존에 작동하던 스위치2 독모드 호환품이 작동하지 않는다고 합니다. ​​

아마 이거 새로고침, 추천탭에 오래 있어서 '아무것도 안하면서 트래픽을 많이 만듬'으로 판정하는 걸지도 몰라요.

RE: https://bsky.app/profile/did:plc:3furkmrqmosux65iq7izpbn4/post/3m5lu7njod223

I’m giving a talk at @eurosky.social titled “EuroCloud to App Liftoff in the ATmosphere” As EuroCloud builds out hardware and infra services, what are the opportunities for building the next generation of EU designed & hosted apps? With ATProto building blocks.

RE: https://bsky.app/profile/did:plc:ooensn4mr5mhznzypvxelfa3/post/3m5lm3g6cfs2a

아 아 마이크 테스트
한국 무인양품 만년필은 비추천합니다 사지 마십시오 뽑기빨이었을진 모르겠으나 테스트 해봤을 땐 부드럽게 써졌던 걸 집에 와서 써보니 펜촉(해외 판매 물품과 펜촉이 다름!)이 애먼 종이만 북북 긁다가 나가버렸습니다 펜촉 교체가 될진 모르겠지만 굳이 쓰신다면 펜촉을 바꿔서 쓰십시오……..

게임에서라도 암살을 의뢰하고 싶은 게이머들;; #게임 #NintendoSwitch2 #HitmanWOA

병 디자인은 확실히 예쁨

아무튼 너넨 성공했어

러닝코치 기능도 좀 써봐야되는데 낼 써볼까

Mozilla: We're going to start listening to our users!

Users: Don't put any more "AI" in Firefox.

Mozilla: Not like that.

#mozilla #users #AI #NobodyWants #firefox #listening

혹시 업데이트 이후로 플래닛 이용에 문제가 발생하시는 분이 있으신가요?? 발생한다면 어떤 문제인가요?

@gruberJohn Gruber great unexpected use of "cromulent" today, I laughed out loud

甘雨ちゃん描いた

파판14의 정치 관련 스토리는 그냥 재미 없는데 .x 에 나오는 정치 관련 스토리는 진짜 쓰레기같이 재미 없는 것 같다

이거 누가제보함;;;

RE: https://bsky.app/profile/did:plc:4rbcfuuvcmkm3seadmhpatmz/post/3lz5qkdtyx225

으악 OnlyPosts로 대피해야지

마스토돈 인용이 미스키에서는 보이는데, 미스키 인용이 마스토돈에서 보이진 않네

@mumuhandle.bsky.social 안녕하세요~ 블친소에 흔적 남겨주셔서 찾아왔습니다~ 선팔할테니 괜찮으시면 맞팔, 안 맞으실거 같으면 언질 해주시면 언팔하겠습니다~!

와 드디어 업데이트 되었구나<<

RE: https://planet.moe/users/planet/statuses/115544357394771380