saviorand
Re:I built the RealWorld app in Lean 4
on Wednesday October 14, 2026 @11:16AM (#50088946)
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
Re:Algebraic Effects in Practice with Flix
on Friday September 12, 2025 @03:59AM (#45219823)
True, although I think they're working on support for generic effects
Re:Algebraic Effects in Practice with Flix
on Monday September 08, 2025 @09:17AM (#45167883)
Good point! You might be interested in reading this article on the topic: https://without.boats/blog/coroutines-and-effects/
Re:Algebraic Effects in Practice with Flix
on Monday September 08, 2025 @04:05AM (#45165741)
Function call always returns, and to one single caller, whereas effects can choose not to "return" at all, resume multiple times, etc
Re:Algebraic Effects in Practice with Flix
on Sunday September 07, 2025 @02:26PM (#45160852)
Koka, Effekt and 4 other research languages are mentioned earlier in the article though? This talks about practical languages, not research-only
Re:Show HN: I wrote a book about forms usability
on Sunday November 27, 2022 @07:44AM (#33762589)
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
https://optemization.notion.site/Show-HN-HiveMind-Welcome-b576c95e384f4db39b8a6342741962fc
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...
Re:Ask HN: What are the most common legal documents that you use for y...
on Tuesday July 27, 2021 @10:50AM (#27973144)
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
Re:Show HN: NDA RHINO – Create a Free Non-Disclosure Agreement for U.S...
on Saturday July 10, 2021 @11:20AM (#27793961)
This is good! I need NDA’s fairly often at work and here it’s quick to make one
Re:How to send privacy friendly emails
on Friday December 04, 2020 @11:43AM (#25304418)
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?
Re:How to send privacy friendly emails
on Friday December 04, 2020 @11:20AM (#25304047)
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
Re:Having 170 competitors in not an obstacle
on Saturday November 14, 2020 @12:27PM (#25093800)
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
Re:Gantt Charts Arrive in Notion
on Wednesday November 11, 2020 @03:01PM (#25062310)
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
Gantt Charts Arrive in Notion
Notion websites are a thing now?
Re:Event, 18th Nov: Building a Notion Website Live
on Tuesday November 10, 2020 @03:38AM (#25043893)
just updated!
Event, 18th Nov: Building a Notion Website Live
Re:Decision Journal in Notion
on Friday November 06, 2020 @04:23AM (#25006283)
Let me know how it goes! We're also trying it out the past month. Using it for business decisions
Re:Decision Journal in Notion
on Wednesday November 04, 2020 @06:44AM (#24988184)
Hmm, maybe we can bring that discernment of spirits part back to the template? JK
Re:Decision Journal in Notion
on Wednesday November 04, 2020 @06:43AM (#24988181)
Huge work! We work together and using this decisions flow (with a slightly different template) for our own team decisions. Gotta say it's very useful, helps wrap ones head around difficult situations
Re:Decision Journal in Notion
on Wednesday November 04, 2020 @02:29AM (#24987039)
I guess it's just a natural way of doing it. You need to write every day, then assemble -> why not write in your dailies
Re:Decision Journal in Notion
on Wednesday November 04, 2020 @02:28AM (#24987038)
This is actually very similar in structure. With possible consequences, outcome, decision pros and cons
Decision Journal in Notion
Re:Guide to Notion Landing Pages
on Wednesday October 28, 2020 @06:48AM (#24917296)
Hahaha! Yeah, awesome! Woohoo
Re:Guide to Notion Landing Pages
on Wednesday October 28, 2020 @06:26AM (#24917173)
Oh, right, sorry. Reached out to founder about the fact! Wish it was open-source
Re:Guide to Notion Landing Pages
on Wednesday October 28, 2020 @06:24AM (#24917165)
Wish I could self-host Notion. A thing that's missing right now. But I'm OK knowing I can always export to Markdown and move to another tool
Re:Guide to Notion Landing Pages
on Tuesday October 27, 2020 @03:32PM (#24910913)
I know Notebag and Obsidian - both are more open-source, Obsidian is almost like a layer on top of your Markdown content you can leave in the file storage
Re:Guide to Notion Landing Pages
on Tuesday October 27, 2020 @02:14PM (#24910172)
Yes you can! And the best thing is you can draw data from your Notion workspace. If you're an active Notion user that means a different dimension compared to usual websites, which you need to update separately. This can just work as a set of public-facing pages for your own company or personal workspace.