ktimespi

5 ms·

31.
by ktimespi 7mo ago
It's a major disservice to me as a paying user too.
32.
by ktimespi 7mo ago
I've had a very pleasant experience with Tailscale for self-hosted applications too! I will recommend Silverbullet (https:// https://silverbullet.md/ ) for note-taking.
33.
by ktimespi 7mo ago
The fact that I couldn't turn off shorts recommendations on youtube is just so, so annoying. It's such a time sink and I'm glad that the tides are finally shifting against addictive algorithms like these.
34.
by ktimespi 7mo ago
sounds like AlphaDev [1] might be a better approach for a problem like this. [1] https://github.com/google-deepmind/alphadev
35.
by ktimespi 7mo ago
I've heard Zulip is a good alternative
36.
by ktimespi 7mo ago
He realizes that they can't move data out of Slack, and asks for another corporate product that has the potential to lock down the organization's data...
37.
by ktimespi 8mo ago
I don't think it is true either, considering the broad claims made. The thing to be changed is research incentives, not getting the bar even higher. Take the Francesca Gino case, for example. I don't think anyone can argue that Ha
38.
by ktimespi 8mo ago
This comes across as elitist
39.
by ktimespi 8mo ago
My current issue with pass is my difficulty with migrating my private GPG keys to new devices. Makes the experience so much more worse IMO. (I've been using pass for 6 years at this point)
40.
by ktimespi 8mo ago
I'd be glad if someone could enlighten me on why the whole file needs to be encrypted. What issues does storing an encrypted value (password, metadata, etc) associated with a particular key (let's say website name) have? (apart fr
41.
by ktimespi 8mo ago
yeah, that was the point that I was making. Although I do wonder if encrypting the whole file is necessary.
42.
by ktimespi 8mo ago
SQLite has its own closed-source page-level cipher format, so I don't think this argument makes sense. https://www.sqlite.org/see/doc/trunk/www/readme.wiki A weakness though, again, is that this is
43.
by ktimespi 9mo ago
Ubuntu is deploying it in a non-LTS release, and they're trying to get the bugs out of the way is what I'm hearing
44.
by ktimespi 9mo ago
Link seems to be down... But also, considering curl recently shut down its bug bounty program due to AI spam, this doesn't really inspire much confidence.
45.
by ktimespi 10mo ago
Can you really rely on an LLM to write valid proofs though? What if one of the assumptions is false? I can very well think of a lot of ways that this can happen in Rocq, for example.
46.
by ktimespi 11mo ago
The only prerequisite here is probably Racket, to follow along with the book
47.
by ktimespi 1y ago
This is beautiful.
48.
by ktimespi 1y ago
DBT is based on Zen Buddhism, created by a psychologist suffering from borderline personality disorder
49.
by ktimespi 1y ago
Honestly, yeah. Didn't know it existed until I was done developing this
50.
Show HN: dirnav, a convenience tool for cd(github.com)
2 points by ktimespi 1y ago|2 comments
51.
by ktimespi 1y ago
Kind of insane that you achieved this. Does your processor support all python bytecode at this point? How do you implement ref counting and garbage collection?
52.
by ktimespi 2y ago
I think the approach here is to overestimate your calories a bit if you're not sure. Practice makes perfect when it comes to eyeballing quantities.
53.
by ktimespi 2y ago
I agree. This nuance is overblown and the knowledge to notice and deal with cues from the body aren't brought up whenever people mention this, which I think is really unhelpful.
54.
by ktimespi 2y ago
It's very easy to observe the changes you mention: A lack of energy in activities in the short term, which you can control with diet adjustments. In the long term (over the course of a few months), you should be tracking your weight ch
55.
by ktimespi 2y ago
I've been building something similar for calorie tracking as well. A lot of the apps I've tried don't let me add meals quickly enough (repeat meals from the past, or new ones) or let me enter calorie formulae, and there'
56.
by ktimespi 2y ago
Minor nitpick, but aren't ads sold to the highest bidder?