What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
Transgender World @transworld@masto.ai
Public
Shared by Paul Cantrell

Australia: Victoria Becomes First State To Offer Free Birth Certificate Updates For Trans People

starobserver.com.au/news/victo

Victoria Becomes First State To Offer Free Birth Certificate Updates For Trans People - Star Observer

Victoria is the first state in Australia to make it free for the trans community to update their gender on their birth certificate.

www.starobserver.com.au · Star Observer

0
0
0
Sue Smith @sue@glasgow.social
Public
Shared by Paul Cantrell

"Writing code is easy. Once you have a solution in mind, and have mastered the syntax of your favorite programming language, writing code is easy. Having an LLM write entire functions for you? Even easier. But the hard part isn’t the writing. It’s the reading. It’s the time it takes to load the mental model of the system into your head. That’s where all the cost really is."

idiallo.com/blog/writing-code-

Writing Code Is Easy. Reading It Isn’t.

Writing code is easy. Once you have a solution in mind, and have mastered the syntax of your favorite programming language, writing code is easy. Having an LLM write entire functions for you? Even eas

idiallo.com · Ibrahim Diallo Blog

0
0
0
Sue Smith @sue@glasgow.social
Public

I've said it before but if LLM assisted coding tools are going to retain significant usage over time (as the cost of those initial, apparent short term gains becomes clearer) it'll be dependent on better supports for people to read and understand codebases, not for LLMs to read and understand them, for human beings to do that.. they'll need to let go of the delusion that all of this can be automated

Sue Smith @sue@glasgow.social
Public
Shared by Paul Cantrell

I guess part of the reason that reading code can be harder than writing it is that what you really need to understand isn't necessarily *in* the code, you're kind of inferring the understanding you need *from* the code.

Again, we keep conflating the work with the artifact of it, and the value of code comprehension illustrates why that's a mistake.

0
0
0
0
0
1
1
0
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Terence Tao: At the Erdos problem website, AI assistance now becoming routine

Link: mathstodon.xyz/@tao/1155914873
Discussion: news.ycombinator.com/item?id=4

Terence Tao (@tao@mathstodon.xyz)

Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0

mathstodon.xyz · Mathstodon

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
why-not @Heike @why_not@mastodon.social
Public

„Mit dem Entwurf zur Neuen Grundsicherung legt die Bundesregierung aus SPD und CDU ein Sozialgesetz vor, das die Würde des Menschen antastet, geistige Brandstiftung in die Gesellschaft trägt – deutlich stärker als Hartz IV es je getan hat“

buendnis-fuer-menschenwuerde-u

"Mileis-Kettensägen-Politik" fällt den Sozialstaat, der uns alle verbindet! – Bündnis für Menschenwürde und Arbeit

Wir sind ein regional agierendes Bündnis aus Mönchengladbach. Das Bündnis will den Bedrängten und Schwachen in der Gesellschaft eine Stimme geben.

buendnis-fuer-menschenwuerde-und-arbeit.de

0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

A time-travelling door bug in Half Life 2

Link: mastodon.gamedev.place/@TomF/1
Discussion: news.ycombinator.com/item?id=4

A Combine soldier threatening with a baton, in front of a door. Which one is a greater menace in gamedev?

Tom Forsyth (@TomF@mastodon.gamedev.place)

Attached: 1 image Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin.

mastodon.gamedev.place · Gamedev Mastodon

0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

"Good engineering management" is a fad

Link: lethain.com/good-eng-mgmt-is-a
Discussion: news.ycombinator.com/item?id=4

"Good engineering management" is a fad

As I get older, I increasingly think about whether I’m spending my time the right way to advance my career and my life. This is also a question that your company asks about you every performance cycle: is this engineering manager spending their time effectively to advance the company or their organization? Confusingly, in my experience, answering these nominally similar questions has surprisingly little in common. This piece spends some time exploring both questions in the particularly odd moment we live in today, where managers are being told they’ve spent the last decade doing the wrong things, and need to engage with a new model of engineering management in order to be valued by the latest iteration of the industry.

lethain.com

0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

A time-travelling door bug in Half Life 2

Link: mastodon.gamedev.place/@TomF/1
Discussion: news.ycombinator.com/item?id=4

A Combine soldier threatening with a baton, in front of a door. Which one is a greater menace in gamedev?

Tom Forsyth (@TomF@mastodon.gamedev.place)

Attached: 1 image Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin.

mastodon.gamedev.place · Gamedev Mastodon

0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

Terence Tao: At the Erdos problem website, AI assistance now becoming routine

Link: mathstodon.xyz/@tao/1155914873
Discussion: news.ycombinator.com/item?id=4

Terence Tao (@tao@mathstodon.xyz)

Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 : 1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold". 2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean. 3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0

mathstodon.xyz · Mathstodon

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
stephaniepixie 🏳️‍🌈 @stephaniepixie@fandom.garden
Quiet public
Shared by Cat 🐈🥗 (D.Burch) :blobcatrainbow:

The neighbours put up their tree garland and lights along the balcony last week and my mom is doing it this weekend. “Before it gets too cold,” she says.

I love seeing the lights all winter long. It makes it less gloomy as darkness falls earlier and earlier.

One bonus part of removing some of the stored Christmas decorations from under my bed (there’s no storage space in the apartment building) is that I found Ava’s favourite toy mouse that she stashed away among the wreaths.

It was part of a cat advent calendar filled with cat toys instead of chocolates. My mom got it for Ava (well, for me because she knows Ava brings me joy) last year.

The last time the toy mouse was found it took only hours before Ava hid it again and I couldn’t find it anywhere until today 😄🐈‍⬛

Red felt mouse with shiny gold ears and a gold tail that has tiny red and green tufts along its length.
0
0
0
Mathwitch @Mathwitch@buttersc.one
Public

퍼즐게임 어려서부터 한 사람들 부러움
퍼즐에서 배웠어야하는게, 안되는 방법을 빨리 리셋하고 다른 방법도 넓게 고려하는 능력이 있어야하는데 난 그게 안됨...
대부분의 문제를 아주 빨리 직관적으로 풀이방법까지 짚어낼수 있는편인데, 그게 한번 막히면 오랫동안 리셋 못하는 편이다.
요즘 그래서 루빅큐브나 다른거 좀 해볼까 싶음(해법 안보고 직접 공식 대충 만들어가면서)

0
0
0
Horologram @horologram.bsky.social@bsky.brid.gy
Public

근데 진짜 이동네 보면 70-80년대 지은 건물이 그대로 있음 ㅋㅋㅋㅋ 아 진짜 재건축 진심으로 필요함 이 동네는... 내가 사는 이 낡은 집도 보니까 부지는 거의 100년전에 만들었고 아마 70-80년대에 한번 고치고 집주인이 페인트질하고 부엌 가구 바꾼뒤 그뒤로 계속 있는 모양... 정말 미칠 노릇;; 그래도 다행인건 요새 신축건물을 많이 올리긴하던데 시정부가 이제 슬슬 고도 제한을 풀어주는것 같음 그러니까 그동안 아파트를 못올린것이 정부가 허가를 거의 안해준건데 특히 5층 이상 넘어가면 잘 안해줌;;

0
0
0
Horologram @horologram.bsky.social@bsky.brid.gy
Public

동네 콘도 가격이 내려가는것이 이제 눈에 보이긴하는데 (단독주택과 타운하우스는 변함없음 더 오름 ㅎㅎ) 뭔가 뉴스에 나올법한 경제위기 빵 터졌을때 사는것이 낫지 않나해서 음... 내년/내후년에 사면 되지 않을까 예상중. 트럼프 분발해라 (먼산)

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
Mathwitch @Mathwitch@buttersc.one
Public

뭔가 충분히 에너지를 쓴게 이닌데도?
공부 깊게하면 당이 확 내려가버려서, 단순당이 되는걸 먹고 다시하거나 카페인을 부어버리거나 해야하는데 이걸 어떻게 건강하게 할지 고민이다

0
0
0
0
0
0
Paul Haddad :tapbots_logo: @paul@tapbots.social
Public

I'm debating upgrading my 6950XT before AI ruins GPU pricing (again). I think there's only two options, the 5070 TI and 5080. 5070 TI is only a bit faster and 5080 is just a lot. But I know I'm going to be annoyed next year when prices shoot up 30%+.

0
0
0
KAGAMI🏳️‍🌈🏳️‍⚧️ @saschanaz@sekai.social
Public

더피 장관은 “몇 년이나 늦어졌지만, 우리는 지난 8개월간 이 최첨단 여성 충돌시험 인체 모형의 세부 사항을 마무리하기 위해 열심히 노력했다”며 “트럼프 대통령의 리더십 아래 여성을 포함한 미국 가정의 안전을 계속 최우선으로 할 것”이라고 했다.
아 웃기지 마...

RE: https://bsky.brid.gy/convert/ap/at://did:plc:uabkr6tn7ru4b4e5e6udleuf/app.bsky.feed.post/3m6c7puruw22m

0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
1
0
0
2
0
0
0
0
0
0
0
0