skysight-inc/HackerNews huggingface dataset:
I know, I run NetBSD on my A1200 as well. I have it set up as a dual boot.
That's completely irrelevant or disingenuous. Obviously you can prorate an annual wage to Basecamp's advertised hours per year of work.
https://www.nand2tetris.org/ goes through the same process. Highly recommend!
Arby’s looks to add plant-based Impossible Meat to menu
The infamous flight 203 to Cali on November 27, 1989, was allegedly taken down by a bomb planted under orders from Pablo Escobar.

This is the government story.

However, further investigations imply the failure could have been the fault of a fuel pump and Boeing tried to cover it.

https://www.elespectador.com/noticias/nacional/avianca-203-h...

https://www.airliners.net/forum/viewtopic.php?t=598797

https://gosint.wordpress.com/2017/11/30/suspicious-aviation-...
Looking at it from the perspective of a developer tasked with making a proper app from a spreadsheet, you're bound to come to that conclusion. But that's with the benefit of hindsight and with a massive dose of survivorship bias.

Of all the spreadsheets that start out exactly like the ones that need to be converted to an app, how many were thrown away having served their temporary purpose just fine? How many of them never outgrow the immediate needs and skills of its creator?

Perhaps spreadsheets should be seen as tools for business process prototyping. Starting a proper software engineering project only after a task has outgrown its spreadsheet based implementation may be a pretty efficient approach.
Why do you take it as bragging?

People on HN can afford it because they get paid a lot. It’s pretty simple.
Also, the buyer would be assuming $11B in debt rather than 600M in 2013.
> Technological change is about disruption and this is just disruption. To oppose it is to oppose technological progress in order to protect incumbents' market shares.

Do I take it you are in favor of Sci-hub and against Elsevier's efforts to protect its market share?

After all, what could be a greater disruption than using zero-marginal cost data to do an end run around a publisher restricting access to journal articles?
I've seen this notation in a video [1] on Graham's number [2] by Numberphile. It's a pretty interesting video for seeing how quickly the numbers get unimaginably massive.

[1]: https://youtu.be/XTeJ64KD5cg

[2]: https://en.wikipedia.org/wiki/Graham's_number
Sorry, I was unclear. I agree that the demo does what it intended to do. I was just listing a few additional reasons to believe it may not be physically accurate as-is. I know from previous discussions on HN that many readers are interested in this.
Just like electricity, Facebook is an enabler of business, just on a higher level. That being said, I don't believe it's as important, just that some kind of a comparison can be made.

The reason I think it is important is that FB and a few other websites are the new public square and are a major driver of social trends. Curation of this platform could be what kills them, if some people realise they can only speak corporate-friendly speech.
Some drivers have to unload their trucks depending on the load and the receiver. For multiple LTL (less-than-truckload) loads the driver might stop at multiple facilities and unload a handful of pallets at each.

This would be more likely for smaller-format discount retail like, e.g., the Dollar Store or a restaurant supply chain.
Slack Channels you should NOT have
> This approach may require a grace period to be established as a wider guideline as it’s significantly different from what web developers are typically taught.
I remember in my college class that went over logic gates and all that, we had to make some circuits in a simulator program. I think we eventually made cycle-based adders in it. I'm pretty sure you could make a full CPU like that too.
I can't help but think to myself "how does this person live here?" whenever I interact with a service worker in SF, particularly one that doesn't appear to be in school. It's not a healthy reflex but I have to admit I have that thought all the time.
Not the case for LCDs with variable brightness backlight regions.
Yep. Good luck, buddy.
Yes it is, or did you go ahead and install that blackbox geico has been trying to sell you?
The waiting periods are supposed to mitigate transient issues. However, our current legal system doesn't have a process put in place to preemptively deal with "maybe in the future". We have a reactionary system. If you are granted a driver's license and are diagnosed with a seizure disorder then (given the severity) your license will be taken away. How would you suggest screening for illnesses which have yet to be diagnosed? How would we fairly apply your policy to all Americans so that it is not discriminatory toward any group?
Hey, if the car manufacturer wants my data, fine. But they should have to buy it from me, not be allowed to build a system that gives them my data for free by default.

What Tesla does in particular is extremely egregious: Even if you don't pay for Autopilot and hence can't use those sensors, Tesla still collects data using sensors you own on your car!
The flipside to it is, during slow hours you still have the robot at the ready to help the odd guest. The robot just sitting there generates virtually no costs (bar the minuscule amount of electricity to maintain situational awareness), while at the same time freeing humans to do more important tasks. Which may very well be family and social life.
Agree. Any activity that is so hostile to other people should be monitored aggressively, and privileges revoked for the slightest reason. By the same token, you should need to file an individual route permit anytime you want to exceed 20 mph in a multi-ton vehicle. The externalized social costs of designating ~25% of our cities' surface area to violent human exclusion zones is hard to overstate. For one example, it's become rare for children to walk (to school or anywhere.) How much is that worth?
Go to "about:profiles" and make your old profile ("default" by default) the default profile again, then restart Firefox.

This was indeed a fucking terrible way of doing this: "Hey, we've just hidden all your profile data from you and to get it back you need to sign up to our web service!"
> an extremely easy way to prove that fact

What is that way?

I read your link but my layman's brain couldn't parse it... well enough to understand it.
It's irrelevant if market rate is below what you pay, as long as you can afford it; employees won't complain and leave for being overpaid.

The Google masseuse got $millions (in the IPO).
With the Soviets putting a recording device into the one driving through the FBI's office.

Such an odd thing that it might as well have happened, sadly I never managed to find any real history behind it.
Totally good idea to do that. I just want other readers to be aware for what applications that is useful and for what applications other techniques are more appropriate.
Congrats !

This reminds me of this amazing computer done in the cellular automaton Wireworld.
https://www.quinapalus.com/wi-index.html
"What carmakers are doing with the collected data isn’t clear."

Carmakers will reduce the mortality rate from motor vehicle accidents to almost zero (with full autonomy), using the collected data.

There were 37,133 MV deaths in the USA in 2017 (more than 0.01% of the population) according to Wiki.
https://www.tesla.com/about/legal

there is section for "From or about your Tesla vehicle"

Its a bit weird to agree to this when buying your vehicle and complain about it later.

Its not like they are doing it behind your back like FB, they are telling you upfront what they are collecting. how can you possibly have a problem with that.
Well said, we need a strong government entity to actually police data and how it is used. And, like you said better privacy regulation to mark the difference.
Wow, the morons at the Google gulag are at it again. It wasn't enough that they embarrassed themselves with that shell style guide vomit.

Superheroes.
Raytheon discloses future lasers that can stop hypersonic missiles
> A new decent sedan is $25k no matter where you live.

In the states of course. That logic no longer applies in Singapore.

But yes, many expenses are fixed across the country; they might even be cheaper in high COL areas (international travel, foreign food). So 100k in mobile Alabama isn’t 200k in SF. Once you get over your housing differential, everything else is much more mellow.
I think the argument is that comparable housing is not the same percentage of your income is both areas - ie, people in a LCOL may be paying the same 20%, but they live in a two-story house instead of a room or tiny apartment.
It looks like that may be related to FF now creating a separate profile for every installation. That was apparently targeted for FF65 originally, then bumped to FF67:

https://groups.google.com/d/topic/mozilla.dev.platform/hVeJS...
I don't understand: since when are those structure tags optional, and in what browsers and browser versions would this work in?
Fossil Fuel Companies Push “Market-Based Solutions” to Climate Change
That's really odd. Had you used that profile with a post-67 nightly at some point or something?

Some more information about the profiles involved here would be really useful. Are you willing to file a bug at https://bugzilla.mozilla.org/ ? If you do and give me the link to it, I'll get people who know the right questions to ask involved...
2019 redefinition of SI base units
I assume you don't use a smartphone, for the sake of consistency. It's really hard for me to draw a distinction between home voice assistants that you can activate via a voice command and smartphones that you can activate via a voice command.
> if your driver has issues with any of those calls (e.g. bad application auto-detection) it can cause things to crash or have undefined behavior.

If I understand it correctly, that's one of the perks of WebRender: by using the GPU more like a game engine would, we're relying on code paths that tend to be better tested / more reliable.
Is it advisable to fire someone who does 80% productivity instead of paying them less and saying thank you? Bonus culture says No.
> I barely made it work well enough to get an ok grade but I learned that overconfidence can be more dangerous than the lack of.

That is a very important lesson.
There's a large number of early coins that are publicly known to belong to Satoshi, all he'd have to do is move a few of them around.
Is there evidence that the big name home devices like Google Home and Amazon Echo actually collect your speech? I was under the impression it was just a small ARM board that uses recognition to execute commands. My mom has a Dot, but I am clueless.
Interesting... I have never done this except on small test/toy projects at home. I think the main downside today is probably just that the structure of the document is sort of implied, and it may be unclear to new developers why its possible to style html/body when they don’t exist. It does work consistently across browsers last I checked, though.
I'm not sure if supply chain optimalisation is the same as manufacturing robotics that Tesla needed though
This is my guess also. Even in large engineering-driven companies, you often discover during your very proud (internal) talk about Shiny New Tech that other people in the group have been doing it for some time...

But you never know, maybe I looked in the wrong parts of the Internet.

I'm genuinely curious though: since most of those projects are open-source you'd expect to see some traces of some activity/problems on GitHub or on mailing-lists, and... well... Not much to be seen.

I've seen some rare papers with CBMC and I know the tech has been ported to Java, javascript and apparently something is in progress for Ada ?

angr I tried very hard to use on Ada programs but it seems the VEX lifter and CFG builder couldn't handle simple Ada programs (wasn't patient enough to submit this on GitHub...). But for C programs it's very fun and all scriptable ! There is also this nice of a 'pluggable test environment' (deepstate from Trail of Bits https://github.com/trailofbits/deepstate) that allows to switch between hand-written unit tests, fuzzers, and symbolic execution (letting you decide which variables are Symbolic, which are concrete...) with angr. Also some cool stuff mixing AFL and angr (driller) and another project mixing Intel PT and angr.

KLEE seems to have the most papers (quantity and quality), just landed support for C++ and upgraded to a recent llvm...
Not any more of a threat than regular bicycles pose to regular cars.
We used to just tell people it rained here 400 days/year. And even then, it was mostly to keep the Californians away.

Doesn’t the twin cities have snow and cold winters? They could use that to similar effect.
> does pretty much of what WA does... it's a linguistic engine

Wolfram Alpha is a symbolic computation engine. I'm sure it does some natural language parsing for queries on the website, but I doubt that is an important feature for most developers considering this engine for production applications.
> not be allowed to build a system that gives them my data for free by default.

What do you mean by 'not allowed'. you have the option to not buy tsla if its such a concern to you. There are tons of ppl who are ok with giving out their data for free why shouldn't they be 'not allowed'.

Weird agrument, I don't like it so noone else should either.
> For file size optimization and scannability purposes, consider omitting optional tags

They're seriously going to say that removing `<html></html>` is a file size optimization? Why does this make it easier to scan?
Then you get "females tend to be promoted less frequently than males" and the argument continues.
Excel allows for the democratization of technology, decreasing the barriers to entry and allowing for easier user experience.

People/teams/companies need different degrees of security, complexity, data, etc to their day-to-day operations. Someone may be interested in fiddling with data without others seeing, others may not want to share certain data broadly (answering your point below). Excel has served as a way to unify these needs for the most part. Some other options available tends to fall on the outer-layers, where excel may not be optimal and someone felt a specialized tool could improve speed/quality/cost.
Electronic Signatures and the Signature Card
I've also read that it takes more power (battery) to render black than it does white. Combined with the need for more brightness it doesn't seem like a good solution.

Calibrating my monitors took them from having piercing bluish whites to more softer pinkish whites and reduced daytime eye strain significantly.

I then use Redshift at night with the undocumented "preserve" switch to combine my icc profile with the Redshift changes.
The HTML5 specification says where they're optional, so any browser that properly implements the spec
That's roughly how I do it for Eveem.org (Ethereum VM decompiler) - what you see there is essentially an output from the symbolic execution trace.
They are implied. I believe this dates back to when browsers supported non-standard HTML and the behavior of doing it was cemented in HTML5 (like tag soup and so forth.) Since it was based on existing behavior it should work even in old IE, just like the doctype.
PEP 594 – Removing dead batteries from the standard library
If the device is the primary contributor in terms of “creating the data”, then why are users needed?

The users and their personal behavior and usage metrics are obviously the valuable part of the data — not the device that logs and measures the data. Also, (though I’m sure there’s “semantic” nuance in this too), the users are the ones who pay to possess and maintain the data-creating device.
Not to pick on you two: but a feature that implements the same concept modulo changes to the source code like friend declarations (first example) or naming (second) is the very definition of a merely syntactic difference. Rust represents the same stuff, it just does it in funny ways. That was my point.
I was hired in a sort of similar way.

Granted I was paid and there wasn't an official probationary period... but i just understood it to be that way.

After 3 months the company was satisfied, I got a raise(s) and it was all good.

I was so much happier doing actual work rather than just trivia and whiteboard type discussions in order to prove myself.
Satoshi is known to have mined the first several blocks for Bitcoin. Each of those blocks has a coinbase address where the miner fee was deposited; each address encodes a public key.

Write a message like “I am Satoshi. Here’s a boring detail which proves this message was created on demand.”, sign with corresponding private key, post the ~10 lines of OpenSSL commands which verify that the signature matches. The end.
How would that solve the issue of editorial control being impractical? It would make it strictly MORE impractical
The arrangement I described above assumes no need for active monitoring for long-distance driving. It is the most monotonous and least technically-complex part of the process and the driver would be free to do other things during it.

It’s not the same process as the autonomous urban driving being attempted by Waymo et al. Driving from Phoenix to Dallas on the highway is far simpler than driving around Phoenix.
> Why not have that data go someplace it could do real good in informing better safety systems, better traffic management and so on.

Sure, why not? The issue isn't about the data going there (it's not going there anyway), it's about who can tell where the data can go. That's the definition of ownership. Data generated by my car should be owned by me, I should be able to give them to the public if I so choose. But more importantly, I want to be able to easily access this data.

As others say, this is not extreme, it's common sense.

Tangential: what irks me about data ownership discussions is that they tend to divide people into three classes: the government, the business, and the unwashed masses, i.e. consumers. I'm a member of the fourth group - technically sophisticated enough to do better job with the data than your average businesses, but not interested in building products - just DYI one-off solutions for myself. There's plenty of people in this class, but it's always pushed aside as a "small minority".
Where is their growth gonna come from though? Their margins on iPhones are not sustainable and there’s no huge growth in general purpose computing on the horizon. If ever a company was primed for a capital-intensive moonshot it would be Apple.
This seems like insane advice. Even if it's technically permitted, the HTML5 spec page they themselves link to shows a bunch of caveats and exceptions that make it risky.

And for what - to save literally 10 bytes?
Since pretty much forever. HTML 4 for sure, probably even earlier.
On the contrary, the how you do it includes where and when you do it, which is a major privacy concern. Sure, a black box to get telemetry after the fact might make sense, with specificity and my explicit knowledge when access happens. I'd have a hard time turning that into free data for any particular company or government to have though, vehicular deaths aren't the only issue in our world.
Huawei seems to see the US bans as a way to bully Huawei, and perhaps a way to bully China as well. Some of the Chinese people I know think that the US wants Chinese to stay poor, that the US is jealous of the Chinese's success. The press release is basically painting the story of the underdog resisting against bullies, and thriving against all odds.
Show HN: Polaris – validate and enforce Kubernetes best practices
Sackler Became the Most Toxic Name in Philanthropy
Thanks for the heads up! We'll get that fixed.
TL;DR

HTML has been deprecated in favor of Google Markup Language (GML).
Thanks, have they EVER moved?
Actually traditional tft displays need to apply a current to turn a pixel black, so if you don't use adaptive brightness that would dim the backlight if the display is mostly black, you actually consume more power with a black theme. I have a low power Pentium notebook with 15" led backlit screen and the difference between a terminal with black or white background is significant.
If he wanted to prove that he was Satoshi, couldn't he just move some of the BTC out of one of Satoshi's wallets? That would be proof enough for me.
In my reading of this, I wouldn't say they "recommend" it, but that they recommend considering it. Their link is quite clear that HTML 5 makes these tags optional and gives an unambiguous mapping onto the traditional structure.
>Wrong.

How petulant.

> Car cuts you off unexpectedly? Easy, slam the brakes in a Tesla. Truck? Crash and kill the people in front of you.

Again, how is this different between a computer and a human driver? As far as I can tell, the hardest part of self-driving is accurately seeing the world. Once you see a car, it's fairly easy to make the algorithm pessimistically assume that any car that can cut it off is likely to do so. If the car manages to cut you off anyway, you're going to "crash and kill people in front of you" either way, except that you're probably going to kill people over so slightly less often with a computer that makes the decision to brake 100ms earlier.
Ok, you've got a point, I've just never seen it used that way (though too be fair, I haven't often seen it used, probably for the reasons we're discussing).
How much of a difference would this really make?
They live in outlying towns with bus service to Manhattan. You see them waiting at bus stops on Saturday mornings waiting to come in to work when everybody else has the day off.
You're right, but people aren't talking about the % of their income they pay in housing. They're talking about how much is left after they pay for housing.
I wish cities would commit to bike-only streets.

E-bikes are unbelievably fun ways to get around.
If he is Satoshi he could sign a message with the private half of a key known to have been used in the past by him.

Details of public/private keys, hashes, etc are important, but at the core the idea is simple.
Oh oh, a room for a shameless plug! :)

I managed to use symbolic execution to build a smart contract decompiler - Eveem.org. What you see there is essentially a trace from a symbolic execution of an Ethereum contract, plus some postprocessing.
Maybe? There are always people on duty anyway and the robot contraption probably takes up way more expensive urban space than any cost savings it brings. I'd be pretty sure the robot is far more about having a hip urban vibe than any sort of ROI.
So I'm supposed to assume a browser properly implements a specification?
A very large portion of tradesmen have associates degrees. In fact, I often wonder if the tradesmen are artificially boosting the income statistics of degree holders in general.
for googlebot, naturally
I think you are confusing Wolfram Language (WL) with Wolfram Alpha (WA).

> my MIT licensed open source project Resin [0] does pretty much of what WA does

Does it? Resin looks more like an NLP framework at a quick glance. WA is an actual answering engine with data included. I fail to see a comparison. Not to mention the website is down.
I imagine we'll see a lot of outrage on this, especially from the affluent students who didn't know they could do this. I mean, we all want and believe the SAT and college admissions to be a meritocracy. Given their extra influence with the WSJ and other reporters, I await the clarion call against this sort of hidden special treatment.
Hey that's why I've built this! http://foxie.cool hope you can find some use in it.