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
0
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by Lee Dogeon

@xiniha 님께서 Hackers' Pub에 눈에 보이진 않지만 큰 기여를 해 주셨습니다. Drizzle ORM 베타 버전에서 쓸 수 있는 릴레이셔널 API v2를 Hackers' Pub 코드 전체에 적용하는 큰 패치가 바로 그것입니다.

기능적으로 눈에 바뀌는 것은 없겠지만, 아마 성능상으로는 약간의 개선이 있을 수 있습니다. 기존에는 복잡한 관계 필터를 서브쿼리 방식으로 해 왔는데, 릴레이셔널 API v2를 쓰면 JOIN으로 바뀌는 것 같아요. 물론 PostgreSQL의 쿼리 최적화기가 뛰어나다면 두 방식 중 어떤 방식을 쓰든 같은 실행 계획을 수립할 것이므로 성능 차이가 없을 수도 있지만요. 아니면 더 느려질 수도 있겠죠. 거기까지 세세하게 비교 테스트해보진 않았습니다. 😅

참고로 해당 변경은 이미 배포된 상태입니다. 아무튼 고생해주신 @xiniha 님께 박수 부탁드립니다. 👏

We've launched Drizzle Relational Queries exactly a year ago and it's time to ship a fundamental upgrade. We've gathered a massive amount of valuable feedback from the community and going to addres...

Relational API v2 · drizzle-team drizzle-orm · Discussion #2316

We've launched Drizzle Relational Queries exactly a year ago and it's time to ship a fundamental upgrade. We've gathered a massive amount of valuable feedback from the community and going to addres...

github.com · GitHub

0
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by XiNiHa

@xiniha 님께서 Hackers' Pub에 눈에 보이진 않지만 큰 기여를 해 주셨습니다. Drizzle ORM 베타 버전에서 쓸 수 있는 릴레이셔널 API v2를 Hackers' Pub 코드 전체에 적용하는 큰 패치가 바로 그것입니다.

기능적으로 눈에 바뀌는 것은 없겠지만, 아마 성능상으로는 약간의 개선이 있을 수 있습니다. 기존에는 복잡한 관계 필터를 서브쿼리 방식으로 해 왔는데, 릴레이셔널 API v2를 쓰면 JOIN으로 바뀌는 것 같아요. 물론 PostgreSQL의 쿼리 최적화기가 뛰어나다면 두 방식 중 어떤 방식을 쓰든 같은 실행 계획을 수립할 것이므로 성능 차이가 없을 수도 있지만요. 아니면 더 느려질 수도 있겠죠. 거기까지 세세하게 비교 테스트해보진 않았습니다. 😅

참고로 해당 변경은 이미 배포된 상태입니다. 아무튼 고생해주신 @xiniha 님께 박수 부탁드립니다. 👏

We've launched Drizzle Relational Queries exactly a year ago and it's time to ship a fundamental upgrade. We've gathered a massive amount of valuable feedback from the community and going to addres...

Relational API v2 · drizzle-team drizzle-orm · Discussion #2316

We've launched Drizzle Relational Queries exactly a year ago and it's time to ship a fundamental upgrade. We've gathered a massive amount of valuable feedback from the community and going to addres...

github.com · GitHub

0
0
0
Indieterminacy @indieterminacy@social.coop
Public

During the International Conference, “New Cybernetics” (15th, 16th May), at the University of Applied Sciences Düsseldorf, I shall be demonstrating my work on - the recursive-modelling-language Ive been developing for over a decade.

Usually I focus on presenting at FOSS orientated events such as (Fosdem), often limiting expository length and focus. Im looking forward to the extended time to explain concepts, as pertinent non coding aspects.

0
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public

@xiniha 님께서 Hackers' Pub에 눈에 보이진 않지만 큰 기여를 해 주셨습니다. Drizzle ORM 베타 버전에서 쓸 수 있는 릴레이셔널 API v2를 Hackers' Pub 코드 전체에 적용하는 큰 패치가 바로 그것입니다.

기능적으로 눈에 바뀌는 것은 없겠지만, 아마 성능상으로는 약간의 개선이 있을 수 있습니다. 기존에는 복잡한 관계 필터를 서브쿼리 방식으로 해 왔는데, 릴레이셔널 API v2를 쓰면 JOIN으로 바뀌는 것 같아요. 물론 PostgreSQL의 쿼리 최적화기가 뛰어나다면 두 방식 중 어떤 방식을 쓰든 같은 실행 계획을 수립할 것이므로 성능 차이가 없을 수도 있지만요. 아니면 더 느려질 수도 있겠죠. 거기까지 세세하게 비교 테스트해보진 않았습니다. 😅

참고로 해당 변경은 이미 배포된 상태입니다. 아무튼 고생해주신 @xiniha 님께 박수 부탁드립니다. 👏

We've launched Drizzle Relational Queries exactly a year ago and it's time to ship a fundamental upgrade. We've gathered a massive amount of valuable feedback from the community and going to addres...

Relational API v2 · drizzle-team drizzle-orm · Discussion #2316

We've launched Drizzle Relational Queries exactly a year ago and it's time to ship a fundamental upgrade. We've gathered a massive amount of valuable feedback from the community and going to addres...

github.com · GitHub

0
0
0
0
0
0
dave @dthompson@toot.cat
Public

@spritelyThe Spritely Institute office hours are happening in just over 2 hours from now! see community.spritely.institute/t for the meeting details

Next office hours on 3/26

The next Spritely office hours will be happening on Wednesday, 3/26 at 2pm EDT. The meeting will be held on Big Blue Button. Use the following link to join: Spritely Office Hours If you’d like to add something to the agenda ahead of time, please reply in this thread with your topic/question. These meetings are always a lot of fun and it’s nice to get a chance to talk to everyone. Hope to see you there!

community.spritely.institute · Spritely Networked Communities Institute

0
0
0
Baldur Bjarnason @baldur@toot.cafe
Public
Shared by Glyph

“Something Bizarre Is Happening to People Who Use ChatGPT a Lot”

futurism.com/the-byte/chatgpt-

> Researchers have found that ChatGPT "power users," or those who use it the most and at the longest durations, are becoming dependent upon — or even addicted to — the chatbot.

Possibly related: what I wrote a couple of years ago on how LLM chatbots function like a mentalist's con

softwarecrisis.dev/letters/llm

Something Bizarre Is Happening to People Who Use ChatGPT a Lot

ChatGPT "power users," or those who use it the most, are becoming dependent upon — or even addicted to — the chatbot. 

futurism.com · Futurism

0
0
0
0
0
0
egregious philbin @ieure@retro.social
Public

I ran `brew upgrade some-package`. Homebrew upgraded that, and a ton of other packages I didn't ask it to[1]. This made some of my packages crash on launch with `dylib: Library not loaded` errors, which you have to resolve by reinstalling the affected package.

[1]: Yes, I know there's a preference for this, no, you should never have to set a preference to make software do only the thing you explicitly tell it to do instead of a bunch of shit you didn't tell it to do, ever, but /especially/ when the things you didn't tell it do to break things.

0
0
0
0
0
0
んなぞめ @nz@misskey.pm
Public

語彙力の王様（誰？？？）に規約を作成してもらった。

NSFW（Not Safe For Work）を設定せずに公共の場で閲覧できない（相応しくないと表現される可能性もあります）内容を投稿することを禁止します。

該当する投稿は運営者若しくはモデレーターの判断により削除されることがあります。

公共の場で閲覧できない内容とは、刺激的など内容が含まれますが、それに限らず、社会通念上不適切とされる表現が該当します。

また、NSFW を設定せずに公共の場で閲覧できない内容を送信することについては、運営者若しくはモデレーターの単独かつ自由裁量で判断されます。

そのため、判断に多少の差が生じる可能性があることをご了承ください。

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Nowhere Girl @gwynnion@mastodon.social
Public

"Transpbobia is white supremacist ideology. It's fascism. And once other world sports governing bodies start adopting these kinda rules, who do you think is going to suffer the most? It's mostly Black women (especially in Africa) who don't fit their narrow, white, Eurocentric image of femininity."

news.sky.com/story/bluesky-133

bsky.app/profile/beejonson.me/

World Athletics to introduce mandatory sex testing for female competitions

Sebastian Coe, president of World Athletics, says the governing body feels the mandatory tests for athletes are "a really important way of providing confidence".

news.sky.com · Sky News

0
0
0
박준규 @curry@hackers.pub
Public
Shared by Juntai Park

이번에는 Grok에게 커밋 메시지[1] 작성을 부탁하다가 Changelog 작성하는 문서[2] 안내를 받았다.

  1. 그동안 내가 ‘메세지’라고 적었는데 홍민희 님의 글[3]을 보고 고쳤다. ↩︎

  2. https://keepachangelog.com/ko/1.0.0/ ↩︎

  3. https://hackers.pub/@hongminhee/0195d2c5-294d-7f92-b33e-db40eec4793a ↩︎

Keep a Changelog

동료가 git 로그를 changelogs에 덤프하게 내버려 두지 마세요.

keepachangelog.com

0
1
0
0
0
0
박준규 @curry@hackers.pub
Public

이번에는 Grok에게 커밋 메시지[1] 작성을 부탁하다가 Changelog 작성하는 문서[2] 안내를 받았다.

  1. 그동안 내가 ‘메세지’라고 적었는데 홍민희 님의 글[3]을 보고 고쳤다. ↩︎

  2. https://keepachangelog.com/ko/1.0.0/ ↩︎

  3. https://hackers.pub/@hongminhee/0195d2c5-294d-7f92-b33e-db40eec4793a ↩︎

Keep a Changelog

동료가 git 로그를 changelogs에 덤프하게 내버려 두지 마세요.

keepachangelog.com

0
0
0
Simon Park @parksb@silicon.moe
Public
Shared by Juntai Park

코틀린+스프링 백엔드 개발하다가 지금은 프론트엔드 개발하고 있다는게 다른 사람들에게 꽤 재밌는 이야기로 다가오는 것 같다. 당연히 선택의 이유에 대한 질문을 가장 많이 받는데, 가장 특이한 질문은 OOP가 그립지 않은지(?)라는 질문. (OOP도, AOP도 전혀 그립지 않다.)

0
0
0
Simon Park @parksb@silicon.moe
Public

코틀린+스프링 백엔드 개발하다가 지금은 프론트엔드 개발하고 있다는게 다른 사람들에게 꽤 재밌는 이야기로 다가오는 것 같다. 당연히 선택의 이유에 대한 질문을 가장 많이 받는데, 가장 특이한 질문은 OOP가 그립지 않은지(?)라는 질문. (OOP도, AOP도 전혀 그립지 않다.)

Simon Park @parksb@silicon.moe
Public
Shared by Juntai Park

그리고 이런 입장에서 BE vs FE 같은 대결 구도가 조금... 그렇다. 사실 업무상 관점이 좀 다를 수는 있어도, 다른 직군으로 분류할 정도로 기술적 관심사나 고민의 주제가 그렇게 까지 다른가 싶기도. 나중에 이 생각의 해상도를 좀 더 높여봐야겠다.

0
0
0
Matt Campbell @matt@toot.cafe
Public
Shared by Glyph

I'm no good at typical prepper activities like constructing a shelter or stockpiling food. But I can at least play at being a digital prepper by, say, setting up a mirror of the Debian archive. These days, that's doable for individuals with a high-speed (e.g. fiber) Internet connection and a few hundred dollars to spend on storage. The trick, of course, is to make sure that the project isn't wasted, since I'm consuming substantial bandwidth from another mirror at least on the initial pull.

0
0
0
0
0
0
Universal Hub @universalhub@mastodon.online
Public
Shared by Glyph

ICE disappears a Tufts grad student in
universalhub.com/2025/ice-disa

ICE disappears a Tufts graduate student in Somerville

Regime agents yesterday arrested a Tufts graduate student, possibly for the thought crime of co-authoring an article on a campus news site last year criticizing the school's official position on the war in Gaza and demanding it divest itself of Israeli holdings. Read more.

www.universalhub.com · Universal Hub

0
0
0
Fediverse Linux Users Group @fedilug@msky.ospn.jp
Public
Shared by Esurio

【勉強会開催のお知らせ】
 と は4月5日（土）にオンライン・オフラインハイブリッド形式で勉強会を開催します！
オフライン会場は中野駅から徒歩ですぐの株式会社インプリムさんの Loungeで開催します！
 では1周年を記念しての初めてのハイブリッド開催になります。ぜひご都合合わせの上、会場まで足をお運びください！！
オンラインでも参加・発表を行えますので、これまで通りの参加方法でも参加できます！

日時 : 4月5日（土）13:30〜
オフライン会場 : Pleasanter Lounge（東京都中野区）
オンライン会場 : JitsiMeet
申し込み : https://fedilug.connpass.com/event/346156/

第8回 FediLUG 勉強会・東海道らぐ 2025年4月オフな集まり (2025/04/05 13:30〜)

Fediverse Linux Users Group及び東海道らぐの合同企画として、オンライン・オフラインミーティングを開催します。 Linuxに興味のあるメンバがあつまり、Linuxやその他の様々なことについて情報交換をしたり、交流を行います。 持ちネタのある参加者が発表するアンカンファレンス形式で行います。 （発表は必須ではありません） オフライン開催で、オンラインでも参加可能なハイブリッドの予定です。 参加資格は不要です。どなたでもご参加いただけますので、奮ってご参加ください。 ## FediLUGについて Fediverse Linux Users Groupは、F...

fedilug.connpass.com · connpass

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Simon Park @parksb@silicon.moe
Public

코틀린+스프링 백엔드 개발하다가 지금은 프론트엔드 개발하고 있다는게 다른 사람들에게 꽤 재밌는 이야기로 다가오는 것 같다. 당연히 선택의 이유에 대한 질문을 가장 많이 받는데, 가장 특이한 질문은 OOP가 그립지 않은지(?)라는 질문. (OOP도, AOP도 전혀 그립지 않다.)

Simon Park @parksb@silicon.moe
Public
Shared by bgl gwyng

그리고 이런 입장에서 BE vs FE 같은 대결 구도가 조금... 그렇다. 사실 업무상 관점이 좀 다를 수는 있어도, 다른 직군으로 분류할 정도로 기술적 관심사나 고민의 주제가 그렇게 까지 다른가 싶기도. 나중에 이 생각의 해상도를 좀 더 높여봐야겠다.

0
0
0
0
0
0
Simon Park @parksb@silicon.moe
Public

코틀린+스프링 백엔드 개발하다가 지금은 프론트엔드 개발하고 있다는게 다른 사람들에게 꽤 재밌는 이야기로 다가오는 것 같다. 당연히 선택의 이유에 대한 질문을 가장 많이 받는데, 가장 특이한 질문은 OOP가 그립지 않은지(?)라는 질문. (OOP도, AOP도 전혀 그립지 않다.)

Simon Park @parksb@silicon.moe
Public
Shared by 洪 民憙 (Hong Minhee)

그리고 이런 입장에서 BE vs FE 같은 대결 구도가 조금... 그렇다. 사실 업무상 관점이 좀 다를 수는 있어도, 다른 직군으로 분류할 정도로 기술적 관심사나 고민의 주제가 그렇게 까지 다른가 싶기도. 나중에 이 생각의 해상도를 좀 더 높여봐야겠다.

0
0
0
Simon Park @parksb@silicon.moe
Public
Shared by 洪 民憙 (Hong Minhee)

코틀린+스프링 백엔드 개발하다가 지금은 프론트엔드 개발하고 있다는게 다른 사람들에게 꽤 재밌는 이야기로 다가오는 것 같다. 당연히 선택의 이유에 대한 질문을 가장 많이 받는데, 가장 특이한 질문은 OOP가 그립지 않은지(?)라는 질문. (OOP도, AOP도 전혀 그립지 않다.)

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Mathematics and machine creativity: A survey on bridging mathematics with AI. ~ Shizhe Liang, Wei Zhang, Tianyang Zhong, Tianming Liu. arxiv.org/abs/2412.16543

arXiv logo

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI

This paper presents a comprehensive overview on the applications of artificial intelligence (AI) in mathematical research, highlighting the transformative role AI has begun to play in this domain. Traditionally, AI advancements have heavily relied on theoretical foundations provided by mathematics and statistics. However, recent developments in AI, particularly in reinforcement learning (RL) and large language models (LLMs), have demonstrated the potential for AI to contribute back to mathematics by offering flexible algorithmic frameworks and powerful inductive reasoning capabilities that support various aspects of mathematical research. This survey aims to establish a bridge between AI and mathematics, providing insights into the mutual benefits and fostering deeper interdisciplinary understanding. In particular, we argue that while current AI and LLMs may struggle with complex deductive reasoning, their "inherent creativity", the ability to generate outputs at high throughput based on recognition of shallow patterns, holds significant potential to support and inspire mathematical research. This creative capability, often overlooked, could be the key to unlocking new perspectives and methodologies in mathematics. Furthermore, we address the lack of cross-disciplinary communication: mathematicians may not fully comprehend the latest advances in AI, while AI researchers frequently prioritize benchmark performance over real-world applications in frontier mathematical research. This paper seeks to close that gap, offering a detailed exploration of AI fundamentals, its strengths, and its emerging applications in the mathematical sciences.

arxiv.org · arXiv.org

0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

LogicLearner: A tool for the guided practice of propositional logic proofs. ~ Amogh Inamdar et als. arxiv.org/abs/2503.19280

arXiv logo

LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs

The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs requires repeated guided practice, but undergraduate students often lack access to on-demand tutoring in a judgment-free environment. In this work, we highlight the need for guided practice tools in undergraduate mathematics education and outline the desiderata of an effective practice tool. We accordingly develop LogicLearner, a web application for guided logic proof practice. LogicLearner consists of an interface to attempt logic proofs step-by-step and an automated proof solver to generate solutions on the fly, allowing users to request guidance as needed. We pilot LogicLearner as a practice tool in two semesters of an undergraduate discrete mathematics course and receive strongly positive feedback for usability and pedagogical value in student surveys. To the best of our knowledge, LogicLearner is the only learning tool that provides an end-to-end practice environment for logic proofs with immediate, judgment-free feedback.

arxiv.org · arXiv.org

0
0
0