skysight-inc/HackerNews huggingface dataset:
Do you really think that there's no categorical difference between that, and what Assange did? It's an absurd analogy, with an absurd conclusion.

If you interpret a law absurdly, you will get absurd outcomes. Fortunately, we have judges and juries for that.
"Unlimited" plans just hope that not too many people use a lot of data. But if you're really one of the people who doesn't use much data, you might as well use a plan which charges per gigabyte, and then you're exposed to the real per-gigabyte cost. Market forces therefore keep the cost of unlimited plans roughly in line, and the per-gigabyte cost is still relevant even for unlimited plans.
I like how the forward-looking statement disclosure is longer than the press release itself.
Unitag is in use world wide and by some of the U.S. Armed forces
A modest proposal: Make it easier to pwn various twitter accounts. Uncertainty about authenticity for any given twitter message would compel journalists to verify the content of the message before repeating it.

Paradoxically, uncertainty about messages would slow down the spread of fake news and hate speech.

tl;dr: Tweets Are Not News.
WebGL doesn't have compute shaders. There are (gross) hacks that "emulate" gpu compute on top of stock shaders but they're limited and can't possibly compete with CUDA.
100% agree, I would to see a Figma for code.
One question: Is there any way to drop a file in the project, when clicking it, the editor will open new tab, which is the terminal ?

I'm using VScode, i don't know if there's an extension for that yet.
Mysterious American Hum Returns to Haunt Canada
When you put it that way, I can almost see the brokenness of the controller support in the PC port as part of the joke. Almost ...
That depends on the jurisdiction, doesn't it?
This is what gets me, too. LTE is great because it's mobile data - the range to a phone tower seems to be about the same as 2g/3g and the data rate is awesome.

5G is more like roaming wifi, and the data rate drops rapidly to the point where (iirc) if you're more than a couple of hundred meters from a tower it's no better than LTE. Why would I want this?
I mean, there's plenty of good non-electron editors out there. Sublime is still the best AFAIC, and actively developed.
It's hard to justify not having https on any site. Without it you are saying "you might get the intended HTML we sent ... or maybe not if the request has been intercepted".

Any other encryption system is not natively supported by the browser so would require some kind of plug in. How would you download that plugin? https?

Using JS to encrypt is a problem because you need to securely download that JS to begin with, requiring https or similar.
Most countries view it as a monopolistic tactic akin to how railroads used to be the only buyer for produce & grain in many rural areas of the US, as they would refuse to sell space for bulk goods that they also traded in.

Vertical integration is a strong force, especially when it comes to infrastructure.
I'm no expert but if you are at a dealership trying to become a mechanic by detailing cars that seems like a weird/longshot unless there is a specific program to take people without certification and apply them to their specialized program from being a porter. I imagine that most people that start off at dealerships probably start off certified or with experience. If I was this person I would ask an independent shop and also a chain shop (Midas, Jiffy Lube) what the best way into the industry was if they don't want to go through trade school and get a basic automotive certification. I feel like dealerships for better or worse generally aren't in the business of training people from scratch (or have stringent requirements from corporate on who they can have service cars for warranty work) unless they have a damn good reason.

Then there's also the usual questions you should give your friend: are you sure that this dealership knows you want to become a mechanic? Are they just wanting you to be porter? Are you friendly with the head mechanic and the mechanic staff or are you more friendly with the sales part of the dealership? Does the head mechanic know you want to become an apprentice? Have other porters become apprentice mechanics at this dealership?

It also is worth asking if the mechanic's shop is an hourly or flat rate shop. A flat rate shop maybe not be the easiest place to get an apprentice compared to an hourly shop where taking an extra five minutes to explain something is not going to cut another mechanic's pay.
I'm on 12.1.1, so I guess they changed it very recently...
Age is a protected class. But being a college student is not. I wouldn't rent to a college student/s regardless of their age.
Surely due to the recently top post on HN: https://news.ycombinator.com/item?id=19674218
Just because most users use their devices for entertainment doesn't mean that entertainment is a valid reason to need more bandwidth. Most users couldn't give a good gosh dang whether the resolution is higher on their 6" phone. It makes literally (literally) no difference.

Nice emoticon, btw. It definitely didn't make me completely disregard your opinion.
You can click the "I don't like this tweet" button in the dropdown.
Yeah. I really love Panic, but given the zillions of developer-hours poured into competing text editors, it's super hard to imagine a small team (even a talented one) competing.

There is room for innovation in the rest of the web dev workflow, which has gotten a bit weird since almost everything involves a compilation step now. Not sure how this could be achieved, but I guess that's why I'm not the one doing it!
I felt like this about microstuttering 10 years ago. My computer was running at 100fps and yet it looked jerky and nobody else seemed to notice, and it was driving me mad.

Thank goodness VR came along with its extreme latency-sensitivity and suddenly everyone else cared about maximum frame time too.
...huh. Interviewing in VA/MD, only once had a candidate wear a suit. Nice shirt and blazer with jeans/slacks seems to be the norm. I wonder if it’s micro-regional to DC? Or something about the specific software industry you are in?
Did you find much differentiation between half day and couple of days? Especially because some things that might take a couple days end up taking 30 mins (some efficient package already exists), and some half day things end up taking a couple days, so it comes out in a wash?
It definitely feels to me that the medical system is not really about "health" but about fixing things. A lot of doctors don't live particularly healthy lifestyles, hospitals feed junk food and so on. I am not saying they can't do their job but generally I think it would be better if part of working in the medical profession were to have a healthy lifestyle. For example a doctor who doesn't exercise himself or doesn't eat healthy food or is sleep deprived can sort of give advice to people but somebody who has first hand experience with a wholesome lifestyle can give much better, realistic advice.

A while ago we had a nutritionist in the company lobby giving nutrition advice but the fact that she was quite overweight herself definitely didn't help her credibility.
Mocking people for their poor choices may be in poor taste, or unfair, but it does not mean one is willing to take advantage of them.

He was mocking the users who had already made the poor choice of letting him take advantage of them.
The real mystery to me is why Homeland Security is guarding Zug island which everyone agrees is the origin of what Detroiter's call the Windsor hum. There are other islands with far more people traffic than Zug Island that aren't guarded by Homeland Security. Odd that the security seemed to start when the hum started. Is there something besides a steel plant causing this noise on an international border? I am wondering why you couldn't fly a drone over the island.
> If I'm to spend 8+ hours a day doing serious work in a web browser, the browser needs to be better.

Agreed! Jupyter notebooks are great, but I miss my Vim keybindings when editing code in cells.

(Plugins like Vimperator always collide with some native keybindings.)
If the service is built to maximize the benefit to users (instead of to maximize benefit to advertisers, or to maximize a corporation's profits), then I'd argue that you cannot charge even some posters.

Maximizing the benefit to readers means getting the most and best content. Charging posters will eliminate some posts which is bad for readers.

And when a poster is willing to pay, that means the poster is profiting from the content, which means there's some motive other than writing the best content for the reader.

So my argument is that any financial gain for the operator, whether from advertising or directly charging users, will diminish the value of the service for both readers and posters.

If the goal is the best possible conversation, then let's look to non-commercial models that remove the distorting and corrupting influence of profit.
How Well Is America Sticking to Its Promised Headways?
> then stop being a landlord and sell your property.

Or they could just do what they are doing now, which is completely legal.
Third planet found hiding in ‘Tatooine’ star system
Blockchain Goes to Work
These are some good points.

One small way in which Iodide advances this is that by having the editor being a single text editing widget (rather than multiple cells as you see in Jupyter and others), it should be easier to replace that widget with an alternative editor, or (using an extension) link to a native editor on the machine.

But all of these other issues, I agree, are things that would be nice to improve upon. I think in part this comes from so much of the "productivity on the web" stack is dominated by big players (Google Docs, Microsoft Office 365) there hasn't been a big push for interoperability and customizability. I'd love to see a movement around that (but definitely out-of-scope for what the Pyodide team can currently take on!)
I wonder how much work it would be to glue the games back together?
Stock is jumping after hours, not surprised as modems really aren't a core competency of Intel.
The stream is also in one direction.

I suspect an optical (laser) emitter could transmit either directly to Earth or to a retransmission satellite at GSO that already has a beefy radio downlink, and also serves as a regular comm sat.
I'm wondering if Apple decided to settle with Qualcomm, and Intel scuttled a presumably low-selling business, or did Intel abruptly close the business prompting Apple to suddenly settle?

Given that the settlement came in the middle of court arguments unbeknownst to the lawyers, I'm thinking the latter.
Intel couldn't make WiMax work right (too power hungry and low speed), their attempts to build an LTE chip have fared worse than Samsung and Qualcomm, to the point that they are a full 5 years behind their competitors, and their cable modem chipsets (Puma 6/7, used in the Xfinity converged gateway) are fatally flawed and DoSable with a few Kbps of traffic, while having horrible bufferbloat.

At this point I think Intel's entire advantage over the past two decades was being on the bleeding edge of silicon processes, paired with a middling silicon design team and good firmware devs that could patch most flaws in microcode.

The process lead has disappeared, and when working with RF frontends (LTE, WiMax, cable modems, WiFi) their ability to cover up implementation errors in the driver is limited.

Intel's prospects for the next few years look dim in this context, given the tens of billions wasted on the aformentioned forays into making radio chipsets and the declining revenue of their legacy CPU market paired with serious manufacuting constraints that have hamstrung their supply chain.
Math almost took out my great-uncle in World War 1
Of buyers or total ownership $ or units?
Breaks often?
> bad publicity on social networks

Exactly. Social networks moved support from private, hidden systems to a public channel. This benefitted the user, since the brand has more to lose from interactions that are negative, non-responsive, re-directive, etc.
It is really amazing how much money Intel has thrown away chasing "mobile" dollars. First, they squandered billions trying to make mobile Socs, now the last part of the company that can get inside a cell phone is throwing in the towel as well. While Intel was doing all of this, it managed to squander away its core manufacturing competency as well. I have a feeling Intel will be the next HP, sliced and diced for parts - none of which resemble the company at its best.
How Scotland erased Guyana from its past
Beijing Hires Hundreds to Manage Mandatory Party Propaganda App
Evernote also started recommending Chrome or Safari
It started as "dumb fucks" and has merely been reworded over the years into longer and longer policy documents and press releases.
you are absolutely right, the systems we have today are not fast enough. But they will get faster with every generation, and the fact that is is available in at least one next-gen console makes it more likely that the industry will indeed go in that direction.
Maybe I'm just an outlier, but as a front end developer, one of the _last_ things I want to do is spend time hacking my tool chain. What gets me excited is delivering new features and better UX to my users. Even a minute spent worrying about my development environment is a minute taken away from what makes me happy. Truth be told, my main complaint with VSCode and atom isn't really the non-native performance of Electron, but all the effort required to tweak, configure, keep plugins updated, replace outdated plugins with the latest and greatest, etc. Seems to be a microcosm of the entire front end tool chain these days. (First it was npm, then yarn, then back to npm; jasmine, no jest, now karma; LESS, SASS, postCSS; Babel, no webpack, what about parcel; etc.)

Even though my current work is all Vue and Angular, with a backend that's little more than a REST facade for MongoDB, I still find Coda to be the best development environment available, and I continue to use it all day every day. Considering how strongly Coda was originally tied to the then-dominant LAMP stack, I think that's a pretty strong testament to the product. (Or perhaps just a testament to my stubbornness.)

I won't buy the next version of Coda sight unseen, but it's hard to imagine what Panic might do that would keep them separated from my money.
I agree with the Disney premise, it had gotten comically cheap.

I think Netflix is worth less than half what it is presently trading for. I'll note I have no position in NFLX (long or short). Most of the valuation is story-based. I'm skeptical the story entirely survives the hard reality of Netflix being drastically outgunned by their three largest competitors. Netflix essentially contends Disney and Apple entering the space full bore won't slow them down, it's an absurd notion to pump to shareholders. If Disney is smart, they'll finish eating Hulu and use it as further value leverage in the Disney+ push. Apple now views such service offerings as critical to their future, so they're likely in it to seriously compete.

CBS is worth $19b, with $2.9b in operating income for 2018, compared to $1.6b for Netflix (at a $156b market cap). I like to hold that up as an example of what the medium is often really worth (obviously not meant to be a direct apples to apples comparison between the two). This is especially true once you move beyond some investor fantasies that streaming with monthly subscribers is somehow special. The ever larger capital blackhole of Netflix is a nice demonstration of the hard economic realities in expensive video content production.
LinkedIn Guide for Swift Devlopers
YC 2019 Summer Batch Results
Post here if you receive an invite, to share updates or keep updated on the summer batch, leave your email to join the discussion on this slack link:

https://ycsum2019applicants.slack.com
In a major reversal, Netflix will reveal some metrics for its most popular shows
> Hate to be that guy

Clearly you don't.
To me this is kind of strange, I thought Intel had a good reputation as far as Ethernet and Wireless drivers were concerned. Certainly much better than (old) Broadcom, Realtek, Ralink, ST and the like.
This is a highly detailed and interesting story about what happened to the sequel. This article is almost as amazing as the original post!

Also... am I the only one who finds it amusing that essentially 'Bureaucracy' led to the demise of the Hitchhiker's Guide to the Galaxy sequel? Makes me wonder if Douglas Adams specifically avoided working on the sequel just so that could be the case...
Surely? How are you sure of that when the post didn't mention any related reasoning? The weather forecasting thing isn't even new, it's just a blog post that happened to go out today.
Twitter is a great example of fairly talentless people with large egos somehow finding success, and mistakenly thinking it is due to their merits. If Dorsey was going to make a good social network, it would have happened 5-8 years ago. It’s a lot like Etsy - someone had drive, funding and concepts to make a project at the right time. However, they were not actually good at running a business and had no idea what the hell they were doing socially or societally.
R is plenty fast. Commonly it's calling C++. When I run a multilevel model, it's C++ I'm waiting on, not R. The tidyverse + ggplot2 + statistical tools + interactive nature makes working in R really productive.
Because they signed agreements as parts of the standards process to do so.
Associations came very late to Mathematica (version 10 if I remember right) and the whole of the tools in Mathematica had to be converted over. The result was incomplete.
Am I the only one who is made extremely uncomfortable by the bizarre diagonal margins on the linked page?
This is literally at the top of the article:

The move, by the Ministry of Electronics and Information Technology (MeitY), comes after the Supreme Court on Monday refused to stay an earlier order by the Madras High Court to ban the app.

So, the government banned the app on highcourt's order
Could you explain how that's related?
> One would think we need interest groups more.

Just put tighter limits on campaign contributions, like most democracies do.
Since a full version Mathematica is available on the Raspberry Pi, anyone who is interested has a very inexpensive route to getting a free copy. Mathematica is very functional on the Raspberry Pi and, I think, making the software available as such is very generous of Wolfram. Also for those who cant afford a Raspberry Pi, excellent mathematical functionality is available via the Wolfram Alpha website for free.
If this has solved the issue of automatically proving that any C or C++ program has no buffer overflows, why do we still see CVEs for popular libraries and software that result from them?
How about just letting the users have control over their own social media accounts/etc?

Why did social media go from a simple platform where people followed other people or interests to a place where they have to manage everything? How did it change from a platform where people can express whatever they wanted with whomever they wanted to a platform where social media has to say what people can or cannot say?

Seems like overnight social media turned from a place of user expression to a place of user control.
Friends is my most watched show on Netflix, but that's because there are 10 seasons with 24 episodes each (i.e. a lot of content) and it's just something that plays in the background while I do other stuff. I wouldn't care too much if it was removed, but I would if they took away Stranger Things, Ozark, Our Earth, The Crown, Altered Carbon, Narcos, Santa Clarita Diet, BoJack Horseman, Queer Eye, all the comedy specials and lots more.
On a strange note Intel who has been supplying modems to Apple has declared that it is exiting 5G modem space to focus on 5G infrastructure.
When Intel was making mobile SoCs, they couldn't get everything onto one chip, nor were they able to make a LTE capable device. What they were able to produce were $100 tablets and phones for the low end of the market that were subsidized to the tune of ~$30ea, or in the case of Wal-Mart's $50 Intel Atom Android tablet, to the tune of $40 to $50 per device in subsidy.
qutebrowser had a keybinding for opening things in vim IIRC
It seems like there's two slight misunderstandings:

> "oneOf": [ {"type": "number"}, {"type": "number"} ]

> { "oneOf": [ {"minimum": 0, "maximum": 10}, {"minimum": 5, "maximum": 20} ] }

"oneOf" requires exactly one match (hence the name), typically you want to use "anyOf" or "allOf". And there's no benefit in putting two identical values inside them.

> { "type": ["object", "array", "null"], "not": {} }

> { "allOf": [ { "type": "object", "properties": { "a": {"type": "string"}, "b": {"type": "integer"} } }], "additionalProperties": false }

JSON Schema is merely a list of assertions. Some test the type of the value (that's the "type" keyword), others test the value ranges within a single type. This way, you can allow values to be one of multiple types, e.g.: {type:["string","object"], minLength:1} means "Value must be a string or object; and if it's a string, it must have at least one character."

Some of the assertions are spread across multiple keywords, "additionalProperties" depends on "properties", for example. So, {additionalProperties:false} means: if value is an object, then only an empty object is permitted.

Some implementations can tell you if you're trying to do nonsensical things (like test the maximum length of a value that's only allowed to be a boolean), but that's up to the implementation to test for.
And the same day, Intel announces they’re getting out of the 5G modem business?

Hmm.
lol what a crazy rubegoldberg machine - like the person beneath asks: why not just use "native" python
In my experience, having mastery over one language translates more or less directly into being at least journeyman in all others.

If you are working with an apprentice, whatever you do, it will seem like you are really experienced.
Takes me back to my first year at university in 1979/80 when I used mind maps to take lecture notes. A valuable contribution to learning technology.
It wasn’t squandered—I was able to use their investment in my personal growth as a springboard to a FAANG career.
Turing completeness as the ultimate measure of expressiveness for programing/logical systems is a myth. I argue every interesting program you may want to write is either terminating, co-terminating or step-indexed. Terminating programs are well understood (using structural recursion, inductive data, etc). Co-terminating programs are stuff like servers/daemons/guis: you want them to (possibly) never terminate and always progress (respond) in finite time, these are expressible using coinductive data, structural corecursion etc. And lastly, if you have a program which may hang for an indefinite amount of time, you really should put a timeout (or heck, a co-timeout, eg some kind of heartbeat), that's step-indexing.

So no, Coq and other "total" programing languages (agda, idris, F*) may not be turing complete in the usual sense because the two things are contradictory, but they are much better: you can simulate a turing machine as a server which will be provably always making progress in finite time.

See this paper for some more insights:

https://personal.cis.strath.ac.uk/conor.mcbride/TotallyFree....
Join Slack group to share your updates!
I believe GP may have been referring to this line (emphasis mine) in the article suggesting Apple will now be using Qualcomm chips again.

Companies have reached a global patent license agreement and *a chipset supply agreement*
Apple currently buys 4G modems from Intel and presumably Apple is shopping for 5G modems. If Intel no longer makes 5G modems then Apple needs to buy them from Qualcomm. Or it could be the reverse: if Apple has decided to buy 5G modems from Qualcomm then Intel has no customers for its 5G modems and thus decided to cancel them.
Intel Throws in the Towel on 5G