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.
朝ごはん食べてる
how would you optimize this process
사람들이 아무리 근거를 첨부해서 말을 해도 들을 생각도 안 하고 자기 할 말만 하는 사람을 우리는 윤석열이라 부릅니다.
판교를 불태워야합니다
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 어떤 문장이 "논리적"이라고 할 수 있는지에 대한 심도 있는 탐구를 시작합니다. 일상적인 오용을 지적하며, 진정으로 논리적인 주장은 증명 가능성과 체계의 무모순성이라는 두 가지 핵심 조건을 충족해야 한다고 주장합니다. 특히, "좋은 가정 아래" 논리성을 증명하는 두 가지 방법, 즉 함수형 언어와 유사한 구조를 가진 자연 연역과, 약간의 "부정행위"를 통해 무모순성을 쉽게 보일 수 있는 논건 대수를 소개합니다. 글에서는 명제와 판단의 개념을 명확히 정의하고, 자연 연역을 통해 논리적 증명을 구축하는 방법을 상세히 설명합니다. 특히, 자연 연역과 함수형 언어 간의 놀라운 유사성, 즉 커리-하워드 대응을 통해 논리적 사고와 프로그래밍 언어 이해 사이의 연결고리를 제시합니다. 또한, 자연 연역의 한계를 극복하고 무모순성을 보다 쉽게 증명할 수 있는 논건 대수를 소개하며, 자연 연역과의 구조적 차이점을 강조합니다. 이 글은 논리적 사고의 깊이를 더하고, 프로그래밍 언어와 논리 간의 관계에 대한 흥미로운 통찰을 제공합니다. 특히, 커리-하워드 대응을 통해 논리와 프로그래밍이 어떻게 연결되는지 이해하고 싶은 독자에게 유익할 것입니다.
Read more →블스에도 절기가 생기는 것에 감사해야죠. 여긴 정말 ‘수제 포스트를 안하면 우리 모두 굶습니다‘ 하던 곳이었음 (?)
塗り方針を途中から間違えてた紲星あかりを改めてアップ。
…よくわからなくなったからもういっか！
#イラスト #VOICEROID #紲星あかり
Why did the BBC publish 22 negative articles on 300m of bike lane in Somerset?
https://lauralaker.substack.com/p/why-did-the-bbc-publish-22-negative
Needless to say, the bike lane didn't survive.
Nor has trust in the BBC...
브뤼셀프라이 나는 올해 처음 들은 프랜차이즈인데.. 내 귀에서 좀 들리는거 보면 얘네들 지금 공격적으로 투자하나보네...
프로필을 보니까, 챗GPT 를 커스터마이징해서 채널로도 쓰는 듯. 하지만 레시피의 근원이 사람이 아닌 AI면 믿을 수 없다.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3lnr437o6n22q
これなあ🥺
アメリカも面倒な国になったな。“顔認証と異なりパスコードは、アメリカ憲法修正第5条の保護対象となる可能性が高い” というのは覚えておくべきか。生体認証の意外な弱点はアメリカにあったか…… / 旅行が一瞬で台無しになる…海外紙が警告｢アメリカの空港で続く"スマホ検査"の異様な実態｣ ｢怪しい｣と思われただけでデータが抜き取られるケースも https://president.jp/articles/-/94921
アメリカも面倒な国になったな。“顔認証と異なりパスコードは、アメリカ憲法修正第5条の保護対象となる可能性が高い” というのは覚えておくべきか。生体認証の意外な弱点はアメリカにあったか…… / 旅行が一瞬で台無しになる…海外紙が警告｢アメリカの空港で続く"スマホ検査"の異様な実態｣ ｢怪しい｣と思われただけでデータが抜き取られるケースも https://president.jp/articles/-/94921
There are so many spaces in this house that make no sense but the garage is the most baffling. They've since taken the photo off the listing but you can see from the floor plan that the garage has many doors, leading to nothing.
https://www.zillow.com/homedetails/3104-Kimberlee-Ln-Highland-Village-TX-75077/182239232_zpid/
発火しそうな電源ケーブルが流れてきた😭
2025년 주목해야 할 AI 100대 기업 - CB Insights 보고서 분석
------------------------------
인공지능(Artificial Intelligence) 분야는 전례 없는 속도로 발전하고 있습니다. 2024년 초부터 지금까지 수천 개의 새로운 AI 기업이 설립되었으며, OpenAI와 Anthropic과 같은 대형 기업들이 주도하는 AI 산업 투자액은 1,700억 달러를 넘어섰습니다. 이렇게 빠르게 성장하는 시장에서 진정한 혁신 기업을 찾아내는 것은…
------------------------------
https://news.hada.io/topic?id=20543&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
У Нігері дванадцять солдатів загинули під час нападу джихадистів поблизу Малі
재밌게 보고 있던 일본 레시피 계정 프로필이 "AI레시피"인거 보고 경악. 농담인지 진담인지 모르겠지만... 레시피의 실용성도 동영상이 정말 현실의 요리 과정인지도 믿을 수 없어짐. 조금 찾아가보니 정말로 AI 제공 레시피인 듯.....
Forerunner 165ちゃんの針表示にだいぶ慣れてきたぞ！えーと、これは、
저어는 거의 2주째 땅콩버터를 달고 살았습니다.
しゅいろさんから❤️を貰えたということは我々は良い実験体であるということ。逃がさんぞ。
misskey内の検索でもgifでノート検索するとちらほらループされないという報告が見つかる
添付されたGIFをクリックするとループするけど何もしないと止まるというのは一緒だ。切り分けが難しいね。
점메추해쥬세요
> HHKB Studioは高価なのでいきなりは……という人には、レンタルサービスの「ゲオあれこれレンタル」の最短14泊15日～（4980円～）をお勧めしたい。
へー
HHKBのレンタルあるんだー
「HHKB Studio」は出先でも快適に使える？ 「尊師スタイル」はどう？ 旅先に持ち出して分かったこと（2/2 ページ） - ITmedia PC USER : 👀
---
https://www.itmedia.co.jp/pcuser/articles/2504/24/news166_2.html
すてきなボケ味〜
恒常的にβ版Misskeyに追随してる鯖、のえすきー以外だとどこだろう。我々が被験者として役立っていると良いのだが。
"헛소리에는 더 큰 헛소리로 묻어라"
なぜjpから人が流出してるのかわかってない
나한테 암인거 인증해보라는 사람은 우선 본인이 사람새끼가 맞는지 진지하게 고찰해보시길 부탁드림
“Today, in the early hours of the morning, the New Orleans Immigration and Customs Enforcement (ICE) Field Office deported at least two families, including two mothers and their minor children – three of whom are U.S. citizen children”
I kind of wish AC: Shadows had more variety in gameplay. Black Flag had: 1. the usual missions 2. you had your own SHIP in the OCEAN 3. SHIP battles! with cannons, waves, fortresses, etc! 4. boarding and raiding ships 5. the whole present-day Abstergo thing , which I loved 6. the whole "kenways fleet" thing
Shadows seems to have: 1. run around and kill people as Naoe 2. run around and kill people as Yasuke 3. the rifts and Animus market thing which seems *very* boring 4. not much else. It has better mechanics of course but I was hoping it would have a lot more surprises. I've not even unlocked Yasuke yet but it seems like I've already seen how the whole game is going to be. hope I'm wrong
GCC 15의 새로운 C++ 기능들
------------------------------
- GCC 15는 C++26 기능을 대거 추가했으며, 일부 C++23 기능도 개선했음
- 주요 추가 기능은 Pack Indexing , Variadic Friends , *삭제 이유 명시* , *구조적 바인딩 조건문* 등
- 새로운 컴파일러 옵션과 경고들도 도입되어 *개발자 경험* 이 향상됨
- C++ 모듈 지원이 강화되었고, 템플릿 컴파일 속…
------------------------------
https://news.hada.io/topic?id=20545&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
貴重なドナちゃんの水着だ！かこめかこめ！
RE: https://misskey.io/notes/a72hzuq92z3d012v
身為一個上禮拜有去到419「守護台灣拒絕統戰」遊行現場的人，再看到昨天426的遊行，更加確定，在撕裂台灣的就是藍白兩黨。
419大家談的是和解，跨黨派的包容和愛，以及堅定守護台灣的立場，看見創意百花齊放的宣傳手板，中華民國的國旗和台灣獨立的國旗在同一個場地飛揚，台上宣講的是罷團發言人、導演、醫生、國民黨退伍軍人、KOL⋯⋯ 等民眾，雖也有綠營政治人物上台，但沒有一個政治人物穿著該黨派的「制服」，底下都是一個個自發性前往會場的民眾，不需遊覽車跟便當。
426申請「合法的集會遊行」，挺「違法的抄襲連署」，在台上一整排國民黨政治人物，穿著制服，用台灣的言論自由，哭喊沒有言論自由，底下舉的是來自各縣市的遊覽車手板，坐著遊覽車，動員來的民眾，還包含搞不清楚狀況的外籍移工。事前還規定大家不可以舉什麼旗，舉了你們就要往死裡打？
說這樣代表民意？只再一次證明你們為了撕裂台灣不擇手段，你們才是不能包容異己的「獨裁專制」。
就跟賴清德總統說的一樣：
藍白上街證明更台灣民主，如果真正要戰獨裁，應該去北京天安門，至少在中國見到獨裁集團時，不要再卑躬屈膝。
（1/2）
Benchmarking Crimes Meet Formal Verification
There are multiple instances of authors comparing verification efforts of systems projects by looking at the ratio of proof to code size. I demonstrate why this is nonsense and constitutes a benchmarking crime.
http://microkerneldude.org/2025/04/27/benchmarking-crimes-meet-formal-verification/
매달 월급으로 1억을 받으면 열심히 일할까, 나...?
毎月1000万円の給料をもらったら、一生懸命働きますか、私…？
잼얘(진짜임).
딸기에 크랜베리 섞음.
이것은 빵이 매우 높게 평가.
I’m always happy to take an opportunity to save an early-carreer netsec neophyte from the heartache of the totally fake and not real OSI model.
잼얘(진짜임).
딸기에 크랜베리 섞음.
이것은 빵이 매우 높게 평가.
@tomTom Casavant We will watch it later this evening and now I am looking very forward to it.
래터팩에 누군가가 현금을 넣어서 보냈어요.
React의 중요한 변화 2가지: View Transitions와 Activity
------------------------------
- React가 새로운 실험적 기능을 공개함
- View Transitions는 *부드러운 페이지 전환 애니메이션* 을 쉽게 적용할 수 있게 해줌
- Activity는 UI를 *숨기고 상태를 보존* 하면서 성능 최적화를 가능하게 함
- 이외에도 *자동 의존성 처리* , Fragment Refs , Concurrent Stores 등 다양한 기능…
------------------------------
https://news.hada.io/topic?id=20550&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
『정진명의 굳이 써서 남기는 생각』에 새 블로그 포스팅이 올라왔습니다: Nubby's Number Factory
Nubby's Number Factory
정진명의 굳이 써서 남기는 생각 @jm@guji.jjme.me
게임명: Nubby's Number Factory
개발사: MogDogBlog Production
배급사: MogDogBlog Production
출시일: 2025년 3월 8일
장르: 퍼즐, 덱빌딩 로그라이크
『Nubby's Number Factory』는 20세기말 컴퓨터 그래픽 콘셉트의 덱빌딩 빠칭코 로그라이크입니다. 『Peglin』과 같은 빠칭코를 채택했지만, 진행은 『집주인이 너무해』나 『Balatro』에 좀 더 가깝다고 해야겠지요.
아트 콘셉트가 재미있고 장르 자체의 재미도 그럭저럭 있는 편인데, 개인적으로는 구슬의 속도가 너무 빨라서 무슨 일이 일어나는 건지 모르겠는 점이 아쉽습니다. 그 때문인지 덱빌딩의 재미도 구슬의 물리적 작용보다는 메타적인 트리거들 위주로 돌아가는 느낌입니다. 그래도 사기 치는 재미 자체는 좀 느낄 수 있는듯. 이 '사기'치는 재미가 이 장르에서는 핵심이라고 생각합니다.
엉망진창인 그래픽이 엉망진창으로 재미있게 돌아가는 느낌이 즐겁기 때문에 해 보고 싶게 되는데, 어떤 사기를 칠 수 있는지는 좀 더 시간을 들여서 봐야 더 깊게 즐길 수 있을 것 같긴 합니다.
MJ+
MMDer 
しゅいろ
🍩
세랄이 
