HNHacker News
TopNewBestAskShowJobs

theCodeStig

139 karma · joined May 18, 2015

submissionscomments
theCodeStig··on A 100x faster* alternative to homebrew
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.
theCodeStig··on Shimano Bicycle Museum Review
They also have a museum in Singapore, which I highly recommend.
theCodeStig··on Show HN: Ledge.sh – Runnable Markdown Notes
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.

theCodeStig··on Show HN: Ledge.sh – Runnable Markdown Notes
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.
theCodeStig··on Hacking IKEA Furniture
Those are two of their products that are actually solid wood. No coincidence
theCodeStig··on Severance
I will now forever call tokens “slop rations”. Thank you for that ;)
theCodeStig··on Clean Coder: The Dark Path (2017)
There are many, but one particular example is the type syatem.
theCodeStig··on Launch HN: Indy (YC S21) – A support app designed for ADHD brains
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).

theCodeStig··on Scala 3 slowed us down?
With Metals the Scala 3 development experience is better; plus one is no-longer tied to one specific IDE.
theCodeStig··on I learned Haskell in just 15 years
No, you're right. It is perfectly clear from the type signature
theCodeStig··on I learned Haskell in just 15 years
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.
theCodeStig··on Monads are like burritos (2009)
Meta, Jane Street, IO Global, Standard Chartered Bank
theCodeStig··on Uno: Create Beautiful Cross Platform .NET Apps Faster
Has anyone tried Uno with F#?
theCodeStig··on Crows Are Self-Aware Just Like Humans, and They May Be as Smart as Gorillas
9 years in Singapore, and I’ve never gotten Myna feces on my pants (nor anywhere else on my person)
theCodeStig··on Parrots love playing tablet games. That's helping researchers understand them
It's an Indian ringneck parakeet (aviculture name) https://en.wikipedia.org/wiki/Rose-ringed_parakeet
theCodeStig··on Parrots love playing tablet games. That's helping researchers understand them
Sounds like you have a sun conure
theCodeStig··on Parrots love playing tablet games. That's helping researchers understand them
predators hunt, humans farm
theCodeStig··on A TUI Git client inspired by Magit
One can run Emacs in the terminal. What’s the use case for this?
theCodeStig··on Ask HN: Slow thinkers, how do you compensate for your lack of quick-wittedness?
This is definitely true in Asia
theCodeStig··on Pkl, a Programming Language for Configuration
Here we go again
theCodeStig··on Sapling: Experimental vi-inspired editor where you edit code, not text
Lispy https://github.com/abo-abo/lispy
theCodeStig··on Exa Is Deprecated
I use exa daily, and this is the first time that I’ve heard of eza. From a marketing standpoint, eza should be merged upstream.
theCodeStig··on Giving up the iPad-only travel dream
I trialed a similar set up with code-server for a few weeks, and was shocked at how well it works, provided stable and fast internet access.

Although VSCode is impressive, at the end of the day, I'm an emacser. I went back to: emacs in a terminal over mosh, accessed with Blink Shell on the iPad; or access the same instance over Microsoft Remote Desktop for a desktop experience.

theCodeStig··on Leaving Haskell behind
The compiler/type system is your friendly assistant. Learn to use it, and it's your greatest asset.
theCodeStig··on Leaving Haskell behind
This exactly.

The Scala community caters a lot to JVM/Java inter-op, and to recruitment of Java engineers. In the peak-hype days, Java compatibility, and Scala for Java engineers learning resources were a huge selling point for Scala. Now it is one of its greatest weaknesses holding it back. Even as late as June 2023, the second edition of Functional Programming in Scala is catered toward Java programmers.

Functional purity is an option in Scala (no pun intended), and the org/team must have the collective discipline to write pure code in-order to make it work.

Pure/lazy effect handling is not included, one must use a 3rd party library. There should be one, or a small handful of compiler options which would enforce purity by the compiler. There isn't. The -Xlint options are not easily discoverable. WartRemover is a 3rd party library, which doesn't get enough visibility. Some of the "good stuff" from Typelevel should be absorbed into the standard lib.

The numeric types are not ergonomic, there is no natural number type for example.

I haven't had issues with Haskell tooling, though I also use Nix. On the flip side, I've never heard anyone say "I love SBT". Yes there are alternatives to SBT (Mill for example), but again they suffer from low visibility. Martin Odersky has admitted faults with SBT, and praised Mill; yet, what does the Scala community push... SBT.

theCodeStig··on Runme – Interactive Runbooks Built with Markdown
It's like a specialised case of org-babel for the masses.

Anyone with emacs can do this today, for free. The huge caveat is that it requires emacs. Where this tool shines, is that it's a superset of markdown, and thus not tied to any particular editor.

theCodeStig··on Runme – Interactive Runbooks Built with Markdown
Yes, most likely. Many organisations are still tied to manual/semi-manual deployments due to company policy or regulatory compliance (banks for example).
theCodeStig··on Elixir Livebook is a secret weapon for documentation
You’re right. I love emacs, though I must admit it’s quite a barrier to entry
theCodeStig··on Elixir Livebook is a secret weapon for documentation
Org-babel can do a lot of this, no?
theCodeStig··on Show HN: DevPod – Codespaces but Open Source, Client-Only, and Unopinionated
Are there any plans for an iPadOS client?
Page 1 of 5Next →