benwr

6 ms·

1.
by benwr 2mo ago
OP: > Now, ask yourself what it's going to take for a car to know this. It's not going to be some specialized set of driving instructions. It's going to require a holistic view of, well, everything, and I will repeat my fe
2.
by benwr 2mo ago
> It's early in the year. You want to drive straight through the middle of Chinatown in SF. Why might that be a bad idea? In case anyone is wondering: yes obviously even the dumbest current models correctly answer, given this prompt
3.
Open Sesame: Poems with Entropy(benwr.net)
2 points by benwr 1y ago|0 comments
4.
Iterated Log Coding(adamscherlis.github.io)
2 points by benwr 2y ago|0 comments
5.
by benwr 3y ago
Maybe IQAir? They do have paid plans, it looks like.
6.
Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages(github.com)
1 points by benwr 4y ago|0 comments
7.
by benwr 4y ago
Sure, I'm not saying it's unreasonable. The big selling point of `soanm` is that you don't need to have anything extra installed on a typical distribution (not even ssh!) and you don't need to know any extra configurat
8.
Show HN: Shell Of A New Machine: Quickly configure new environments(github.com)
3 points by benwr 4y ago|2 comments
9.
by benwr 5y ago
Interlingua is a similar project for primarily Romance languages: https://www.interlingua.com/interlingua-en/
10.
by benwr 5y ago
Entropy of a single password isn't actually a well-defined concept; entropy is always about a distribution. "Entropy calculators" that look at your password and tell you "its entropy" are making assumptions about ho
11.
by benwr 5y ago
More often for e.g. work computers.
12.
by benwr 5y ago
I mostly agree, but I do find myself choosing a new FDE and login passphrases about once a year, and I wish that I could choose these using something like Diceware, but memorable enough that I wouldn't need to write them down at all. T
13.
by benwr 5y ago
This is a fair question; I've been thinking about "weird" password choice strategies recently, for which it can matter. For example, if you want your password to be an English sentence, choosing sentences based on random pars
14.
by benwr 5y ago
I've done a fair bit of research into this, and as far as I can tell, the entire internet does this thing you've never seen. For example, https://en.wikipedia.org/wiki/Password_strength#Entropy_as_a... implie
15.
Entropy isn't sufficient to measure password strength(benwr.net)
34 points by benwr 5y ago|120 comments
16.
Some Property Testing Tricks(throughascreendarkly.com)
1 points by benwr 6y ago|0 comments
17.
by benwr 6y ago
I hadn't looked at yjs; I'll check it out! [edit: It looks to me like yjs is much more flexible than my design here, but doesn't include an ability to move ranges of lists to different locations] Darn, and just after I'd
18.
by benwr 6y ago
If anyone is interested, I've been trying to think about the problem of moving ranges in a list-structured CRDT for a couple of weeks now for a side project, and I've got a candidate that seems to satisfy the most obvious constrai
19.
Why I've Started Using NoScript(lesswrong.com)
13 points by benwr 7y ago|6 comments
20.
Research as a Stochastic Decision Process(cs.stanford.edu)
76 points by benwr 7y ago|7 comments
21.
by benwr 8y ago
Sure - I still think the title is misleading. "Was always a scam" implies that everyone in the sharing economy has been lying for decades in order to make money. I don't see any evidence presented in the article that supports
22.
by benwr 8y ago
The title seems totally unsupported by the article to me. A less misleading one might be "The 'sharing economy' has evolved into a collection of large, unregulated, rental businesses"
23.
by benwr 8y ago
This is a critical response to https://news.ycombinator.com/item?id=18609375 ; in the comments is a response by Jamie Farnes, the author of the paper, and a rebuttal by the blog's author.
24.
No, negative masses have not revolutionized cosmology(backreaction.blogspot.com)
115 points by benwr 8y ago|82 comments
25.
Rash: The Reckless Racket Shell(docs.racket-lang.org)
3 points by benwr 8y ago|1 comments
26.
by benwr 8y ago
This tutorial starts by explaining how things work, and only later shows you magic. That's exactly what I like about it, actually. Almost every coq tutorial I found (I tried software foundations, cpdt, and several shorter online tutori
27.
by benwr 8y ago
This problem went away for me when I turned off my ad blocker.
28.
by benwr 8y ago
Strongly agree. I only found Lean after a couple of weeks of struggling to pick up coq. In my opinion, this tutorial alone makes lean a better choice for beginners.
29.
Theorem Proving in Lean(leanprover.github.io)
156 points by benwr 8y ago|30 comments
30.
by benwr 10y ago
Specific critiques about how you can improve your blog post: 1. Data is always necessary to back up claims like these. Almost _any_ kind of quantitative data will do - just a simple average! just give me something I can replicate on other d

More ›