kserrec

5 ms·

1.
by kserrec 14d ago
I am a software developer and most of my work is in AWS. I don't have a CS degree, but have taken a handful of lower level courses. I haven't studied PLT much at all, but I really like the lambda calculus. As for books, I don&#x27
2.
by kserrec 15d ago
1. I started all_the_lambdas first and in making it, I only borrowed a single idea from Michaelson that was new to me, the idea of type tags. Also I'd estimate that 99% of that original project was done by hand a couple years ago, no L
3.
Show HN: AttaLambda: a language where types and data are made of untyped lambdas(attalambda.com)
26 points by kserrec 17d ago|0 comments
4.
by kserrec 2mo ago
I haven't used Hono, but if I have a good reason to switch from Express on this project or when I start something new, I will check it out, thanks!
5.
by kserrec 2mo ago
awesome! Love it or hate it or anything in between - I'm happy to hear it all.
6.
by kserrec 2mo ago
I had the same pain and was shocked I couldn't find anything, hence Mirafold! I hope you like it and would love feedback, good or bad.
7.
by kserrec 2mo ago
Thanks! Let me know what you think when you check it out. This is my first real project like this - don't be afraid to be brutal!
8.
by kserrec 2mo ago
Oops. Just noticed a typo in the relay link. Here's the right one: https://github.com/mirafold/mirafold-relay
9.
Show HN: Mirafold – Your Agent with Generative UI (Codex, Claude Code, Gemini)(mirafold.com)
4 points by kserrec 2mo ago|9 comments
10.
by kserrec 2mo ago
Strange. I've never experienced anything like this. I can forget it's on and stop moving entirely for an hour and the apple watch doesn't turn my walk off!
11.
Show HN: Mirafold – Generative UI for Claude Code, Codex, and Gemini CLI(mirafold.com)
1 points by kserrec 2mo ago|0 comments