nicoty

6 ms·

1.
by nicoty 1mo ago
I have a solution based on Nix that can be used to generate reproducible container images: https://github.com/nothingnesses/agent-images . It lets you customise which agents, harnesses, or any other packages you want i
2.
by nicoty 2mo ago
I've been thinking a lot about this recently. In my case: how do I get an agent to see the important parts of the current plan and get it to stick to it without deviating, especially as loops get into longer and longer cycles and compa
3.
by nicoty 2mo ago
I've codified mine into a reusable workflow https://github.com/nothingnesses/agent-scaffold . To be honest, this isn't fool-proof though, since the agents can simply choose to ignore them, so I also like to p
4.
by nicoty 3mo ago
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-m
5.
by nicoty 3mo ago
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-m
6.
by nicoty 3mo ago
I don't now how the MacOS equivalent compares, but Linux/Windows has KDE Connect that I use for that https://kdeconnect.kde.org/
7.
by nicoty 4mo ago
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), w
8.
by nicoty 5mo ago
https://github.com/carp-lang/Carp might be of interest. It's a statically typed lisp.
9.
by nicoty 5mo ago
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
10.
by nicoty 6mo ago
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?
11.
by nicoty 8mo ago
Filesystems like zfs, btrfs and bcachefs have snapshot creation and rollbacks as features.
12.
by nicoty 8mo ago
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
13.
by nicoty 10mo ago
Like how capsaicin makes food feel hot even when it isn't?
14.
by nicoty 1y ago
Thanks for the spoilers
15.
by nicoty 1y ago
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/5f974a43a2da5d1
16.
by nicoty 1y ago
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.
17.
by nicoty 1y ago
What's wrong with static type systems?
18.
by nicoty 1y ago
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
19.
by nicoty 1y ago
> 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
20.
by nicoty 1y ago
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 br
21.
by nicoty 1y ago
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
22.
by nicoty 2y ago
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.
23.
by nicoty 2y ago
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.
24.
by nicoty 2y ago
Fumny you mention that, guess what the article is about.
25.
by nicoty 2y ago
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 `C
26.
by nicoty 2y ago
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.
27.
by nicoty 2y ago
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_radi
28.
by nicoty 2y ago
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&#x2
29.
by nicoty 2y ago
It sounds similar to that antithesis testing service that was on front page recently as well. That also claimed to be able to run programs deterministically as well. I wonder if the two projects are related at all.
30.
by nicoty 2y ago
#ShikakuOfTheDay #EASY240413 02:39.21 #MEDIUM240413 04:40.83 #HARD240413 12:20.11 #EXPERT240413 58:44.96 https://shikakuofthe.day I imagine master will take a couple of hours to complete, so I didn’t even attempt it.

More ›