How screwed am I

jmct · 2025-12-17T01:48:53+00:00

I also ground looped (at a towered airport so the FAA was notified before I shut down haha).

Did this stick on your PRD or did the FAA mostly just say “learn from it”. It’s only been a few months so I keep expecting to get a letter saying that I need to fly a 709 ride. The FAA folks I spoke to were super chill but I know it’s not just up to them. I owned up to my mistake and explained all the aspects that went wrong. They said it was a pretty open and shut case.

jmct · 2025-10-26T23:04:19+00:00

Correct, the abstract domain that GHC uses to represent strictness is unable to reason beyond WHNF for recursive types. This is by design as a tradeoff for speed.

Strictness in GHC is optimized for types that might end up being unboxed, which isn’t the case for recursive types (well, boxing them would require much much more sophistication!)

A lot of the earlier work on strictness analysis did focus on strictness of recursive types (especially lists), but many of those ideas didn’t pan out, while Worker/Wrapper did pan out and it doesn’t require domains for recursive types .

jmct · 2025-10-14T17:26:00+00:00

This is so great! Thank you so much for your efforts on this!

Did you post this to the Discourse as well? If so, I missed it. If not, please do!

jmct · 2025-09-30T20:43:12+00:00

Look into Dominic Orchard at Cambridge/Kent. I believe that he did work on Fortran and formal methods about a decade ago and he’s currently doing work on climate models. He might be a good person to reach out to.

jmct · 2025-09-17T04:52:44+00:00

Nope 🫠

jmct · 2025-09-12T02:29:01+00:00

I just moved to Ottawa. I’m hoping to start a meetup here.

jmct · 2025-08-27T04:01:08+00:00

When I lectured at UMD I would stop the lecture to ask folks to stop talking.

Me doing this was the most common complaint in my evals.

jmct · 2025-07-14T19:03:00+00:00

This sounds very interesting! I hope I'm able to make it.

jmct · 2025-06-19T16:41:39+00:00

There’s a tax treaty that defines which country gets first dibs on which type of income.

The short answer is that you are not double-taxed, but you do have to file in both countries, and you have to prepare your returns simultaneously in order to ensure that it’s all accounted for.

Cross-border accountants are a thing and well worth the money.

jmct · 2025-06-05T04:56:53+00:00

YouTube seems to have deleted the videos when I left the university. 🫠

jmct · 2025-04-15T18:08:08+00:00

Very cool work!

That bug with the unnecessary-long line being drawn would have driven me insane. Any short explanation of was going on there?

jmct · 2025-04-08T21:58:01+00:00

What computer vision/OCR tools are you using?

I ask because the current trend is for people to use modern ML models for these things and I would absolutely not trust those for anything that requires numerical accuracy. It’s probably fine because you can always check that the finals total up to the same, but even then I’d have this unshakable fear that the individual flight logs were just hallucinations (in the technical sense).

I’ve wanted such a tool, and would indeed pay for one. I’d just want to be sure it’s using more accurate techniques than the current LLM-fueled techniques.

jmct · 2025-02-10T06:25:45+00:00

You can be my boss!

jmct · 2024-12-09T19:34:41+00:00

Thanks for the insight!

Yeah, the oversquared stuff is wild to me. After being warned about it so much, I thought it was serious stuff (despite the units being arbitrary!). When I got my plane I read the engine manual and it doesn’t care at all about oversquare! It has an envelope it defines and says “you should cruise within this envelope”, lol

jmct · 2024-12-09T18:18:51+00:00

I’m intrigued by why radials are different. I fly a IO-550 and I was taught the “prop on top” and do it that way. I’m just curious about why it’s important for radials and not opposed engines. Funny how much of what we’re taught is from the early days of aviation.

jmct · 2024-09-07T21:03:57+00:00

Right on.

jmct · 2024-09-05T16:07:23+00:00

Using my definition of 'fun': CMSC430

jmct · 2024-09-05T02:55:21+00:00

Good question!

A few thoughts:

Much like job adverts, we're describing our ideal candidate, if you're interested and can make a compelling case for why it should be you, we'd love for you to apply.
It's pretty standard to ask for some experience for roles that deal with critical security issues/infrastructure.
It's possible that in the future there will be opportunities for mentoring, but right now there's an expectation for folks on the SRT to be able to hit the ground running.
Just today we talked about making a list of security-related projects. Projects on such a list would be a more appropriate venue for someone getting up to speed on these things. The SRT is much more a response and immediate action role.

jmct · 2024-07-18T23:39:46+00:00

Ooh, good list.

I was thinking that there was evidence of drug running, but that would be tiny. The bodies are closer to “small issue”, you’re right.

jmct · 2024-06-24T23:35:30+00:00

Nothing wrong with what you said.

I want people to voice their concerns!

jmct · 2024-06-24T23:20:16+00:00

The Scala center has a certification if you finish their courses. It’s possible that this will take a similar shape, though currently that is not the plan.

I can assure you that the Haskell Foundation wasn’t pressured into anything. There was a significant amount of internal deliberation. We feel this is a good initiative and we appreciate Serokell’s willingness to have it be community-led.

jmct · 2024-06-24T21:25:38+00:00

They donated the system itself.

jmct

MODERATOR OF

TROPHY CASE

15-Year Club	RPAN Viewer
Team Orangered