1,106 karma · joined July 23, 2013
github.com/craigds koordinates.com
is really well thought out - means I can turn the volume up and go do the dishes in the next room and be notified when I should return. Much more useful than a browser notification
it seems human generated to me or at least prompted with a stronger bias for choosing events that would be interesting to readers, not just a pure extrapolation of the current homepage into the future
the workarounds on the internet are like "just build the image so that it uses the same uid you use on your host" which is batshot crazy advice.
i have no idea how people use docker on other platforms where this doesn't work properly. One of our devs has a linux host and was unable to use our dev stack and we couldn't find a workaround. Luckily he's a frontend dev and eventually just gave up using the dev stack in favour of running requestly to forward frontend from prod to his local tooling.
Unfortunately that massively limits its performance too since loading a large django codebase is pretty slow.
not nanometres as you might assume from being used to normal units
best to pass a list of arguments to subprocess rather than a string, and avoid shell=True
For anyone interested:
- here's the Codebuff session: https://gist.github.com/craigds/b51bbd1aa19f2725c8276c5ad36947e2
- The result was this PR: https://github.com/koordinates/kart/pull/1011
It required a bit of back and forth to produce a relatively small change, and I think it was a bit too narrow with the files it selected (it missed updating the implementations of a method in some subclasses, since it didn't look at those files)So I'm not sure if this saved me time, but it's nevertheless promising! I'm looking forward to what it will be capable of in 6mo.
Cursor Composer doesn't handle that and seems geared towards a small handful of handpicked files.
Would codebuff be able to handle a proper sized codebase? Or do the models fundamentally not handle that much context?
admittedly I did the installing part, but day to day use is not an issue any more. Ubuntu is hands down much more user friendly than Windows 11
What I'd love (and even pay money for) would be the same thing for Spotify podcasts - especially for kids stories which are a constant feature of my car journeys at the moment. 5 minutes of junk surrounding 4 minutes of actual story is madness.
(I already have Spotify Premium - I'm not talking about ads; the actual content of podcasts is mostly fluff, and it's almost as bad as YT)
I wasn't trying to search for things that other people thought were interesting; I wanted a tool that would search for some pattern I thought of - and preferably without having to write a yaml file.
Their docs and website try very hard to suggest you should use it for some kind of CI process, but so far I haven't found any need to do so. I can maybe see it being useful in a pre-commit hook.
It's VERY handy for semantic searches though - in situations where ripgrep would be useless due to multi-line matches.
I set up this alias to make it a bit less verbose for Python patterns:
pygrep () {
pat="$1"
shift
filez="$*"
bash -xc "semgrep --lang=python --pattern '$pat' $filez"
}
Usage is something like: pygrep 'myfunc(..., needle_arg=..., ...)'Obviously, they're less likely to get Bay Area developers, but I don't really see how that's a problem - there are plenty of good devs elsewhere. Maybe this is a good incentive for Bay Area devs to move somewhere cheaper :)
Is that right? It seems like it couldn't possibly be true.