What is Hackers' Pub?

ついでにXcodeを更新したみたい（Tahoeにはしたくないよう…

$ gcc --version
Apple clang version 17.0.0 (clang-1700.6.4.2)
Target: arm64-apple-darwin24.6.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

He’s so fluffy!!!

@cwebberChristine Lemmer-Webber I never understand that like I hope they keep their bank info private.... Unless they want to give me money that's cool

@cwebberChristine Lemmer-Webber "everybody has something to hide, like for example the credentials for taking money out of their bank account" is a weirdly hard thing to put across sometimes

Grammarly is offering ‘expert’ AI reviews from famous dead and living writers

Link: https://www.wired.com/story/grammarly-is-offering-expert-ai-reviews-from-your-favorite-authors-dead-or-alive/
Discussion: https://news.ycombinator.com/item?id=47259366

@cwebberChristine Lemmer-Webber
All my apes, all openclawed.

Bluesky CEO Jay Graber Is Stepping Down
https://www.wired.com/story/bluesky-ceo-jay-graber-is-stepping-down/?utm_source=flipboard&utm_medium=activitypub

Posted into Business @business-WIREDBusiness

SHORTS WEATHER

IN EARLY MARCH

🫠

Over at @fedihost we get asked about character limits enough times for me to write this up in the hopes of heading off some support tickets.
https://fedihost.co/blog/slug/custom-mastodon-character-limits

Basically, the character limit is hard-coded so you have to run a branch to change the limit to over 500.
Do you guys think that #Mastodon should make the character limit easier to change?

I love and use AI heavily, but recognize and respect the human touch points. One of the things I'm proud of is that our release notes for Ghostty are still lovingly created by hand by our maintainer team. We spent over 16 hours preparing them. I hope you liked them. ❤️

This profile is really empty so here's a little atmospheric clip from Wizwag that I really like!

the worst thing about the adhd tax is smarmy people saying "i simply would not have done that" and they can all go to hell

@cwebberChristine Lemmer-Webber
"information wants to be free!"
*chasing after my SSN and bank account numbers*
"get back here you cheeky little fuckers!"

봇을 만들어보자

Ghostty 1.3.0 via @bd103 https://lobste.rs/s/flbwoi #release
https://ghostty.org/docs/install/release-notes/1-3-0

A desalination plant supplying drinking water to 30 villages.

A flour and starch factory.

Oil depots blanketing Tehran in thick black smoke and contaminated rain.

65 schools. 13 hospitals.

Centuries-old heritage sites.

These are the latest targets in the illegal US-Israeli assault on Iran. These are not military bases, they are the civilian infrastructure that keeps ordinary people alive. More than 1,300 people have already been killed since the attacks began, and nearly 6,700 civilian sites have reportedly been struck.

This war has nothing to do with democracy — or even nuclear weapons. Canada must have no part in it and Prime Minister Carney must use every ounce of his influence to put a stop to it.

#cdnpoli #iran

the notion that a website, on a simple keyboard keypress, would issue HTTP queries on the fly, sometimes multiple requests in a relatively short time, is ludicrous to an old brain like me

Can the most abstract math make the world a better place? ~ Natalie Wolchover https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/ #CategoryTheory #Math

En.osm.town is an independent Mastodon server for OpenStreetMap people. Funding graciously provided by the OpenStreetMap Foundation.

This server has been online since 2018.

https://en.osm.town

You can find out more at https://en.osm.town/about or contact the admin account @compassOSM Town Compass

#FeaturedServer #OpenStreetMap #OSM #Maps #Cartography #GIS #Geospatial #Mastodon #Fediverse #FreeFediverse

Category theory for programming. ~ Benedikt Ahrens, Kobe Wullaert. https://arxiv.org/abs/2209.01259v1 #CategoryTheory #Haskell #LeanProver #FunctionalProgramming

LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade. https://arxiv.org/abs/2506.08321v1 #LeanProver #ITP #Math #AI4Math

You can attach images, video files or audio files to Mastodon posts:

🖼️ Images can be PNG, JPG, HEIF, WEBP, AVIF or GIF (including animated GIFs)

📺 Video clips can be MP4, M4V, MOV or WebM files

🔈 Audio clips can be MP3, OGG, WAV, FLAC, OPUS, AAC or 3GP files

The maximum file size for each image is usually 16 MB, for video or audio it's usually 99 MB. There is no restriction on running time, just file size.

More info on attachments at https://fedi.tips/how-do-i-post-images-videos-or-audio-in-mastodon-what-can-i-attach-to-a-post-how-do-i-post-gifs

#FediTips #Mastodon

논바트젠 서사인 거 진짜 생각보다 읽기 어려운 코드인가...?

寝るはらさん逆はらさん

AI and decision-making.

You can attach images, video files or audio files to Mastodon posts:

🖼️ Images can be PNG, JPG, HEIF, WEBP, AVIF or GIF (including animated GIFs)

📺 Video clips can be MP4, M4V, MOV or WebM files

🔈 Audio clips can be MP3, OGG, WAV, FLAC, OPUS, AAC or 3GP files

The maximum file size for each image is usually 16 MB, for video or audio it's usually 99 MB. There is no restriction on running time, just file size.

More info on attachments at https://fedi.tips/how-do-i-post-images-videos-or-audio-in-mastodon-what-can-i-attach-to-a-post-how-do-i-post-gifs

#FediTips #Mastodon

JSLinux Now Supports x86_64

Link: https://bellard.org/jslinux/
Discussion: https://news.ycombinator.com/item?id=47311484

Formalizing a proof in Lean using Claude Code. ~ Terence Tao. https://youtu.be/JHEO7cplfk8 #LeanProver #ITP #AI4Math

Annoyingly I seem to have tennis elbow despite not playing tennis. Maybe not initially caused by mouse use but I'm pretty sure it's exacerbated by mouse use.

Anyway, I'm training myself to use the mouse on the left. I thought I'd look at some papers on the best approach. This was an interesting find: apparently training on the non-dominant side can improve performance on the dominant side. So everyone should be doing this, injury or not :)

https://www.nature.com/articles/s41598-021-83770-4

택시 탔더니 운전사 분이 내륙 사람들 다 바보냐고 함 왜 택시앱 안 켜보냐고 네 싹다 바보천치들이에요... 나 포함...

I bet the rapture would really help housing prices

I'm a software professional and I have spent the last 40 years writing code almost daily. To me, the advent of LLM coding tools means that the job that I have been doing so far is gone. I am no longer going to write code for a living. Instead, my job as a software professional will be to guide LLMs to write the code for me.

I did not ask for this, and I have not decided whether I enjoy my new activity more than I enjoyed my previous duties. But is that relevant? In a certain sense, I am a 1/

M1 MacBook Airちゃんから練習

71f9763e68 (upstream/main, upstream/HEAD) Fix erratic scroll-to-right on delete & redraft in Advanced UI (#38116)
1d46558e8d Ingestion of remote collection items (#38106)
2c6d072175 Extract `ErrorResponses` from application controller (#38105)
e235c446c9 Fix broken option defaults in `tootctl email-domain-blocks` (#38107)
4211b1b34c Update dependency faker to v3.6.1 (#38074)
73d97153d8 Update `connection_pool` to version 3.0.2 (#38103)
fcc3fac8a8 Fix `Style/ReduceToHash` cop (#38088)
3a796544e3 Allow removing yourself from a collection (#38096)
5838fce8f4 New Crowdin Translations (automated) (#38100)
3b1705a406 Add `TermsOfService#usable_effective_date` to DRY up view logic (#38095)
d7a1bead51 Update dependency aws-sdk-s3 to v1.215.0 (#38067)
eabbda3148 Fix `Style/SelectByKind` cop (#38084)
5090036edf Update dependency hiredis-client to v0.27.0 (#38092)
6a6a97f314 Update dependency json-schema to v6.2.0 (#38093)
2ad0b32dd5 Add basic ES-enabled index/service coverage (#38097)

Yay, we won a Best in Show Award at #EmbeddedWorld ! In the Microcontrollers, Microprocessors, and IP category for our ICENI #CHERIoT chips!

#CHERI

A Farsi numbers station is broadcasting right now on 7842 kHz. Picked up in Germany at 18:16 UTC.

For regular folks: This is how spy agencies send coded messages to agents in the field. They've been active throughout this war. Someone is getting instructions.

#Farsi #Iran #Intelligence #Radio

What I Always Wanted to Know about Second Class Values https://lobste.rs/s/dcqmlk #plt
https://dl.acm.org/doi/epdf/10.1145/3759427.3760373

Cool, cool. #Python wants to be hip and have types too, but so then what does this print?

for x in b"hello":
print(type(x))

Great to see a new author up on the @atproto.com@bsky.brid.gy, and @thisismissem.social@bsky.brid.gyEmelia no less! It's incredibly exciting to see support for her work in general, and specifically around bringing FedCM and ATProto/ActivityPub closer together. atproto.com/blog/working...

Working to Decentralize FedCM ...

RE: https://hachyderm.io/@thisismissem/116123045901085983

In general I think people who don't work in infrastructure (which both Emelia and I do):

1. Don't think about where things run enough.
2. Dramatically underestimate the costs involved.
3. Dramatically underestimate the _savings_ involved from sharing infrastructure.

There are always tradeoffs, and also: you can often paint yourself into a corner thinking something will work a particular way and then seeing how poorly it scales.

I'm super hyped to announce that Bluesky Socal PBC has given me a grant to work on the Federated Credential Management (or FedCM) standards to make them really work for all decentralized web applications.

This is why I stepped up to be an Invited Expert with the W3C FedID Working Group earlier in the year. The missing part at that time was "how do I fund this work?" so I'm super happy that Bluesky Social PBC really came through with a grant to fund this work.

A really interesting thing that Bluesky Social PBC did here was they could have said "just make this work for AT Protocol" but instead they said "make this work for the entire decentralized web", and the contract explicitly states I should be working with the IndieAuth, Solid and other communities interested in federated and decentralized identity to make this happen.

https://decentralizing-fedcm.leaflet.pub/3mggfw4gdx22w

Heeey, look, it's me! I'm super hyped to announce that @bsky.app@bsky.brid.gyBluesky have given me a grant to work on the standards for the Federated Credential Management API (or FedCM) to make them really work for all decentralized web applications.

RE: https://bsky.app/profile/did:plc:ewvi7nxzyoun6zhxrhs64oiz/post/3mgni4shwas2k

We are aware of recent reports regarding targeted phishing attacks that have resulted in account takeovers of some Signal users, including government officials and journalists. We take this very seriously.

To be clear: Signal’s encryption and infrastructure have not been compromised and remain robust. These attacks were executed via sophisticated phishing campaigns, designed to trick users into sharing information – SMS codes and/or Signal PIN – to gain access to users’ accounts.

I'm super hyped to announce that Bluesky Socal PBC has given me a grant to work on the Federated Credential Management (or FedCM) standards to make them really work for all decentralized web applications.

This is why I stepped up to be an Invited Expert with the W3C FedID Working Group earlier in the year. The missing part at that time was "how do I fund this work?" so I'm super happy that Bluesky Social PBC really came through with a grant to fund this work.

A really interesting thing that Bluesky Social PBC did here was they could have said "just make this work for AT Protocol" but instead they said "make this work for the entire decentralized web", and the contract explicitly states I should be working with the IndieAuth, Solid and other communities interested in federated and decentralized identity to make this happen.

https://decentralizing-fedcm.leaflet.pub/3mggfw4gdx22w

Listen... Brennan.
You and Izzy wanna get down some time? HMU.
This video is my fucking love language.

https://youtube.com/shorts/6cliVxOGNwc