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
2
1
0
0
0
0
0
0
0
0
0
0
0
0
0
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
Public
Shared by 이찬행

〈타입 검사는 해결책이 아니라 증상이다〉(Type Checking is a Symptom, Not a Solution).

난 이 글에 동의하지 않는데, 여러 측면에서 그렇지만, 한 측면에만 집중해서 얘기해 보자면: 좋은 아키텍처는 훌륭한 프로그래머를 요구하지만 타입 시스템은 훌륭한 프로그래머를 요구하지 않기 때문이다.

누구나 훌륭한 프로그래머가 되어야만 하는가? 혹은 될 수 있는가? 좋은 아키텍처를 그릴 수 있는 훌륭한 프로그래머가 아니라면 소프트웨어 개발을 해서는 안 될까? 좋은 아키텍처에만 의존하는 것은 잠재적으로 엘리트주의를 끌어들이기 쉽다: 「어떤 시스템이 오작동하는 것은 아키텍처가 나쁘기 때문이다. 아키텍처가 나쁜 이유는 그걸 설계한 프로그래머가 수준 미달이기 때문이다」와 같이.

반면 타입 시스템은 일단 도입만 하면 누구나 그 덕을 볼 수 있다. 팀 내의 프로그래머들의 역량이 뛰어나든 뛰어나지 않든. 훨씬 평범한 보통 사람에게 유리하다. 타입 시스템이 미봉책일 수는 있지만, 그 미봉책이 더 많은 사람들을 프로젝트에 참여할 수 있게 해준다고 생각한다.

RosettaLens - AI-Powered Translation

타입 검사는 해결책이 아니라 증상이다 - RosettaLens 번역

타입 시스템에 대한 집착은 근본 문제를 가리는 미봉책일 수 있다. 진짜 과제는 격리, 명시적 인터페이스, 시간 중심의 설계 같은 아키텍처 원칙을 통해 복잡성을 애초에 만들지 않는 것이다.

rosettalens.com · RosettaLens

5
1
0
0
0
0

이찬행 shared the below article:

헬: 하스켈 방언 기반의 셸 스크립팅 언어

박준규 @curry@hackers.pub

Chris Done이 개인적인 셸 스크립팅 용도로 만든 하스켈 방언 기반의 셸 스크립팅 언어인 헬(Hell)을 소개합니다. 저자는 bash의 난해한 문법과 서브 프로세스 의존성 등의 단점을 극복하고자 헬을 개발하게 되었습니다. 헬은 모듈, 패키지 시스템, 추상화 기능 없이 매우 기본적인 기능만을 제공하며, 하스켈의 장점(탄탄한 개념, 동시성, 가비지 컬렉션, 정적 타입 등)을 활용합니다. 헬은 기존 하스켈의 직관을 재사용하고, 안정성과 단순성을 추구하여 자동화 스크립팅에 적합하도록 설계되었습니다. 헬은 냉정하게 완결된 소프트웨어를 지향하며, 스크립팅의 한계를 명확히 정의하여 불필요한 기능 확장을 방지합니다. 릴리스 페이지에서 정적 링크된 리눅스 바이너리를 다운로드할 수 있으며, 구현에 대한 자세한 내용은 소개 슬라이드를 참고할 수 있습니다.

Read more →
8
0
0
3
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
DrALJONES @DrALJONES@mastodon.social
Public
Shared by earthling

Surprise...

Report: US Islamophobic biker-gang members help to oversee armed security at GHF sites.

Israeli & US forces at the sites have killed more than 2000 starving Palestinians seeking food.

The security-staff employer, UG Solutions, responded to criticism about biker gang members by saying it does not screen people out for "personal hobbies or affiliations unrelated to job performance".

bbc.co.uk/news/articles/cm2zy4

@palestinepalestine group .

A composite image showing a man wearing the Infidels MC biker gang leather jacket, with the Crusader cross symbol on the back with the gang's motto "frater in arma", superimposed on a backdrop showing one of the Gaza aid sites, with armed men watching over from a high vantage point as Palestinians line up for aid.

Anti-Islamic US biker gang members run security at deadly Gaza aid sites - BBC News

BBC identifies members of Infidels MC gang hired as armed security at US and Israel-backed aid sites.

www.bbc.com · BBC News

0
0
0
0
0
0

CTE(Common Table Expression)과 Subquery

bleu @lavieenbleu@hackers.pub

SQL을 공부하며 접하게 된 CTE(Common Table Expression)는 임시 테이블을 정의하고 이름을 붙이는 기능으로, 쿼리 가독성을 높이고 수정 용이성을 향상시키는 데 유용합니다. Subquery와 유사하지만, 복잡한 쿼리에서 여러 단계로 중첩된 Subquery보다 훨씬 가독성이 좋습니다. SQL 유지보수 업무에는 활용되지만 제품 개발에는 잘 쓰이지 않는 CTE의 실제 현장 사용 사례와 Best practice에 대한 궁금증을 자아냅니다.

Read more →
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
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
1
0
0
1
0
0
1
0
0
Aure Free Press :verified: @Free_Press@mstdn.social
Public
Shared by earthling

German Defense Minister Pistorius:

"There is definitely no reason to assume that [Russian drones violating Polish airspace] was a matter of course correction errors or anything of that sort. These drones were quite obviously deliberately directed on this course."

According to the statements from Poland, they were also armed accordingly. So something could have happened at any time.

0
0
0
earthling @appassionato@mastodon.social
Public

Turing's Vision: How AI is Shaping the World by Pietro Perconti & Alessio Plebe, 2025

Chat-GPT, humanoid robotics, and self-driving cars are just a few of the things that are changing our everyday lives. The rapid advancement of AI is eroding one by one all the cornerstones considered unique of human nature: language, consciousness, creativity, and moral responsibility.

taylorfrancis.com/books/mono/1




The book argues that the revolution we are facing is driven by Alan Turing's "vision". This vision rests on the idea that intelligence is not an intrinsic property of human beings, but is a way in which matter is functionally organized and an attribute we are naturally inclined to ascribe to certain entities. For decades we have pretended that this idea does not have the corrosive power that it actually does, perhaps more so than the Copernican and Darwinian revolutions. But now, given the achievements of new forms of computing based on deep learning and predictive coding, the most common intuitions can no longer avoid the dangerous Turing idea. The book is intended for scholars, researchers, and readers intrigued by the intersections across disciplines interested in understanding the philosophical, ethical, and social implications of Artificial Intelligence and its impact on human nature.
0
0
0
Swede’s Photographs @Swede1952@universeodon.com
Public

Sky Has No Edges

While touring the Savannah River near Savannah, Georgia, I noticed a few royal terns (Thalasseus maximus) trailing and circling the boat. They seemed to follow with purpose—perhaps drawn by the occasional snack tossed from passengers, or by the boat’s wake stirring up small fish and aquatic invertebrates. Either way, they moved with practiced grace, scanning the water below like airborne opportunists.

Step into a world where even the smallest moments—like the glint in a bird's eye—tell their own story.

swede1952-photographs.pixels.c

"A royal tern slices through the pale sky like a silver arrow mid-release. Its wings are long and slender, outstretched in a wide arc that suggests both precision and ease. The tips of the wings are dark, almost charcoal, contrasting with the soft gray of the upper feathers and the lighter underside. The bird’s body is streamlined—built for speed and distance—with a slight taper toward the tail. Its beak is sharp and pointed, a vivid orange that catches the eye like a flare against the muted backdrop. Just behind the beak, a small dark patch near the eye gives the tern a look of quiet focus, as if it’s scanning the horizon for something only it can see. The plumage is clean and smooth, with no ruffled edges—this is a bird mid-glide, not mid-struggle. The background is light and uncluttered, offering no distractions—just open air and the suggestion of altitude. The tern is captured in motion, but the image feels still, like a held breath. In the bottom right corner, the signature “© Swede’s Photographs” anchors the scene with quiet authorship." - Copilot
0
0
0
Aure Free Press :verified: @Free_Press@mstdn.social
Public

German Defense Minister Pistorius:

"There is definitely no reason to assume that [Russian drones violating Polish airspace] was a matter of course correction errors or anything of that sort. These drones were quite obviously deliberately directed on this course."

According to the statements from Poland, they were also armed accordingly. So something could have happened at any time.

0
0
0
0
0
0
Astro @astro@webtoo.ls
Public

📺 "I'm making TV. What does TV look like?"

Apparently, it looks like Astro + Mux.

See how CodeTV and @jlengstorfJason Lengstorf built a complex, content-heavy, media streaming platform with several integrations and automated workflows, proving Astro's limits might not exist.

astro.build/case-studies/codet

Unleashing creativity

Unleashing creativity: How CodeTV built a video streaming platform with Astro and Mux | Astro

How Astro gives CodeTV everything they need to run a subscription-based TV service.

astro.build · Astro

0
0
0
Thomaz R. @thomaaz@mastodon.social
Public

Ritmos que contam histórias!

Os indígenas Pataxó trouxeram a ancestralidade para o palco do Teatro L’Occitane no Festival Música em Trancoso. Com cantos, danças e rituais sagrados, compartilharam a força de sua cultura e a conexão espiritual com a natureza.

Um momento de celebração e respeito às tradições que ecoam através do tempo. 🌿🔥

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0