skysight-inc/HackerNews huggingface dataset:
That doesn’t make any sense. Facebook is just one social media platform. Nobody thinks social media or viral content will disappear if Facebook dies, so they’re not going to purposefully waste resources trying to kill it. The media is happy to target Facebook because targeting Facebook is a profitable move to grab attention.
What? The article says they do not know the orbit so why do you say that?
>This is an explainabrag which is also wrong

It only feels like "explainabrag"ing to some, I would imagine. The terms are all really standard, and listing out features by their names hardly feels braggy. It's a clear, concise way of stating features of a language. Coming from other languages with those features I think the information was conveyed well - but for others it would just look like jargon.

To me, the author was setting up the post - framing the conversation by explaining their view of Haskell as a set of core features. Then they moved on to discuss another feature - dependent types. This makes a lot of sense in the context of dependent types - I think this HN post really nicely conveys why:

https://news.ycombinator.com/item?id=18705128

> What a profoundly dismissive attitude. Why bring up Cyclone and not, say, Swift? Or is Swift meant to be included in "garbage collected languages?"

It's like, pretty mostly true. There are other languages that are memory safe without GC but I don't know of any that are mainstream/ even in use, or that allow free'ing of memory.

Yes Swift is GC'd, just not tracing GC'd.

https://en.wikipedia.org/wiki/Garbage_collection_(computer_s...

> No these are not the same and this is an absurdly wrong conflation. Dart, Objective-C, TypeScript, and others are dynamically typed languages with static type checking. You can't "or rather" this distinction away.

I don't think so.

"Dynamically typed with static type checking" makes no sense. The languages listed are statically typed. They may coincidentally compile to code that checks the type at runtime as well, or code that has or lacks implicit casts, or otherwise carries type information around with the data, or whatever, but the types are statically defined.

Also, dynamic types are often considered to be unityped - every value inhabits one giant union of all possible types.

https://existentialtype.wordpress.com/2011/03/19/dynamic-lan...

Here is a source demonstrating that this view is not unique. You are free to disagree (some do), but it's hardly an "absurdly wrong conflation".

I think your post was pretty unnecessarily critical. You didn't like the post, ok. But maybe you should have challenged that gut reaction - that "rubbed me the wrong way" feeling, because I think your post has considerably more inaccuracies than the article and is unequivocally more hostile. If you'd challenged that feeling maybe you would have learned something?
Ask HN: Startup folded, leave up social media accounts, or take them down?
My startup went bust, and we are in the midst of winding everything down. Should we leave our social media accounts up, or take them down? What about LinkedIn, will it look bad to future employers if there is no company attached to your job profile on the platform?
"Black box" is the name of their liquor cabinet
fonte* (to be perfectly French)
Use These Mysterious #9 After Breakup Techniques to Make Your Ex Crave YOU
Plain language makes it easier for the public to read government communications
Depending on your threat model, yes. As far as I understand they cannot read the content of your messages, however:

- by default they'll upload backups of your messages to Google cloud.

- (more importantly for me) I really don't trust Facebook to:

1.) not abuse metadata

2.) not mess up security somehow

3.) stand up against whatever oppressive regimes we might see in the future

In addition I don't want to make the Facebook ecosystem any stronger if I can avoid it.

A nice bonus is that I strengthen the network effect of other ecosystems when I use them by default.
Thanks for your nice feedback :-)

Yes, it is already running in production, but due to NDAs, unfortunately I can't provide any details here.

Regarding the scalability most is prepared, but there are still a few things that need to be done. We would be more than happy for anyone who wants to contribute or to sponsor us. For details see https://github.com/thenativeweb/wolkenkit/issues/90
"Every insulin spike is a notch towards metabolic syndrome."

Completely disagree with this. The best available evidence suggests that it is visceral fat, not insulin itself, that causes insulin resistance. There is an underlying autoimmune malfunction at the heart of it. But because people with diabetes often crave sugar (because their bodies fail to absorb it), people have conflated cause and effect.
Is it possible for online casinos to be fair? (using blockchain)
I fundamentally disagree with the author's thesis. I don't think dependent types are the future of development, but instead I'd bet on refined types (or contracts - see my experiment [0], Liquid Haskell [1] by Ranjit Jhala, and languages Dafny [2] and F* [3] developed by Microsoft on top of Z3 SMT theorem prover [4]), where constraints are explicit yet simple, and proven automatically by an automated theorem prover.

lookup : (a : array) -> (n : int if 0 <= n < length(a)) -> whatever

[0] https://github.com/tomprimozic/type-systems/tree/master/refi...

[1] https://ucsd-progsys.github.io/liquidhaskell-blog/

[2] https://rise4fun.com/Dafny/tutorial/guide

[3] https://fstar-lang.org/tutorial - see e.g. section 3 "First proofs about functions on integers"

[4] https://github.com/Z3Prover/z3
Maybe. But the people who have dedicated ereaders are usually those who read a lot and are passionate about quality ebooks. I'm sick of buying ebooks at Amazon, jumping through hoops only to get it onto my Kobo, and then find it has weird style sheets and plain wrong formatting, which I then have to fix via Calibre. This is just nuts. Combine this with the fact that only a tiny fraction of what I've paid went to the author, I would love if there was something like "Bandcamp for ebooks". I think this might very well work out, and I also think that many authors would jump onto this.
In the winds of crypto winter
What are you using state machines for now? just wondering. I have been looking into JS state machines (mostly xstate) in order to model UIs better.
When I was there 2 years ago, the cheapest house was $890k. The mean was about $1.3M. These are $200k houses in normal markets.
Bitcoin hasn't been obscure since 2011 or so.

As far as 5 years from now -- who knows where it will be trading. I suspect it will be higher than it is now, but there's never a guarantee on any of this.
That's interesting. Are there many instances where you would prefer malloc during real-time processing compared to pre-allocated arrays? I used FreeRTOS' heap_4.c [0] to run malloc-based test code on systems without native malloc, but I wouldn't consider using it post-initialization [and only used it in test code], so I didn't really care about performance.

[0] https://www.freertos.org/a00111.html
Finding cycles in a graph is not that simple though. I'd expect they just keep a few state bits in each cell and when a cell that's marked as being in the process of calculation gets hit again as a dependency you've hit a cycle.
Using Twitter and one way broadcast, plus stegonography seems like the malware equivalent of a numbers station.
Facebook, Twitter and YouTube Withheld Russia Data, Reports Say
Appeals Court Weighs in on Resale of Digital Files
Chrome Command Line API Reference
Very funny, since we tried this... 6 years ago. At the time, HN reaction was: https://news.ycombinator.com/item?id=3931525

And you know what? It was true. We changed the licensing to MIT for most of Opa (http://opalang.org), but maybe a bit too late.
Come out to Western Montana. CenturyLink would only offer 10mbps/1mbps, of which I was lucky to get about half. They let me upgrade last month to 25/2, of which, I am lucky if a speed test results in 10/1.5. I'll take it as it is quite literally the best I can get. I recently paid Spectrum around $5k to extend a line to my house, but I'll have to wait until spring for it and its 400/25 (I am counting the days!).
Best OMR Software Company
500 km is about the size of one of the bigger asteroid belt objects:

https://en.wikipedia.org/wiki/4_Vesta

Notably, Ceres is about 950km and much more spherical.
All this hate is justified, but not the conclusion.

The libraries available in Python, for everything touching data / scripting are just so powerful and well thought, that for many small projects, using Python is a no-brainer. The best thing is that those libraries are actually incredibly fast, while Python is supposedly slow.
Online Exam Software for Educators
Bitcoin hasn't been obscure since 2011 or so.

My father-in-law didn't know what Bitcoin was in 2011, nor were the sort of newspapers he read covering Bitcoin in prominent articles. Neither of those things are true in 2018.
Why do you say "self congratulatory" and not "communicative"? You are assuming your conclusion: that it was snobby. But it wasn't. It was just informative, provided, yes, you knew what the words meant.

The author is communicating with other people who know about the space of programming languages, and describing Haskell in a particular way to show its surface area.
Accuracy of JavaScript Time
The orbit isn't well known, too short an observation arc, but a rough one has been calculated. It probably reaches somewhere between Uranus and Neptune, but not Saturn.
Really impressive! as a photographer this is the most time consuming part of any edit. Just curious, are you doing this with photoshop or something more low level? Any technical write up would be fascinating to read!
Test your Lazada API request without the tears
Why you should learn F#
A number of these points seem like reasonable opinions to have. But two which had me questioning the breadth of the author's experience were "Most programming languages pass function parameters by value." and "In every other language, arrays are called 'arrays'. In Python, they are called 'lists'."

To the author:

1. Java, JavaScript and C# all have types which are passed by reference. (They also have types which are passed by value.)

2. Python lists are not arrays, if by arrays you mean a C- or FORTRAN-style block of non-resizable memory which is indexed by position. Python lists are much more like the Java List or C# IList interface.
I feel like Python is a case of the emperor’s new clothes.

In this case the emperor has no visible scope delimiters.
YouTube Rewind, el video con más dislikes del 2018
Tired of Killing Houseplants? Try Using WiFi
Reddit has tons of bots and I've heard Twitter is just as bad.
Interesting points. I disagree with Reason 2 though. Python has smoother installation than Java and GCC.

One of the reasons Python is popular is because it's easy to do a lot of things. Some python choices don't make sense technically, but they were made to make python as easy as possible. Performance was never the first criteria of Python (or ruby). My personal peeve is with mandatory indentation. But again, that's the idiom the language has adopted.
That might attract some attention, for example, in a corporate environment where everything is locked down.
It's a foolish endeavour not to believe that China is capable of identifying every single citizen based on their internet traffic.

Ad companies have already been doing it for years. As entertaining as Black Mirror is, the episode featuring just such a scenario in China of being capable linking real life identities to online and offline activities for the purposes of a dystopic and a just plain shitty world is very possible. In addition, it's incredibly likely what will happen in China with the social credit system will be much worse than anything you'd see in Black Mirror.

Imagine a world where you could curb the enthusiasm of the entire population for democratic activities or activities that run contrary to state directives. Oh, you said something bad about some mundane activity. Your phone used voice recognition technology to pass that up to the state censor bot. The punitive measures taken can then be expected to occur up to and including an obligatory re-education.

"I pledge allegiance to the great firewall of China and the government of China. I will never make disparaging remarks about any state run corporation or agency, in private and especially not in public ever again."

The State panopticon: VOICE RECOGNITION CONFIRMED SAY THREE HAIL CHINAS AND CONTINUE TO INDOCTRINATION CAMP 3 FOR FURTHER RE-EDUCATION ACTIVITIES
Walt Mossberg Quits Facebook
Living IoT: A Flying Wireless Platform on Live Insects
Many of the reasons authors states are quite silly. Personally I don’t like the huge perf hits everywhere you look. For example, a bool in Python takes whopping 24 bytes! Multi threading is a giant mess due to GIL that apparently no one can get rid of. Things like true static variables are missing. Import behavior differences for programs and modules is baffling. Lambda is intentionally kept under powered (ex. no group by). Need to create new environments to avoid conflicting package versions can quickly become annoying (could have been improved by side by side versions).

Still, I don’t hate it at all. It’s good and beautiful for lot of other stuff.
the self argument for methods/method calls is stressful (having to define self for methods and having to call a method via self); also the fact that you need to check if dictionary key exists, else you get an exception when trying to get the keys value.
Also ':' at the end of each line.

I always forget at least one of these.
You didn't have any of these goodies in good old perl (sob, sob)

(wow, this one got flagged pretty quickly, wonder why)
But what other options than going dual-license do you have if you want to do open-source in a sustainable way? MIT does offer nothing here, unfortunately.
Pretty good, though it is not too hard to find images that confuse it:
https://www.remove.bg/system/uploads/image/processed/6aaacde...
I was wrong about the Motorola Razr
We finally know how fish swim so fast
> Here I am hating on the language I love, but I remember when I would have to review this question on StackOverflow every time I wanted to create a new virtual environment:

> https://stackoverflow.com/questions/41573587/what-is-the-dif... What a mess.

Came here to post something similar, but a commenter on the blog post itself got to it first. Virtual environments never made sense to me.
What can we learn from people who succeed later in life?
Deep inside every Python developer is a frustrated Java dev waiting to come out...

i just made that up
You guys drink/ booze like it's going out of fashion. Must be all those cold long Wisconsin winters. Madison is an OK place in summer, but not a place I would like to live in. And this coming from a guy who grew up in Michigan. I prefer Ann Arbor for that reason.

Wisc-Madison has a great reputation for mech/industrial/ops types of degrees.
Reduced JavaScript time precision (2008)
It’s a zero sum game. Debt for one party becomes consumption and investment for another. The interest payments go from one to another.
That's obviously how science works: just counting how many studies there is on each side, without paying attention to the publication or the methodology (preferably without even reading the abstract), and the truth is the one with the higher score…

I've read your article (as well as the study cited above, did you ?) And it doesn't discuss several studies: it cherry-picks some that go in his direction and dismisses the others … Had you read the study, you'd have realized that:

- the study came 4 years after the opinion post you shared.

- the main argument of the post “a little amount of red wine is beneficial”, which is what we though in the past, has been refuted since: it's an artifact due to a co-founder (social status) and if you control for it, this surprising effect disappear (an so does the argument).

On a historical note, you can find scores of this kind of article published in the 50s but talking about the absence of health impact of tobacco. Including many big scientific names of the time, most of them were smokers btw :).
This always rubbed me the wrong way. To say that the election was hacked implies that people were manipulated to do the "wrong thing" instead of the "right thing". To debate on that level seems extremely anti democratic, as it inadvertently leads to either the assertion, that people are to stupid and irresponsible to have a say in their future or to have the access to information restricted, to make sure people dont respond to the information by doing the "wrong thing". In both cases you have a higher authority decide what is best for people as they are to irresponsible to decide for themselves.
The "hammer" is probably algorithmic, not a human conspiracy. The few comments already on this submisson strongly suggest there is large amounts of upvoting and downvoting going on without a similar amount of good commenting. HN's algorithms are designed to promote good conversation, not pile on the voting wars around contentious topics. It happens that politically charged topics frequently drive large amounts of knee-jerk angry voting responses not associated with equally rich conversations, so they tend to get algorithmically pushed down the ranking.
Un delicioso postre saludable de solo 3 ingredientes
How to talk to your database
Good to know there are folks out there doing their best to do the right thing!
It is fun. I actually used (and still use) the "Standard Galactic Alphabet" from the Commander Keen games every once in a while, which is a little easier to read and write, yet almost as baffling to non-insiders :)
This is true, thanks. As the other answer said, in this field we say given any machine M, "M2 simulates M" if M2 computes the same function as M i.e. given any input i, iff M(i) halts then M2(i) halts and M(i) == M2(i) otherwise they both loop. This can also be called "compiling" informaly: given any Turing machine, you can "compile" it to C (i.e. constructing a C program that simulates M) which means C is Turing-complete.

Note that this is a very handwavy definition. The "types" of input, output, and what it means to "compute" will depend on your language, semantics and encoding. (E.g. for lambda calcus "compute" means appying reduction rules until the machine halts, if ever)
What is the difference between a side effect and a state transition?
Github repo -> https://github.com/Microsoft/trill

Trill Paper at VLDB -> https://www.microsoft.com/en-us/research/wp-content/uploads/...

Article from IEEE Data Engineering Bulletin -> https://www.microsoft.com/en-us/research/wp-content/uploads/...

MSR Tech Report -> http://research.microsoft.com/pubs/214609/trill-TR.pdf
Why does one want to exclude Ceres?

What I don't like about the "cleared its orbit" criterion is that it's something you can't tell from looking at the object itself. If a planet is ejected from its orbit, it becomes a ... well, we don't even have a name for what it would be. (This problem exists for "moon" to a certain extent, but a moon that's thrown out of planetary orbit would become a planet if it was big enough and an asteroid if it wasn't). It's also hard to apply: a lot of extrasolar planets we're discovering will have to be reclassified once we get better at finding smaller bodies, just like in this solar system.
Leave the social pages up but make it very clear the company is defunct.
The Spacing Effect: How to Improve Learning and Maximize Retention
How to spot and avoid scam clients on Upwork (and other freelance marketplaces)
https://www.wolkenkit.io/#getting-started-test-drive

I don't see any messages in my network console, so it seems the message form is actually not really sending anything and the app is not a real wolkenkit app. Am I right?
why focus on facebook when measuring performance?

I thought they have like 10.000 websites they measure
Lots of luck to those who wish to make tips go away. The electorate of the District of Columbia voted in a referendum, not to eliminate tipping, but to eliminate the "tipped minimum wage". The city council then overturned this.
Pipdeptree: Utility to display dependency tree of the installed Python packages
True. Although even on fibre, I only get 25Mbps peak. Often it's hovering around 18-20Mbps (which is not quite enough for 4K streaming, IIRC.)
What you are saying that there are a lot of programs that are neither elegant nor efficient. Few would dispute this, but I think this case is still covered by the original formulation.

For example I do not see "being drunk is fundamentally at odds with performing surgery" being invalidated by a bunch of folks writing programs in offices and fitting in neither bin. Caveat: I am not a native English speaker.
Animated GIFs don't work, you should at least extract the first frame to process.
As the other comment indicated, giving someone docker access is equivalent to giving them sudo. A lot of people are unaware of that, so some systems enforce sudo usage to make it clear.
Casually speaking, it's a planet - a big roundish thing orbiting the Sun. But when talking about the solar system it can be useful to distinguish between planets and dwarfs in some contexts. The 8 planets grew massive enough to 'boss' their orbits whereas the dwarf planets did not. There may be hundreds of dwarf planets hiding in the outer reaches of the solar system.
Banner day for the space industry
Discussions are our next milestone, so yes! I think it will be good to share our roadmap somewhere on the site. Thanks for sharing your thoughts!
I'm thinking of numerical optimization that uses algorithms inspired by nature but very different from the current crop of neural networks, while still taking advantage of GPUs, gradient descent etc.
I suppose I could look this up, but maybe someone here knows. Is cached JS re-parsed on every page load or is the AST (or some sort of bytecode) stored as a blob on disk for faster loads from cache?
Amazing photo taken with a mega camera of 195 gigapixels in China
Yeah I know there's licensing issues for those exact processors, it would still be cool to see the stuff they were derived from.
When It Comes to Sleep, One Size Fits All
Why do you need to download explicitly when your book is already offline using a service-worker? Serious question.
Show HN: Flair – State of the art NLP framework on top of pytorch
> V8 v7.2 adds support for public class [1] fields. Support for private class [2] fields is planned for a future V8 release.

For those who don't know private class fields add the weird "#" character for defining them inside the `class {}` block.

class IncreasingCounter {
#count = 0;
get value() {
console.log('Getting the current value!');
return this.#count;
}
increment() {
this.#count++;
}
}

This looks way worse than having what TypeScript did by introducing `public` / `private` keywords. Is there any body
which votes for es-next features such as this one? I wonder how the "#" private field popped up in Chrome specs.

1 : https://developers.google.com/web/updates/2018/12/class-fiel...

2 : https://developers.google.com/web/updates/2018/12/class-fiel...
African Theater of World War One
Yeah, the first I learned of the term "score" was (via grade school social studies/history class) from Abraham Lincoln's Gettysburg Address: ""Four score and seven years ago our fathers brought forth on this continent..."
The best way to discourage its use at this point is via the courts. Declare facial recognition inadmissible, and its use will drop off. Not a fan of bench legislation, but keeping this out of widespread use is really, really important.
The Consequences of Your Code – Tom Scott
A side effect would do something external to the state machine, such as transmit something on the network, or perform disk i/o. Or it might emit an event that is received by another concurrent state machine.