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.

Martin Pugh @pugmiester@bsd.network
Public

Always test your backups...

On Friday evening I decided I would upgrade Logseq on my Chromebook. I had made a note of how I did this last time so figured it would be no biggie. However, something's not right and it failed to launch without some task killing so that's no good.

Fortunately, I ran a Restic backup of my home directory beforehand so it was simple enough to delete the broken directory, restore from Restic and get back up and running again. I'm still not sure what failed, but at least I'm working again while I figure it out.

0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
Farhad @faab64@freefree.ps
Public
Shared by earthling

US University ’s removal of UN Special Rapporteur Francesca Albanese comes after relentless pressure aimed at silencing voices consistently standing with Palestinians under occupation.
msn.com/en-us/news/world/georg

MSN repeating Fox news:
msn.com/en-us/news/world/georg

This is a dangerous precedent for academic freedom and human rights advocacy.


@palestinePalestine_Group

UN EXPERT FRANCESCAL ALBANESS HAS BEEN REMOVED FROM GEORGETOWN UNIVERSITY LIST OF SCHOLARS FOR HER PRO-PALESTINIAN ADVOCACY
0
0
0
1
0
0
0
0
0
0
0
0
Stefano Marinelli @stefano@bsd.cafe
Public

Happy Sunday,
Happy Sunday,
Happy Sunday,

song.link/s/09u8e8PSzCaf0PNeV6

Image for Oceano by Roberto Cacciapaglia, Royal Philharmonic Orchestra, Michele Fedrigotti

Oceano by Roberto Cacciapaglia, Royal Philharmonic Orchestra, Michele Fedrigotti

Listen now on your favorite streaming service. Powered by Songlink/Odesli, an on-demand, customizable smart link service to help you share songs, albums, podcasts and more.

song.link · Songlink/Odesli

0
0
0
0
0
0
0
0
0
:rss: DevelopersIO @dev_classmethod@rss-mstdn.studiofreesia.com
Public

[アップデート] Amazon Bedrock が OpenAI の Responses API をサポートするようになりました
dev.classmethod.jp/articles/am

[アップデート] Amazon Bedrock が OpenAI の Responses API をサポートするようになりました #AWSreInvent | DevelopersIO

dev.classmethod.jp · クラスメソッド発「やってみた」系技術メディア | DevelopersIO

0
0
0
Farhad @faab64@freefree.ps
Public

US University ’s removal of UN Special Rapporteur Francesca Albanese comes after relentless pressure aimed at silencing voices consistently standing with Palestinians under occupation.
msn.com/en-us/news/world/georg

MSN repeating Fox news:
msn.com/en-us/news/world/georg

This is a dangerous precedent for academic freedom and human rights advocacy.


@palestinePalestine_Group

UN EXPERT FRANCESCAL ALBANESS HAS BEEN REMOVED FROM GEORGETOWN UNIVERSITY LIST OF SCHOLARS FOR HER PRO-PALESTINIAN ADVOCACY
0
0
0

Elixir의 “점진적 타입”과 Gleam의 “정적·완전 타입”

주영택 @soomtong@hackers.pub

나는 최근에 썸타입 학습 및 리팩토링 가이드 작업을 준비하면서 살펴본 Gleam 의 타입 시스템이 꽤 마음에 들었다. 그러면서 동시에 어플리케이션 레이어는 기존에 있는 에코 시스템 - 예를 들면, Node.js, erlang/elixir. Gleam 은 이 두 시스템으로 export 가능하다. - 을 사용하고 도메인 안쪽은 글림을 사용하면 어떨까 고민해보고 있다. 그러던 중 발견한 레딧의 포스트를 정리한다. ( 그리고 나는 아주 오래전부터 얼랭/빔 에코시스템을 동경하고 있다. )

https://www.reddit.com/r/elixir/comments/1f2hu7q/my_first_experience_with_gleam_language/

이 글은 Gleam과 Elixir의 타입 시스템·경험 차이를 토론하며, Elixir의 “점진적 타입”과 Gleam의 “정적·완전 타입”이 서로 다른 장단을 가진다고 설명합니다.

핵심 요약

이 Reddit 스레드는 Gleam을 처음 써본 경험을 바탕으로, Gleam과 Elixir의 타입 철학·개발 경험(DX)·생태계 차이를 정리하고, Elixir가 도입하려는 점진적 타입 시스템이 Gleam의 정적·완전 타입 시스템과 목표와 기능 면에서 다르다는 점을 강조합니다. 특히 Elixir의 리드 개발자인 josevalim과 Gleam 제작자인 lpil의 코멘트가 방향성을 분명히 합니다.

기본 개념부터

  • Gleam: BEAM(엘릭서/얼랭 VM) 위에서 돌아가는 정적 타입 언어. 타입 시스템이 언어 설계의 중심이며 JS로도 컴파일 가능. 문법이 간결하고 타입 안정성을 강하게 추구.
  • Elixir: BEAM 위의 동적 언어. 생산성과 동시성(OTP), 관용적 패턴을 중시. 현재 정식 타입 시스템은 없고, 점진적(gradual) 타입 도입을 연구 중.

주된 논점 정리

  1. 표준 라이브러리·생태계
  • Go와 비교하면 Gleam의 표준 라이브러리는 아직 얇고 초창기라서, 유틸성 작업에 외부 라이브러리를 더 찾아야 한다는 인상이 있음.
  • OTP 지원은 Elixir가 성숙하고 Gleam은 아직 보완 중이라는 의견이 존재.
  1. 타입 시스템의 철학 차이
  • lpil: Elixir의 타입은 Gleam과 “공통점이 거의 없고” 다른 경험을 주게 될 것.
  • josevalim: 점진적 타입의 핵심은 ‘dynamic이 없다고 가정하면 정적 프로그램처럼 동작해야 한다’는 것.

▫ Elixir는 기존 관용을 폭넓게 지원해야 하므로, “더 많은 프로그램을 타입으로 표현할 수 있는 표현력”을 목표로 함.

▫ 반면 타입 추론 같은 기능은 부족할 수 있어, 어떤 기준으로 보느냐에 따라 “누가 더 풍부한 기능인지” 평가는 달라진다.

  1. “왜 Gleam인가?”에 대한 시각
  • Elixir가 타입을 갖추더라도 목표·철학·문법·DX가 다르면 언어의 느낌은 달라진다.
  • Kotlin vs Java, TypeScript vs JS처럼 다양성이 가치가 있는 사례로 비유.
  • JS 타깃 컴파일, 문법 선호, 즉시 타입 안정성을 원하는 개발자 등 Gleam을 선택할 합리적 이유가 존재.

비유로 이해하기

도로/교통 비유:

  • Elixir(점진적 타입)는 기존 도시(관용·동적 코드)를 유지하면서 교통 신호(타입)를 점진적으로 추가해 흐름을 방해하지 않게 개선하는 방식.
  • Gleam(정적 타입)은 신도시를 처음부터 교통 설계(타입 규칙) 중심으로 지어, 규칙이 엄격하지만 안정성이 높은 느낌.

공구함 비유:

  • Elixir는 다양한 공구가 섞여 있고 필요한 곳에 점차 게이지·규격을 붙여 체계화.
  • Gleam은 처음부터 규격화된 공구 세트로 시작해 사용 시점의 혼란을 줄임.

예시로 차이를 감각적으로

  • Elixir: 기존 Phoenix 앱에 타입을 “필요한 경계(예: 외부 API 응답, 핵심 도메인)”부터 넣어 점진적으로 안정성을 높이는 전략이 어울림.
  • Gleam: 새로 만드는 서비스/라이브러리에서 컴파일 타임 안정성·간결 문법을 중시한다면, 처음부터 정적 타입 기반으로 모델링하기에 적합.

언제 어떤 선택?

  • Gleam을 고려할 때:

    • 컴파일 타임 안정성, 간결 문법, JS 타깃, 순수 함수적 스타일을 선호.
    • 새로운 코드베이스를 타입부터 탄탄히 설계하고 싶다.

  • Elixir를 유지/강화할 때:

    • 풍부한 OTP/생태계, 관용적 코드, 빠른 DX.
    • 기존 서비스에 타입을 “필요한 곳부터” 도입하는 점진적 접근.

결론적으로, 두 언어는 목표와 경험이 다릅니다. Elixir의 점진적 타입은 넓은 관용과 높은 표현력을 지향하고, Gleam은 처음부터 강한 정적 타입 안정성을 제공합니다. 당신의 프로젝트 맥락(새로운 코드베이스 vs 기존 Elixir 앱, 타입 우선 설계 vs 관용·생태계 우선)에 따라 선택이 달라지는 문제입니다.

Read more →
0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
Tom @pertho@mastodon.bsd.cafe
Public
Shared by Stefano Marinelli

I've come to the conclusion that Steam just won't run on 15. Tried Mizuma, tried linuxulator-steam-utils.. nothing works. I guess the portmgr@ pulling the 32-bit rug out from under the WINE port really screwed things up.

There seem to be no straightforward directions on how to get it working, or everyone running it is still on 14.3.

If you are running Steam on FreeBSD 15 could you tell me how you did it?

0
0
0
0
0
0
0
0
0
Maho 🦝🍻 @mapache@hachyderm.io
Public
Shared by 🫧 socialcoding..

FOSDEM 2026 Social Web Speakers

I have been trying to create a list for and realized that (ironically) most of the people in the socialweb track ... does not have a fediverse account listed there.

I am also at fault, btw, so shame to me.

If you know someone who is presenting at please send them my way. I will update this thread with the list of confirmed speakers.

The Fosdem 26 social web track List:

@pfefferleMatthias Pfefferle
@andypiper@macaw.social
@andypiper@flipboard.com
@evanEvan Prodromou @evanprodromou
@haubleshannah aubry
@mapacheMaho 🦝🍻
@dariusDarius Kazemi
@bjoernstaBjörn Staschen
@django
@resieguenRebecca Sieber
@openforfutureOpen For Future | Italia
@iusondemandValentino Spataro
@cwebberChristine Lemmer-Webber
@tsyesikaJessica Tallon
@zzepposs
@melaniebartos
@Pepijn
@FloppyJames Smith 💾
@tobias
@mayel
@ivan
@hongminhee@hackers.pub洪 民憙 (Hong Minhee)
@samviesamvie ⁂
@benpateBen Pate 🤘🏻
@neiman
@hongminhee@hollo.social洪 民憙 (Hong Minhee) :nonbinary:
@filippodb:fedora: filippodb ⁂ :cc: @magostinelliMichele Agostinelli
@publicspaces
@cubicgardenIan Forrester | @cubicgarden
@benpateBen Pate 🤘🏻

Non Social Web Track presenters:

@bogoBogomil Shopov - Бого

Social Web Track schedule:

fosdem.org/2026/schedule/track

Boosts are also appreciated!

P.S. Special thanks to @liaizonwakest ⁂ for the suggestions.

FOSDEM 2026 - Social Web

fosdem.org

1
0
0
0
0
0
Stefano Marinelli @stefano@bsd.cafe
Public

I write technical articles on my blog.
AIs show up in large numbers to read them, crawl them, learn from them.
Time passes. I publish a new post.

And right on schedule, someone comments:
"This was clearly written by an AI".

Which is fascinating, really.

I write.
Machines read.
I keep writing.
Then humans accuse me of being the machine.

At this point I am not sure if the problem is that AI sounds too human,
or that humans have forgotten what a human who actually studies sounds like.

Either way, I will keep writing.
Worst case scenario, the AIs will enjoy it.
Best case scenario, one day a human will too.

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
nixCraft 🐧 @nixCraft@mastodon.social
Public
Shared by Jan Lehnardt :couchdb:

Salesforce, one of the world's most valuable enterprise software companies, is pulling back from its heavy reliance on large language models after encountering reliability issues that have shaken executive confidence in the AI. 😂

timesofindia.indiatimes.com/te

After claiming to redeploy 4,000 employees and automating their work with AI agents, Salesforce executives admit: We were more confident about…. - The Times of India

The Times of India brings the Latest & Top Breaking News on Politics and Current Affairs in India & around the World, Cricket, Sports, Business, Bollywood News and Entertainment, Science, Technology, Health & Fitness news & opinions from leading columnists.

timesofindia.indiatimes.com · The Times of India

0
0
0
0
0
0
3
0
0
0
0
0
1
0
0
:rss: GIGAZINE @gigazine@rss-mstdn.studiofreesia.com
Public
Shared by GENKI

無限スクロール・自動再生などSNSの中毒性のある機能について警告表示を義務化する法案にニューヨーク州知事が署名
gigazine.net/news/20251227-new

無限スクロール・自動再生などSNSの中毒性のある機能について警告表示を義務化する法案にニューヨーク州知事が署名

若者のメンタルヘルスの危機に対処するべく継続的な取り組みを行っているニューヨーク州で、キャシー・ホークル州知事がSNSに対して中毒性のある機能についての警告表示を義務化する法案に署名を行いました。

gigazine.net · GIGAZINE

0
0
0
Angry Discordant @enigmato.bsky.social@bsky.brid.gy
Public

그러지 말자에 status quo 이외의 당위를 역설하기 어렵고, 있다고 해도 결국 표현과 의미지형과의 연결을 가지고 다투는 것은 대체로 불모하다고 생각하기 때문에 그냥 그러려니 하고 산다. 뭔 말 하는지 내가 못 알아듣게 되면 이야기가 다르겠지만... 세상 살면 좋든 싫든 알아듣게 되는 부분도 있고.

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0