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.
Plasma on FreeBSD! (on the Panasonic Let’s Note)
Happy Caturday!
When your cat cuddles with you is your cat the... (if you have multiple cats, just answer for whichever cat is the loudest)
RTOSとかでビットバンギングしたほうがいいかもしれないと思い始めている
露天風呂入ったドラゴン
PIOのオペコード眺めてたけどNOPでタイミング調整とかしていて、恐らく最初のACKはすぐ返しちゃいけない？みたいなHWバグに起因する処理があるっぽいんだけどだいぶ微妙な感じがしていて、世の中のPS互換コントローラはよくやってるなと思うなどしている
'Sonic Unleashed' was released 17 years ago today in the US.
Programmers! Did you know you can fairly choose a random item from a list in a single pass, without knowing the total number of items in advance, and in constant, minimal space? This delightful method has lived rent-free in my head since I learned it from the Perl gods in the 90s: https://csg.sph.umich.edu/chen/Perl/cookbook/ch08_07.htm
양상추랑 양배추 식감차이 큰데????
웃긴다. 잘못된 설명이 많긴 한데 그래도 일단 서치해서 일치하는 글이 나오기만 하면 멋대로 AI가 요약해 주는구나.
Puffin has the hiccups! There's one right at the start, and at the end.
She was doing this for a few minutes before I realized what it was and started recording, so I only got the last 2 on film, but she had 6 or 7 overall.
youtu.be/N9qtcSOYi1w?... 특별한 장비가 없어도 개인이 고화질 줌 동영상을 찍을수 있으니 별의별것이 다 올라옴;; 댓글 보면 30배 정도만 확대가능일것이라고 하긴하던데 그래도 대단해보임; 첫번째 부분은 원 촬영자가 40분 동안 최대한 안움직이고 손으로 들고 찍은 모양인데... 비닐봉지나 드론 풍선도 아니고 모양이 아주 기괴하긴하네 허허
4K 울트라 100배 줌으로 당긴 한국 최고 선명 UF...
Gobi's Valley
'Banjo-Kazooie'
Nintendo 64
酔っ払ったので皿を洗おう
햄버거 먹는데 양상추대신 양배추가 들어있어서 슬프다
改行しようとしたら投稿しちゃうのなんでなん←
久しぶりに出すか、ロジックアナライザを・・・・・
おっけーよ
ならば薄めで
休肝日
티알피지 가장 어려운 지점:일정맞추기
ドリキャスより楽なのでいいんですけど・・・
Cybersecurity also isn’t ready for the conversation about how we as an entire industry trick young men into perceiving red team as a way to be legally allowed to be a high tech, vigilante thief and then hire them for crap salaries to write repetitive and futile vulnerability assessment reports.
Women and older career switchers are generally not even exposed to red team as an option of interest that they’d be good at using socialized skills, which is kinda crazy when the most ignored people in society who can pretty much walk in anywhere are older women. Instead we portray it like esports.
시은이 내가 고등학교 때 좋아했던 애랑 조금 닮은 점 보여서 눈이 감…
으 집가고싶어
どわ〜(┐「ε:)
Time Pilot
「タイムパイロット」
(Konami, 1983)
🕹 Play online:
https://www.file-hunter.com/MSX/?id=timepilot
Time Pilot is an arcade shooter where you pilot a spaceship to destroy enemy craft. Advance through levels by fulfilling enemy quotas and defeating final bosses. Travel through time from 1910 to face increasingly advanced aircraft.
#msx #MSXGames #retrogaming #retrogames
(Video: screenscraper.fr)
늘 생각하는건데
콩 통조림을 통 콩조림이라고 부르는 것도 틀린 말은 아니야...
빈공간이 너무 적으면 디스크 성능에도 영향을 줄 수 있습니다
이거 드라이브학대에요
이거 안되겠는데 어케생각해
🍢来年4月から自転車の規制が厳しくなり場合によって罰金を取られるとか。
今まで私用ではヘルメットを被っていなかったが購入した。
でも何だかなあ〜 
私は駅まで自転車で行き、駐輪場に停めて電車に乗って通勤する。
なのでヘルメットを持って電車に乗らないといけない。
邪魔だ。
今駅の駐輪場に停めて電車に乗る人でヘルメットを使用している人も、持って電車に乗る人も見た事がない。
これから増えるのか？
駐輪場は屋根がないからヘルメットを自転車に鍵をつけて置いていくと、急な雨が降ったら濡れてしまう。
ただでさえカゴの中に飲みかけの缶ジュースやゴミを入れられる治安の悪さなのに、何されるかわかったもんじゃない。
買い物に自転車でよく行くが、ヘルメットしていくと手が塞がって買い物も不自由になる。
不愉快だ。
そんなにヘルメットって大事なの？
長距離乗車ならともかく、近所に買い物に行くには邪魔なんだけど。
この決まりって本当に意味があるの？
I have imposter syndrome at work, but here I just have poster syndrome.
주말에 가만히 있는 이유 아니 블스 안 (못) 들어오는 이유 약한 영웅 보고 있음
福知渓谷
まさかの桜が咲いていて紅葉と桜の競演が見れました
砥峰高原～福知渓谷の移動中もとても景色が良かったらしいのでおすすめです
20251120
まのさば、気になってる
くろでんきゅんこねこね
포켓몬 Z-A 주인공 성별 뭐로 할까
라이벌 여자아이가 엄청 귀엽긴 한데 룩딸질도 하고싶어
什么嘛，电影院看鬼灭之刃的很多嘛，叫得最大声的其实平时也都不消费对不对 
ひとりだけぺーい！！！！！
Maybe the real problem is we never actually told anyone how to get to Sesame Street.
Twitch Added to Age Restricted Social Media in Australia
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 :
1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold".
2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean.
3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean
EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0
GENKI
Cat 🐈🥗 (D.Burch) 
맹꽁이
Eugen Rochko
0bit@pawoo
힐씨
Dan Piponi