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.
A Lean 4 formalization of Pólya enumeration theorem. ~ Luka Opravš. https://github.com/Luka-O/polya-enumeration-theorem #ITP #LeanProver #Math
Jaeyeol Lee shared the below article:
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
LogTape 1.1.0 introduces smarter and more flexible logging with two major features. The first is "fingers crossed" logging, which buffers debug and low-level logs in memory and only outputs them when an error occurs, providing a complete sequence of events leading up to the problem. Category isolation prevents one component's errors from flushing unrelated logs, keeping logs focused and relevant. The second feature is direct log emission via the `Logger.emit()` method, which allows feeding logs from external systems like Kafka directly into LogTape while preserving original timestamps and metadata. This release also includes bug fixes and improvements across the ecosystem, such as fixes for potential data loss during high-volume logging and improved cross-runtime compatibility. Upgrading to 1.1.0 is backward-compatible and enhances debugging in production by providing complete context for every error without constant verbose logging.
Read more →
Germany is not supporting ChatControl – blocking minority secured
Link: https://digitalcourage.social/@echo_pbreyer/115184350819592476
Discussion: https://news.ycombinator.com/item?id=45209366
Мы мечтаем в цветах, заимствованных у моря....
via seagull-chaika
Much like an oven, the C programming language can char anything
🎨 Out of sight, out of mind?
Banksy's maid lifts the wall like a rug, sweeping society’s mess where no one wants to look.
Some truths don’t disappear — they just get hidden better.
겜트북이 4060달린건데 tgp가 약간 높은 편이라 그런지 아직은 성능 괜찮은 편 이에요
»Blaue Stunde.«
#Fotovorschlag #Photography #Hamburg #Harbour #River #Urban #QuantumWitchery
비행기에서 티맵을 켜지 맙시다
비행기에서 티맵을 켜지 맙시다
Verkocht via Vinted aan een Tati fan uit Geesteren…
Maar waar ligt dat? 🇳🇱
Foto : Knack focus special Tout Tati 2010
#jacquestati #magazine #cinema #mrhulot #yalejoel #photography
오늘은 한화 경기가 쉬니까
NC를 응원하게써오 
국회 엘리베이터에서 만난 송언석, "그리 됐으면" 막말 입장 물었더니
omn.kr/2fab8
"기자 : (함께 엘리베이터에 타며) 정청래 민주당 대표가 '(연설 날) 그리 됐으면 좋았을 것'이라고 말한 '범인'으로 지목했는데 입장 있으신가요?
송언석 원내대표 : 식사하셨어요?
기자 : 네.
송언석 : 즐거운 점심시간 되길 바랍니다.
기자 : 한 번도 입장을 말씀 안 해주셔서. 궁금해서요.
송언석 : ..."
국회 엘리베이터에서 만난 송언석, "그리 됐으면" 막말...
洪 民憙 (Hong Minhee) @hongminhee@hackers.pub
LogTape 1.1.0 introduces smarter and more flexible logging with two major features. The first is "fingers crossed" logging, which buffers debug and low-level logs in memory and only outputs them when an error occurs, providing a complete sequence of events leading up to the problem. Category isolation prevents one component's errors from flushing unrelated logs, keeping logs focused and relevant. The second feature is direct log emission via the `Logger.emit()` method, which allows feeding logs from external systems like Kafka directly into LogTape while preserving original timestamps and metadata. This release also includes bug fixes and improvements across the ecosystem, such as fixes for potential data loss during high-volume logging and improved cross-runtime compatibility. Upgrading to 1.1.0 is backward-compatible and enhances debugging in production by providing complete context for every error without constant verbose logging.
Read more →What's the difference between a gazebo and a pergola? The answer is that one has a roof and the other doesn't. This, therefore, is a view through the top of a pergola.
HP(えっちポイント)が0になってる
올만에 컴파일러 lexical analysis 설명 읽으니깐 짱 재밌으면서도 동시에 쓰여진 코드도 이해하려고 하니깐 머리가 터질 것 같군...닝겐이 자연어를 처리하는 과정도 재밌는데 기계가 입력 기호들을 처리하는 걸 들여다볼 수 있다는 사실 그 자체가 되게 신기한 것 같다. 전자는 언어라는 추상적 정보를 뭉탱이로 있다가 유링게슝하게 여러 층위로 쪼개서 (예: 통사, 의미) 순차적 혹은 병렬적으로 처리한다는 게 재밌고 후자는 기호를 임의의 단위로 쪼개는 과정들을 구현 수준에서 디테일하게 볼 수 있다는 게 짱 신기하다...여튼 머리도 식힐 겸 운동하러 가야지.
🚨 WEEWOO 🚨 (German edition)
@FotoVorschlag #FotoVorschlag
(Dunkel-) 'Blaue Stunde' in der Gedenkstätte.
メシをね、食いに行こうと思うんです
#ASB_NRW @SylviaLoehrmann & #Fotograf #photographer #kuenstler #artist @erezkaga bei der Eröffnung seiner Ausstellung "Humans of October 7th" im Albert Einstein #Gymnasium gestern in #Duesseldorf
#Kunst #photography #art #Rheinland #NRW #NeverAgainIsNow
グエー来年で4半世紀が経つのか……
【9.11】アメリカ同時多発テロ 現場に向かうカメラが捉えた“倒壊の瞬間”(2001年9月11日)【NEWS DIG ARCHIVE】 - YouTube https://www.youtube.com/watch?v=ZKC7pKUpudk
아 맞네
그 때 감독 이름이
아드보카트였는데
한동안 기억이 안 났음
Isabelle Huppert photographed in
Montmartre, Paris, 1985
Photo by Robert Doisneau
#cinema #photography #isabellehupperr
Alt txt: bw photo of Huppert in a café sitting on a chair and looking behind her
Around ten years ago, one of the FreeBSD developers had an SSH key compromised. This key gave access to the machine with our subversion server on it. And, due to how svn worked, every user had write access to the directory containing the repo.
Subversion does not have any way of doing integrity checks, so the recovery process involved (via a script) checking out each revision in turn, then doing the same with a git mirror, and validating that they were the same.
Audit logs showed that the attacker had logged in, tried running a few Linux commands, got error messages, and logged out. We were incredibly fortunate that they didn’t do anything more serious.
@david_chisnallDavid Chisnall (*Now with 50% more sarcasm!*) 
@GossiTheDogKevin Beaumont I once investigated a breach of a majorly critical UNIX system that could have killed a multinational company, and found that the guy typed "DIR C:" in the shell he got, tried some more MS DOS commands in vain, and gave up
Lol I was watching this when the German alarm went off
https://mastodon.online/@streetartutopia/115178694439240382
今日も
I cannot tell you have many security incidents I’ve worked at orgs on critical national infrastructure over the years where the threat actor got access and *mind boggles* deployed coin miners.
No really, I don’t think I can you tell you, I’d get sued 🤣
Around ten years ago, one of the FreeBSD developers had an SSH key compromised. This key gave access to the machine with our subversion server on it. And, due to how svn worked, every user had write access to the directory containing the repo.
Subversion does not have any way of doing integrity checks, so the recovery process involved (via a script) checking out each revision in turn, then doing the same with a git mirror, and validating that they were the same.
Audit logs showed that the attacker had logged in, tried running a few Linux commands, got error messages, and logged out. We were incredibly fortunate that they didn’t do anything more serious.
@choa초아 
한화만세 복창 실시 
It is with great excitement that we are launching this years #nix community survey.
https://survey.nixos.org/759934
We are conducting this survey to improve our understanding of the community and better support various teams. This year we have questions from the Nix Team, the StdEnv Team, the Steering Committee, and the Foundation which will help inform the work they do for the project.
As always, the survey is anonymous. Aggregated statistics and major findings will be published on Discourse.
슈퍼마켙에 콩 통조림 점장이
직접 담근 술을 저렴하게 팔아...
하지만 그 누구도 술의 재료가
무엇인지 알려고 해서는 안 돼...
그리고 그 술을 언급하면 안 돼...
슈퍼마켙에 콩 통조림 점장이
직접 담근 술을 저렴하게 팔아...
하지만 그 누구도 술의 재료가
무엇인지 알려고 해서는 안 돼...
그리고 그 술을 언급하면 안 돼...
🚨 WEEWOO 🚨 (German edition)
🎉 Huge shoutout to the superstar of the Whisker Wonders challenge, Vig Pál János! 🏆🌟 Take a peek at the winning snap! 📸✨ #Pixtro #WhiskerWonders #Photography #PhotographyChallenge
Claude에 따르면 대부분의 JavaScript 엔진에서 배열을 비울 때 a.length = 0과 같이 대입하는 게 가장 빠르고 최적화가 잘 된다고 하는데, 이걸 믿어야 할 지 말아야 할 지… 이게 사실이라고 해도 참 답이 없다고 느낀다. 🤦
벤치마크를 돌려봤더니 실제로 .length = 0이 제일 빠르네요 😲 (← Firefox / Chromium →) jsben.ch/hyj65
06년에 월드컵할 때 토고전을 했었지...
가나 옆에 쪼만하게 붙어있는 토고랑 붙었지... 
can you believe it guys? 
wee woo wee woo , just an hour away!
한진 제주 지하수 증산 심의 D-1...물 더 퍼내도 환경영향 없나?:
한국공항㈜의 제주도 먹는샘물 지하수 증산 동의안이 12일 제주도의회 환경도시위원회 심의를 앞두고 있다. 제주도청은 과학적·기술적으로는 고갈이나 수위 하강 우려가 없다는 입장이지만, 시민사회는 “문제는 양이 아니라 원칙”이라고 맞섰다. 한국공항이 2011년 이후 여섯 번째 시도하는 증산안이 이번에는 의회의 벽을 넘을 수 있을지 관심이 집중된다.도청 “환경 영향 없다”제주 지하수를 취수해 먹는샘물 ‘제주퓨어워터’를 생산하는 한국공항㈜이 한 달 취수량을 현행 3000톤에서 4400톤으로 늘려 달라고 신청했다. 하루 기준 100톤에서 14
https://www.newspenguin.com/news/articleView.html?idxno=20377
(2025-09-11 17:40:52)
I cannot tell you have many security incidents I’ve worked at orgs on critical national infrastructure over the years where the threat actor got access and *mind boggles* deployed coin miners.
No really, I don’t think I can you tell you, I’d get sued 🤣
Around ten years ago, one of the FreeBSD developers had an SSH key compromised. This key gave access to the machine with our subversion server on it. And, due to how svn worked, every user had write access to the directory containing the repo.
Subversion does not have any way of doing integrity checks, so the recovery process involved (via a script) checking out each revision in turn, then doing the same with a git mirror, and validating that they were the same.
Audit logs showed that the attacker had logged in, tried running a few Linux commands, got error messages, and logged out. We were incredibly fortunate that they didn’t do anything more serious.
More threatened Palestinians forced to flee Gaza City
Displaced Palestinians flee Gaza City amid Israeli military attacks and threats to move to the south [Dawoud Abu Alkas/Reuters]
잘하면 나는 죽고 없을수도...ㅎㅎㅎㅎㅎ
xx년생이 xx생이라고??
에이~ 말도 안돼ㅋㅋ
라고 생각한 순간
축하합니다! 여러분은 늙었습니다! 
const _0x112
땡상어 
しゅいろ
CatSalad🐈🥗 (D.Burch) 
Stefano Marinelli
わしゃ
놀래라
