What is Hackers' Pub?

결혼 생각이 없거나 망설이는 이유로 미혼 남성은 결혼생활 비용과 낮은 소득에 대한 부담이 여성보다 컸고, 미혼 여성은 가부장적 가족 문화나 경력 저해 우려가 남성보다 상대적으로 큰 것으로 나타났습니다.

”남성 ‘결혼비용’ 여성 ‘가부장 문화’ 결혼 기피 이...

うっかり眼鏡の上にヘッドフォンをしてしまって頭痛が痛い

또 사표론 나왔나? 산천도 변하고 인걸도 간데 없는데 사표론만 의구하네.

또 사표론 나왔나? 산천도 변하고 인걸도 간데 없는데 사표론만 의구하네.

Something I printed last week! Doesn’t it look like the old @deno_landDeno logo? 😄 #3dprinting

어떻게 하면 React 기반 앱을 좀 더 안전하고 탄탄하게 만들 수 있을까? 우리는 그 답을 ‘리액트를 리액트답게’ 작성하는 것이라고 정의했고, react-simplikit으로 그 답을 구체화했어요. https://github.com/toss/react-simplikit

Roguetype: The first ever roguelike written in the OCaml type system

https://github.com/Octachron/roguetype

Discussions: https://discu.eu/q/https://github.com/Octachron/roguetype

#compsci #ocaml #plt #programming

라쿤님 윈도우 모바일 포스트를 보니 떠오르는 윈도우폰, 루미아 1020. MS가 윈도우폰 전략을 잘못 잡은 것만 빼면 꽤 괜찮았는데 지금 봐도 꽤나 세련된 기능과 디자인을 채용했었다. "라이브 타일"이라고 불리는 앱 아이콘에서 정보를 보여주는 기능, 애플과 구글보다 먼저 플랫(flat) 디자인을 채용한 점이 운영체제를 더 돋보이게 만들었고 하드웨어도 당시 다른 폰들과 달리 꽤나 알록달록한 폴리카보네이트 유니바디여서 완성도도 디자인 코드와도 조합이 좋았던 기억이 있다.

Solidarity with my colleagues at Wageningen University & Research on strike today. Stop the cuts. #woinactie

[Si vous bloquez (ça arrive à des gens très bien), n'abandonnez pas tout de suite ! Demandez-moi un indice, ou jetez un œil à la soluce.]

Jeu d'aventure textuel illustré comme dans le temps sur #Amstrad mais modernisé, #gratuit, cherche joueuses et joueurs susceptibles de l'apprécier en dehors des cercles initiés.

Les augures prédisent un échec de buzz. Déjouons-les ?

https://narkhos.itch.io/oremus

#jeuvideo #gaming #amstrad #pixelart #retrogaming #retrocomputing

@seol2 서버 내린거면 동기화 시도하면 걍 graceful하게 fail하던걸로 기억합니다
왜 아냐면 저가 서버가 빧었을때 싱크를 시도해봐서...

Aliのセールの時間だー​​

훔쳐온 짤

The billionaires know that fossil fuels and power-intensive AI are rendering the earth uninhabitable. That's what their bunkers are for.

But even more than bunkers, they're investing in surveillance and repression.

They're not afraid of the end of the world.

They're afraid we'll try to save it.

https://crimethinc.com/Climate2024

아무도 들어보지 못한 GPS 대안 기술, BPS
------------------------------
- BPS 는 GPS를 대체할 수 있는 *방송 기반 위치 결정 시스템* 으로, *ATSC 3.0 신호를 활용* 하여 높은 정확도의 타이밍을 제공함
- GPS와 BPS는 10ns 이내의 정밀한 동기화를 이루며, 방송 인프라를 활용한 새로운 시도임
- 전력망, 통신, 방송 등 다양한 분야에서 *타이밍 정확성이 중요* 하기 때문에, G…
------------------------------
https://news.hada.io/topic?id=20314&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

어떻게 하면 React 기반 앱을 좀 더 안전하고 탄탄하게 만들 수 있을까? 우리는 그 답을 ‘리액트를 리액트답게’ 작성하는 것이라고 정의했고, react-simplikit으로 그 답을 구체화했어요. https://github.com/toss/react-simplikit

Kagi는 좋은 것

Kagi는 좋은 것

우연히 보는 길동물 더 쉽게 찍고싶다는 이유 하나만으로 더 좋은 광학 줌 카메라를 탑재한 폰을 가지고 싶다.

@seol2 1. 단 카드에 연결된 계좌에 15만원 이상이 있는지 확인한다
2. 토스뱅크 체크카드를 써서 가입한다
3. 성공!
- 제 경험담

kagi 걍 잘 쓰는 중... 구글 검색이랑 그렇게 많이 차이나지도 않는 것 같음... 개인적으로 덕덕고는 경험이 안 좋을 때가 많았던 기억이 있어서 걍 개인정보 수집 안 한다는거 하나만 보고 쓰는데 걍 좋은 듯

#hema but make it cute

"Hay, de hecho, dos cosas, ciencia y opinión; la primera engendra conocimiento, la segunda ignorancia." ~ Hipócrates (-460, -370).

Readings shared April 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/13-readings_shared_04-13-25 #AI #ATP #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Mace4 #Math #Prover9 #SetTheory

그래 어차피 1.5도 넘긴거 다같이 망하자 ㅅㅂ 트럼프야

竜宮レナ #ひぐらしのなく頃に

‘기후위기 감시’ 미국 해양대기청 핵심 연구부서, 폐지 수순

https://www.hani.co.kr/arti/science/science_general/1192299.html

‘기후위기 감시’ 미국 해양대기청 핵심 연구부서, 폐지 수순

https://www.hani.co.kr/arti/science/science_general/1192299.html

만트라 OM 토큰, 30분 만에 88% 폭락…'루나 사태' 이후 최악 붕괴

https://n.news.naver.com/mnews/article/014/0005335508?sid=104

또 누가 조단위로 해먹었구만

게임 콘솔에 관세 부가…트럼프 관세 정책에 게임업계 '긴장'

https://zdnet.co.kr/view/?no=20250414080128

관세 정책으로 게임 콘솔에 25% 관세 부과 예정. 닌텐도, PS5, 엑스박스 영향. 가격 상승과 유통 차질 우려

「トイレが詰まったとか大阪万博に関してネガティブなことを書くのはサヨク」キャンペーンがそろそろ始まりそうである。未来世紀オーサカ。トイレのつまりを一瞬で直すテロリストたるロバート・デニーロの登場を待つばかりである。

아무도 들어보지 못한 GPS 대안 기술, BPS
------------------------------
- BPS 는 GPS를 대체할 수 있는 *방송 기반 위치 결정 시스템* 으로, *ATSC 3.0 신호를 활용* 하여 높은 정확도의 타이밍을 제공함
- GPS와 BPS는 10ns 이내의 정밀한 동기화를 이루며, 방송 인프라를 활용한 새로운 시도임
- 전력망, 통신, 방송 등 다양한 분야에서 *타이밍 정확성이 중요* 하기 때문에, G…
------------------------------
https://news.hada.io/topic?id=20314&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

I visited a lamp post on a bridge in tokyo that has been used as the center point for distance measurements for centuries. In the 1960s they built an expressway over it but made sure to suspend a replica of that lamp post over precisely the same spot. It’s a totally gratuitous shrine to infrastructure and I love it

‘기후위기 감시’ 미국 해양대기청 핵심 연구부서, 폐지 수순

https://www.hani.co.kr/arti/science/science_general/1192299.html

사실 각자의 개인 연합우주 서버를 여는 것은 분산되는 측면에서는 매우 좋은데

이게 보안적으로 취약한 서버가 되기 마련이라... 저번처럼 스팸사태가 또 터진다거나, 서버가 암호화폐 채굴장이 된다거나 하는 사태가 벌어질 수 있어서요

웬만하면 구축 커미션이나 호스팅 서비스를 이용하시는 것을 추천드립니다

그냥 LLM이 코드베이스 전체를 이해해주면 안 될까: 번들링을 통한 RAG 시도
------------------------------

"이 글에서는 많은 파일을 내포하는 TypeScript 코드베이스를 번들링(bundling)을 통해 1개의 JavaScript 파일로 압축한 후 LLM에게 전달하였을 때, LLM이 코드베이스와 관련된 질문에 얼마나 정확하게 답변할 수 있는지 확인할 것이다."

런던에는 길냥이 대신 ‘길여우’ 산다:
[뉴스펭귄 유호연 기자(영국 통신원)] 세계 금융의 중심지 영국 런던. 이 바쁘고 첨단화된 도시 중 하나인 이곳에서, 야생 여우들이 사람들과 함께 살아가고 있다. 기자 역시 여러 차례 런던 도심에서 여우를 마주쳤다.런던 도심에 사는 여우은 ‘붉은여우(Red Fox)’다. 런던에 관련한 정보를 다루는 ‘런던토피아(Londontopia)’에 따르면 무게는 5~7kg, 꼬리를 제외한 길이는 60~90cm로 생각보다 작다. 이는 웰시코기나 중형 반려견과 비슷한 크기다. 현재런던에는 붉은여우 1만마리 이상이 살고 있는 것으로 추정된다.런던에
http://www.newspenguin.com/news/articleView.html?idxno=19271
(2025-04-14 15:52:34)

런던에는 길냥이 대신 ‘길여우’ 산다:
[뉴스펭귄 유호연 기자(영국 통신원)] 세계 금융의 중심지 영국 런던. 이 바쁘고 첨단화된 도시 중 하나인 이곳에서, 야생 여우들이 사람들과 함께 살아가고 있다. 기자 역시 여러 차례 런던 도심에서 여우를 마주쳤다.런던 도심에 사는 여우은 ‘붉은여우(Red Fox)’다. 런던에 관련한 정보를 다루는 ‘런던토피아(Londontopia)’에 따르면 무게는 5~7kg, 꼬리를 제외한 길이는 60~90cm로 생각보다 작다. 이는 웰시코기나 중형 반려견과 비슷한 크기다. 현재런던에는 붉은여우 1만마리 이상이 살고 있는 것으로 추정된다.런던에
http://www.newspenguin.com/news/articleView.html?idxno=19271
(2025-04-14 15:52:34)

🌐 At Abstract-Technology, we are constantly exploring innovative solutions to push the boundaries of online learning through the Open edX platform.
🚀 We are excited to share our latest technical deep dive:
https://abstract-technology.de/running-open-edx-on-kubernetes-with-nixos

#OpenedX #Kubernetes #NixOS #DevOps #Scalability #LMS

Exciting news: we're shipping Temporal in Firefox 139! Temporal is a new API for working with dates and times in JS.

This is a very large feature and our implementation was contributed by a single volunteer.

Read about it in our blog post: https://spidermonkey.dev/blog/2025/04/11/shipping-temporal.html

> curl -s https://api.github.com/repos/NixOS/nixpkgs | jq .stargazers_count
20000

20000✨

#NixOS #nixpkgs

만트라 OM 토큰, 30분 만에 88% 폭락…'루나 사태' 이후 최악 붕괴

https://n.news.naver.com/mnews/article/014/0005335508?sid=104

또 누가 조단위로 해먹었구만

사실 부활절 삶은 계란은 삶아서 죽였는데도 부화하는 기적을 의미하는거라 달걀과 마찬가지로 번식이 가능한 부위인 감자는 기능적으로 같은걸 상징할 수 있을듯

RE: https://bsky.app/profile/did:plc:cxhwuzdtgldbotybas5l6ajv/post/3lmqrq27qes24

집에가고싶다(재택이라집임)

https://www.expo2025.or.jp/wallpaper-present/

万博の壁紙、カッコいいのでオススメ
スマホもiPadもこれに設定してる
帰ったらパソコンにも設定しようかな

어떻게 하면 React 기반 앱을 좀 더 안전하고 탄탄하게 만들 수 있을까? 우리는 그 답을 ‘리액트를 리액트답게’ 작성하는 것이라고 정의했고, react-simplikit으로 그 답을 구체화했어요. https://github.com/toss/react-simplikit

[컬리] 딜리버리 프로덕트 개발팀의 개발 문화 - 주니어 디버깅 스터디
주니어 개발자의 성장을 목표로 진행한 에러 디버깅 스터디 과정을 소개합니다.

#cuteposting