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.
LogTape에 RFC 5424 구현중…인데, 그런데 요즘 syslog 자체를 잘 안 쓰나?
내란옹호 집회에 돈 다 써버려서 총알이 많이 딸리셨나봐요ㅋ
RE: https://bsky.app/profile/did:plc:ijc4yb24tysgjiaiib2ldgyk/post/3lrkqifzgvs2n
mitra をアップデートしました
예전에는 LG전자제품에 대한 별 생각이 없었는데 스마트홈 세팅한다고 HomeAssistant로 다 모으고 난 이후에 LG제품을 피하고 싶어졌다.
일단 연동을 HA 기본 제공 확장이 아닌 서드파티 확장을 설치 해야하고, 주기적으로 재인증을 해줘야 한다. "조작"은 쓸만 한데 "상태"는 잘 갱신이 안되어서 센서로 쓸 수가 없다.
연동 없이 그냥 쓰는데야 뭐 별 불만 없지만, 다양하게 모아서 연동 하고 싶은 분에게는 큰 단점이라고 본다.
2개월 전에 애자일 이야기 글을 편하게 읽고 싶었던 것과 검색 기능의 필요를 느껴 삼아 작성했던 프로젝트[1]를 아카이브 했습니다. 글도 다 읽었고 읽으면서 수정하다 보니 내가 쓸만큼의 무언가는 되어서 특별히 더 동기가 남아있지 않았기 때문입니다. 불필요하게 SSR로 돌려서 서버 비용이 나가는 것이 걱정거리로 남아있었는데 그것도 어제 오늘 작업해서 이제는 GitHub Pages로 배포하기 때문에 아카이브할 수 있게 되었습니다. 그냥 놔둬도 괜찮지만 괜히 신경 쓰여서 아카이브로 돌려놓습니다.
코드 퀄리티는 좋지 않을텐데... 혹여나 수정이 필요하신 분은 AGPL-3.0 라이센스이니 편하게 포크해서 사용하시면 될 듯합니다.
https://github.com/moreal/agilestory.blog/
https://agilestory.blog
팩트를 좋아하지만 실제 그 팩트 전체를 알고 싶지는 않아 한다고 생각해요. (귀찮아함)
Collaboration and innovation in the Equational Theories Project: Formalizing mathematics with Lean 4. ~ Marco Petracci. https://amslaurea.unibo.it/id/eprint/35220/1/TESI_MAGISTRALE_MARCO_PETRACCI-finale.pdf #ITP #LeanProver #Math
はんだ付けの練習の為に買って放置してた遊舎工房のプラクティス基盤をやっと組んだ
はんだ付けは7割は気合…
Formalizing information theory in Lean 4: divergences, hypothesis testing and the data processing inequality. ~ Lorenzo Luccioli. https://amslaurea.unibo.it/id/eprint/32676/1/MasterThesis.pdf #ITP #LeanProver #Math
けものフレンズVぷろじぇくと待望のソロデビュー！6/14（土）全世界配信リリース！ | Age Global Networks株式会社のプレスリリース
https://prtimes.jp/main/html/rd/p/000000235.000050441.html
@stefanoStefano Marinelli that building looks like a giant hip flask. lol
기여워
I’m seeing reports of ICE kidnapping nannies at a park in LA, assaulting pregnant US citizens, kidnapping children in foster care from their foster parents, accidentally arresting US marshals who look too brown.
This is ethnic cleansing on a national scale to fulfill Trump and Miller’s dream of a fascist ethnostate.
I guess with Musk’s falling out with Trump, it’s Miller’s turn to be the scheming vizier running the state.
Got so tired that I became not tired any more
장보고 와서 갑자기 확 우울해지네 오늘 조증에피도 겪었는데 진짜 지랄도정돈껏
진짜로 시도하는 사람이 둘이나 있을것 같진 않아요...아 또 생각나네, 대구때 바로 눈 앞에서 봐버려서
RE: https://bsky.app/profile/did:plc:xmbyi47sypz7q2mx5j7ay6sl/post/3lrksba664c27
Thought I would do something a little different for Pride this year on YouTube. Let's talk about one of the most influencial figures in LGBTQ activism #HarveyMilk
진짜로 시도하는 사람이 둘이나 있을것 같진 않아요...아 또 생각나네, 대구때 바로 눈 앞에서 봐버려서
RE: https://bsky.app/profile/did:plc:xmbyi47sypz7q2mx5j7ay6sl/post/3lrksba664c27
人がいるところで作業するの、自室の5倍くらい集中力がいるんだけど、多分少数派なんだろうなと思う
계엄일, 국회 앞에 박정훈 대령 변호인인 정구승 변호사가 나타나서 군경에 명함 돌리면서 “이거 항명죄 아닙니다. 불법 비상계엄이라 항명해도 됩니다. 제가 무죄 받아드릴겁니다“ 라고 영업(?)했다고(……
Quest Linkが落ちる原因分かったかも
全部Windowsが悪い
かわいい
생각해보니까 pdf도 있네
SIMD-friendly algorithms for substring searching
Link: http://0x80.pl/notesen/2016-11-28-simd-strfind.html
Discussion: https://news.ycombinator.com/item?id=44274001
おふょ
体だるだる
2개월 전에 애자일 이야기 글을 편하게 읽고 싶었던 것과 검색 기능의 필요를 느껴 삼아 작성했던 프로젝트[1]를 아카이브 했습니다. 글도 다 읽었고 읽으면서 수정하다 보니 내가 쓸만큼의 무언가는 되어서 특별히 더 동기가 남아있지 않았기 때문입니다. 불필요하게 SSR로 돌려서 서버 비용이 나가는 것이 걱정거리로 남아있었는데 그것도 어제 오늘 작업해서 이제는 GitHub Pages로 배포하기 때문에 아카이브할 수 있게 되었습니다. 그냥 놔둬도 괜찮지만 괜히 신경 쓰여서 아카이브로 돌려놓습니다.
코드 퀄리티는 좋지 않을텐데... 혹여나 수정이 필요하신 분은 AGPL-3.0 라이센스이니 편하게 포크해서 사용하시면 될 듯합니다.
https://github.com/moreal/agilestory.blog/
https://agilestory.blog
missile strike footage on tel aviv
집 정전 이후로 Zigbee네트워크가 뭔가 불안정한지 몇 가지 센서 업데이트가 느리다. 전에 세팅 했을 때도 불안정하다가 그냥 쓰다보니 안정화 되었어서 냅두고 있긴한데 미묘하게 불편하다.
Die meisten Deutschen sind so überprivilegiert, dass sie das Überleben von Menschen nicht als Lebensleistung anerkennen, weil es für sie selbstverständlich (geworden) ist.
#TIL Netflix is actually using #RDF for their Unified Data Architecture
https://netflixtechblog.com/uda-unified-data-architecture-6a6aee261d8d
source code: https://gist.github.com/rebane2001/8ba35ad6e1b17c4cb5b2b2431d9e992c
(very messy, i don't recommend using it, just putting it out there in case anyone is curious how it works)
> 端的にいえば、「私たちはいずれアルゴリズムの操り人形になる」というのが彼の主張でした。この意見に対し、私は二つの対応策が必要だと考えています。
>
> 一点目は、人間の側で自律性を高めることです。AIコーチやAIセラピストが言うことを100%受け入れるのではなく、気に入らない場合は修正をかける。そうしたAIとの間のフィードバックループによって、人間が成長できるようになるはずだと。
「多元性」から考える、協働と共創のデザイン──オードリー・タン × 太田直樹
https://journal.g-mark.org/posts/focusedissues2024_002
なんか今日ディーラーでイベントやっててラリーゲームをハンコンで早く走れたらミニカーもらえるっていうので事故りながら適当に走ったら目標タイム切れてGRカローラのダイキャストもらえた
2개월 전에 애자일 이야기 글을 편하게 읽고 싶었던 것과 검색 기능의 필요를 느껴 삼아 작성했던 프로젝트[1]를 아카이브 했습니다. 글도 다 읽었고 읽으면서 수정하다 보니 내가 쓸만큼의 무언가는 되어서 특별히 더 동기가 남아있지 않았기 때문입니다. 불필요하게 SSR로 돌려서 서버 비용이 나가는 것이 걱정거리로 남아있었는데 그것도 어제 오늘 작업해서 이제는 GitHub Pages로 배포하기 때문에 아카이브할 수 있게 되었습니다. 그냥 놔둬도 괜찮지만 괜히 신경 쓰여서 아카이브로 돌려놓습니다.
코드 퀄리티는 좋지 않을텐데... 혹여나 수정이 필요하신 분은 AGPL-3.0 라이센스이니 편하게 포크해서 사용하시면 될 듯합니다.
https://github.com/moreal/agilestory.blog/
https://agilestory.blog
🩵 양땡 커플 185일째 🩵
예전에는 LG전자제품에 대한 별 생각이 없었는데 스마트홈 세팅한다고 HomeAssistant로 다 모으고 난 이후에 LG제품을 피하고 싶어졌다.
일단 연동을 HA 기본 제공 확장이 아닌 서드파티 확장을 설치 해야하고, 주기적으로 재인증을 해줘야 한다. "조작"은 쓸만 한데 "상태"는 잘 갱신이 안되어서 센서로 쓸 수가 없다.
연동 없이 그냥 쓰는데야 뭐 별 불만 없지만, 다양하게 모아서 연동 하고 싶은 분에게는 큰 단점이라고 본다.
시카노코노코노코코시쾅쾅
시카노코노코노코코시쾅쾅
My latest @newscientist.com cartoon
お風呂からお送りしてます
퇴마록 애니 구매해서 보고 있는데, 소리를 아무리 높이고 대사가 잘 안들린다. 성우들 문제인 건가 녹음이 잘 안 된 걸까.. 확실히 애니 녹음 같은 부분은 일본이 잘 하는 듯..
だいたい物価高って今月物価高キャンペーン！ 大幅値上げ200％オン！ とかやるわけじゃなくて、継続的な（しかも下がる見通しのない）ものなんだから、瞬間的な2万円なんてカリフォルニアの森林火災にジョウロで水かけるようなもんじゃん。
だいたい物価高って今月物価高キャンペーン！ 大幅値上げ200％オン！ とかやるわけじゃなくて、継続的な（しかも下がる見通しのない）ものなんだから、瞬間的な2万円なんてカリフォルニアの森林火災にジョウロで水かけるようなもんじゃん。
Auf dem Weg zur und von der 40 Jahresfeier des #Schengen Abkommens in den deutschen Grenzkontrollen stecken bleiben ist eine traurige Ironie, die mich wütend macht.
소수자 차별을 하지 말라는건 소수자에게 특혜를 주라는게 아니라
차별은 암세포처럼 퍼지는 특징이 강해서, 처음에는 소수자로 시작했을지언정 끝은 다 같이 죽자로 끝나기 때문임.
그래서 애초에 차별은 시작하지 않는게 맞음.
유진🎀 
🦭 
Chee Aun 🤔
bgl gwyng
@
tenjuu99(天重誠二)
시오