HNHacker News
TopNewBestAskShowJobs

thingification

214 karma · joined December 31, 2012

submissionscomments
thingification··on Testing GPT 4's code-writing capabilities with some real world problems
https://en.wikipedia.org/wiki/Lump_of_labour_fallacy

> In economics, the lump of labour fallacy is the misconception that there is a fixed amount of work—a lump of labour—to be done within an economy which can be distributed to create more or fewer jobs.

thingification··on Extism: Make all software programmable with WebAssembly
Thread on spectre and capability security (which I gather from a glance here that wasmtime is using on some level https://github.com/bytecodealliance/wasmtime/blob/main/docs/...):

https://groups.google.com/g/cap-talk/c/NSDM-05fEuU/

thingification··on Lunatic is an Erlang-inspired runtime for WebAssembly
Idly dreaming here, without enough understanding to even know how much this makes sense in this context, of:

- Erlang-style concurrency (which I haven't tried so don't understand but hear good things about always)

- With "platform" level capability security...

- ... and language-level capability security

- But with a sound and expressive type system like F# or similar

- Oh, and garbage collection

thingification··on Lunatic is an Erlang-inspired runtime for WebAssembly
To me (without reading any of their stuff, I don't know if this is what they were shooting at), "lunatic" makes me think "high performance" and "this is a very difficult project with high payoff if we succeed, we're a little bit crazy (in a good way) to try, eh?".
thingification··on Lunatic is an Erlang-inspired runtime for WebAssembly
I can understand that as a heuristic.

On the other hand, there are other people who might apply a different heuristic and guess that a project named 'lunatic' is less likely to attract the sort of people who might take, for example, a code of conduct as a tool to beat other contributors about the head. (I'm not saying that's you!)

I guess there are "swings and roundabouts" and peoples' rules of thumb differ, which is perhaps diversity that's all to the good.

thingification··on Brilliant jerks, crazy hotties, and other artifacts of range restriction (2019)
https://en.wikipedia.org/wiki/Simpson%27s_paradox
thingification··on I record myself on audio 24x7 and use an AI to process the information
Another challenge is industry-wide bad security fundamentals.

Godspeed to work/people like agoric.com and seL4.

thingification··on I record myself on audio 24x7 and use an AI to process the information
In times past, it was obvious that it wasn't an option to avoid pervasive violence (by orders of magnitude compared to today).

It was, though.

thingification··on The Babylon Bee's Twitter account is no longer suspended
This is to conflate (as so often) the USA's legal/constitutional codes with the principle of free speech. That principle has to do with promoting criticism of ideas, and preventing the suppression of criticism. The US codes are (just) one instance of a way to support that principle. The principle applies to all criticism, and all suppression of criticism.
thingification··on What “diversity and inclusion” means at Microsoft
Not questioning what you're saying, just adding that I think "prejudice" is a better word for this than bigotry? (to be clear: we're discussing here the results of identity-based hiring practices, as opposed to are there sex differences in programming ability)

Words never have entirely cleanly defined meanings, but broadly I think bigotry is often used to speak specifically of all-out irrational dogmatic beliefs. Prejudice is more often used where there is some partly rational judgement about a group of people, together with moral problems caused by applying that logic to a particular person. Of course, often our prejudices are very fallible: "rational" prejudices turn out to be wrong, and in that sense are functionally equivalent to bigotry. But holding a "rational" belief that all prejudice is irrational also does not make us infallible!

Some prejudice seems hard to criticize morally: for example, everybody makes prejudiced judgements say based partly on clothing, age, and sex if they find themselves in close proximity to a group of young men in a city at night. On the other hand, at work, one tries hard to not judge based on whatever preconceived group notions one has -- I think almost everybody thinks that's a good thing (which as you say can be harmed by identity-based hiring). I don't have a good abstract explanation of what makes the difference between "good" and "bad" prejudice, and I wish I did, so would love to hear of good writing about it if somebody can recommend some!

In the company I worked for recently, perhaps even a majority of the more capable programmers around me happened to be women. But wherever we do start hiring based on identity, it's hard to see how prejudice can be avoided, even if bigotry were entirely absent.

thingification··on Stanley Druckenmiller warns the stock market will be ‘flat’ for an entire decade
So who has done well on this score in your book? :-)
thingification··on From Deep Learning Foundations to Stable Diffusion
https://nitter.namazso.eu/jeremyphoward/status/1568843940690...

> fast.ai

> Do that and your life will change

Sounds like Emad Mostaque of Stability AI / stable diffusion thinks this course probably won't fall into "do this, no understanding needed" trap (I'm not contradicting anything you said here).

thingification··on US border forces are seizing Americans' phone data and storing it for 15 years
Not claiming that ACLU does nothing useful -- I certainly don't know enough to say -- but what do you think about this (which suggests to me a damaged commitment to civil liberties):

https://whyevolutionistrue.com/2022/01/30/the-aclu-reverses-...

What other organisations do you donate to along the same lines?

thingification··on US border forces are seizing Americans' phone data and storing it for 15 years
Unless this sort of thing gets corrected, it will be used in corrupt ways and to enforce tyrannical laws / regimes.

Did much of the progress in the past that led us to today's democratic institutions involve law-breaking, strictly interpreted, of the law of the day? Would too-effective, too-cheap enforcement have prevented that progress? I know little about history, but I suspect so.

thingification··on PyPI package 'secretslib' drops fileless Linux malware to mine Monero
> Also, hyping up undetected Linux malware is just silly.

Linux emphasized because you think

- such Linux malware as there is commonly goes undetected

- there is a lot of Linux malware in some sense

- it's easy to create Linux malware that will not be detected

- something else?

thingification··on Irishman arrested in UK for 'causing anxiety' by retweeting meme
I'm not thinking of a specific book, but I am thinking of this kind of thing (but I haven't read this specific article in full): https://jessesingal.substack.com/p/ya-twitters-victims-and-c...
thingification··on Irishman arrested in UK for 'causing anxiety' by retweeting meme
I honestly don't know the answer to this, but: Has somebody asked the person who got arrested whether the swastika means something closer to "I think nazis are good", or instead something closer to "I think some people in some political groups who align themselves with the LGBT community share some attributes with nazis"?

There's an odd mindset around this sort of thing in some internet circles, in which for example a book that contains a fictional evil person is assumed to be the same thing as an evil book, almost by definition. Isn't that part of what people are reacting to when they are outraged when this sort of arrest happens?

thingification··on Will low and no code tools ever truly disrupt tech development?
I can't seem to find people in this thread talking about AI/ML, which surprised me.

For "enterprise software", I imagine a future of domain experts training/instructing AI minions to do things like process sale orders and returns - like the office clerks of the past, but silicon clerks. And if that, why not consumer apps etc. too?

The next "everything is bloated electron apps" is "everything is bloated AI models" ?-)

thingification··on Tell HN: Coinbase now requires physical address of recipient in crypto transfers
I don't disagree with you.

The post I replied to said "could never be tracked". People using cash can be tracked if it's important to do so. Mass surveillance on cash transactions is trickier (though maybe with machine learning we'll decide that it's a great idea to track physical transactions of any kind using video etc.).

thingification··on Five planets are lining up in the sky in June and will peak tonight
A surprising experience to me was seeing Saturn through a telescope. Despite working on PhD in physics at the time and being a lab demonstrator for an undergraduate astronomy course, I looked at it and thought "shit, it's real!"

Though it was a nice enthusiast-level telescope, I think it was just seeing the rings that did it. So I reckon a cheaper one would have had the same effect.

thingification··on Lost USB with 460k city residents’ personal data found
https://en.wikipedia.org/wiki/Amagasaki

"The city was founded on April 1, 1916."

Amagasaki1916

thingification··on OCaml Programming: Correct and Efficient and Beautiful
Can you explain (rather than state) what readability issue you think exists here?

I don't know if you see a real readability issue or not, but I do think it's easy to jump to "hard to read" when that's only true in a certain parochial sense: it's not what we're used to.

thingification··on OCaml Programming: Correct and Efficient and Beautiful
I think it would be great to address this as you describe, but at the same time as somebody who has dabbled in OCaml but is still very wet behind the ears, I don't understand how this error format requires the type system to be "burned into your mind".
thingification··on OCaml Programming: Correct and Efficient and Beautiful
I have no insight into what is hard and what is easy to implement here, but might it be feasible to break up the error into parts, the first just as you wrote? Along the lines of:

1. Error: This expression has type ('x -> Result_set.t) list but an expression was expected of type Result_set.t list

2. where 'x = (locl_ty * Tast.pos * ('ex, 'fb, 'en) Aast.expr_) list

The solution suggested by the parent of your post sounds desirable also, but perhaps the currying semantics of Ocaml makes that difficult or poorly-defined?

thingification··on Tell HN: Coinbase now requires physical address of recipient in crypto transfers
And while not disputing any of that, as far as I know, every single transaction I've ever made with cash has not been logged in my name and is not cheaply trackable. That's a good thing because it avoids heavy concentration of power.
thingification··on Tell HN: Coinbase now requires physical address of recipient in crypto transfers
This kind of thing always depends entirely on what ideas people end up believing, and the details of the problem-situation when that comes about. I know: "obviously" people will never take the threat of tyranny and mass surveillance seriously. Just like obviously women couldn't possibly get the vote from a position of not having the vote in the first place with which to wield power. It was obvious! But it wasn't true.
thingification··on Tell HN: Coinbase now requires physical address of recipient in crypto transfers
It was never that it was impossible, just that it wasn't cheap enough to allow mass surveillance, right?
thingification··on Tell HN: Coinbase now requires physical address of recipient in crypto transfers
I haven't studied it, but I believe ZCash https://z.cash/ is not designed to eliminate that record (that's what a blockchain is right?), but to encrypt it and then use zero-knowledge proofs to show the validity of the transactions.

That seems like it might be the best of both worlds in some ways: laws can be enforced when it's genuinely important to do so (the record is there so presumably if you seize people's keys you can verify transactions), but not so cheaply as to entail practical mass surveillance and tyranny. In principle presumably a possible weakness is later large-scale decryption if the encryption gets broken -- but that's arguably much less useful to the would-be tyrants and surveillers.

thingification··on Ten years after the Higgs, physicists face the nightmare of finding nothing else
I think these are two distinct things:

> The problem isn't that "finding nothing" isn't progress. The problem is that "finding nothing" is terrible progress-per-dollar.

> if you go on to argue about how vital it is to spend another 5x times as much money to build another particle collider that we have no reason to believe will find anything new, you will continue to be marginalized and find your influence waning to apparently no effect.

The first part is fine if by it you mean you think the physics-practitioner-theory of the collider advocates (a theory about what next research steps might be fruitful, not a theory of physics) is now implausible to you. On the other hand if you just think something like "We expect the future (of physics) to be 'like' the past (not making progress)", then that isn't an explanatory statement and is unrelated to whether we should fund a future collider. If you know what you're going to find in an experiment, you're not setting out to discover something new, so there is no such "future will be like the past" principle here.

The second really is an argument not to fund a future collider because it comes with an explanation: what good theory (of physics, this time) do we have that predicts we'll find new tests, or new problems? If there's no very good theory, new tests or new problems might come from other experiments instead, especially if they're a lot cheaper so we can do more of them. Personally I guess that it's a good argument you make here in this second part, but what do I know?

thingification··on Deepfake Offensive Toolkit (real-time deepfakes for virtual cameras)
All of this is not "no such thing as trust".

I too dread a little all the mischief that's going to happen while the world learns about this. But people don't have to uncritically believe "the evidence of their own eyes", even though that has been very useful corrective to many mistakes, and will I guess be less so now. Evidence doesn't work that way: people always have to interpret everything in terms of their understanding of the world, and they can get better at that in response to changes like this.

← PreviousPage 2 of 6Next →