HN user

benwr

972 karma

Ben Weinstein-Raun

Currently at Palisade Research (https://palisaderesearch.org/).

Web: http://www.benwr.net Email: b@w-r.me

aspe:keyoxide.org:BKLA56YMD3ZB36QJIJ4NM4JN6Y

Posts55
Comments96
View on HN
www.benwr.net 1y ago

Open Sesame: Poems with Entropy

benwr
2pts0
adamscherlis.github.io 1y ago

Iterated Log Coding

benwr
2pts0
github.com 3y ago

Gwipt: Automatically commit all edits to a wip branch with GPT-3 commit messages

benwr
1pts0
github.com 3y ago

Show HN: Shell Of A New Machine: Quickly configure new environments

benwr
3pts2
www.benwr.net 4y ago

Entropy isn't sufficient to measure password strength

benwr
34pts120
throughascreendarkly.com 5y ago

Some property testing tricks (2020)

benwr
1pts0
www.lesswrong.com 7y ago

Why I've Started Using NoScript

benwr
13pts6
cs.stanford.edu 7y ago

Research as a Stochastic Decision Process

benwr
76pts7
backreaction.blogspot.com 7y ago

No, negative masses have not revolutionized cosmology

benwr
115pts82
docs.racket-lang.org 8y ago

Rash: The Reckless Racket Shell

benwr
3pts1
leanprover.github.io 8y ago

Theorem Proving in Lean

benwr
156pts30
github.com 9y ago

Show HN: Glean, a tiny bitmap font for programming

benwr
66pts46
www.usenix.org 10y ago

Crash-Only Software (2003) [pdf]

benwr
1pts1
bernardopires.com 12y ago

Try Logic Programming! A Gentle Introduction to Prolog

benwr
28pts0
www.newscientist.com 12y ago

Wikipedia-size maths proof too big for humans to check

benwr
2pts0
harmful.cat-v.org 12y ago

The "Intellectual Property" Oxymoron

benwr
3pts0
benwr.net 12y ago

Why is the web like a telephone directory?

benwr
1pts0
benwr.net 12y ago

TED Talks

benwr
1pts0
www.thrivenotes.com 13y ago

The Last Question

benwr
2pts0
journal.davidbyrne.com 13y ago

Perversion of Intent

benwr
1pts0
www.nycresistor.com 14y ago

The Joy of Dumping

benwr
112pts14
www.ted.com 14y ago

TED: Peter Norvig: The 100,000 student classroom

benwr
11pts0
www.futilitycloset.com 14y ago

Work Smarter, Not Harder

benwr
1pts0
peoplemovers.wordpress.com 14y ago

What Causes Phantom Traffic Jams

benwr
1pts0
www.sciencedaily.com 14y ago

Actions Influencing Past Events? Experiment Mimics 'Spooky Action Into the Past'

benwr
3pts0
www.stephenfry.com 14y ago

Stephen Fry on the History of the Smartphone

benwr
56pts22
www.nytimes.com 14y ago

A Quantum Theory of Mitt Romney

benwr
5pts1
www.npr.org 14y ago

Neuroscientists Battle Furiously Over Jennifer Aniston

benwr
15pts5
www.technologyreview.com 14y ago

"Infinity Computer" Calculates Area of Sierpinski Carpet Exactly

benwr
1pts0
www.sciencedaily.com 14y ago

Who Wouldn't Pay a Penny for a Sports Car? Right Strategy Doesn't Win Auctions.

benwr
2pts0

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 feeling that it will undoubtedly end up with a sense of self as a result.

Whatever it is that it would take, is demonstrably present in LLMs. The point I'm trying to make here is that the author seems not to have connected this fact to their assertion that current LLMs are coked up parrots.

And yeah the author is correct that the systems have some rudimentary sense of self! It's a confusing situation and I'm not personally thrilled about it! But things are changing quickly, and it's especially important to be paying attention to what's actually true rather than assuming the things are what you saw when you used one for five minutes in 2022.

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 verbatim, that it's because of lunar new year.

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 configuration language, or how to use a special library, or anything beyond shell scripting. Of course, you also trade a lot of functionality away: The programs you write aren't declarative, and so on. But personally I don't care about that when provisioning a new dev machine. I'd much rather just run some quick scripts.

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 how you chose the password.

We care about the distribution from which you drew the password, because that lets us analyze how difficult it would be for an attacker who knew your password selection process to brute-force the password. Just knowing the password itself isn't enough information to determine that (though of course you can judge how hard it would be for an attacker once you know their brute forcing strategy).

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. Thinking about how I might do that is what ultimately led to this post.

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 parse trees will produce duplicated sentences with ambiguous parses.

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 implemented it myself in terrible beginner Rust! I might get started reimplementing it using your tool :)

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 that implication.

And when looking at it through a reasonable lens as you do in your comment, I also don't understand the urge to treat it as though "sharing economy" companies are somehow evil or deceptive. They're just responding to market conditions in a way that (at least in the short term) produces value for both drivers and riders. There are other arguments you can make about whether this is bad in the long term due to e.g. dynamics around regulation, but that's an argument about how things will play out in the future, not about past or current bad faith on the part of Uber or AirBnb.

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"

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 tutorials) fails to explain what you're doing before you do it.

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.

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 data sets. Similarly, just saying "we made up these variables as a combination of these other variables and called them Flavorfulness and Musicality, look how nicely our circles line up!" is not useful to anyone - a formula or methodology would be.

2. As a software engineer, I came to this post expecting to find a way to improve myself. I invested time in reading it because I expected a payoff in the form of, for example, a metric I could apply to my own work. I suspect that the author of this post intentionally gave the impression that the post contained tools like this. I didn't find anything remotely like that.

3. More generally, this post does not show signs of being written with the reader in mind. You have not given me any new information that I can apply; instead you have given me a marketing pitch (we did this data analysis, we promise! Don't you want us to work with you?) dressed up like information.

Oh, Ubuntu has weird rules that prevent you from using bitmapped fonts. There's some configuration file in /etc/fontsomethingorother that you need to delete. I forget the specifics. After that you should be able to drop the bdf files into ~/.local/share/fonts (preferred) or ~/.fonts, run fc-cache, and see it show up in applications.

Yeah! I was actually using progsole before making this - I'm primarily interested in squeezing legible characters into pixels, and progsole is sliiiightly wider. Even the difference between 5 and 6 pixels can be substantial if you're trying to keep 6 files in your head at once.