skysight-inc/HackerNews huggingface dataset:
> Computing is not a subset of mathematics. And Mathematics is not a subset of Computing. Same goes with Physics (Physics is not a subset of Mathematics, despite there being way more math used in Physics than CS).

if i understand you correctly, are you saying that mathematics in the classical sense is not “computing” (von neumann machines?), just as math is not physics, but math is used to model physics

then the proper way to think about the problem is: can there be a math that models actual computing (does that include physics?) as it is today, and is that what we already have in our programming languages today?

and finally, maybe your main point is, with purely functional languages, there is a math invented (lambda calculus?) to describe a stateless ideal that is shoehorned into a reality that it doesn’t describe?

apologies for the random thoughts, just trying to grok everything ^_^
Go takes approach #3 that I described.
I believe that some of that is covered by other appliances becoming more efficient. How many 60-100w light bulbs did people used to run in their home? Tube tvs? Those devices have largely been replaced by more modern versions that use an order of magnitude less power.
Dollar vans (at least in NYC) don't drop you off "exactly at your doorstep". They will let you off anywhere along the route, but they don't deviate significantly from the route to get to your destination. Most people walk a bit to get to/from the route.
Maybe I'm out of the loop - what actions have the executives taken that should have put them in prison?
It was this video that got me lobbying my local council (Lambeth) to try them. Which, impressively, they did.
It turns out if you don't make a rule for something, someone is going to come along and start dumping toxic waste into a playground.
That wasn't the free market. The US decided to make it cheaper to ship goods from China to the US then it is for businesses in the US to ship inside the US. Government intervention all the way.
stares at camera in zombie-apocalypse virus
Yes, public/private key authentication would be great when it comes to this sort of thing. But that really has very little to do with the blockchain. It would be quite possible for the government or a consortium of banks to implement improve authorization schemes that have all of the upsides of public/private keys and none of the downsides of the blockchain.
XC90 or XC60 T8 are decent plugin hybrid SUVs. Alternatively the X5e isn't bad. Both will do about 30 miles on battery only.
>> sometime in the 2020s when an electric vehicle becomes cheaper than a gas car.

Maybe, but the limitations of electric vehicles still mean it is an apple and oranges comparison. Electric cars are still a long way off in terms of range, towing capacity, utility and winter performance. They might seem great in California, especially as a second car, but they are still a long long way off from replicating how many non-rich people use their vehicles.

We don't all live in SF. Personally, I'd need a stable 1000km/day range capacity, in winter/-30, in mountains, pulling several hundred pounds of people/stuff, before I'd even consider electric for my one and only car. Price is beside the point. I'm starting to think that zero net emission tech (diesel from air etc) might catch up before all-electric becomes the widespread standard.
I did something similar in college with free sandwiches from online receipt surveys at Arby's and Burger King. The thing is, very very few people go through the effort to take advantage of those systems like that, so it's not really a loss for them. The Hoover blunder was so bad because they assumed it would be like cutting out vouchers from pizza boxes, and that most people wouldn't bother, but the offer was of such high value that everyone wanted in on it.
If it got to that point, I’m sure some tech savvy lawyer would have fun with these cases.
> In my example the Disneyland trip was a prize.

Hence my quotes. The advertising would be selling the reader/viewer on the value of a trip to Disneyland, not on the obviously non-existent magical transport.

> It doesn't automatically follow that the jet plane itself is puffery, just because the teenager travelling to school in one is puffery.

It doesn't automatically follow, but the court spent about a page outlining why the combination is ridiculous to a reasonable person. That only one person attempted it to me strongly suggests that their assessment was right in that. Much more reasonable statements have been accepted as puffery.

Your argument that people might have had difficulties figuring out how to sell it etc. does not ring true to me - the logical consequence of spotting an offer to buy something potentially worth $23m for $700k would be to seek out details of the offer and determine if there was a real prospect of getting it and so determine if there was a possibility to profit from it.

Plaintiff in this case did not do so, presumably because he understood full well doing so would ruin his chances to claim he genuinely relied on the ad being an offer. But neither did anyone else.

Referencing "Pepsi swilling teenagers" is also irrelevant - the ad aired during Superbowl; it would have been seen by plenty of people who could raise $700k. Only one was dumb enough to try, and doubled down when facing judgements for substantial lawyers fees.

> You're right that its a contract issue, even if they had advertised an actual Harrier for $700k they still wouldn't have had to sell it ( under UK contract law anyway, I understand it to be the same in the US)

It's a "contract issue" in that jurisdiction only in as much as because it was not a binding offer there was no enforceable contract, and one of the reasons why there was no binding offer was that the court considered it puffery, so the two are connected. If they had made a clear, unambiguous offer that required no further negotiation (e.g. stated clearly that it would be a demilitarised version, subject to limited availability, and any other criteria that could be reasonably expected to be necessary), and it hadn't been puffery then the ad could have constituted a valid offer. But it didn't meet any of the tests the court examined.
"Physical" (i.e. non-inlined) subroutine calls are normally such safepoints (although I probably exaggerated when I said "every compiler in the world"). They need to be because a subroutine is a continuation. Upon return, it must be able to restore its state, otherwise it wouldn't be a subroutine. If you're doing any IO, there must such be such a physical call (and a safepoint) precisely where you need it -- at or before the actual IO.
Appart from the fact that S/MIME is inherently broken: That would be no reason to keep them in browsers.
Honestly I think the low hanging fruit would be to put 115V outlets in at apartment complexes that have designating parking spaces. Just normal 115V, which is usually already wired at or near the spot.
I don't think the fragmentation is really a problem. It's not like if there was a single option, then everyone who's currently involved in working with other desktop environments would automatically join in.

That said, gnome has the largest chunk of the market share. Sort of like the chrome of Linux desktop. It has all features I've ever used in any desktop environment (to be fair, after Windows 98 I only used Linux and Mac os) But each person will enjoy a different UI, I guess.
Updated TechCrunch article https://techcrunch.com/2019/08/12/deliveroo-is-exiting-the-g...
The "highlights" section is very fishy to include in a scientific report. It's very easy to misinterpret trends when you cherry-pick extrema out of data affected by cyclical trends and stochastic processes with relatively high variance. Further, saying that some place is reporting a 100-year high record temperature sounds bad, but saying that the temperature was briefly about as high as it was in the 1910s sounds like nothing to worry about.

Tony Heller has provided quite a bit of insightful context to climate reporting which likes to highlight extremes and gloss over important contextual data.

https://www.youtube.com/user/TonyHeller1/videos?view=0&sort=...
Fortran IV? But yeah, Fortran was the goto tool for mathematics, simulations, etc. for the same reason Python often is today: libraries and existing code. I had to convert a simulated annealing algorithm from Fortran to C in the '90s
The article is about Chrome, which is a monopoly-positioned product, making a change, upon where the author has stated that as such, EV is really dead. I am not sure why talking about Chrome here would be an "odd focus". When the dominant party does something, it means a lot more than when a minority party does something.

EV has issues, which the article exaggerates (Troy Hunt has amazingly good services, but absolutely terrible opinions), whilst failing to recognize that the alternative is completely useless.
Laundry. That just might be the perfect example. What a huge division of experience between the wealthy and the less wealthy.

Most homeowners have laundry in their home. Starting and switching loads is a few minutes, and the rest of their time is still free. Many high-end apartments have laundry within a short walk from each residence. It's largely the same experience. But then those with less ability to afford "nice" housing often have to use shared public laundromats that are not as close to home. You probably plan a trip once a week or two, and it takes you several hours. If you're lucky, it's close to other errands, but since you've got your hands full with your laundry, it's not like you can really combine it with grocery shopping.

In a future where everyone drives EVs, the wealthier will have higher range vehicles, easy access to super fast chargers, and even chargers in their home or luxury apartment. But the poor, with lower range vehicles, will just have to visit a mediocre public charger, and hope they can make that time useful, or read a newspaper while they wait. They'll have to be more thoughtful about how they use their car because going an extra 20 miles for some unexpected errand might screw up their schedule and send them to the public charger where they can waste a half an hour of precious time waiting in line and getting a partial charge.
I agree. They do pay for things while they are here. But they are not paying for everything they are getting. For example, have they paid for all the infrastructure they are using? Or for the 100 years of parks conservation? Or the US system of law and order? They are not paying the full price.
I could say the same ad infintum about reddit, which is tons popular and still be right.
Google Cloud all the way, more secure by default and with optimization. Mainly GKE and some other services. We use Istio, gVisor, and SA binding for enhanced security. Need to VPN and container / source scan still.

AWS must be good for your business ;]
Either you're not understanding me or I'm not understanding you. I'm making a simpler point: some kind of authentication does indeed have to happen in TLS. Without it, TLS provides essentially no security.
Nice, sidewalk refilling has always been a thing http://2.bp.blogspot.com/_-LvpBoDIt4Q/TLcAQWn7TwI/AAAAAAAAIw...
> What is it about the driving that doesn't seem reasonable for a computer to deal with?

Computers are still learning how to deal with freeway driving, why do you think city driving isn't a harder problem?

> Complex parts come from more "human" standards, if you can only come out of a junction easily by making eye contact with an oncoming car for example.

If you want computers to drive alongside humans, this is still a valuable piece of information.
Not automatically coercing values is all that strong typing means. Getting a type error before you run the program is static typing. They're separate axes, and both useful to talk about in a language.
I assume we are all taking about Twitter and that's what I thought too.
nice results for a first go.
Keep at it. It's looking great!
This is my understanding as well, I remember reading something that said new power consumption is either flattening or decreasing because modern electronics and appliances are getting more and more efficient.
The class action would be against the banks for their negligence in protecting against said fraud.

It's bafflingly easy to get a new credit card from them with a couple key bits of info that everyone knows are widely compromised or otherwise readily available.
I think that loot boxes should be subject to the same laws as slot machines in the US (since they are online slot machines, right?).

If your state doesn't allow slot machines and online gambling then no loot boxes for you.
If it does, you must also be 18 / 21 to purchase a loot box; depending on state law.

What's the loophole currently being exploited that prevents loot boxes from being classified as online slot machines?
By being able to easily plug-in at home, overnight, one always has a full battery in the morning. Especially nice if you can program things to charge during off-peak hours.
Near where I live, there's actually one in the parking lot of the almost derelict shopping mall. But that's also right next door to a particularly busy grocery store. There are usually vehicles in it and this is in an area (Mass) that doesn't have a lot of Teslas generally and certainly not in the somewhat rundown small city this store is on the outskirts of.
William Gibson put it nicely: every time one of these things happens, the job of sci-fi writers gets harder.

And now Psychedlic Warlord of the Cult of Dead Cow is running for President - but people are worried he's too mainstream and boring to elect. No wonder Gibson is writing recent-past stories these days.
It's not a shortcoming of the educational system. People need experience to be good at things. Engineers take years after school, doctors take years after school.
Yup, that's part of the issue.

Essentially we're in a world where we have rules, but how they are enforced, used, interpreted, is a huge judgement call. I mean, there's always going to need some level of interpretation, because those who author the rules aren't perfect. But the rules are frequently written with a heavy disconnect when it comes to said enforcement. So each and everyone of us is taught to start interpreting them in our own individual ways (and "us" includes the cops). That doesn't scale so hot at several hundreds million people+
People put 5kw of solar on the garage roof. When everyone has electric cars you also have a huge mobile battery fleet.
There need to be more chargers at places where people park their cars when they are not at home. That is parking lots at the work place and parking lots of malls and supermarkets. Parking at work would need little more than a standard plug, assuming you are 8+ hours at work. At malls and supermarkets, you would have medium-fast chargers, as you are parking for 1-2 hours.
And with the lastest gen fast-chargers, a recharge can be done in as little as 20-30 minutes, so having a good coffee store with WIFI along with the charging stations (no bad smells at charging stations) should mostly solve the problem for an occasional charge and wait.
> The fine also cites three Uber staffers by name, individually fining them between $1,469 and $7,344.

Those numbers are so specific that it seems like they're the actual fines. At that point why even omit the third one?
That can't be the complete story. If Uber isn't a registered company in Colombia, to whom is Colombia sending orders and issuing fines?
When I was in Colombia every time I took an Uber the driver asked me to sit in the front seat. I thought it was a bit odd but figured it was a local thing. It wasn’t until my way to the airport that my last Uber driver told me the app was illegal in the country so they ask passengers to sit up front to look like they’re just driving a friend.

It really ticked me off that Uber let me open the app and order a car, knowing full well I would be breaking the law, and gave me no warning or indication of the risk I would be taking whatsoever. As a young woman with only the most basic of Spanish skills traveling alone, breaking Colombian law isn’t a risk I would have been willing to take.
The degree should get you to a point where you can actually learn the job.

You hire juniors and give them as much work as they can do with supervision.
Some of the theories I've heard are (I don't necessarily agree with all of these):

* Higher intrinsic costs (i.e., labor costs, eminent domain costs, litigation costs)

* Outright corruption (this one in particular I'd disagree with for US costs, but I have heard people discuss it).

* Price gouging, either via corporate cost-plus contracts raking in money, or via union featherbedding, or some other way in which a lot of money within the contracts are for things that don't really serve any "legitimate" purpose.

* Political consideration forcing all projects to become "megaprojects" that are prone to sunk cost fallacies or scope creep and are not amenable to effective cost-control.

* Antigovernment trends shifting design and engineering work from public agencies, causing the agencies to be unable to effectively manage the construction of projects.
It's all ETL baby!
Fully Charged had an episode on Ubitricity:

* https://www.youtube.com/watch?v=rKaEhBjt1ls

This mostly works if the posts are closer to the curb, but in some places they are on people's front lawns so the sidewalks are completely clear.
Leveraged Loans and CDOs Have Significant Capital Implications for Banks
No one here is objecting to it as a standalone phrase, but as a replacement for a perfectly good phrase that existed all ready. There is no reason to change existing terminology and cause confusion; who decided this was a problem, any way? It reminds me of Bro being renamed to "zeek" because of the whole "brogrammer" thing, even though it was named before any one ever started complaining about that after Big Brother. It's not a real issue. I wouldn't have a serious problem with it, except that some one who wants to learn more is now stuck searching for one of the three other people who decided this was an actual issue and used it instead of MITM. Again, same as with Bro: now you have to search for two terms, even if you're familiar with the distinction. I can find posts going back to the 90s on Bro; "zeek" has very little in comparison.

It turns out even cloud flare used man-in-the-middle in the project, because it was in some other code, I guess: https://github.com/cloudflare/mitmengine/blob/master/process...

(line 24; now wait for some one to realize his "error" and change it.)
Wow. I've seen this in Thailand https://www.bangkokcheaphotels.com/roadside-gasoline/
i have a tesla model 3 and i believe that multiple smaller sessions are better for the longevity of the battery. elon has said that 'a plugged in tesla is a happy tesla.'

you're also only supposed to charge to 80 or 90 percent charge unless youre going on a road trip, since charging to the absloute max (and conversely, discharging to near zero) is worse for the battery.
Ow to Get Rich in America in 30 Easy Steps
That is exactly my point. The people that can plug-in at home find it very convenient, but if that's not an option, it's not convenient at all! So I don't understand why you posted that comment as a response to mine?
People usually is ambitious and stupid, a bad combination for sustainability.
In theory, there's no reason why an icon couldn't be signed and displayed alongside the pure text label.
The SSLKEYLOGFILE approach is a good one; the warning being considered for Chrome just makes it clear when it’s in use.

(Not that you could detect it by inspecting decrypted HTTPS if a closed-source app really wanted to secretly upload your contact list. In that sense, security best practice is minimal app permissions and reproducible builds.)
I'm retty sure PyCharm catches that 2nd one with a warning
As far as the reputation of them being rude I've heard it is more of a Paris thing (which I guess would translate to a New York thing) and not so much outside of Paris. I've not been there in many years but I had a very nice time, even in Paris, and I would love to go back.

I'm not from the US so depending on the relations at the time it might be a different experience. I assume when they were trashed in US media for not joining the Iraq war I there were at least some resentment against US tourists.
Some of the regulations needed to be broken. Cab companies provided bad service and corrupted local governments to give them monopolies. Breaking that has been a good thing but Uber/Lyft/etc have in many cases gone too far.
What is a free pass?
I would start with room level tracking using off the shelf BLE Beacons and work your way up from there. I've used beacons from https://estimote.com/ before, they also sell an indoor tracking solution that triangulates a smartphone from BLE beacons plus sensor fusion to place a user on a floor plan, but that might be too costly for your project at this stage.

Can you be more specific on "accurately". There are many indoor nav systems leveraging various radio technology (BLE/WiFi/LoraWAN), ultra sound http://cricket.csail.mit.edu/ , magnetic indooratlas.com. All have pros and cons and various levels of accuracy that depend on the environment.

Good luck!
If you carefully run the numbers a model 3 will pencil out quite a bit better than F-150 unless the truck is for work.

A few years ago I did the same with a Prius and surprisingly, if you drive a lot, a Prius was the cheapest car you could buy.
That's a perfect way to put it. Teachers, students, general school staff don't really have money. Admins don't and won't give you time to pitch.

I worked in an edtech product for years (as an employee) and met a lot of edtech salespeople. It was quite shocking to see how little money these sales people did. Which let me understand that if salespeople ain't making money, nobody else ain't either (in a general sense).

Oh and let me tell you about how labor intensive it was to deal with them. They all wanted pilots. Each pilot required their student population data to be loader. None of the data platforms followed a specific standard. I talked to Clever (YC) and Google classroom engineerscat different trade shows and they confirmed how difficult it was. Ended up doing my own system to import data into...

Anyway, save yourself the grief. Build it if you must, but be very pragmatic. It takes a lot if money and influence to break into this market and sometimes thats not even enough. I know because the founder of the company I used to work with was both very very very rich and very very very connected. Product is currently a zombie (though the company continues with it forward).
It's probably much more nuanced than that. Let's take the example of someone in country X using email that's run from the US - this doesn't per se mean that the email company is illegally operating in country X. It could be the users - but I don't think we'll settle it over a forum back and forth.

What does seem clear to me though is that Colombia is being disproportionate and possibly somewhat arbitrary & capricious in their response. What sort of country tries to ban people for 25 years! This is the bad parenting brand of legislation ("oh, you ignored my exaggerated threat. Damn"). And I'm not saying this out of support for Uber (can't stand them, which is what makes these kinds of stand offs a good spectacle)
why? (genuinely curious)
>I'm not sure I buy this argument. A reasonable person knows they can't have a billion dollars for winning a silly game. Yet, a billion dollars is indeed (sometimes) the Powerball award, and you can't deny the award to the winner saying "obviously you should have known we wouldn't actually give you the billion dollars at the end".

How is that unreasonable? How do they 'know' that considering lotteries absolutely do pay out?

It's perfectly reasonable to expect that a state/Nationwide lottery will pay out what it says it will pay out. The entire point of a lottery is that many pay and a few win.

A barrier jet as a prize is not in any way reasonable.