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.

Am Mittwoch, 7. Mai um 19 Uhr findet im Altonaer Rathaus die Öffentliche Plandiskussion zu Bebauungsplan statt.

hamburg.de/resource/blob/10522

Es soll ein Innenhof bebaut werden - hoch und groß und unpassend. "Wohnungsnot" als Argument für eine Verdichtung, in der sich dann kein Mensch mehr wohlfühlen kann und was auch gegen die zu erwartende Erhitzung der Innenstädte spricht. Durchlüftung statt Backofen.
Investor: Otto Wulff
über 150 Wohneinheiten

Kommet zu Hauf!

otte60.de/

0
0

18년에 걸쳐 뱀에 일부러 수백 번 물려서 자기 몸의 항체로 모든 뱀독에 대한 항독소제를 만들 수 있게 한 팀 프리드 대인. 다섯 살 때 뱀에 물린 경험 때문에 이 대업을 하기로 마음먹었다고 한다. 지금은 사람이 뱀에 물리면 그 뱀을 잡아오거나, 적어도 그 종을 알아야 그에 맞는 항독소제를 주사해 환자를 살릴 수 있다. 그러나 이 사람의 혈청에서 만든 항독소제는 웬만한 뱀독에 다 통하는 것. www.bbc.com/news/article...

'Unparalleled' snake antivenom...

1
0
0
0

Southern California and folks, I need your help!

I'm in the planning stages of forming a PyLadies chapter based in the San Gabriel Valley (that's Pasadena, Monrovia, Arcadia, but could also include Glendale and Burbank, and many more communities on the east side of Los Angeles).

Before I submit requests and get the ball rolling, I'd like to find a third person who's interested in signing on as an organizer. Initially there won't be much responsibility beyond getting the word out and helping to decide what our first events will be. It's a great opportunity for someone looking for leadership experience in a volunteer setting.

If you're interested, feel free to reach out to me here, or at my email address on mechanicalgirl.com, or even on the PyLadies or SoCal Python Slack spaces.

0
0
0
0
0
0

みなさんは、教室にありそうなものってどれだと思いますか?

0
1

i don't know why people get confused about [confusing topic] so often. it's literally just [straightfoward rule], unless [extremely common condition], in which case you just [counterintuitive transformation] or [inexplicably different pattern] depending on [obscure property]. it's like [overused analogy] except [exception that makes the analogy useless].

0

i don't know why people get confused about [confusing topic] so often. it's literally just [straightfoward rule], unless [extremely common condition], in which case you just [counterintuitive transformation] or [inexplicably different pattern] depending on [obscure property]. it's like [overused analogy] except [exception that makes the analogy useless].

0
0
0
0
0

This sounds like a fun little experiment, but it has absolutely nothing to do with language learning. It's a Google Translate with bells on, and will do nothing nada zilch to actually help you learn a language.

"One of the most frustrating parts about learning a language is finding yourself in a situation where you need a specific word or phrase—and it’s one that you haven’t learned yet."

Really? I don't even know where to start with this 🙄. But I'm convinced that the people behind this have never tried learning a new language. If you need a specific word or phrase, that's where you can use a dictionary, or machine translation, or, if you must, Gen AI. Being able to speak and understand a language is something totally different.

developers.googleblog.com/en/h

0
0
0
1

대표적으로 이런 일이 일어나는 곳이 군대인데... 거의 필수요건모냥 취급됩니다 진짜로 거부하면 호모소셜에서 배제되요. 제 군생활이 그랬구요.

RE: https://bsky.app/profile/did:plc:7xsjnozgarjucv2jww3z6zgk/post/3lobhfd2xss2i

0
0
0
0
0
0

18년에 걸쳐 뱀에 일부러 수백 번 물려서 자기 몸의 항체로 모든 뱀독에 대한 항독소제를 만들 수 있게 한 팀 프리드 대인. 다섯 살 때 뱀에 물린 경험 때문에 이 대업을 하기로 마음먹었다고 한다. 지금은 사람이 뱀에 물리면 그 뱀을 잡아오거나, 적어도 그 종을 알아야 그에 맞는 항독소제를 주사해 환자를 살릴 수 있다. 그러나 이 사람의 혈청에서 만든 항독소제는 웬만한 뱀독에 다 통하는 것. www.bbc.com/news/article...

'Unparalleled' snake antivenom...

1
0
0
0
1
0

The FediAlgo hashtag filter section now highlights any hashtags you've posted about recently.

Interestingly the most I've used the app the more I've found feed filtering gets a ton of mileage for me. It's a huge change of pace to be able to instantly flip between whatever people are talking about on the Fediverse. Not really something you can do on any other social media platform I'm aware of.

* video of FediAlgo + link: universeodon.com/@cryptadamist

screenshot of fedialgo demo app
0
0

F* (fstar) Interactive Tutorial:

fstar-lang.org/tutorial/

I'm only like 10% into the tutorial, but this language is CRAZY (fun)! :awesome: 😄

I try to learn the fundamentals of it, so I can use the backend of it in ... so I can ultimately formally verify my crate (former attempts with and failed for me).

Aeneas:
github.com/AeneasVerif/aeneas

See part two of toot for a toy example of proving function equivalence

1/2

0
0
0
0
0
0
0
0

https://olive088861.studio.site/1 nobi でこういうことが起きないようになにか考えているかというとあんまり考えていないんだけど、権力差が生じないように意識している気はする。ただそういうのを、個人のバランス感覚だけでやっていくのもいいわけではないんだろうなぁ。人がどうやって間違うのかはいつもわからないし自分がトチ狂うことなんていくらでもあるだろうし。

0
0
0

I want to upgrade from Python 3.8 to 3.9.

I've got several command line apps, linked in ~/.local, which I installed with pip.

Is there a way to get 3.8 pip to give me a list of everything it's got installed, so I can uninstall 3.8 and then reinstall them under 3.9?

This is Ubuntu 20.04 LTS.

0
0
0
0
0
0
0