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.

0
0
0
0

I have to admit that @shriramkShriram Krishnamurthi recently tooting out some things about "TAs who've never read code helping students who've never read code" has left me more rattled about the future than I thought.

And in other news, a 2024 Brown graduate (Econ) in my band told us he's starting a minimum wage job at Jewel just to get out of the house after nearly two years of fruitless job searching.

0

:unicode_1d54f_bg_black:くんは〇リに厳しいのでこちらに✎⁾⁾
ピンと来なくて放置してた落書きです
💦
途中で全部のレイヤーを統合してしまい、嗚咽を漏らしながら描きました
:poop_vomiting_saurus_animation:
ここから差分を作成するので、パトロンサイトへの投稿はもうちょい時間が掛かりそうです…

1
1
0
1
0
0
0
0
1

I have found an interesting link between containers and the Grothendieck construction. Here's a sketch.

A container \(S \triangleleft P \) in a category \(\mathbb C\) consists of an object of shapes \(S\) and an arrow \(P \colon S \to \mathbb C\) of positions. For instance, in \(\mathbf{Set}\), the shape of lists is \(\mathbb N\) (lengths), and for each shape \(n \in \mathbb N \), positions are ordinals less than \(n\). To fill a shape with data, we construct the extension functor. E.g., in \(\mathbf{Set}\):
\[ T_{S \triangleleft P} X = \Sigma_{s \in S} (P s \to X) \]
(think of a list of \(X\)).
1/3

0
0
0
0
0
0
0
0

Something our furnace does kills thermostats. We had an ecobee in there for a while but eventually it would only heat the house to about 65F before giving up.

We finally replaced it with a new Honeywell on Thursday. It's 48F in the living room right now. Now the HVAC guy is here putting in a dumb one with a knob.

0
0
0
0
1
0
1
0
0
0
0
1
0
0
0
0
1
0
1
0
2
0
0
2
0
0
0
0
0
0
0
0
1
0

제법 큰 바위가 멀리서 둔탁하게 깨져 굴러내려가며 내는 소리는...

크고 우람한 덤프트럭이 높은 절벽에서 떨어질 때 사방에 울리는 소리는...

0
2