HNHacker News
TopNewBestAskShowJobs

computerphage

994 karma · joined September 9, 2016

submissionscomments
computerphage··on Formal Verification Creates Hacker-Proof Code (2016)
> That is, given the list [7, 3, 5], she expects that the program will return [3, 5, 7] and satisfy the definition. Yet the list [1, 2] also satisfies the definition since “it is a sorted list, just not the sorted list we were probably hoping for,” Parno said.

Because the human meant "sort this list", not just "return a sorted list". They put in [7, 3, 5] and got back [1, 2]. Then they realized their specification was incomplete.

computerphage··on Google Duo rolls out realtime AV1
It's not exactly "legacy" cash. They make significantly more money each year than in the previous year. Their revenue is still growing fast, roughly 20% per year: https://www.statista.com/statistics/507742/alphabet-annual-g...
computerphage··on What's a virus, anyway? The bare-bones basics
To be clear, it's not an animation, it's video captured from a microscope.
computerphage··on Amazon Prime delivery delays are now as long as a month
"drivers are gaming the system by not going to work until there is a surge price in effect"

So, immediately after you explain the way that surge pricing works in terms of supply and demand, you claim that one of the parties is being immoral by not supplying the product under a certain price? How is that "profiting at other people's expense"? You literally just explained how it's a win-win. Do you feel like the drivers are morally obligated to supply their time at a certain low price?

computerphage··on Don’t bail out the cruise industry
The problem with statements like "politicians are corrupt" is that it makes it possible for people to see what Trump is doing as just more of the status quo. It needs to be possible for some politicians to not be corrupt in order for the allegation of corruption towards Trump to carry any meaning.
computerphage··on Apple is looking for engineers to convert its code from C to Rust
That's not a great summary of the history of the name.

Here's a better one: https://www.reddit.com/r/rust/comments/27jvdt/internet_archa...

computerphage··on Rust 1.42
I know that. I'm trying to point at the difference between experiences without much tooling set up.
computerphage··on Rust 1.42
Better line numbers is huge. Actually huge for people leaning rust. In a pretty big way it's like the difference between Java where you get a stack trace (where you mostly care about the live number all the way at the bottom) and C++ where you don't. When I tutored students in college that was one of the most salient differences to students who were just starting out. They would say things like "C++ is hard because you don't even get a stack trace". Sure, that's a naive view of the differences between the languages, but it's a real view that beginners see.
computerphage··on Ask HN: Was the Y2K crisis real?
Fortunately the two events will occur in the order they that they will. Having a reference will help explain the issue.
computerphage··on Pollution from tire wear is worse than exhaust emissions?
Can someone substantively reply instead of just downvoting this comment?
computerphage··on Mental Mountains
In fact, this blog has a warning to exactly that effect, posted a few days ago, and linked from this post.

https://slatestarcodex.com/2019/11/20/book-review-all-therap...

computerphage··on Mental Mountains
Also, this blog had a warning post, posted just before this that address this point in some detail that's worth looking at https://slatestarcodex.com/2019/11/20/book-review-all-therap...

It's also linked from this post as the last line of section one.

computerphage··on U.S. Presidents and Comparative Stock Market Performance
Although, the Dow doesn't really go back that far either in the sense that it swaps out stocks occasionally, which could cause spurious conclusions to be drawn if not accounted for.
computerphage··on Army Camouflage That Failed to Hide Its Soldiers
Just use Firefox, they allow extensions on mobile and you can download Firefox from the regular app store.
computerphage··on Audible and audiobooks, the fastest growing part of publishing
I've found books in Audible on sale for as little as $2.00.
computerphage··on More jails replace in-person visits with awful video chat products
That's the thing about bankruptcy, there's no further to fall.
computerphage··on A List of Hacker News's Undocumented Features and Behaviors
This is a great list. It took me years to learn most of this stuff and I still learned a few things.
computerphage··on Reinforcement Learning: An Introduction (2018) [pdf]
Do you have an example of a self driving car company that uses RL?
computerphage··on After 48 hours we haven't seen any sign people are using Waymo's service
That's true, but it doesn't resolve the disagreement. Consider the fact that trains aren't infinitely long, and so they have to slow down everyone to let some passengers off. There's an idea where a train "car" is boarded and accelerated separately then joins the rest of the train while it's moving, but this approach is rarely implemented for many reasons.
computerphage··on AWS DeepRacer – Go Hands-On with Reinforcement Learning
I don't understand why you brought up Anki. Can you explain?
computerphage··on AWS DeepRacer – Go Hands-On with Reinforcement Learning
*yearly. It's their annual conference where they announce all their new products
computerphage··on A list of practical projects that anyone can solve in any programming language
There are simple math formulas that approximate pi. You can look one up and run it to the right number of digits. It would be hard without Google, but most programmers should be able to do it with Google so that they don't need to figure out any of the math.
computerphage··on The origin of circuits (2007)
Amazingly, there's a comment "Posted 28 June 2007 at 12:47 am" to the same effect.
computerphage··on Magic Leap One now available for $2295
If that! I've seen company claim to be the "OS of banks" meaning they're a commonly used application for people doing something in a bank.
computerphage··on Artificial General Intelligence Is Here, and Impala Is Its Name
"Let’s define AGI, since it’s been used by different people to mean different things. AGI is a single intelligence or algorithm that can learn multiple tasks and exhibits positive transfer when doing so...”

This is not how I would define AGI, so the title seems very click-baity to me. I am going to go read the linked deepmind paper though.

computerphage··on Julia 1.0
So does Matlab/Octave and R, so Julia's choice is unsurprising to many people in the target demographic.
computerphage··on Power Worth Less Than Zero Spreads as Green Energy Floods the Grid
The Grid.

I heard about it two years ago and recommend it often.

https://www.gatesnotes.com/Books/The-Grid

https://www.gatesnotes.com/About-Bill-Gates/Best-Books-2016

computerphage··on p-Hacking and False Discovery in A/B Testing
Ah! I get it. Thank you!
computerphage··on Uber shuts down self-driving trucks unit
The reason it isn't is passenger-to-driver ratio. It's already widely amortized to have a train driver. Sure it's an easier problem, but it's just so much less of the overhead of having a train.
computerphage··on p-Hacking and False Discovery in A/B Testing
That's highly counter-intuitive to me. Can you try to motivate why that's the case?

My intuition is that you could use any sequential (which I translated to online) technique could be used in a non-sequential context. By that reasoning, there's no way a sequential technique could do better, at best it could be the same.

← PreviousPage 7 of 10Next →