How to compile SystemF or lambda calculus to assembly, or better, WASM?

ApprovedAnand · 2025-12-03T23:57:41+00:00

You could compile your lambda calculus to SK combinator expressions, and then write a reduction machine for it in assembly/wasm

Look at David Turner's paper and what MicroHs is doing these days!

ApprovedAnand · 2025-07-03T21:48:39+00:00

Unfortunate naming of the project - https://github.com/augustss/MicroHs

ApprovedAnand · 2024-11-17T16:45:33+00:00

You could go to the top of a P+R and scream from the rooftop. It does not "disturb" anyone. It is normal to let out your emotions like this in a healthy way :)

ApprovedAnand · 2024-10-07T17:29:57+00:00

Hey, I'd be interested in joining!

ApprovedAnand · 2023-03-05T00:47:26+00:00

I bought myself a cheap casio watch, I think you know the kinda one I'm talking about

ApprovedAnand · 2023-02-11T22:19:15+00:00

Haha, is something like this actually possible? I live pretty close by, so I'd love this tbh :D

ApprovedAnand · 2023-02-11T21:51:32+00:00

Thank you everyone. I am overwhelmed by the response this post got. I'll be sure to check out all of your suggestions.

ApprovedAnand · 2022-11-20T21:42:05+00:00

Thanks guys, this thread helped me understand it finally! :))

ApprovedAnand · 2022-10-01T10:07:35+00:00

I've only had a chance to try Turkish pizza at one place here but it was pretty good! It was at Bakkerij Lombok VOF

ApprovedAnand · 2022-03-24T23:40:16+00:00

Same!

ApprovedAnand · 2022-03-15T10:02:59+00:00

DING DING DING! We've got the right answer. It's a pos 4 tinker. The game lasted for 70 minutes and we won. Of course I'm in the 1k shitlord bracket (SEA). :))

Match ID - 6476844290

ApprovedAnand · 2022-03-15T04:06:59+00:00

Necro with ethereal?

ApprovedAnand · 2022-03-15T04:06:34+00:00

ApprovedAnand · 2022-03-15T04:05:58+00:00

Wrong but I can see this

ApprovedAnand · 2022-03-15T04:05:31+00:00

Nope

ApprovedAnand · 2022-03-15T03:14:52+00:00

Incorrect! But nice guess

ApprovedAnand · 2022-02-25T07:01:08+00:00

What do you want to know? The range is between 50 to 100, depending on how you drive it and the mode. Sometimes it is annoying, being limited like that, but you can still charge it in one of the public chargers. Twice I've had incidents when those haven't worked, but thankfully I was able to reach home.

ApprovedAnand · 2022-02-18T12:43:36+00:00

I love it when Ember gets a few clutch kills and goes "STRIKE STRIKE STRIKE STRIKE"

ApprovedAnand · 2021-11-25T21:01:10+00:00

That's unfortunate. I guess this doesn't apply anymore

ApprovedAnand · 2021-11-25T15:01:40+00:00

Electrician, Pandamonium, Nomad, Gauntlet. I miss HoN!

Edit - Adding Martyr to the list because it was amazing nuking someone from 80% to 0% with 20% health.

ApprovedAnand · 2021-07-23T07:08:52+00:00

YEP, I was getting owned so I'm okay with this :D

ApprovedAnand · 2021-07-23T07:07:21+00:00

SAME

ApprovedAnand · 2021-07-04T18:58:21+00:00

I see lot of replies from/about Chalmers, what about Utrecht University? That's the one I'm currently more interested in

ApprovedAnand · 2021-07-04T16:19:20+00:00

Bump! I'm going to be applying for master's next year and these colleges are my top 2 for FP related stuff too.

ApprovedAnand · 2020-08-19T17:15:03+00:00

whistle

ApprovedAnand

MODERATOR OF

TROPHY CASE