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.
Applications to the upcoming ICERM workshop "Techniques and Tools for the Formalization of Analysis" on May 11-15 that I am one of the co-organizers of close soon (on January 14). https://icerm.brown.edu/program/topical_workshop/tw-26-ttfa
みかんジャム乗せたトースト、紅茶を摂取
스라에 있는데 헴은 헴게임 만들어야해서 듀듀
맨날 주의보래
건조주의보 강풍주의보 한파주의보
여름에는 폭염주의보
@gogumagogu엽록체 대신 맨날 경보를 드리겠습니다
맨날 주의보래
건조주의보 강풍주의보 한파주의보
여름에는 폭염주의보
새 명함이 있어야할까 사람 만나서 명함 줄 때 없다고 하면 뻘쭘하긴 한데 내 정보를 주기가 싫은 ㅋㅋ 명함 주면 명함 관리 앱에 등록할거 아냐 그것도 싫고
테크 브로들 머리는 어떤 구조로 되어있길래 이러나…
트럼프가 방산업체 CEO 연봉 상한과 자사주 매입·배당 제한을 꺼내든 가운데, 30조 원대 안두릴 창업자 팔머 럭키가 “가끔은 겁주는 게 좋다”며 공개 지지에 나섰다.
“가끔 겁주는 건 좋다” 트럼프 ‘방산 길들이기’ 지지...
おやつに寿司でも食べるか
테크 브로들 머리는 어떤 구조로 되어있길래 이러나…
트럼프가 방산업체 CEO 연봉 상한과 자사주 매입·배당 제한을 꺼내든 가운데, 30조 원대 안두릴 창업자 팔머 럭키가 “가끔은 겁주는 게 좋다”며 공개 지지에 나섰다. https://www.fortunekorea.co.kr/news/articleView.html?idxno=51320
오래된 전자기기를 어케 하지
なんと
オープンソースの対義語って溜まり醤油だったりしない？
←うちのお手玉にゃんぷっぷーの横向きがまさにこんな感じ
AIがほんとうに人間より知能が高くなって、人間がソフトウェア生産労働から解放されるっていうのなら話は別だけど、どう見てもそんなものではない。というか、結局生産されたコードが現実に適合するかという評価をAIができない(やる手段あるの？)のは、記号接地問題そのまんまだから、人間の認知機能を代替できない。
AI研究の流れで現象学が参照されるのもこのあたりで、いまのAIは世界内存在ではないから、現実と抽象を自律的に突き合わせることができない。それをやるには人間の認知を利用する必要があって、だから対話的インターフェースにならざるを得ない。
生成AI、言語を喋ってくれるツールだけど、参考それを使う側が言語も認知も甘く見すぎていて、コンパイラみたいに中身を理解していなくても使っていいものと誤解している人が多いような印象がある。「AIがマシン語わ吐き出してもいいのでは」みたいなのはこの誤解を象徴している。なんで言語をしゃべるツールに非言語を喋らせる必要があるのか。
AIがほんとうに人間より知能が高くなって、人間がソフトウェア生産労働から解放されるっていうのなら話は別だけど、どう見てもそんなものではない。というか、結局生産されたコードが現実に適合するかという評価をAIができない(やる手段あるの？)のは、記号接地問題そのまんまだから、人間の認知機能を代替できない。
바람소리가 어마어마하네...
망멩미!
My article on why AI is great (or terrible) or how to use it
Link: https://matthewrocklin.com/ai-zealotry/
Discussion: https://news.ycombinator.com/item?id=46557057
この時間帯の光が好きなんだなあ
みつを
Free in the Dark, a GPL2 port of Alone in the Dark 1-3: https://github.com/yaz0r/FITD
내일 롯데 백화점 가는데 가서 사기 좋은게 뭐가 있을까..
おいおい、湾岸戦争と一緒で、なかったものをあるといって武力を行使したのかよ。湾岸戦争は西側諸国の大きなミスだったのではなかったのかよ。
【速報】犯罪組織は実在せず？米が主張撤回|47NEWS（よんななニュース）
https://www.47news.jp/13702406.html
Walt wishes you a happy Caturday 🐾🖤🐈⬛.
#cats #CatsOfMastodon #caturday
I joined #mastodon last week, on a whim, with no idea what to expect
Minutes later, I was welcomed by 
@dillyd which has never happened on any other platform and was a wonderful introduction. So I posted a couple pictures of my #cats, and found, to my surprise, people reacting and interacting
Maybe it's because I'm not fighting an algorithm, or maybe I just found a place where folks truly appreciate cats. Either way, I'm very happy to be here, and I hope you're prepared for more cat pictures
지금 집에서 풍압으로 인한 창문/현관의 충격음을 처음 들어봄. 날씨 좀 많이 험악하다.
サイゲ、AWSのAI系イベントとかの講演側でよく見かけてたからみんな知ってるものだと…
한글로 올라오는 커뮤니티 게시판(?) 이런곳을 보면 그런 극우화 흐름으로 이끌어가는 사람들이 꽤 있습니다 돈받고 하는것 같은데 정부나 지역사회가 그런 사람들을 놔두는것이 신기하긴하더라고요 제가 정부 사람이라면 일단 글 올리는 사람과 운영자부터 좀 조사를 해보지 않을까 싶은데 (..)
かぼぷさん沖縄？！
もともと歩道橋があって、のちに横断歩道ができたのだろう。で、まあ撤去しなくてもエエか！
でそのまま。といったところかしら
“We evacuated our kids out of Minneapolis this weekend and my spouse reports that as she drove them out of town she saw "multiple freeway exits where people are being pulled over." It feels like the Twin Cities is being subjugated by a hostile occupying force.”
This was posted by a journalist 20 minutes ago on BlueSky. This is America.
이런 놈들에게 뭐라도 보여주기 위해서라도 일베 폐쇄 시급하다 상징적으로라도 보여줘야함
얘네가 세상이 여전히 자기들 편의를 더 봐주고 있다는 사실을 점점 더 많이 알게 되면 행동이 점점 더 서슴없고 과격해질거임
RE: https://bsky.app/profile/did:plc:uabkr6tn7ru4b4e5e6udleuf/post/3mbxl3aacms2h
@ai6yrAI6YR Ben
1) take public transportation as much as possible
2) Pay Cash in the area
3) 2 words: Burner Phone
4) Do not go alone and have a buddy
5) Do not allow yourself to fall behind police lines
6) know your rights: https://www.aclu.org/know-your-rights/protesters-rights
7) Have a designated rally point if you get separated
8) When they start firing the tear gas, bail
9) do your diligence had have multiple escape routes preplanned
10) If you local police force is not encrypted have a scanner
11) Check 6 they will redeploy and try to cut off groups
12) PROTECT PRESS. They bear witness and are targeted as well
13) Remove facial ID and fingerprint ID for any smartphones. They need a judicial warrant to use your passcode
14) change your passcode to have a crazy number of letters, cases, symbols and numbers which makes brute force difficult
15) Do NOT take pics of fellow protesters, only security forces
@cvvhrnFreddyB Aviation Photography @ai6yrAI6YR Ben
The EFF's biggest recommendation is to turn off biometric identification and require a pin to access your phone.
Putting the phone into flight mode can help limit a lot of types of surveillance.
Here's the full list.
미국 국민이 미국 잘못으로 살해되자 그 이름을 한국 사는 나도 알지만 대통령 납치당하면서 죽은 베네수엘라인 100명 중 어느 한 명도 이름을 모른다.
横断歩道あるのに歩道橋も？
[Web발신]
국방부 대변인실에서 알려드립니다]
<북한 주장 무인기 침투 관련 입장>
ㅇ 우리 군이 북한이 주장하는 일자에 무인기를 운용한 사실이 없는 것으로 확인되고 있음.
ㅇ 이재명 대통령께서 이 사안에 대한 철저한 조사를 지시하셨으며, 세부 사항은 관련 기관에서 추가 확인 중임.
//끝//
정부 차원에서 북한 대화채널 복원을 적극 추진하고 있는데 북으로 무인기 보냈다는게 영 앞뒤가 안맞아서 이상하다 했는데 이런 소식이 있네요
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3mbzwl5hf7c2r
一生懸命描いたのにキモくて笑ってる
And so the sun set on our twentieth anniversary.
Our lobster dinner was perfect. We worked on it together as sort of our gift to each other.
One after dinner slow dance later we are ready to tackle another year.
It is hard to express my gratitude to whoever or whatever decides our destiny. I know finding a life partner who shares my likes, dislikes and convictions isn't a given but especially in today's world it is a blessing to find all of those things in one old dude.
Looking forward to year twenty one and next year's dinner and dance.
X에 주어지는 특권(?)을 보면 텀블러는 대체 무슨 명분으로 그렇게 말려 죽였나 싶어지는 것이다. 온라인 포르노를 옹호하는 의미가 아니라, 옳고 그름과 별개로 형평성이 너무 노골적으로 무시되지 않았냔 말이지....
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3mc26sgf64c2r
本日のおさんぽ・レンズ
なんか稀にハンドルが取られてなんか怖〜と思ってたけどこれ風が強いからか
RE: https://qdon.space/@blue_on/115834121437357756
찾았다개씨발좆같은거 ㅠㅠㅠㅠㅠ
UEFI Boot에서 Resizable BAR, Above 4G address space 기능이 정상적으로 초기화되지 않는 문제였음.
CSM Boot 모드로 하니까 저 기능들이 비활성화돼서 정상 부팅됨.
무사히 점심을 먹어서
블친여러분들은 무사하게 되었답니다
RE: https://bsky.app/profile/did:plc:mk3k3q4ahz2coieim7s44ceb/post/3mc2b36v6us2x
!!
オープンソースの対義語って溜まり醤油だったりしない？
드디어 명함 다 갈아버림
냉전 때 맺은 조약 있는데…트럼프 ‘점령’ 발언이 당혹스러운 이유
트럼프가 그린란드 장악을 위해 군사옵션까지 거론했다. 1951년 미·덴마크 방위협정만으로도 주둔 확대가 가능한 만큼 ‘인수·점령’ 카드는 안보보다 과시와 압박에 가깝다는 지적이 나온다.
냉전 때 맺은 조약 있는데…트럼프 ‘점령’ 발언이 당혹...
とるねど
🕊️
힐씨
烏頭のおやま(の)
Cat 🐈🥗 (D.Burch) 
Paul Cantrell
依頼募集中
