skysight-inc/HackerNews huggingface dataset:
So what happens when an HTML-compliant browser renders a document with <amp-img>? It won't be what the author of the document intended, because the browser will skip the <amp-img> tag. The document is only interoperable if all browsers load and execute Google's Javascript that defines those tags. This type of technically-valid with obviously functionally incompatible is a perfect example of the Extend phase of the EEE[1] strategy.

HTML has always tolerated out-of-spec tags, because it was originally designed as an application of SGML (defined by an SGML DTD). Since then, new tags were regularly added (and generally tolerated by older browsers), but the practice of defining new tags in a DTD has gradually stopped happening. Web Components accomplish a similar role but replace the use of the declarative language in a DTD with a requirement to run a Turing complete langrage. Making the definition of new tags undecidable is a powerful way to tightly couple browser implementations under Google's control.

[1] https://en.wikipedia.org/wiki/Embrace,_extend,_and_extinguis...
If given that most people charge their phone once a day and doesn't actually need more battery efficiency, and battery efficiency is the only benefit, are there then no actual benefit from 5G?
Aha! So I wasn't crazy that Twitter was changing back to their algorithmic feed every so often
I really like that old windows logo. Nostalgia, perhaps, but so much more appealing to me than the current logo.
The hardest part will be keeping up with the rapid clip of today's web without the backing of an open source community writing extensions in JS itself. Supporting the babels, TypeScripts, and Flows of the world as they pop up with only an in-house team will be difficult.
You interpreted hackability = ability for you to spend your time hacking on it.

But I think they were going for hackability = other people will be more likely to develop plugins. The lower barrier to entry is basically one of the major upsides of Atom/VSCode: their plugins tend to have cutting edge support.

For example, iirc Atom was the first to have a good plugin for Elm lang (elm-jitsu). Meanwhile the Elm plugin for Jetbrains' IntelliJ came later as the result of the effort of two Microsoft employees spending billable time on the somewhat academic project.

A better example is that the creator of elmx ("JSX for Elm") was able to create an Atom plugin for their basically experimental library: https://github.com/pzavolinsky/elmx#atom-integration

I also think this differs from "hackability" when used with Vim/Emacs which does mean "you will be hacking together your .*rc file" which is definitely not how I'd characterize VSCode/Atom.
The context here is we are based out of Hyderabad(india) we do not have easy access to top universities mathematicians where the fundamental research happens in math.

We are trying : https://www.thehansindia.com/posts/index/Young-Hans/2018-11-...

As far as I know, I think he might have sent it to journals and conferences. but the problem is for them to consider it as it is a very big problem in math they look for some initial validation from the community I may be wrong.

This is my attempt to understand how the hacker news community would validate it.
Well, seems like exactly the test you would want if you are testing the 4G network or your phone.

Lack of competition and sensible operators isn't 4Gs fault...
Greybox Fuzzing – Generating Software Tests
Y'all have forgetten about HotDog HTML (best downloaded from Tucows and paired with Webmonkey as a reference guide).
Cool! Looking forward to that.

A temporary work around in the meantime, I've used `chattr +C` on the directories I want to be exempt from zstd compression, so that grub can read those files.
And Samsung can stop selling apple screens. But they don't, because they realize they need the revenue for things later on.
While I think it's unrealistic to write Intel's CPUs off any time soon, ARM has been having a very bright present for years, haven't they? There are roughly 5x as many smartphones sold every quarter as there are PCs and the vast majority of those phones are using ARM-based CPUs -- in terms of units in use, there are way, way more of them out there than there are Intel CPUs.

As for ARM CPUs seriously moving into the PC space, who knows. It hasn't happened yet, but there's an ever-increasing amount of smoke around the likelihood of ARM-based Macs. It's silly to think that in five years Intel will be a destitute, hollow shell of its former self -- but it's not silly to think that ARM-based PCs are going to not only exist, but be both common and seriously competitive.
Bezos vs. Musk 2.0
> AMP doesn't load in a privacy sensitive way. It's on Google's servers

Only if you load the page from a Google SERP, in which case, Google would already know if you visit the page. If it's loaded from a Bing SERP, it's served from a Bing server, and the same for Baidu and other AMP caches. This is far more privacy preserving than preloading a page from some third party web server that the user might never visit.
Not to knock a man while he's down but Mind Maps don't work.

https://en.wikipedia.org/wiki/Mind_map#Effectiveness

It's part of the myth of the existence of learning styles.

Personally I think these things allow struggling students an excuse to redo the material again or a lecturer two chances at teaching the material well. It'll work, but a better way is to do it properly.
You sound like preparing to use VS Code is like preparing to get vim right for your use. VS Code is far easier.

"Newest and greatest" can be achieved so easily, not sure what you're complaining about.

The real strong point is it has strong community of plugins to fill your use case which Coda is missing.
One Model to Rule Them All
I've seen this play out before. The history of jemalloc, particularly how it rapidly outpaced virtually every other allocator while under development at Facebook, suggests otherwise. At this point jemalloc is so good that there is little reason other than NIH to use anything else (unless you want an especially hardened allocator for security and are willing to give up some performance). Even Google uses it in Android.

Zstandard is likewise deservedly on track to dominate the lossless compression space.
Agreed. Honestly, I don't understand the 5G hype. Moreover, if a device has an embedded transceiver I don't control the network it's connected too. I literally lose control over the device. Short of shutting it off or damaging the transceiver.
What a contrarian thing to say.
Most hospitals now employ Registered Dieticians for meal planning. Nurses usually have little or no input.
Nah I see AMP staying around long enough to capture a significant portion of web share that they mine data from. Essentially is just a way to insert themselves as "the internet"
This was what I was watching most recently .. Nucleosynthesis the origin of elements in our Solar System Jim Connelly University https://www.youtube.com/watch?v=U6tFWA9FyGE
Maintaining the existing level of service as more people use their phones more heavily at greater population densities.

As I understand it, 5G is more about network scalability than about improving end-user experience (though of course end-user experience falls off a cliff if the network reaches saturation).
At some point they'll also start regularly flying the heavy. It's about 3 years behind schedule now, and their satellite constellation has much shorter timespans.
I am pretty sure Minter’s game functions as a hypnotic induction device. Luckily he has chosen to load it with a text generator that commands its user to EMBRACE ENLIGHTENMENT or ESCHEW SLIGHTLY WARM TEA rather than do anything horrible.

That is, unless I have only seen the decoy “subliminals” and missed the actual subliminals buried far too deep in the visual noise to make out consciously...
You may be thinking of this use cases section here: https://wicg.github.io/webpackage/draft-yasskin-webpackage-u...
Fair. At this point, the focus has probably shifted from that since these ISPs and cell providers aren't as technically limited as the United States was 10-15 years ago.

I feel like AMP started out this way at the core, "How can we ensure these web pages load fast and aren't eating up these users' data plans?", but then the dreaded parts of AMP like search rank preference, Google being the one in the URL bar, etc. were afterthoughts that were put in to make AMP widely adopted and to increase their stranglehold on the Internet as a whole.
What time will the result come
Microsoft Unveils Disc-Less Xbox One S All-Digital Edition for $249
That's a very niche view. Almost nobody will switch isps because of a duopoly if everything is currently fine on price and performance.
4G/LTE cellular baseband and RF is very hard to get right. Optimizing its power consumption for different scenarios is very very very hard to get right. The 4G graveyard is littered with companies that have tried and failed. TI. Agere. Infineon. Renseas (Nokia). Broadcom. Intel. All these have over time shut down their cellular baseband divisions. They've all released chipsets that work. But none have got the performance-power equation right. Phones built with their modems have all been battery drains that can't get you through the day if 4G is turned on. Qualcomm is the only supplier to consistently get this right.
Where does anyone say that cracking a password is a crime?

The allegation is that there was an agreement between Manning and Assange to crack the password for a US military network. Manning gave a hash to Assange, Assange tried (but failed) to crack it, and told Manning that the crack attempt failed. He also asked for more information that might help with the cracking.

The alleged illegal activity is the conspiracy to break into a protected computer system, not the (attempt at) cracking a password.

Those researchers are not doing their work as part of a conspiracy to break into other computer system. The feedback loop corresponding to 'asking for more information' by those carrying out illegal activities doesn't - at least for the most part - exist.

By analogy, locksport fans are not part of a conspiracy to break into people's houses, nor - at least for the most part - working with potential robbers to figure out how best to open a given house's lock.
Apple pressured to pull viral TikTok video app in India
It will not cost equal. It will be far more. Shotwell has hinted at this recently.
You're 100% right. Most of the Criterion collection (and many other things) is available for free to most people in the US. Just need a library card or university affiliation.

Ironically, Kanopy is the only film streaming service good enough to pay for, and you can't pay for it.
Are you plan to write any new Lisp books? Or any book for that matter?

Would be interested in reading anything you write :)
I have a 4G modem. Whenever I watch a video and skip forward a bunch of times, the connection hangs and I have to wait for about a minute before it resumes normal operation.

Is this bufferbloat? I guess what happens is that a bunch of packets get queued up and I have to wait until all of them are delivered?
The publisher's cookie-based analytics will operate on the origin in the URL bar in this case. The document (though not the delivery server) will have access to publisher origin cookies.

Conceptually, you can think of a signed exchange as a 301 redirect to a new URL which has already been cached by the browser (so there is no 2nd network event). The cache was populated by the contents of the signed exchange, assuming the signature validates.
PRISM is a data processing system that ingests data that the FBI already has. There is nothing in that system for Apple to participate in, willingly or unwillingly.
The allegation is at https://www.justice.gov/usao-edva/press-release/file/1153481... . All it says is:

> On or about March 10, 2010 ... Assange indicated that he has been trying to crack the password by stating he has "no luck so far".

I think that your inference is a reasonable to that description.
The podcast should be available in any podcast player — just use the podcast player's search feature. I use the Overcast app for iOS and recommend it.
> More than a dozen democracies have fallen in the last twenty years. Many times that over the last century

Is "the party I prefer has lost the election" the same as "a democracy has fallen"? Because I really don't see a dozen democracies that left democracy behind, and certainly not many times that. I suppose it depends on your definition of democracy, but for anything close to the common understanding of a modern liberal democracy, that just sounds ridiculous.
Maybe check out Dash by Plotly. It's helped me address that exact situation as well.
Amazon and SpaceX are nowhere near equivalent. SpaceX is relying on starlink to be a major portion of their revenue by 2025, far outweighing launch. That's all they have.

Amazon has retail and aws, and satellites will be nowhere near a majority.
Yes, but that actually works and makes people generally happier with it than if it were pitched as a penalty.

A good case study of this is world of warcraft's rest system when it was first introduced in beta vanilla back in the day. Initially it was called a penalty for playing too long; you would begin to receive less XP. Players didn't like this, so they rereleased the system and called it a rested XP bonus. Players loved it.

It may be manipulative, but if it makes people happier and results in higher usage rates for the system, then why not?
That really depends on the workload.
How is the market pricing this if the quantum has not been disclosed?
NVIDIA is the worst video card for Linux, if you don't want to install their blobs.
Campo Santo is the developer and Panic is the publisher.

Obviously we can't know Panic's involvement in the debacle, but the Campo Santo founder did take ownership of the decision by announcing it on his personal Twitter account. In other words, it wasn't a faceless Campo Santo or Panic blog post.

At which point I think it's kinda unfair to poison the comment section on such an unrelated development. This is currently the top-voted thread on a post announcing a code editor. Meanwhile, Vanaman is a creative writer for Valve.

How many more times will HN discussion around this editor have to be side-tracked by Vanaman's tweets until HN considers Panic atoned?
Obfuscated Erlang (2012)
"just for the Mac" bye.
JSONCoder
> A number of the reductions and restrictions in hero-pool were to allow for OG to have a fighting chance: All heroes with controllable illusions or clones were banned because OpenAI had too much of an advantage in "micro".

This one is not so certain. One of the OG players (Notail) mentioned after the game that the AI definitely had a few weaknesses such as:

* AI didn't bother checking the trees after the splitpushing hero disappeared from the map.

* AI doesn't handle invisible units well.

* AI has poor warding.

He said he regretted not exploiting these weaknesses more. There are certain splitpush ("rat Dota") heroes that potentially could have helped OG to the detriment of AI e.g. Antimage, Furion, Morphling, Juggernaut, etc. Instead, what we saw was OG using a non-traditional split push hero (Viper) from the limited hero pool try to split push, which failed because the hero got ganked too often (Viper does not have natural escape mechanism unlike many of those splitpush heroes above and he didn't itemize for splitpush e.g. Shadowblade first item) and it doesn't push very fast. With these splitpush heroes and well-placed observer wards, I think a splitpush-based lineup could possibly take the game.

OpenAI's play was very impressive. I did not see this coming after OpenAI lost to some of the weaker pro teams at last year's TI. However, I would give OG even chances at winning a longer series (Bo5 or Bo7) over 5 or 7 days where they could learn from OpenAI's playstyle and figure out strategies on how to exploit them similar to how in longer Dota 2 tournaments, we see initially successful strategies on Day 1 get countered by the tournament final. Another analogy is the 1v1 bot that OpenAI released. When released, even pro players would lose to it. However shortly after, the combined intelligence of the Dota 2 community discovered an exploit where if you lead the enemy creepwave into the jungle, the AI bot glitches out and the human player eventually wins [1].

[1] https://www.reddit.com/r/DotA2/comments/6t8qvs/openai_bots_w...
The patent clause is a pretty vague and open ended statement, and is clear that (a) it's giving Congress the ability to regulate something (b) to promote the common interest. Common standards are useful, so Congress has chosen to create patent regulation that prohibits refusing to license certain essential patents to your competitors.
I actually loved Coda back in the day. One of my coworkers still uses it a lot, but his entire workfow depends on editing code on smallish production sites via (S)FTP. I find that approach fatally flawed for modern front-end and/or not-so-small projects. I really wouldn't go back from my Webpack + Production CI/CD to editing live websites. Many of the performance improvements needed to achieve very fast websites these days depend on tasks that belong more to the CI/CD than to your local development environment. For instance the generation of critical CSS and webpack's production build, which is slower if it includes the JS and CSS optimizations. Finally, a deterministic (or as much as possible) process to upload the changes to production. I find Sublime Text better as an editor for that kind of front-end workflow and there's quite some good extensions I've favored throughout the years that don't exist in Coda. I'm curious and optimistic about this new Panic editor, let's see how it goes!
There are existing high speed satellite services.
Signed HTTP exchanges may be harmful, but Google is beginning to get enough dominance so they implement it and browsers with a minor market share must follow or are left behind.
some poor fellow is going to spend time that he could be using to cure cancer...

Wait til you hear about “forums” on the web.

People spend an incredible amount of time arguing about things in “comments”, when they could be curing cancer.
Direct link to github repository:

https://github.com/Microsoft/BosqueLanguage
I have several friends that make $10+ per downvote on HN. So my guess is that the fastest way to get downvotes is to write something that someone with a marketing budget wants to remove.
The Mass Effect series explores that sort of idea with a species-specific mutation that dramatically reduces birth rate.
Web Development, Illustrated
https://www.queryverse.org/

fin.
This is a very basic introduction to the topic. I don't understand why it is getting so much traction here. Am I missing something?
https://michaelpollan.com/reviews/how-to-eat/
What happens if other browsers don't implement it? It seems like they'll just show CloudFlare or Google's domains, instead of the signing domain?
Users like pages that load instantly, which AMP is a requirement for (via preloading).
Probably not. It's just crappy software.
Yeah, I think this feature and the signed exchanges standard both sound great. It allows CDN-like servers to host content without having to be trusted to not modify the content. That sounds like an improvement over the current CDN situation.

Also, sites that link to other sites can preload the linked site's content into the user's browser, without leaking the user's IP to the linked site, so if the user doesn't follow the link, nothing about the user is revealed to the linked site. That sounds like a performance and privacy improvement wrapped up into one. I'm finding the rest of this discussion thread extremely disappointing as it seems like most of the posts here are just "amp=bad and amp people like this so it's also bad".
The black-white wealth gap is unchanged after half a century
Google can only serve data from Google's AMP cache. Bing can only serve data from Bing's AMP cache. So you can't, say, pick an AMP provider, your website gets hoovered up by each individual AMP cache and served to users coming from their respective networks.

In short, only being in Google's AMP cache gets you good rankings on Google Search.
Teaching rigorous distributed systems with efficient model checking
The behavior for browsers without support is to show the google.com/amp URL as before, along with a small html-based bar with additional information about the original domain and share intents.
Show HN: MessageBook, an extension to limit FB usage to Messenger
I do agree that encryption is especially required on public WiFi networks. But WiFi login pages error because they mitm your current, encrypted connection. Your proposal would additionally add an error in a case where the user especially chose a http site to not receive a error because they're getting mitm-led. I never had any wifi login page that used a self signed certificate.
Plastic is a lot more ubiquitous and less biodegradable though
I learned vi mostly over a 1200 baud modem connection through a crappy ISP. Would get several keystrokes ahead and then have to wait... Got sort of good at editing blind.
Use a decent router on your side and configure it to rate limit slightly below the modems's limits. This avoids ever creating a queue in their boxes. You can run a ping while tweaking your router rate limit settings to find the point where it is just about queuing but not quite, to optimize both throughput and latency.
I'm very partial to JetBrains IDEs. To me it's either a great IDE like the JetBrains products or a great text editor like emacs or vim. I never really understood the folks moving from TextMate to Sublime, to Atom and as of late VSCode.

Is it really the low barrier of entry that comes with free and low learning curve? We spend so much time as professional developers with these tools that dropping a few bucks on a IDE or spending some time developing good vim or emacs skills seems like a obvious investment. These lighter editors seem like a low investment, low return choice.
I can’t see myself doing dev work under Windows at all. Playing games or something else where the OS UI never factors into the experience at all? Sure, but for anything else there are better options.

Some Linux distro seems more likely but I have yet to encounter a DE that gets everything right (for me) right out of the box or anything close to that. A ridiculous amount of config tweaking is required to get things into a state that suits my preferences, and even then there’s tons of stupid little annoyances that I’ll never be able to fix short of forking a bunch of stuff.