Hacker News: nicoty

New comment by nicoty in "ZCode – Harness for GLM-5.2"

nicoty — Thu, 02 Jul 2026 06:32:24 +0000

I've contributed to https://github.com/0xferrous/agent-box which allows you to bind-mount git repositories into containers that agents operate in, preventing the agents from accessing files that aren't bind-mounted. Your usual .gitignore can then be used to also ignore files within the repo to be bind-mounted, which prevents agents from accessing them at all, essentially working as a sandbox.

I also maintain https://github.com/nothingnesses/agent-images which allows you to use Nix to reproducibly spin up OCI container images containing agents and any other tools you need for development and use these with agent-box.

I use both at the moment to work on some personal projects with agents, where I set up multiple separate git worktrees for the agents to work in, preventing them from accessing anything outside of the worktrees and from trampling over each other's work.

New comment by nicoty in "A way to exclude sensitive files issue still open for OpenAI Codex"

nicoty — Mon, 29 Jun 2026 08:19:52 +0000

I also maintain https://github.com/nothingnesses/agent-images which allows you to use Nix to reproducibly spin up OCI containers containing agents and any other tools you need and use these with agent-box.

New comment by nicoty in "Apple to skip high-end M6 Mac chips in favor of AI-focused M7 line"

nicoty — Fri, 26 Jun 2026 06:48:24 +0000

I don't now how the MacOS equivalent compares, but Linux/Windows has KDE Connect that I use for that https://kdeconnect.kde.org/

New comment by nicoty in "C constructs that still don't work in C++"

nicoty — Mon, 25 May 2026 09:48:53 +0000

Out of curiosity, what do you think is wrong with monomorphization-based polymorphism? The other alternatives I'm aware of are 1. type-erasure via v-table based dynamic dispatch (which Rust also has in the form of the `dyn` keyword), which has performance and memory-allocation overhead and 2. macros, which Rust also has and, if used for polymorphism, would essentially be like compile-time monomorphization, but clunkier.

Maybe I'm missing something though and there are other alternatives done differently in other languages?

New comment by nicoty in "Why I still reach for Lisp and Scheme instead of Haskell"

nicoty — Wed, 29 Apr 2026 23:33:34 +0000

https://github.com/carp-lang/Carp might be of interest. It's a statically typed lisp.

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.