What is Hackers' Pub?

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.

1

: „Die Baumbilanz für 2024 ist erneut negativ: Von 431.431 Straßenbäumen in den zwölf Bezirke wurden ganze 5.280 Straßenbäume gefällt, nur 2.571 davon wurden bereits nachgepflanzt – ein Defizit von 2.709 Bäumen." (Nabu Berlin)

In Paris seit 2020 neu gepflanzte Bäume laut „Paris Data“: 125.000.

dashboard.paris/pages/detail-a

0

나중에 인간의 전뇌화가 충분히 이루어지면 듀오링고로 배우는 피겨스케이팅 코스 같은것도 나오지 않을까

더블 악셀을 성공하세요.

✅ 아주 좋아요! 📤🏁

0
1
1

: „Die Baumbilanz für 2024 ist erneut negativ: Von 431.431 Straßenbäumen in den zwölf Bezirke wurden ganze 5.280 Straßenbäume gefällt, nur 2.571 davon wurden bereits nachgepflanzt – ein Defizit von 2.709 Bäumen." (Nabu Berlin)

In Paris seit 2020 neu gepflanzte Bäume laut „Paris Data“: 125.000.

dashboard.paris/pages/detail-a

0
0
0
0

나중에 인간의 전뇌화가 충분히 이루어지면 듀오링고로 배우는 피겨스케이팅 코스 같은것도 나오지 않을까

더블 악셀을 성공하세요.

✅ 아주 좋아요! 📤🏁

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0

LTLに投げてるつもりでも、連合に流れてるのって地味に問題かもなぁ。
割と流れてくるのがこっちから見えちゃうのよね :blobcatrollingeyes:

その辺、 :misskey12_67: はLTLで止める機能があるし、kmybluleは未収載でもLTLに乗せられるので、連合に流れないのは、掲示板的な運用をしている鯖としては都合がいいだろうね :thinking_shamiko:

逆にそれ以外の鯖は掲示板的な運用をしているつもりが、外部にだた漏れだもんな :blobcatrollingeyes:

0

https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative

내가 9.4 -> 9.6 마이그레이션에서 겪고 있는 문제가 이거랑 관련이 있는거 같은데(확실치 않음)... 9.4에서는 c :: Type -> Constraint 일때 forall c. c Int 뭐 이런 조건이 있으면, 모든 c에 대해 c Int가 존재하는게 말이 안되는데도 실제로 c Int 꼴로 쓰이는 c만 고려해서 타입체크를 통과시켜줬던거 같다(이것도 확실하지 않음). 근데 9.6에선 당연히 거부당한다.

위의 내 이해가 맞다면 9.4의 constraint solving 완전 무근본이었단건데, 이건 또 믿기 어렵다(하스켈의 설계 결정에 대한 신뢰 유지한다고 하면). 어디서 내가 잘못 파악한거지.

3

내란청산·사회대개혁 비상행동(비상행동)이 2025년 2월10일~3월6일 자체 인터넷 공론장(‘천만의 연결’)에 기록된 651건의 시민 발언을 분석한 결과, ‘차별금지와 인권보장’(31%)이 1위로 꼽혔다. 등록 2025-04-19 14:52 h21.hani.co.kr/arti/society...

“다양성과 차별 금지, 대선에서 사라져”

0

탄핵 완성한 시민들 “극우 막아낼 다양성 정치, 지금 하라” 탄핵 광장 자유발언자 6명 심층 인터뷰… “극우를 밀어내는 수단으로 차별금지·인권보장” 요구 등록 2025-04-19 14:55 h21.hani.co.kr/arti/society...

탄핵 완성한 시민들 “극우 막아낼 다양성 정치, 지금 ...

0
0
0

Apparently the arXiv* is relocating from servers at Cornell University to Google Cloud. Putting all our eggs into Google's basket seems unwise, especially at this point in history.

This jobs listing gives a number of reasons for moving to the cloud, but to my inexpert eye it looks like they could do everything they want to do while remaining self-hosted. At the relatively modest scale of the arXiv the cloud really is just someone else's computer.

info.arxiv.org/hiring/index.ht

It's worth noting that the arXiv used to have a network of mirrors, but they decided to shut down the last of those in September of last year. The explanation was that they were no longer worthwhile as the Cornell servers + CDN delivered better performance than the regional mirrors: info.arxiv.org/help/mirrors.ht

The multi-site (and multi-country) backup provided by those mirrors does not appear to have been a consideration, because of course nothing bad would ever happen to an American university.

*The arXiv is a repository providing free access to pre-prints of academic papers in a range of fields across physics, maths, biology, computer science, etc. In some fields, including astronomy, it is the main way that researchers keep up to date with new publications in their area of research.

0
0
0
0
0
0
0

My parents are 1st gen computing adepts in my country. Dad used to insist in my childhood that computers do exactly, precisely what you told them to do and if you have unexpected result you have to figure out what's wrong with your ask. It was a struggle, but once you figured out the correct asks, you could do anything.

Now, with the "smart" interfaces trying to "understand" what you meant I've completely lost that feeling. Everything is shrouded in obfuscation, unavailable for my real needs.

0
0

https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative

내가 9.4 -> 9.6 마이그레이션에서 겪고 있는 문제가 이거랑 관련이 있는거 같은데(확실치 않음)... 9.4에서는 c :: Type -> Constraint 일때 forall c. c Int 뭐 이런 조건이 있으면, 모든 c에 대해 c Int가 존재하는게 말이 안되는데도 실제로 c Int 꼴로 쓰이는 c만 고려해서 타입체크를 통과시켜줬던거 같다(이것도 확실하지 않음). 근데 9.6에선 당연히 거부당한다.

위의 내 이해가 맞다면 9.4의 constraint solving 완전 무근본이었단건데, 이건 또 믿기 어렵다(하스켈의 설계 결정에 대한 신뢰 유지한다고 하면). 어디서 내가 잘못 파악한거지.

3
0

신안산선 공사현장 붕괴 우려가 나온 뒤 실제로 터널이 무너지기 전까지 천장이 계속 내려앉고 있었던 걸 확인할 수 있는 보고서를 YTN이 입수했습니다. 전문가들은 이런 경우 붕괴 위험이 클 수밖에 없다고 지적하는데, 경찰은 시공사가 작업을 강행한 건 아닌지 집중 조사하고 있습니다. www.ytn.co.kr/_ln/0103_202...

[단독] 터널 천장 내려앉는데도 보강공사 추진 정황.....

0
0
0
0
0
0
0
0
1
0
0
0
1