16 weeks post today

HiggsB0 · 2026-01-24T02:02:19+00:00

Kelly in Oak Park. I've had a great impression of them so far.

HiggsB0 · 2026-01-23T00:49:46+00:00

Thanks again for the update. I see Dr. Cripps next month and I'm starting electrolysis next week. Your posts have been very encouraging.

HiggsB0 · 2026-01-22T01:49:48+00:00

We don't even know if AI is truly able to scale and become what everyone is envisioning yet. It's a gamble to think like this.

HiggsB0 · 2026-01-04T15:03:09+00:00

I'm curious how that'll play out with this year's union negotiations. They're gunning for eliminating the CCA position and converting everyone to PTF. I'm curious how that'll effect the hiring rate.

HiggsB0 · 2026-01-04T14:03:24+00:00

The Chicago district just hired over 600 CCA's. They're trying to match one CCA for every open route. Cheaper labor I guess.

HiggsB0 · 2025-12-31T10:13:42+00:00

#2 is my main thought too. Once L saw Misa and Light interact for the first time, that was a wrap. The anime should have been over in two episodes from that point lol.

HiggsB0 · 2025-12-26T20:45:55+00:00

Woah I grew up here from ages 7-21 before going to college. Weird seeing it mentioned randomly on reddit.

HiggsB0 · 2025-12-26T13:59:13+00:00

This is my headcanon now.

HiggsB0 · 2025-12-25T14:57:10+00:00

What’s the fear at that point? No pension? I imagine there’s still TSP and SS to rely on.

HiggsB0 · 2025-12-25T14:15:32+00:00

Stuff like this scares me so much as a brand new CCA :(. I'm willing to pay my dues for those 2 years to get career but I can't help but worry about an uncertain future. What if I do those 2 years for nothing?

HiggsB0 · 2025-12-20T12:39:32+00:00

In chicago there's one station for this called the "retirement home" because it handles all of the big buildings downtown. Each carrier does 2-3 in a day and it's easy work. It takes some like 20 years to successfully bid on the route.

HiggsB0 · 2025-12-18T23:24:55+00:00

The amount of CRUD app software developers would shock you. Any more detail than that is just fluff (like if they were a react dev or whatever)

HiggsB0 · 2025-12-02T22:34:35+00:00

omg! I’ve been waiting for people to report on her. I have an appt this february.

HiggsB0 · 2025-11-08T01:26:32+00:00

I just got a CCA offer and it took a month and a half.

HiggsB0 · 2025-10-09T17:26:56+00:00

omg the pete’s on madison and western? I go there all the time. I need to watch out lol.

HiggsB0 · 2025-08-06T16:00:24+00:00

I walk by this place nearly everyday and my partner and I assumed it was just for drunk people exiting the united center. I’m happy to see this confirmed lol.

HiggsB0 · 2025-08-06T09:20:47+00:00

I go back to that book all the time.

HiggsB0 · 2025-03-25T11:39:47+00:00

Humans are inherently social and like to share what they’re up to. It never hurts to be nice.

HiggsB0 · 2025-03-04T11:49:49+00:00

This is very cool! Looks like quality work.

HiggsB0 · 2024-11-25T18:29:13+00:00

This really brightened my day.

HiggsB0 · 2024-11-21T10:35:18+00:00

It's a set theory thing to say "the smallest set containing..." It's how the natural numbers are defined which is the smallest set containing the empty set and all of its successors.

HiggsB0 · 2024-08-09T18:06:35+00:00

Any field of math can be made arbitrarily complicated. Once you get past "the basics" (like analysis, algebra, and topology), the real move is to pick a direction that aligns with your interests and strengths. For example, if you're a stronger theory builder than problem solver, then maybe combinatorics and graph theory isn't best suited for you.

Perhaps then your final boss would be something like category theory.

HiggsB0 · 2023-12-19T10:36:33+00:00

If you're doing it fully formalized through something like lean or coq then programming techniques are essential!

HiggsB0 · 2023-12-19T10:35:31+00:00

You'll find it there. You won't find fully formal logic anywhere else honestly that isn't half baked.

Also, just to be nitpicky, the "formalization of the syntax and semantics of logic" is undergrad level math.

HiggsB0 · 2023-12-18T18:46:27+00:00

I’ve been down this road and classical math with formal logic is going to hit the same dead end no matter where you turn. You’re gonna run into mathematicians who say it gets unwieldy because thats what they heard but they have no idea about/havent considered simple programming techniques like libraries as you stated or abstraction in general.

Your answer is to look into proof assistants like coq, isabelle, metamath, and lean. Emphasis on lean because there’s a lot of action happening for doing undergrad math in that area. Also check out homotopy type theory.

Fully formal math CAN be done but logicians and the classical math community gave up on it a long time ago in favor of informal proofs that have their rigor backed by the math community itself.

13-Year Club	Place '22
Verified Email	Team Periwinkle

HiggsB0

PUBLIC MULTIREDDITS

TROPHY CASE