Recent submissions

Comment · 11 hours ago
At the very least, you could have given it a cute Italian grandmother mascot
Comment · 11 hours ago
Comment · 23 days ago
I use nix-darwin as a replacement for homebrew, and it’s served me well for circa 8 years. Nix isn’t for everyone, but I find it to be far more stable.
Comment · 29 days ago
They also have a museum in Singapore, which I highly recommend.
Comment · 1 month ago
Yes, exactly that. Org predates Markdown, however the Achilles heel is that it's tied to Emacs. I love Emacs, but I can't (ethically and pragmatically) force any editor/IDE on anyone. And as soon as a lone emacser commits an org file to a repo, it creates a disconnect.

Markdown (although it doesn't adhere to a strict standard) is ubiquitous, and support for Ledge notebooks degrades gracefully. If one doesn't have Ledge installed to run it, it can be assumed that their editor is able to render markdown. Even opened in a plain text editor, markdown is a lot easier on the eyes than org (IMHO).

UX matters.

Comment · 1 month ago
As an Emacs user for over a decade I think this is brilliant, it solves my biggest gripes with org-babel which prevent me from using it in a team setting. Ledge is a lot like org-babel from Emacs, but for muggles: a familiar UI, and common format go a long way.
Comment · 2 months ago
Those are two of their products that are actually solid wood. No coincidence
Comment · 3 months ago
I will now forever call tokens “slop rations”. Thank you for that ;)
Comment · 8 months ago
There are many, but one particular example is the type syatem.
Comment · 9 months ago
I’m an adult with combined type ADHD. I feel very strongly that any device which has other apps is a terrible tool for ADHD management and organization. No matter how well intentioned, and I know that you are.

One needs to spend less time on devices. Go analogue. Pen and paper. The best tool that I have found is the Bullet Journal Method. It takes time, effort, and there is a learning curve. The ROI is higher than from any app. No other tool has impacted my life and productivity more.

That said, I have found some tertiary apps to be helpful, though my BuJo is my compass. Endel for time boxing/Pomodoro, and sleep. Headspace for guided meditation.

No, it doesn’t have to be aesthetic, with pretty lettering and doodles (as seen in social media).

Comment · 10 months ago
With Metals the Scala 3 development experience is better; plus one is no-longer tied to one specific IDE.
Comment · 2 years ago
No, you're right. It is perfectly clear from the type signature
Comment · 2 years ago
Exactly. I've long held the sentiment, that pure functional programming is easier than imperative programming. The only hard part, is switching from an imperative mindset.
Comment · 2 years ago
Meta, Jane Street, IO Global, Standard Chartered Bank
Comment · 2 years ago
Has anyone tried Uno with F#?

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton