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.

h12o @h12o@mastodon.tokyo
Public

いみじくもVERBALが『against all gods』で「頼んできたわけでもないのに誕生してきたこのWORLD」と歌っている通り（VERBALがクリスチャンであることとこのリリックは関係ないように聞こえない）、特に自発的に生まれたいと思ったわけではない。だから知らんところで罪に定められているし、当然「関係ない」と言うこともできなくはない。

で、僕の知らんところで勝手に罪を犯したアダムと女（エバという名前がついたのは失楽園後）が人類の代表として人類全体が神に逆らうという意思決定をしてしまったせいで、僕は人生全体レベルで迷惑しているわけなのだけど、それは本来「迷惑」どころではない「死」（生物学的な死を包含しているが、それ以上の概念。自分を創造した神との断絶を含む）に至っているところ、僕の知らんところでその死を引き受けた人がいて、しかも復活したというのは、あまりにファンタジーめいているが事実（だと信じている）。あまりにもファンタジーめいているから事実を否定することもできなくはないが、否定しても何も変わらないし、とりあえず肯定することで変わったという経験をしたということは言い切れる。

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

: Demostraciones con Lean4 y con Isabelle/HOL de "Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]​". jaalonso.github.io/calculemus/

Si f es inyectiva, entonces f[s] ∩ f[t] ⊆ f[s ∩ t]

Demostrar con Lean4 y con Isabelle/HOL que si \(f\) es inyectiva, entonces \[ f[s] ∩ f[t] ⊆ f[s ∩ t] \] Para ello, completar la siguiente teoría de Lean4: import Mathlib.Data.Set.Function open Set Fu

jaalonso.github.io · Calculemus

0
0
0
0
0
0
0
0
0
Joeun Kim @eunjo@hackers.pub
Public
Shared by minhoryang

터미널에 대해 궁금한 점이 생겨 자료를 찾다 보니 Windows Console Team에서 연재한 시리즈물을 발견했는데, 그 내용이 참 유익했다.

Windows Command-Line Series:

  1. Backgrounder
  2. The Evolution of the Windows Command-Line
  3. Inside the Windows Console
  4. Introducing the Windows Pseudo Console (ConPTY)
  5. Unicode and UTF-8 Output Text Buffer

콘솔 앱이 터미널과 입출력을 주고 받는 것을 공기처럼 당연하다고 생각했는데, 그 과정에는 커서 이동이나 개행 등과 같은 제어 문자를 렌더링하거나 SIGINT 같은 시그널을 발생시켜주는 처리가 존재했다. 터미널과 콘솔 앱이 서로 분리된 구조가 과거 물리 터미널로부터 비롯된 것도 흥미로웠고 말이다. 사실 이해 못 한 부분이 아직 많아서 다음에 또 읽어볼 생각이다.

Windows Command-Line: Backgrounder

This is the first of a series of posts in which we’ll explore all things command-line – from the origins of the command-line and the evolution of the terminal, to what we’re doing to overhaul and modernize the Windows Console & command-line in future Windows releases.

devblogs.microsoft.com · Windows Command Line

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

Readings shared April 19, 2025. jaalonso.github.io/vestigium/p

Readings shared April 19, 2025

The readings shared in Bluesky on 19 April 2025 are Knuckledragger: A low barrier proof assistant. ~ Philip Zucker. #ITP #SMT #Z3 #Python Neural theorem proving tutorial. ~ Sean Welleck. #MachineLear

jaalonso.github.io · Vestigium

0
0
0
0
0
0
0
0
0
은열쇠🥨 :ivory_boost: @Silverkey027@mastodon.social
Public

글의 취지는 부분적으로 동의하나 리눅스는 여전히 진입장벽이 높고 제작사가 보증하는 환경이 아니라는 점에서 일반 게이머들에겐 득이 될 것 같지는 않음

그리고 다른 분 말씀처럼 PC MASTER RACE 논리에서 크게 벗어나지 않는 것도 있는듯
news.hada.io/topic?id=20425

지금은 리눅스가 최고의 게임 시스템입니다 | GeekNews

2025년 현재, Linux는 게임 플랫폼으로서 Windows보다 더 우수한 환경을 제공하고 있음NVIDIA 드라이버와 DLSS, Steam, Heroic, Bottles 등 주요 기능과 호환성 레이어가 완비되어 대부분의 게임이 원활히 실행 가능에픽게임즈, GOG, 물리 디스크 게임, 콘솔 에뮬레이터, 안드로이드 게임까지 폭넓게 지원클라우드 세이브, 안티치

news.hada.io · GeekNews

0
0
0
minhoryang @minhoryang@hackers.pub
Public

어 hackers.pub과 hollo.social 은 다른건가? 목적도 다른가보구나?!

0
1
0
1
0
0
taro_dict @taro_dict@g0v.social
Public

「讓台灣回到曾經多語、多元的社會」是芋圓字典的理念。語言是文化的載體，當我們失去一個語言，一個文化也會加速凋零。眼看當下台灣的本土語言以飛快的速度從這塊土地中流失，不驚讓人擔心台灣人引以為傲的多元文化是否也會在不久的未來成為過去式？

我原本是一個不太會講台語的人，但自從三年前接觸台文之後台語能力大幅提升，因此下定決心要推廣台語文，幫助像我一樣的台灣人把母語講回來。而芋圓字典是我為了實現理想所跨出的第一步。

芋圓字典支援華語查台語詞，沒任何台文基礎的人也可以輕鬆使用。另外芋圓字典也搭載了全新的遊戲功能，幫助不會台文的人無痛學會台語羅馬字。如果你對台語文有興趣，一定要下載來玩玩看！

App 下載（iOS）：apps.apple.com/tw/app/%E8%8A%8

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

An image of the Australian desert illuminates satellite pollution

Link: thisiscolossal.com/2025/04/a-s
Discussion: news.ycombinator.com/item?id=4

A Stunning Image of the Australian Desert Illuminates the Growing Problem of Satellite Pollution

Stitching together 343 distinct photos, Joshua Rozells illuminates a growing problem of satellites polluting the night sky.

www.thisiscolossal.com · Colossal

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

“사람은 외면한 채 물량만 넘겨받았다” 한국니토옵티칼, 영업이익 29% 증가 입력2025.04.20. 오후 2:52 www.khan.co.kr/article/2025...

“사람은 외면한 채 물량만 넘겨받았다” 한국니토옵티칼,...

“사람은 외면한 채 물량만 넘겨받았다” 한국니토옵티칼, 영업이익 29% 증가

2022년 10월 구미공장 화재 이후 사실상 생산을 중단한 한국옵티칼하이테크의 물량이 ‘쌍둥이 회사’인 한국니토옵티칼로 이관돼 큰 이윤을 얻고 있는 것으로 파악됐다. 한국옵티칼하이테크 노동자들에 대한 고용승계는 외면한 채 물량은 넘겨받고 이익만 챙겼다는 비판이 나온다. 20일 한국니토옵티칼 감사보고서를 보면, 한국니토옵티칼은 지난해 3월 기준 매출이 ...

www.khan.co.kr · 경향신문

0
0
0
0
0
0
0
0
0
0
0
0
minhoryang @minhoryang@hackers.pub
Public
  • Jeff Dean이 소개한, Carl de Marcken의 Computational Complexity of Air Travel Planning PDF 읽기. 읽는중인데 정말 재밌다. https://x.com/JeffDean/status/1913693986771906613
  • 다가오는 Coldplay 콘서트를 같이 가기 위한 Itinerary짜기 (출발새서 점심먹고 픽업하고 주차장찾아서 입차하고 저녁먹고 공연보고 출차하고 도착하기인데, 2명으로 시작해서 3명과 4명이 되었다가 다시 3명과 2명이 되어야 하는, 고객*이 원하는 조건을 만족해야하는)
0
1
0
0
0
0
1
0
0
1
0
0
sublimer@あすてろいどん鯖管 @sublimer@mstdn.sublimer.me
Public

これ、コーヒー飲料じゃなくてコーヒーだった

ワンダ ロイヤルラテ PET500ml｜コーヒー｜商品情報｜アサヒ飲料 : 👀
---
asahiinryo.co.jp/products/coff

ワンダ ロイヤルラテ PET500ml｜コーヒー｜商品情報｜アサヒ飲料

ワンダ ロイヤルラテ PET500mlの商品紹介です。上質な香り、まろやかな飲み心地　気分はなやぐロイヤルラテ<BR> <BR> 高級豆をブレンドした香り高いコーヒーと、ミルクが溶けあった豊かな味わい。<BR> まろやかな甘さの中にも高級感ある香りが漂う上質さを追い求めました。<BR> ゆるやかに気分をあげたい、午後のはじまりにふさわしい鮮やかな一杯です。

www.asahiinryo.co.jp · アサヒ飲料

0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
1
0
0
2
0
0
1
0
0
1
0
0
0
0
0
드라코 @draco@pointless.chat
Public

울 마눌님은 파파존스 피자를 자꾸
'트럼프 피자'라고 함.
그래서 그게 뭔소리냐고 하면
'히딩크 피자'라고 말 할려다가 둘이 똑같이 생겨서 헤깔렸다고 함.

....잉? 히딩크 감독님 오열하겠네

0
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