skysight-inc/HackerNews huggingface dataset:
I've been a lifelong democrat but they're communists socialists now. So I'm voting against democrats. Race politics is all they have.
For IRC, you need to go through the (only seemingly dated), a bit lengthy, but really exhaustive:

How to ask questions the smart way ... (by Eric Steven Raymond)

http://www.catb.org/~esr/faqs/smart-questions.html

Sometimes a subtle difference in the wording of the question may make the difference from receiving one or more helpful/useful replies and getting some snarky reply.
I tend to think Musk earnestly believes he can jump into any field and (with his team) revolutionize it over night, rather than this being a PR stunt per se.
Being a software engineer and a big DL enthusiast, this is getting a bit worrying for 2 reasons:
1- We already can easily build an NLP-related model that can write code in a certain language without making syntax/build or runtime errors.
2- I wasn't worried so far because the code a model could write doesn't carry any business logic. And I've realised that, as long as reasoning is still yet to be "discovered" in AI, we would be fine. DeepMind seems now to start focusing on just exactly that.
If a job as complicated as implementing code with business logic in it can be done by an AI. I do not care whether it's an AGI or not, it's already a bit troubling.
I am not interested in "smart" speakers or televisions. Like my refrigerator and toaster, I prefer these devices to be "dumb".
To me it's way more interesting than TFA, as it's really not obvious why the wheels would work, and the wheels don't work "out of the box" either, you can't just slap wheels on a tuned "static" trebuchet and need to do some re-tuning to get the correct synchronisation between the arm and counterweight.

Really neat.
Longturn Game IX started
Oh I don't doubt the usefulness of Org-Mode, but I guess the point is the one you bring up: if you want to use Org-Mode it's Emacs or the highway.

With Markdown I can use any editor from a full-featured IDE all the way down to `cat` or `ed` and all I'm giving up are some quality of life features. It's the same format at the bottom, and it has the added benefit of being ubiquitous in that nearly every editor has some basic Markdown support. I can write it anywhere and take it anywhere, not so for Org-Mode.

I think I prefer the Markdown approach of keeping the file format light and plain, and building the quality of life features on top in the editor.
To add my two cents: I guess that people do not fear getting wiped out as in being killed because the product was bad.

When launching, the dreams / expectations that fueled the development will get "reality-checked". The initial dream comes from the heart, so when the launch fails, people fear that their core identity is being attacked. You could call that the negative side (from a personal pov) of external validation.
Google Maps only supports offline maps in selected countries. Places like China, for instance, are not supported even though the online coverage is perfectly good in most major cities.
Ask HN: Reasons to stay in Software Engineering
I did my B.Sc. from a fairly reputable university in Electric Engineering. Since I enjoyed programming during my studies I decided to go for it and accepted a full time job as developer ( mainly C / C++ ).

I really do like Linux, OpenSource projects, blogs like e.g. hackernews etc. To me it felt like a passion: So much cool stuff I can read about, all accessible only with a computer and an internet connection.
However, I recently decided to do my masters but currently have some serious doubts whether I should focus on software or just completely change my track. The problems I have are:

* Everyone can be a "software developer". Even thought I went through a really though and challenging university degree, which I finished distinctly above average, I have to go through whiteboard interviews. This won't change with additional job experience. For some reason, companies do highly mistrust my skills and degree.
Other jobs, equally well paid, do not require this.

* You have to know _a lot_. Programming languages, Tools, Operating Systems, Tests etc. On top of that, specific domain knowledge is required. Unfortunately, my brain forgets and if I work with different technologies, after 1 year I will not start at 0 but definitely neither at 100%.

* After all it's "just" software. Besides yourself, nobody really cares how you solved the problem. Sure, it's quite appealing to think through a complex system, tune it, develop it etc. but often it includes cumbersome work and decisions are made elsewhere.

So why should I stay in the software domain ?
First of all, permanent is a hard challenge, and CDs (as you mentioned) generally was good somewhere between 1 and 10 years, not more. I know the danish national library spends quite some time transferring archives from CD to a newer CD.

I think backup tapes are still the best bet (as long as they are LTO-based). Built for longetivity (some/most have stated lifespans of 30 years on a shelf, YMMV) and an open format (i.e. three completely separate business building drives that can read each others tapes).

The LTO tapedrives also do in-flight test of the writes (at full speed), so that an failed write will never be unnoticed.

Actually they have a write head, then a read head then another write head and another read-head.

When you write to the tape, writehead1 writes it and readhead1 checks it. If it fails, it retries with writehead2/readhead2 .. If that fails too, the backup is aborted and the tape is marked (in tapemedia-internal memory) as bad.

The bummer for a private person is that even though the tapes themselves are relatively cheap (around 200USD for a 6 TB tape, that can take up to 15TB depending on compression rate of your content) the drives are expensive as heck (due to a lot of smarts), think 5k USD range.

Another benefit is that if a drive goes bad, it can be exchanged without the datamedia being exchanged as well (the same is true for CD/DVDs but not for harddrives or SSDs).

But as always, if you don't have three copies (on different media/sites/...) of your data, you actually don't have any copies at all.
> As an example, any kind of analytics could generate terabytes of data a day... per customer.

Wait, what? I've never worked anywhere where one customer generated terabytes of data per day, and I've worked on very large commercial enterprise software.

The only thing I have experience with that produces anything close to that kind of data per customer is in genetic sequencing, and you only do a customer once. (Even that isn't a TB in its bulkiest, raw data form, and the formats used for cross-customer analysis are orders of magnitude smaller).

> For many of us, I imagine we've spent a lot of time fighting fires at organizations where one service going down was a serious problem, causing other services to fail, and setting your infrastructure ablaze.

The reason so many of us have worked in places like that is that those places 'got stuff done' and survived and grew.
I worked in a bank in Europe and the management did not consider any other option for cloud than Azure. Microsoft does a good job selling it to Enterprise Microsoft shops. Most of them want to continue their relationship with Microsoft who they consider cheaper and better than IBM/Oracle.
Greedily evaluating both Haskell and OCaml for systems development work rn. Haskell seems a lot cleaner, perhaps too purely clean, and OCaml seems to have some rough edges where it can’t/doesn’t infer types without awkward syntax. Lazy haskell has STM, monads, parallelism, concurrency and a huge community. Greedy OCaml can do impurity and pseudo-procedural code easier but lacks much of what Haskell has. Thoughts?
This is a tradeoff: memory gets cheaper http://www.maltiel-consulting.com/ISSCC-2013-Memory-trends-F..., and is much cheaper than time to learn exotic language. Today more important expensive are latency, bandwidth, and programmer time.
Top reason for memory optimization nowadays is to reduce GC delays.

But if you really look for low memory languages, please try Forth https://www.forth.com/forth/ or Joy https://hypercubed.github.io/joy/joy.html.
They may provide interactive environment in as little as 2kB https://www.mpeforth.com/xc7.htm#umbilical, and interactive debugging for deep space probes https://www.forth.com/resources/space-applications/
With tools like containers, the software itself behaves as if the only purpose of the hardware is to run your application. Psychologically, it makes sense for a software developer to believe this.
When your big idea is a square peg for a round hole and you publicize it before you've checked that, the difference is indistinguishable.

“It wouldn’t have made the first 50 metres into the cave from the dive start point. Just a PR stunt.”
WhatsApp needs to recognize India offers a huge market for them. They are making good money out of India operations," Information Technology Minister Ravi Shankar Prasad said earlier this month. "Therefore they must focus on the security related aspects of people of India."

What is WhatsApp’s monetisation strategy in India? Is it susceptible to regulation or is the government powerless in these situations?
Hi! I'd like to share the details of a course with you and to hear about your approach for designing such an app. Feel free to contact me: vds003 at gmail.com
Abstraction is looking at some properties, while abstracting others (removing, ignoring). Even simple artificial neural networks for computer vision can do so - e.g. ignoring noise, small rotations, reflections or the background.

If, or when, it gets to human-level (for a given task) is another question. But saying that computers cannot learn how to abstract data is demonstrably false.

Vide https://distill.pub/2017/feature-visualization/ for internal representations.
The interactive version is actually not compile-time. You run the program and save state inbetween runs. The static one is fully compile-time though.
Inventing a Language, from the Guy Who Made Dothraki (2015)
I guess we'll first see IDEs with a built-in code-completion function. I suppose this could work first in cases where coding is boring, such as when refactoring code.
Show HN: Pdfvuer: Pdf viewer for Vuejs
The solutions provided seem quite poor. What whatsapp needs is a reporting button for hoaxes and disturbing content…
What is the point, dang?

It was a whimsical comment, and you are being overly critical. And I was considering the way man affects our environment. And yes, it is mentioned in the article.

Your hair trigger response says far more about you than me. I literally have made one whimsical comment in literally hundreds of comments, and you decide to threaten me.
This reminds me of the “Foxconn suicides” story... sure the absolute numbers were high, but Foxconn has like a million employees, so the suicide rate was actually completely “normal”.

> 25 people have been killed since May

So 150 people per year, or 0.000015% of India’s population. Sure, it’s a problem, but I’m pretty sure there are bigger problems that are easier to solve (rape and acid attacks come to mind).
Maybe because Democrat opinion is already on his side and needs less "persuasion"?
For my use case (.net development, visual studio) windows used to be superior, more efficient choice. Now, after the release of .NET Core and Visual Studio Code i might re-evaluate it.
Surely the real problem here is that there are a great many people who are both gullible and prone to violence.
This pretty much highlights how important education is and the effort that needs to go toward educating the poor in India.

The coming wave of technology and tools is only going to exacerbate these problems further.

One small thing that whatsapp could potentially do is to make it a little bit harder to forward messages to everyone. force people to wait a couple of seconds before adding another person.
Similarly, one could ask if this is something new? Or have WhatsApp merely replaced another media platform.
Orbital Velocity at grazing altitude is 8 km/s, and escape velocity is sqrt(2) times that, or about 11.3 km/s. Thing is, anything travelling that fast in the atmosphere tries to turn to plasma, so your launch arm would need to be a bit special.

Or at very high altitude.

Or have ablative heat shielding.

But atmospheric drag would probably prevent you from getting anything like those speeds with this kind of mechanism.
I’m a Scala developer, using many libraries inspired by Haskell equivalents.

I have to disagree, types are not sufficient as documentation and this is what kept me from making the jump to Haskell actually.

But types are better than nothing, or better than outdated documentation. I can’t imagine anything worse than code written in a dynamic language and without any documentation.

This is the same discussion as with types vs tests. Types give you certain proofs for free, freeing you from writing certain types of tests. And they make property based testing easier. But the ideal is to have types + tests, types + good documentation, etc.
there are always bigger problem to solve. your point? I really don't get how "bigger problem to solve" is ever a valid argument.
How about:

"Think better. Do best."

Too often, for reasons too many to list here, we humans tend to pounce without stepping outside our confirmation bias and asking:

- Is this the right thing to do?

- And the best way to do it?

We too easily presume the status quo to be our friend, when it's often the enemy.

Fwiw, I think the 5 Whys are a great tool. More critical thinking than traditional GTD. But what good is GTD if the T's are wrong?

I put this together, for fun:

http://5xy.co/
> Well, up to where relativistic effects become an impediment, of course.

I don't think relativistic effect would enter the equation for escape velocity (there's a 5 orders of magnitude difference), your issue will be basic material science, namely:

* That you'll need to add enough headroom that the payload is still at escape velocity after going through the atmosphere, which means the projectile needs to be launched way beyond escape velocity in a very dense atmosphere. Which means it will instantly burn up / blow up as it leaves the launch system, probably alongside the sling and part of the arm…

* except for the counterweight and material rigidity you need for the arm to not be feasible either, you'd need a long arm multiple miles long and a counterweight in the megaton range… before even accounting for the length of the long arm itself, or how you'll actually bring the bloody arm down
Zong Whatsapp Packages Detail-Daily,Weekly,Monthly
Yes, sadly, even scientists use marketing-speak. And I guess companies use this style of terminology to attract VCs and to push their half-baked products.

Not sure if complaining about it would help though.
>I don't see Haskell as uber language. If I want super correct code, speed and I'm okay with using a more complex language, then there is Rust – which is probably more correct than Haskell and faster, too.

But it doesn't even have Higher Kinded Types! What a disgrace. /s

I do wonder, what would OP, or any seasoned Haskell programmer, think about Rust. Would they consider it strange? Primitive? Too mainstream?
It's great WhatsApp took steps to prevent the spread of false information but that isn't the root of the problem. The root of the problem is of a cultural nature.

At present there is no law that criminalises mob killings. For that reason, the perpetrators are often not prosecuted by the police. A law that makes clear mob killings are unacceptable would go a long way in changing the cultural stance towards such acts.

Thankfully, the Manav Suraksha Kanoon (law to protect humans) could close this legal gap soon.
When has reporting ever been an effective means of keeping content off social media?
According to the article, it's 25 people having being killed since the beginning of the year because of misinformation spread through whatsapp. It seems like it should be a big deal for the company.
> So 150 people per year, or 0.000015% of India’s population.

This is an enormous and completely baseless leap. Why would you ever assume that the rate of killings is constant? What makes you think these killings aren't part of a rapidly growing phenomenon of social-media driven violence?
And do what, exactly? What do you do once a user reports me as relaying fake news? Ban me?

I strongly disagree. I am responsible for my actions. If I kill someone, I can’t say “well, I thought this man ate beef”.

This is a law and order problem and not something we can fix from outside India.
>At present there is no law that criminalises mob killings

Surely you're joking?
Sounds like what Jonathan Blow demoed in his new programming language JAI: https://youtu.be/UTqZNujQOlA?t=2024 Execute a invaders game with OpenGl while compiling and embedding the score in the code (Just a demo, the idea is to replace makefiles with compile time execution, etc.)
It has replaced SMS. These issues have existed for a while.
That's the point, there are _other_ jobs they should have taken because these jobs were knee-jerk reactionary responses that shouldn't exist to begin with.

I don't support McD's however I'm sure you could be describing a generic fast food place. You really can't compare working fast food to working for the government. People work for the government for a whole lot more different reasons then working fast food type jobs. For one, it's 100x easier to get a job at McDriveThrough then it is to get hired on as a federal employee. I'm talking from personal experience here.

I didn't say anything about molesting children. You are confusing my comment there with someone else's. I'm also not calling anyone names.

At the very _best_ what I'm describing are inefficiencies in our system, and anyone who's working for that system is part of the problem.
Object-Oriented Programming Languages: Application and Interpretation
Also case in point with Facebook's current PR campaign trying to soften the blow for their recent fallout. It's said that these adverts are placed with the threat to pull them if any unfavourable articles are published.
I see this annoying mistake everywhere, but it's important to point out in the context of computer science (more so than in mathematics) because it relates to one of its core components: in the context of logic and proofs, "formal" does not mean precise or mathematical (and certainly not official), but rather mechanical. A formal description is one with a precise syntax and semantics, whose truth can (at least in principle) be judged directly from its form. A formal proof is one carried out through pure syntactic (i.e., formal, in the sense of "pertaining to form") manipulation, and does not rely on any informal arguments, namely ones that do not appear in the form.

As a rule of thumb, if you could replace the word "formal" with "mechanical" and your sentence would still be true, then you can use the word formal (this is the case, say, with formal software verification, which is simply mechanical software verification, or formal proofs in a proof assistant, that are mechanical proofs). So, a formal description is one that could be directly mechanically interpreted by a simple computer program as written, and a formal proof is one that could be mechanically checked. If this is not the case -- use the word "precise" (or "mathematical" if you prefer). It's both simpler and more accurate.

As the description given here makes heavy use of natural language that is not easily interpretable by a computer, it is not formal, and since the proof makes use of a notion of a time machine, as well as others, not given a formal definition, it is very much informal, even if sufficiently precise to be acceptable as a mathematical proof.
Not everything is a trend/signal.
I've been opening org files with Atom, VS Code and inside Github without a problem.
Could a small Israeli startup succeed where Theranos failed?
What is rapidly growing is the rate of these events which are reported.
This puts the focus in the wrong place.

When wiring a rack, you've got to start with an understanding of what you want each piece to do. If you have a switch where all the ports are untagged or on a common VLAN, the only thing which matters about cable placement in the switch is how easy it is to trace later on. If you have multiple VLANs, you need to have a map right there in front of you saying how the ports are assigned.

On the physical level, dealing with intermittent connectivity issues (cable not plugged in properly, cable damaged by mechanical stress) and difficulty extracting cables (RJ45 lock lever too small or stuck) are relatively common issues that won't be adequately simulated in VR anytime soon.
This is a lynching for flips sake this is a crime several orders of magnitude greater than a crime of passion. presumably you would have told Lady Day that singing strange fruit isn't important as well not that many negros got lynched that year.

Also it looks like a lot of these lynching's are sectarian which is a threat to the good order of the state.
Effort/time is limited so you have to prioritise what problems to solve.
As an investor, why would I invest in a non-profit with difficult-to-game metrics...

Because juking the stats or a bit of weaselling in the way goals are stated is way easier and more reliable than building things or say, achieving actual health outcomes.

I’m somewhat skeptical.
There is an uncomfortable fact: many people only notice harm when there’s a victim similar to them involved, but are typically oblivious or unconcerned with the troubles not in their purview: impetus for mass-migration to Europe, genocides (ie Hutus & Tutsis), East Timor, PNG, nationless people (ie Rohingya, Kurds, Uyghurs, Palestinians, Catalans), terrorism in Africa and neglect/poisoning of poor people in rural areas.
I'll share my personal story - maybe it will help.

I'm a technical guy, always wanted to start my own company. 6 years ago I finally got my green card and started looking for a "business" co-founder. Months went by, nothing happened. As many commented, it's usually not a good idea to found a company with somebody who you have not known for at least a few years.

Finally I decided to just go for it and learn "sales" myself. After achieving some moderate success these business people started to knock on my door. Finally I brought a "co-founder" for less than 10% equity. It really helped long term to make sure we had a tie-breaker during disagreements.

6 years later it's a 60 person, multi-million-a-year SaaS company.
I couldn't find more historic data points, but extrapolating from 25 since May to 150 per year is a bad approach. There's a difference between: it's been always happening, and this is the most recent summary -vs- April 0, May 1, June 4, July 20.
Could they? If they stopped pouring money into research and development, that would mean that any competitor with superior technology could eventually upend them.

When betting on technology companies in the long term, you're betting on two things: continued growth and the absence of a competitor that disrupts their business model or industry. To avoid the latter, you need research and development to stay competitive.
Plotly has been on my list of new tech to investigate, but this isn't a great advert for their service...
Missing the rule of law is often a good driver for vigilantism.

If people feel criminals aren't prosecuted, they are more likely to take matters into their own hands.
Is Teams really a Slack competitor? I don't see it that way. I use Slack constantly to work with my team, and Teams isn't even close to offering the same functionality; it's not even in the same category of product, IMHO. I admit that I may be missing something entirely.
Linked List Data Structure