bkettle

6 ms·

1.
Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans(semgrep.dev)
7 points by bkettle 3mo ago|0 comments
2.
Fibonacci in the NYT Pips(benkettle.xyz)
2 points by bkettle 8mo ago|0 comments
3.
by bkettle 8mo ago
Are you based in Alaska? I’d love to hear more if so; I have contact info on my website. (I grew up there).
4.
by bkettle 9mo ago
Yeah fair enough. I can definitely see the value of property-based verification like this and agree that useful properties could be easy to express and that LLMs could feasibly verify them. I think full verification that an implementation i
5.
by bkettle 9mo ago
The whole point I think, though, is that it doesn’t matter. If an LLM hallucinates a proof that passes the proof checker, it’s not a hallucination. Writing and inspecting the spec is unsolved, but for the actual proof checking hallucinatio
6.
by bkettle 9mo ago
I think formal verification shines in areas where implementation is much more complex than the spec, like when you’re writing incomprehensible bit-level optimizations in a cryptography implementation or compiler optimization phases. I’m not
7.
by bkettle 11mo ago
> there's a section of road near where I live that's dangerous, and we all know it's dangerous Clearly not enough people know it’s dangerous or how dangerous it is, or one of them would do something about it
8.
by bkettle 11mo ago
Semgrep has supported uv for months now (I added it).
9.
by bkettle 11mo ago
This free tradition in software is I think one of the things that I love so much, but I don't see how it can continue with LLMs due to the extremely high training costs and the powerful hardware required for inference. It just seems li
10.
by bkettle 1y ago
Do you mean 500Wh rather than 500kWh? 500 kWh would be around 10 EVs worth, and looks like it costs around 700k [0], but 500Wh seems to be a common size for portable power stations [1] [0] https://www.backupbatterypower.com/
11.
by bkettle 1y ago
I think they mean backwards-compatible syntax-wise, rather than actually allowing this feature to be used on existing code. If I’m understanding correctly they would prefer for the Python grammar to stay the same (hence the comment about up
12.
by bkettle 1y ago
I found out yesterday that it is now the law that federal employees are guaranteed back pay after a shutdown, thanks to the Government Employee Fair Treatment Act of 2019 passed after the 2019 shutdown. https://www.congress.gov&#
13.
by bkettle 1y ago
I actually think that Cloudflare has made publishing on the internet _more_ accessible for many individuals. I’ve helped a few people get personal websites running on Cloudflare pages and run my own there—it’s free and extremely easy. They
14.
by bkettle 1y ago
Hm. To me it is indeed the big bad tech companies at fault for implementing _obviously_ user-hostile functionality (mandatory suggested posts, for example) that exploit human nature to keep people engaged, even if people prefer not to. The
15.
by bkettle 1y ago
Is it possible that the current form of social media is actually contributing to the erosion of your liberties because it is so widely used in society and is likely contributing to polarization and antisocial behavior? I see this (and, hone
16.
by bkettle 1y ago
I think modern social media is a huge problem but don’t see we can fix it without regulation. It’s clear that all the current incentives point companies towards engagement and rage bait and away from anything actually “social”, and I think
17.
by bkettle 1y ago
> it works for human drivers Sure, for some definition of "works"... https://www.iihs.org/research-areas/fatality-statistics/deta...
18.
by bkettle 1y ago
Why are the socio-political stars aligned in tens of countries across Europe and Asia but not in the US, if such alignment is so rare? I might argue that the bay area focuses on transportation technology that is flashy and gets around exist
19.
by bkettle 1y ago
Note that Caltrans only maintains state roads; looks like from that document that they distribute some money to localities but as far as I can tell we can't see what fraction of local road maintenance that covers. Of course localities
20.
by bkettle 1y ago
There are also a variety of ways that "efficiency" can be defined; your comment considers monetary efficiency, but both modes of transport have costs on society that are not considered in the numerical operating costs (pollution,
21.
by bkettle 1y ago
Do we have the crypto to build an asymmetric variant? The way that I’d immediately think to do it is have the authenticator create a signature over the current time (chunked into 30-second windows) and the service verify that signature, but
22.
by bkettle 1y ago
It depends on the phone, but for many phones the security story remains very good even when lost, unless someone knows your passcode. So it’s still “something you know” protecting the password and the TOTP code, but it’s different things th
23.
by bkettle 1y ago
Wow, great article. I love the cable car photo https://upload.wikimedia.org/wikipedia/commons/e/e0/Strip_ph... Must be somewhat interesting deciding on the background content, too.
24.
by bkettle 1y ago
That’s the tough part; it’s self-reinforcing :) both are causes and both are effects, and we’ve got to break the cycle somewhere. But no, all of them. Low usage causes service cuts, which cause low usage because you can’t rely on transit, c
25.
by bkettle 1y ago
I agree that for in-town trips the only thing that reduces the convenience of driving is when you can't drive fast and park directly at your destination for free. But these things (traffic, parking scarcity, etc) are really common, and
26.
by bkettle 1y ago
I think you're probably right that eventually, most people will own a car. But I think the time in your life where you decide to buy one matters substantially, and is modulated quite a lot by city design. I'm pretty young now, and
27.
by bkettle 1y ago
I think it's an unfortunate reality that people don't necessarily get to have exactly what they want. I don't get to live in a place where I have access to world-class high speed rail, as much as I necessarily want that. I al
28.
by bkettle 1y ago
No, that isn't "okay". A key part of walking- and biking-friendly infrastructure is ensuring that there are places to go (in many places it is flat out illegal to build places to go near housing!). This definitely means chang
29.
by bkettle 1y ago
It'd be fairly easy to argue that all of these are due to transit being treated as second-class transportation for poor people.
30.
by bkettle 1y ago
I think many things in this article are wrong (the claim that EVs are silent is plainly false). But I'll just say that even though you might want open space, does that necessarily mean that you are entitled to it (at a reasonable cost)

More ›