Hacker News: saviorand

New comment by saviorand in "I built the RealWorld app in Lean 4"

saviorand — Wed, 14 Oct 2026 15:16:19 +0000

I wanted to know if Lean 4 is usable for an everyday web app yet, not just for proofs, so I built RealWorld (the Medium clone) in it, frontend included, using Datastar. Looks like it's feasible now with the new libraries. This post describes the experience

I built the RealWorld app in Lean 4

saviorand — Wed, 14 Oct 2026 15:03:14 +0000

Article URL: https://leangineer.com/blog/realworld-in-lean/

Comments URL: https://news.ycombinator.com/item?id=50088748

Points: 97

# Comments: 19

New comment by saviorand in "Algebraic Effects in Practice with Flix"

saviorand — Fri, 12 Sep 2025 07:59:45 +0000

True, although I think they're working on support for generic effects

New comment by saviorand in "Algebraic Effects in Practice with Flix"

saviorand — Mon, 08 Sep 2025 13:17:11 +0000

Good point! You might be interested in reading this article on the topic: https://without.boats/blog/coroutines-and-effects/

New comment by saviorand in "Algebraic Effects in Practice with Flix"

saviorand — Mon, 08 Sep 2025 08:05:36 +0000

Function call always returns, and to one single caller, whereas effects can choose not to "return" at all, resume multiple times, etc

New comment by saviorand in "Algebraic Effects in Practice with Flix"

saviorand — Sun, 07 Sep 2025 18:26:23 +0000

Koka, Effekt and 4 other research languages are mentioned earlier in the article though? This talks about practical languages, not research-only

New comment by saviorand in "Show HN: I wrote a book about forms usability"

saviorand — Sun, 27 Nov 2022 12:44:15 +0000

Can confirm this is a good book -- I've been subscribed to the newsletter for a while

Show HN: HiveMind – an operating system for startups built on Notion

saviorand — Tue, 04 Oct 2022 15:03:10 +0000

I lead delivery/services at an agency. We build Notion workspaces and design operations for startups and have now completed over 80 projects.

It’s a tough business to grow this sustainably, so we’re looking to diversify with digital products.

HiveMind is our second attempt at shipping a product that would reflect all of our knowledge. It packs 12 databases and 44 templates and a shit ton of documentation and Notion resources in there. The latter being a big differentiator from other Notion templates out there. Check it out and let me know what you think!

Comments URL: https://news.ycombinator.com/item?id=33081382

Points: 4

# Comments: 0

New comment by saviorand in "Ask HN: What are the most common legal documents that you use for your projects?"

saviorand — Tue, 27 Jul 2021 14:50:56 +0000

I’m usually entering contractor agreements (as a contractor) — guess I don’t need to generate one but might be good to have some kind of support when reading, like a way to compare different agreements and pick the best terms

New comment by saviorand in "Show HN: NDA RHINO – Create a Free Non-Disclosure Agreement for U.S. or EU"

saviorand — Sat, 10 Jul 2021 15:20:16 +0000

This is good! I need NDA’s fairly often at work and here it’s quick to make one

New comment by saviorand in "How to send privacy friendly emails"

saviorand — Fri, 04 Dec 2020 16:43:33 +0000

Wow, thanks. Live and learn. Does the way some tools check whether the email was read by the recipient or not have something to do with this structure, too?

New comment by saviorand in "How to send privacy friendly emails"

saviorand — Fri, 04 Dec 2020 16:20:46 +0000

Didn't know about all these headers. Is there a way you can check if a header is present in an email from a client? e.g from Gmail

Show HN: Notion Workspace for Freelancers, Consultants and Entrepreneurs

saviorand — Fri, 27 Nov 2020 18:29:22 +0000

Article URL: https://optemization.com/entrepreneur-os

Comments URL: https://news.ycombinator.com/item?id=25231337

Points: 10

# Comments: 1

New comment by saviorand in "Having 170 competitors in not an obstacle"

saviorand — Sat, 14 Nov 2020 17:27:39 +0000

Oftentimes it makes more sense to think of the presence of competitors as just another means of validation -- confirming that someone needs this. If there's no need, there won't be anyone on the market

New comment by saviorand in "Gantt Charts Arrive in Notion"

saviorand — Wed, 11 Nov 2020 20:01:38 +0000

It's already close! They lacked a lot of Project Management features, but this update gives the impression that's their priority now. Basically all Enterprise-first features are in it: gantt chart, customizable pages, clipping tables with lots of rows, advanced permissions