Hacker News: nicoty

New comment by nicoty in "Hegel, a universal property-based testing protocol and family of PBT libraries"

nicoty — Fri, 10 Apr 2026 06:57:30 +0000

How does this compare to https://academy.fpblock.com/blog/quickcheck-hedgehog-validit... ? As far as I understand, Validity also has free generators and shrinking for types by having them implement various typeclasses that represent invariants and also has pre-made combinators to test properties with.

New comment by nicoty in "The future of version control"

nicoty — Sun, 22 Mar 2026 21:33:37 +0000

How would they do that if they don't use git for version control? Does GitHub allow other forms of version control other than git?

New comment by nicoty in "Cowork: Claude Code for the rest of your work"

nicoty — Mon, 12 Jan 2026 20:31:40 +0000

Filesystems like zfs, btrfs and bcachefs have snapshot creation and rollbacks as features.

New comment by nicoty in "Workers at Redmond SpaceX lab exposed to toxic chemicals"

nicoty — Sun, 11 Jan 2026 06:59:22 +0000

I know I'll sound like a rube but somehow it rubs me the wrong way that the rich and powerful are spending billions trying to establish multiplanetary civilisations despite the fact that we still have plenty of unfixed problems here at home that also deserve attention and resources, if not more so.

New comment by nicoty in "Mind-reading devices can now predict preconscious thoughts"

nicoty — Mon, 24 Nov 2025 20:59:17 +0000

Like how capsaicin makes food feel hot even when it isn't?

New comment by nicoty in "New interpretations suggest the "heat death" hypothesis might not hold (2023)"

nicoty — Sun, 31 Aug 2025 07:25:15 +0000

Thanks for the spoilers

New comment by nicoty in "Iterative DFS with stack-based graph traversal (2024)"

nicoty — Mon, 25 Aug 2025 06:08:28 +0000

I implemented an iterative, stack-based DFS iterator in JS last year for a project that I didn't end up using it on. Maybe someone else can find some use of it: https://gist.github.com/nothingnesses/5f974a43a2da5d1d8a6b9c...

New comment by nicoty in "Svalboard: Datahand Lives"

nicoty — Tue, 24 Jun 2025 20:34:39 +0000

Is it possible to press multiple keys on opposite axes at the same time? E.g. q and z or w and x on the qwerty layout.

New comment by nicoty in "Why Algebraic Effects?"

nicoty — Sat, 24 May 2025 07:44:15 +0000

What's wrong with static type systems?

New comment by nicoty in "The Windows Subsystem for Linux is now open source"

nicoty — Mon, 19 May 2025 23:20:11 +0000

Still somewhat janky. I use it on my work machine (since it at least seems a bit faster than using VirtualBox) and regularly run into issues where npm won't build my project due to the existence of symlinks [1,2]. wslg windows also don't yet have first-party support from the windowing system [3]. I also remember having trouble setting up self-signed certs and getting SSL working.

1. https://stackoverflow.com/questions/57580420/wsl-using-a-wsl... 2. https://github.com/microsoft/WSL/issues/5118 3. https://github.com/microsoft/wslg/issues/22

New comment by nicoty in "Basic Income Pilot Project: Study results"

nicoty — Thu, 10 Apr 2025 06:10:37 +0000

> First tier, high cost of living should be for high earners, singles or childless people, they should pay more taxes while second tier areas should offer UBI, and should generally subsidise people having children

That seems unfair to me. Why should singles and childless people subsidise people with children?

New comment by nicoty in "Claude can now search the web"

nicoty — Thu, 20 Mar 2025 18:53:40 +0000

Copied verbatim from the AI generated summary:

To choose the best rice cooker, consider these factors:

Top Brands: Zojirushi is often considered the best brand, with Cuckoo and Tiger as close contenders. Aroma is considered a good budget brand 1. Types: Basic on/off rice cookers: These are good for simple white or brown rice cooking and are usually affordable and easy to use 2. Considerations: When buying a rice cooker, also consider noise levels, especially from beeping alerts and fan operation 3. Specific Recommendations: Yum Asia Panda Mini Advanced Fuzzy Logic Ceramic Rice Cooker is recommended for versatility 4. Yum Asia Bamboo rice cooker is considered the best overall 5. Russell Hobbs large rice cooker is a good budget option 5. For one to two people, you don't need a large rice cooker unless cost and space aren't a concern 6. Basic one-button models can be found for under $50, mid-range options around $100-$200, and high-end cookers for hundreds of dollars 6. References What is the best rice cooker brand ? : r/Cooking - Reddit www.reddit.com The Ultimate Rice Cooker Guide: How to Choose the Right One for Your Needs www.expertreviewsbestricecooker.com Best Rice Cooker UK | Posh Living Magazine posh.co.uk Best rice cookers for making perfectly fluffy grains - BBC Good Food www.bbcgoodfood.com The best rice cookers for gloriously fluffy grains at home www.theguardian.com Do You Really Need A Rice Cooker? (The Answer Is Yes.) - HuffPost www.huffpost.com

New comment by nicoty in "Austral: A Systems Language with Linear Types and Capabilities (2022)"

nicoty — Thu, 20 Mar 2025 07:46:20 +0000

If the author/someone with knowledge of the language lurks here, there's these unanswered questions from the previous discussions that I'd interested about: https://news.ycombinator.com/item?id=34205220

New comment by nicoty in "A look at Firefox forks"

nicoty — Sat, 15 Mar 2025 07:55:51 +0000

In case you didn't know, Arc isn't being developed since 5 months now. The company has moved on to another project called Dia.

New comment by nicoty in "Magpies and crows are using “anti-bird spikes” to make nests (2023)"

nicoty — Fri, 14 Mar 2025 12:21:47 +0000

The article says the birds make different nest configurations, with one incorporating a softer cup layer on top of the spiky layer made with the spikes and another configuration using the spikes as part of a dome on top of the nest.

New comment by nicoty in "Treating bullying as everyone's problem reduces incidence in primary schools"

nicoty — Sat, 16 Nov 2024 21:13:49 +0000

Fumny you mention that, guess what the article is about.

New comment by nicoty in "Show HN: I Wrote a Book on Java"

nicoty — Mon, 23 Sep 2024 20:51:50 +0000

I'm not familiar with Java. Does it have no notion of structural types at all? If it does, maybe you could wrap those fields in `Car` with `Maybe`/`Option` (I’m not sure what the equivalent is in Java) so you get something like `Car(Maybe Make, Maybe Model, Maybe Year, Maybe Colour)`?

New comment by nicoty in "Hi-Tech Bifocals Improved My Eyesight but Made Me Look Like a Dork"

nicoty — Mon, 16 Sep 2024 05:12:47 +0000

Do they also automatically correct for for muscle weakness? Some people's (my) prescription involves the use of prism lenses to correct for this and would otherwise get double-vision without them.

New comment by nicoty in "Launch HN: Deepsilicon (YC S24) – Software and hardware for ternary transformers"

nicoty — Mon, 09 Sep 2024 21:09:44 +0000

Could the compression efficiency you're seeing somehow be related to 3 being the closest natural number to the number e, which also happens to be the optimal radix choice (https://en.wikipedia.org/wiki/Optimal_radix_choice) for storage efficiency?

New comment by nicoty in "My favorite programming problem to teach: Digit length (2019)"

nicoty — Thu, 06 Jun 2024 06:34:24 +0000

I asked a similar question to stack overflow some time ago (to calculate the number of digits in a range) and received a performant solution using only integer arithmetic https://stackoverflow.com/questions/68908632/is-there-a-comp...