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.
#연합당근 #동방프로젝트 동인 서적, 음반, 굿즈를 팔고 있습니다. 리노트/부스트 감사합니다.
https://docs.google.com/spreadsheets/d/1b4B1rVGGJNVcxMdnVZzsnZP0T-aj-4E_CQoNPsY1Zcc/edit?usp=sharing
やらなきゃいけないことを一つやった えらい
사실 목련옹께서는 4월 24일에 만개했습니다🥹
보존이 필요한 나무 또는 희귀식물은 시간이 조금 지난 후 소식을 전해드립니다.
그 이유는... 소개 이후 자생지 훼손이 심각했기 때문인데요. 피뿌리풀의 경우, 모니터링지에 살던 개체가 모두 사라진 마음 아픈 일이 있었답니다.
앞으로는 정확한 시기도 함께 안내드리겠습니다!
감사합니다🌳
RE: https://bsky.app/profile/did:plc:xyhn24xzi4k4xcxu2l4n4t2l/post/3lokrg7dbqs2o
@tomTom Casavant You seem to be having some issues!!!
#연합당근 #동방프로젝트 동인 서적, 음반, 굿즈를 팔고 있습니다. 리노트/부스트 감사합니다.
https://docs.google.com/spreadsheets/d/1b4B1rVGGJNVcxMdnVZzsnZP0T-aj-4E_CQoNPsY1Zcc/edit?usp=sharing
auspol
Ubuntu 22.04.5 LTS よし
$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
The following packages will be upgraded:
libfido2-1
1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
:
$ cat /var/run/reboot-required*
cat: '/var/run/reboot-required*': No such file or directory
Hyunjoon Kim shared the below article:
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 "논리적"이 되는 두 번째 방법인 논건 대수를 재조명하며, 특히 컴퓨터 공학적 해석에 초점을 맞춥니다. 기존 논건 대수의 한계를 극복하기 위해, 컷 규칙을 적극 활용하는 반(半)공리적 논건 대수(SAX)를 소개합니다. SAX는 추론 규칙의 절반을 공리로 대체하여, 메모리 주소와 접근자를 활용한 저수준 자료 표현과의 커리-하워드 대응을 가능하게 합니다. 글에서는 랜드(∧)와 로어(∨)를 "양의 방법", 임플리케이션(→)을 "음의 방법"으로 구분하고, 각 논리 연산에 대한 메모리 구조와 연산 방식을 상세히 설명합니다. 특히, init 규칙은 메모리 복사, cut 규칙은 메모리 할당과 초기화에 대응됨을 보여줍니다. 이러한 SAX의 컴퓨터 공학적 해석은 함수형 언어의 저수준 컴파일에 응용될 수 있으며, 논리와 컴퓨터 공학의 연결고리를 더욱 강화합니다. 프랭크 페닝 교수의 연구를 바탕으로 한 SAX는 현재도 활발히 연구 중인 체계로, ML 계열 언어 컴파일러 개발에도 기여할 수 있을 것으로 기대됩니다.
Read more →sudoすっどー
Mastodonだとちょっと前からImageMagickは非推奨になってlibvipsが規定になってたりする
家の雨樋はへしゃげてて雨が降ると水溜りが供給されるのでマイナバードがどったんばったん水浴びしてて楽しそうね
ANEMLL: Large Language Models for Apple Neural Engine https://lobste.rs/s/mcct5l #ai
https://www.anemll.com/
Ty - 빠른 Python 타입 체커 및 언어 서버
------------------------------
- ty 는 Rust 로 작성된 매우 빠른 *Python 타입 검사기* 및 * 언어 서버*
- 아직은 *프리릴리즈 소프트웨어* 로, *프로덕션* 에서 사용하기에는 준비되지 않음
- Astral의 초고속 파이썬 Linter인 Ruff 저장소에서 개발이 진행 중이며, * 안정성*과 * 기능 완전성*을 목표로 함
- MIT 라이센스…
------------------------------
https://news.hada.io/topic?id=20777&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
여행 쿨타임이 돌았다
お、小田原城へ出陣したか
エナドリのみたい
GNU dateの--iso-8601のデフォルトが日付までなの残念だよなあ
$ date --iso-8601
2025-05-07
$ date --iso-8601=minutes
2025-05-07T16:05-10:00
「手にした『印刷物』がみるみるうちに朽ち、虫食いになっていく。呪いがとうとうわたしに追いついたのだ」
「手にした『スマホ』がみるみるうちに朽ち、虫食いになっていく。呪いがとうとうわたしに追いついたのだ」
スマホの方が怖い気がする
ISOを愛そうだ
요새는 두릅이 제철인가
HTMLページを印刷した時に消すの、Wikiのナビゲーション用のリンクとか編集ボタンとかかな
How three years at McKinsey shaped my second startup
Link: https://blog.zactownsend.com/know-your-enemy-how-three-years-at-mckinsey-shaped-my-second-startup
Discussion: https://news.ycombinator.com/item?id=43886604
SNSは、アクティビティがコンテンツで、それを人に届くように公開する仕組み、かな。
まあ、ActivityPubっていうことだよね。
#연합당근 #동방프로젝트 동인 서적, 음반, 굿즈를 팔고 있습니다. 리노트/부스트 감사합니다.
https://docs.google.com/spreadsheets/d/1b4B1rVGGJNVcxMdnVZzsnZP0T-aj-4E_CQoNPsY1Zcc/edit?usp=sharing
Zed - 가장 빠른 AI 코드 에디터
------------------------------
- *Rust로 완전 재구현된 오픈소스 코드 에디터 Zed* 가 이제 AI 기능을 본격적으로 통합함
- AI 에이전트는 코드 검색부터 수정까지 수행하며, *사용자의 사전 학습 없이도 작동* 함
- *개인 정보 보호와 보안이 기본값* 으로 적용되며, 명시적으로 동의하지 않으면 어떤 대화도 서버에 저장되지 않음
- 사용…
------------------------------
https://news.hada.io/topic?id=20775&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
Reject curved monitors.
Embrace the orb! 🔮
今朝は出雲そば
今朝は出雲そば
これv3.5.0でだいぶ改善されて ギリ 現実的な値（2分程度）まで短くなったけど、初回起動時以外でも同じだけ時間かかるのについては改善してないのでまだちょっとめんどくさいかも
ただサーバーの再起動がかかると15分待たされるようなことは無くなったので、とりあえず開発を進めることはできるようになった
RE: https://misskey.io/notes/a34fcstqsk220j8g
36.8℃
熱は押さえ気味だが鼻詰まりがひどい。
#ふぉの温度202505_本土最南端ツーで拾った風邪
NSA spied through Angry Birds, other apps: report (2014)
Link: https://www.nbcnews.com/tech/tech-news/nsa-spied-through-angry-birds-other-apps-report-flna2d12006530
Discussion: https://news.ycombinator.com/item?id=43903534
#中央社即時新聞 國際 09:30
德國48家大企業集體認錯 承認納粹時期共犯角色
（中央社記者林尚縈柏林8日專電）二戰納粹德國投降今天屆滿80週年，48家德國大型企業罕見發表聯合聲明，首次明確承認在納粹政權罪行中扮演關鍵角色，並呼籲在極右勢力崛起的當下，企業必須展現「立場與勇氣」，共同守護德國民主。
C++를 통해 Rust의 매력을 보여준 Matt Godbolt의 설득
------------------------------
- 20년 이상 C++을 사용한 저자가 *Rust의 장점을 재발견* 하게 된 계기를 Matt Godbolt의 강연을 통해 소개함
- C++에서는 *타입 혼동에 의한 실수* 가 컴파일러에서 제대로 잡히지 않지만, Rust는 이를 *컴파일 타임에 강하게 차단* 함
- Rust는 *단순한 메모리 안전성 외에도 API 오용 방지* 에 유리한 설계를…
------------------------------
https://news.hada.io/topic?id=20760&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
ghehe! Installed 22.04 on my previous work laptop that the company didn’t want back apparently, I tried 3 times..
It’s now running a small in-home glitch-soc Mastodon instance over the same network that previously owned that laptop
Snatched up Europe.social for a few bucks since it was still available lol!
4CPU, 8GB Mem & 300GB external storage so not a lot but also practically free to run
JetBrains사의 C/C++ IDE인 CLion은 이제 비상업적 용도로는 무료로 쓸 수 있다고 한다.
CLion Is Now Free for Non-Commercial Use - https://blog.jetbrains.com/clion/2025/05/clion-is-now-free-for-non-commercial-use/
저(말하는 염소)는 식물이신 연친 여러분을 뜯어먹어야겠습니다
JetBrains사의 C/C++ IDE인 CLion은 이제 비상업적 용도로는 무료로 쓸 수 있다고 한다.
CLion Is Now Free for Non-Commercial Use - https://blog.jetbrains.com/clion/2025/05/clion-is-now-free-for-non-commercial-use/
요새는 두릅이 제철인가
좋아 이제 다 잡아먹으면 되는거지???
Trying to organise my life around a train disruption. Now I feel like a true Melbourne citizen.
세랄이 
상어학산타 
国際ニュース - CNN.co.jp 
くろでん
(自律しろ) 
洪 民憙 (Hong Minhee)
bgl gwyng
