skysight-inc/HackerNews huggingface dataset:
I searched for that a lot in the past.

I wonder if the placement is optional, people could select what they prefer.

Looks like that is being deprecated in favor of something else: https://www.xda-developers.com/google-deprecating-bottom-add...
On demand PostgreSQL for your development environment
It was an option, and they already reverted it because of backlash.
To me, this high level news and the political system in China is terrifying because of the implications that they limit freedom. However, I rarely great about civil unrest in China. Is that because it's hard to get independent journalists to go there? Or, is the economic boom the greater good to most Chinese? Or something else?
That wouldn't be good, then I'd have to stop using DuckDuckGo. Avoiding Apple products is currently much easier than avoiding Google products (though after a concerted effort I'm now mostly managing that too) but if they bought DuckDuckGo I'd have to find another search engine.
They said "superficial stability". The point is that it looks nice and stable if you don't look too closely.
You forgot to include the link you were going to reference.
Here's a link to the meme summary of the convo:

https://twitter.com/jacobc/status/982348607658508289
That was 2002 and it obviously wasn't a problem since Wal-Mart was able to offer those PCs. Microsoft was barred from the OS-bundling type of deals by their '94 consent decree.
It seems that FRAND in this case is a farse.

Would be interested in informed individuals’ opinions on how the regulatory framework is falling over in this case.
Agreed. What can society, which creates corporations, do to limit the likelihood that they will "go rogue" to harm society?
> Not kidding. Its this circular 'meritocracy' argument that makes for insular, inbred organizations with few creative ideas.

Just thinking out loud here but what's the alternative? Random allocation of goods/power or random promotion of individuals/companies based on nothing?

At least in a meritocracy advancement of an individual/organization is based on some performance measurement - we can of course argue about different performance measures and sets of tasks - but we have some means of guiding society in a normative way.
Good point. If you haven't already, check out this talk by Donald Hoffman: https://www.ted.com/talks/donald_hoffman_do_we_see_reality_a...
Cutting out gluten really changed my life. I went through a phase where I was only eating every other day because I felt so shitty when I did eat.

When you end up with a disease like this it really exposes our blind spots in medicine. I even somewhat resent that doctors didn't identify this in me when I was young. It was 23 years of sinus headaches until a girlfriend did the research and told me to do an elimination diet.

While I had some digestion issues (high fructose foods, probably fructose malabsorption from my small intestine being wrecked) my main problem was sinus headaches. There seems to be an association between chronic sinusitis and celiac, but no studies backing that up. [1]

At the end of the day I've cut out gluten, sugar, caffeine, msg, and sodium nitrites as triggers to my sinus headaches. I went back and forth on a lot of these so I am quite sure of the relationship. I really did love bread, sugar, and caffeine and went back to them more than a few times.

The best I can describe the symptoms related to the sinus stuff is a withdrawal. For example, I feel OK when eating sugar regularly, maybe a medium bad headache here or there, but when I stop fully I get a horrible one, sometimes accompanied by throwing up, cold sweats, shaking, etc.

There is some research into opioid like effects of gluten. [2] I originally came across the concept on some fringe science about the bodies of people with autism treating gluten as an opioid (and advocating a gf diet for them). It resonated with me because the symptoms I experience are very much like a withdrawal. It's hard to talk about though because there isn't research backing it up.

If any medical students are reading this and want to study it, it's a pretty undiscovered field.

1. http://www.aaaai.org/ask-the-expert/coeliac-disease-sinusiti...

2. https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5025969/
I was thinking the same thing. Those locust plagues are hugely devastating...

Thinking beyond the snark for a bit, though, locusts might be an example of a species-level cancer cheating the “rules” of a habitat.

Humans? We just throw the rules away altogether and have historically written new ones that only apply to us. The difference between us and locusts, though, is that many of us fight back against our own short term interests and argue “hey, we’re a tumor right now. We should consider not being one of those.”
The Bloody Family History of the Guillotine
I'm curious, why would there be backlash against something that's optional?

They could leave the default as the least offensive option.
“Close to tears, he left at the intermission”: how Kubrick upset Clarke (2017)
You can't do reverse DNS for sites using SNI. Multiple hosts use the same IP.
A lot of the article just wasn't true.

System 7s redesigned happened because the old design was tied to fixed resolutions - the original iPhone's and the iPad's. Skeumorphism didn't scale with different screen sizes

Apple's extension system was already being used internally with Apple's hardcoded integrations with Facebook and Twitter used it.
GeoServer 2.13.0 released
https://www.sigops.org
(It's been a year and a half since I took a course on this, so I apologize for any mistakes)

You do need to define a deductive/axiom system before you can ask the question. We can use a few different standard deductive systems. We require that the axioms are sound. Then the system is complete. (I think one should also always be able to prove false if the axioms aren't sound... but I don't recall proving that)

ZFC isn't too strong. That sounds like a contradiction, but it isn't, because we don't have a rich enough vocabularly in first order logic to state the problematic statements that make it either inconsistent or incomplete in stronger logic systems. Every true statement you can state about ZFC in first order logic is provable.
I've worked a lot with TypeScript after a background in more type-y languages like O'Caml and Haskell and have eventually gained a real appreciation for the engineering tradeoff they made. This article sorta frames soundness like it's a feature -- one could have soundness or not, so why not have it -- when in really a specific technical term about a property of a language that programmers often don't understand (as evidenced by the other comments on here) and which has specific consequences.

Instead, I now view type systems as a tool that can make tradeoffs to get the job done, in the same space as "IDE" or "test-driven design". With those it's easy to make statements about the specific programmer tradeoffs, such as "test-driven design means you spend more time writing tests but gives you more confidence about the results". With a given type system, you can evaluate it like "type system X lets you get autocomplete in your editor", or "type system Y catches the common error of Z".

Meanwhile if you only focus on soundness you end up with counterintuitive results like where Java is sound but still has NullPointerExceptions everywhere, or languages like Rust where whole data structures and algorithms are disallowed because you can't express their correctness to the compiler. (To be clear I appreciate exactly why Rust must do this, but again you can evaluate that tradeoff as "preserves memory safety without GC, disallows doubly-linked lists" rather than "is the type system 'correct'".)

One view that really opened my eyes on this Gilad Bracha's talk on pluggable and optional type systems: http://lambda-the-ultimate.org/node/1311 .
What we could “donate” our personal computer while we slept to kids in need?
See also: https://github.com/twitter/storehaus
Grace with Less Class
The author's use of "type soundness" matches the precise, widely-accepted mathematical definition which is used in the literature. Type soundness does not require total functions, although they certainly make it simpler.

It is possible to encode the semantics of exceptions such that a reasonable definition of soundness is still provable. See, for instance, Chapter 14 of Types and Programming Languages by Pierce.
I would log by RPC or whatever to a remote computer.
JCodec – a pure java implementation of video/audio codecs
Interesting. It seems it should be illegal to require someone to pay for IP in a phone that doesn't contain it. I wish the Microsoft trial had made that practice explicitly illegal.
Incident Response: Writing a Playbook – Ryan McGeehan – Medium
I find this comment to be devoid of reason.
> Well, apart from bureaucracy being anonymous in essence, every restless activity makes responsibility evaporate. There is an idiomatic expression in English: "stop and think". No person can think without stopping [first]. When you force someone into a restless activity, or they let themselves be forced into it, you will always have the same result. You will always have the problem that a sense of responsibility cannot form. It can only form in the moment in which one reflects -- not about oneself, but about what one is doing.

-- Hannah Arendt (translation me, original here http://www.hannaharendt.net/index.php/han/article/view/114/1... , audio here https://www.youtube.com/watch?v=jF_UvHhbZIA )

And now for something completely different:

https://www.youtube.com/watch?v=sOjo2ggPRKE

Less isn't just sometimes more, and more isn't just sometimes less. Sometimes it's something else entirely: sometimes a little less is everything, and a little more is nothing.
Because if the benefit of the code being there isn't worth the maintenance effort required to secure, maintain, and develop it further, then it's removed in chrome.
This is a surprisingly interesting article about a time and place we don't hear much of.

> In 1988, an A-10 went down over the little town of Remscheid, setting fire to several buildings and killing five people on the ground. I remember an evening news comment that the “images remind you of a bombing raid.” There were rumors that the A-10 had carried uranium-coated ammunition. On the internet, you can still find some Remscheid truthers convinced that it was so.

Well, the depleted uranium round was one of the options for the A-10. But "uranium-coated" sounds like a misunderstanding, as if they coated the bullets to spread something radioactive around. But depleted uranium is used because of its density. The fragments are highly toxic though.

From an A-10 site: Using the cannon, the A-10 is capable of disabling a main battle tank from a range of over 6,500m. The cannon can fire a range of ammunition, including armour-piercing incendiary rounds (API) weighing up to 0.75kg, or uranium-depleted 0.43kg API rounds.
Break ROT encoded text, right from your terminal
Worth trying out the third party reddit apps, like Alien Blue (before it was acquired by Reddit and ruined).
They've been making compelling vehicles but no one cares because everyone is still scarred by 70s-90s quality. Would you even test drive a Buick if you were in the market for a Toyota or Honda?

Also, there are far more American cars on the road in the Midwest compared to the urban coasts, so your observation should include geographic location.
They did: HP's Elite x3. You can find bundles that include the Continuum dock for $299 at the Microsoft Store; looks like they're closing them out. They're enterprise oriented so the build quality is decent.

If you mean x86 compatible dockable smartphone, Intel cancelled plans for their x86 smartphone chip in early 2016 which put a stake in any hope MS had of doing that.
You're missing a glaringly obvious difference. In the west, your credit isn't used by the government to influence your political affiliation so directly.
Unsound typesystems are not necessarily a problem, but consider the problem the other way around: given a sound typesystem, how do we improve this in such a way that
a) the average Joe will understand it
b) it decreases the overhead of writing the types
c) the type system helps the programmer write better programs

Haskells approach to this keeps the constraint of soundness: https://youtu.be/re96UgMk6GQ?t=52m5s

The whole video is very interesting even if you know nothing about Haskell, but are just interested in language design in general.

To summarize the part of the video I just linked: Their approach so far has been to try and design the type system in such a way that you reduce programmer pain while not sacrificing soundness at all. It is a painful constraint for language designers, but it allows you to gradually add functionality to the type system from observing real world examples. The goal can be described as: Design a typesystem such that every working program can be typed in both a sound and correct way, while minimizing the amount of programs that can be typed, but are not working as intended.
Possible plot twist: One of the C-levels or their friend owns the company that rents the engineers back. In other words it's not a dumb business decision, but a way to line someones pockets at the expense of a public company.

This is just my creative imagination, I'm not jaded.
Stunning it was this hard to pin down an autoimmune disorder which is effectively a food allergy.

My daughter has celiac which we caught early (concomitant with T1D) although she is not as hypersensitive as some people I have met, it is still crucial to avoid all gluten as even without overt symptoms it effects overall growth and nutrition.

But some of our friends are so sensitive that even minuscule levels of gluten exposure cause intense distress within an hour.

You have a “wasting” disease which is clearly non-contagious. Is it not obvious to test various strict diets? I guess in advanced cases it takes months of a gluten-free diet for the intestine to start healing (years for full recovery) so short-term test diets would not have led to full recovery, but even if you just experiment with carb-free that would reduce gluten so much I would think someone would have caught onto this sooner!
I agree. The buttonless swipable interface was a joy to use (not least because it made it simple to distinguish between closing an app and putting it in the background) and the single notification/feed homepage was fantastic. Features like tap-to-wake and the glance screen felt so ahead of their time. I've not really found another phone that has been as awesome, and I am still profoundly depressed at how the phone was killed at birth.
They did this later on.

In 2011, Android Market (Google play) cost $25 for a lifetime developer account. You could develop apps on Windows, Mac or Linux. It came with an emulator. So for the cost of $25, anyone on any major developer platform could write an app.

In 2011, you could only program Windows Phone app on Windows (I don't even have a Windows machine where I live). Windows Phone Marketplace charged $99 a year for a developer account. You can say Apple did this to, or that it should be nothing, but apparently it was not a winning strategy. I know a college student who shelled out the $25 back then and published an app on Google Play, now he works as an Android developer for a Fortune 500 company. Perhaps the idea paying four times that, and on a yearly basis no less, to Microsoft, was off-putting. People can straighten their tie and say any business going off on such a venture can afford $100 a year as a gatekeeper, but it didn't work out so well for Microsoft. Apple was already in the pole position so they could get away with it.

But you're right, after throwing up these barriers to developer entry at first, they started raining cash on developers to make apps, providing developer shops to code it and so on.
Nice comparison between adding type annotations in Clojure vs. Racket.

Not for everyone's tastes but I like optional typing in Racket, Clojure, and Python. I prefer bottom-up development heavily using a repl but once I get ideas working, then adding type annotations provides safety, eases future refactoring efforts, and takes little effort.

I also very much like Haskell, but I probably have a weak coding style in Haskell because I also tend to do repl based coding and just think of getting things working, then in the repl use ":type" to get a new functions type signature and past that into an edit buffer along with the corresponding function. I think that Haskell experts think more of types up-front.
DHS Compiling DB of Journalists and 'Media Influencers'
>Right. The one who participates in and wins the most wars or murders the most people becomes the superpower.

If merely winning the most wars and murdering the most people automatically made one a superpower, then the United States would not have become a superpower, because they did not win the most wars, nor did they murder the most people, at the end of World War 2, when they gained superpower status.

You're trying so hard to be cynical here that you're abandoning rationality. I'm no fan of American military hegemony, or superpowers in general, but you make the US sound like a Mongol Khanate which is just absurd. The world is more complex than "whomever stands on the biggest pile of heads wins."
HaleStudio: Open Source Product for Fast, Interactive Data Transformation
> Unified messaging – Microsoft’s messages hub let Windows Phone users chat via SMS or messaging apps like Skype in a single thread without needing to juggle separate apps.

This. I never used Windows Phone but I.Am.So.Tired of having to check inboxes for WhatsApp, Email, Tinder, Bumble, Slack and every other app on my iPhone or Android device.
https://github.com/halestudio/hale

https://www.wetransform.to/category/news/
That is to say, experimentally the answer to the question is no.
To me, windows Phone was a nightmare. I previously had a symbian and every interaction with windows phone made me regret it. Windows Phone was so locked and worse than symbian!

You could not install another web browser (on symbian I was using opera or opera mini).

There did not exist file explorers (apps could not get permissions to explore local files).

Consequently, it was impossible to open html files (Edge, the only available browser did not understand the file: protocol). I kept some data in html files on my phone to always have them with me even when offline...

The dedicated search "button" was the worst idea ever: it had no use when offline and was barely interesting when connected.

It would automatically turn mute when connected to a bluetooth speaker but would forget to unmute when disconnected.

The volume control was even more confusing than android one (volume was represented as a number, sometimes, max was 12, sometimes it was 32...).

The only good thing (the reason I chose windows phone rather than android) was nokia's GPS app. But it was already ther on symbian!

Good riddance. I don't miss you windows phone!
I think he's trying to hard with the historical and pop culture references. But I do agree strongly with the article. Cheerleaders and players are treated like children. Few of us would put up with it.

I've heard the pay for NFL cheerleaders is ridiculously low. So I wonder what the benefits of being one are.
This is still an ongoing debate in the crypto space.

The opposing argument to concentrated mining pools is that they still require individuals to point to these pools and are essentially acting as proxy votes. It's decentralized because mining pools only have as much power as individual participants allow them to have and there have been multiple occasions where individuals have forced an action such as the UASF.

PoW seems to be on the outs recently with PoS, DPoS, DAG and other algorithms emerging as potential alternatives.
I would suggest changing the title to "T-Mobile Austria stores passwords in plaintext?"
On the money. Fuck the 9-5 corporate work life.

I've been doing this everyday for 12 years..and I'm about to blow my brains out.

I encourage everyone to find one thing they love and find a way to do it everyday for the rest of your life.
The problem is phone number reuse, if you try to open an anonymous Google, Twitter, etc account they immediately realize that phone number was already used.
How top fashion brands use email marketing
Show HN: Weekly Booklet to cure your JavaScript fatigue
If you are talking about a drive following the TCG OPAL spec there is typically a Data Encryption Key (DEK) and an Access Key. The DEK is generated in the drive and never leaves it. The DEK is encrypted with the access key that the user specifies. sedutil is an open source project that works with these drives it is OS agnostic.
Proposed 5G royalties per device: https://www.fiercewireless.com/5g/qualcomm-to-charge-up-to-1...

Excerpt: "2.275% of the selling price of branded single-mode 5G handsets; and a royalty rate of 3.25% ... (for) multi-mode (3G/4G/5G) handsets"
I don't think you are correct. Plenty of places that used to oceans and seas have become land. This has given us access to aquatic fossils.
I agree with KAJ on many of his points, but there are a couple I disagree with.

I just don't see how a cheerleader having to leave a restaurant that a Saints player walks into is equivalent to a black player having to leave if another white player came in to eat. Why bring race into it? It's not even an analogous situation, and it's obvious the rule - same with the one only allowing them to say "hello" and "great game" to players - is to prevent the bad optics that would undoubtedly arise from both situations. I can just see TMZ making a huge deal about seeing a player and a cheerleader in the same restaurant, and then it spreads all over Twitter, and then whenever we see player X or cheerleader Y on screen, everyone is thinking "yeah, he's doing cheerleader Y" or "ha, she's doing player X". Of course, lots of people already wonder, but having a little more situational evidence makes it a different story because there's at least some basis to it now.

Furthermore, I think it's totally stupid she got fired over the photo she got fired for - if that's truly the only reason - but on the other hand, rules are rules, and there are differences between that photo and the typical cheerleading outfit or photoshoot. It may show less skin, but it's also bedroom lingerie rather than a cheerleading outfit or bikini. And whereas every time I see an NFL cheerleader she's smiling, in this particular photo, she's not smiling at all, and has more of a "come hither" expression. [0]

I mean, looking at her other Instagram photos, I'm seeing dozens of "sexy" pictures where she shows lots of skin, so clearly it's not like she was being forced to be ultra-conservative and was being micromanaged by her team. It sounds like they just basically said "don't wear bedroom attire" and "if you're wearing something sexy, please just smile", and she violated that rule.

Finally, if these cheerleaders supposedly don't get paid enough, shouldn't it be a good thing she got fired anyway? Now she has the exposure from being a cheerleader of an NFL team - even prior to this situation - and is freed from the shackles and can pursue better career options.

But yeah, I'm all for just getting rid of cheerleaders altogether, or at least giving them better outfits.

[0] https://www.instagram.com/p/BeZGvLuF5va/?hl=en&taken-by=jaca...
Soundness really shouldn't be up for trade-off. If you can't even trust that your static types will be the same as the run-time types, what even is the point of having types?

Btw, Java is unsound; see 'Java and Scala's Type Systems are Unsound - Semantic Scholar' ( https://pdfs.semanticscholar.org/3705/c660290e98877f882cf908... )
JEP 326: Raw String Literals
Cisco iOS and iOS XE Software Smart Install Remote Code Execution Vulnerability
Dream, plan, act
Java isn't sound and the poor semantics of null are critical to proving it.

Not that this takes away from your larger point exactly, but Java+null is no longer a good example.
Mapping all the Earth-Mars and Mars-Earth launch windows over the next decade