skysight-inc/HackerNews huggingface dataset:
Proof of termination is closely related to :

"Now suppose there were a hypothetical language with a stronger guarantee: if two programs are equal then they generate identical executables. Such a language would be immune to abstraction: no matter how many layers of indirection you might add the binary size and runtime performance would be unaffected."

http://www.haskellforall.com/2014/09/morte-intermediate-lang...

A more practical reason to care is that if a user-generated expression is proven to be pure and to terminate, then we can evaluate it without fear of getting hacked, denial of service, etc. Imagine a new type of iphone, IDE or web browser where a shitty app/plugin can't lag up your experience.
... the things to avoid:

http://math.ucr.edu/home/baez/crackpot.html
How to Build a Great Product – Lessons from Snapchat, Slack and Instagram Pt.2
It's quite obvious to me that sometime last year a huge astroturf effort against Tesla was launched. My guess would be hedge funds shorting Tesla and then attempting to depress the stock. There's precedent for this. I thought it was illegal but maybe I'm wrong or maybe the SEC is just asleep.
I'm surprised how small the production team is (judging only by the picture). For some reason I expected there to be much more people.
I wrote a thing about Haiku a bit ago

https://navjack27.netlify.com/post/a-modern-os-haikuos-/
PWA on Windows. Part 1: Publishing Your App as Is
> statisticians weren't able to convince the academic world that arbitrarily setting a "statistical significance" threshold is a gross misuse of statistics

What would the proper use of statistics be? I believe it is to produce a Bayesian posterior probability distribution, but that wouldn't be the opinion of a frequentist.
Stop mopping about it. Search for remote work as well, pick up cheap programming work online even if it's $10/15hr. Anything to get some pocket change coming in. Get a night job somewhere (security, inventory at a grocery store) that way you have your days free for interviews. Whatever you do you need extra income coming in, lack and loss of money is a major stressor. Talk to your landlord, they might someone to take over the lease. Place an add looking for someone to take over the lease. If a nice city, AirBnB the place once in a while, or sublet your room and sleep in the living room. Get outside everyday, go for a walk/jog, it's important to get fresh air. Everything will be alright.
Ultimately I think we will avoid World War III because the corporations don’t want it;

..today, it should have ended with.

Tomorrow, as they say, is a whole new ball game and it's certainly hard to predict what our sociopathic corporate masters will want for us then.

I agree with your premise, however. Killing your customers is usually considered "bad business" and is to be avoided most times.

However, given certain political and economic conditions, I do believe corporations could easily be convinced to give the go ahead to War.
I used to tutor kids in AP US History and World History when I was a senior and freshman/sophmore in college. The key success factors were getting good scores on two essays and a document-based longer essay where you would use primary source material provided in the test booklet.

These tests were all about test strategy. The written material was graded (in the 90s) by tables of people basically working a checklist for a few different things. If you had insight into how they graded (our teacher had been a grader and had our class start grading each others work when I took the class), you could get a great score even in an area where your knowledge was weak on the essay questions. Another trick was to know 3-4 general concepts from a well regarded historian to support whatever conclusion you cook up.

I think you could score these with NLP with a reduced number of humans to fine tune it. (In the 90s, I think up to 4-5 people would touch a paper) The exam would get dumbed down over time as a result as the test developers would narrow the scope of the exam to make scoring better, but I'm sure that's happening anyway as the testing vendors shave cost.
I didnt work on Majesty, myself, but I do remember when my friend Jim came up with the concept. We were walking down the street talking about games, and he said "I want to make an RPG game where the heroes control themselves."
"prefer" != "need"

Most of that is what they are used to.
Should be better now. We didn't expect the traffic we had today.
That‘s because you‘re only thinking of desktop applications, mobile applications and web stuff.

Embedded software is a vast market, and it‘s mostly C with a rising share of C++.
see https://www.teacherspayteachers.com/
I found it useful
I know some Mediterranean economies could be a bit stronger and the Dublin Regulation isn't really working that well, but you'll have a hard time convincing anyone fleeing barrel bombs that things are better in Eritrea or Syria than in Spain.
How do you have 4 jobs already at 21? No college? Or just EXTREMELY short stints?
That's amazing, but when reading through the numbers in the article this makes me wonder:

".. Q2 production totaled 53,339 vehicles, a 55% increase from Q1, making it the most productive quarter in Tesla history by far. For the first time, Model 3 production (28,578) exceeded .."

So the total Model 3 production was 28,756 in Q2, which is on average only 2212 vehicles per week. It seems that they have been able to pull up the production rate to above 5000 only in the very last week.
Nevertheless that's an astonishing achievement.
I can't tell you what every person uses it for. But I can say for certain that it is already being used to transfer money cross-border. And I can say for sure that people use it in nations like Venezuela, where the banking system has failed.

How do I know this? I run a business which buys and sells digital items for online games. Every single seller from Venezuela is looking for BTC. Most sellers from Kosovo as well. And tons of people are asking for BTC in general. The majority of $500+ transactions in the industry (often B2B) are done in crypto.
"Without the Euro, the greek central bank could have increased inflation and downvalued the Drachma, so the government could spend, spend, spend. "

Would that work for Greece, or would it just become hyperinflation?
C jobs are certainly much more than 14%. Believe it or not.

Most software developers don‘t hang out in internet forums, commit to GitHub or write blog posts about JavaScript frameworks. They just do their day job and go home to their family.
I've work for a company that does these from time to time and they've always been optional. For big milestones, there are typically quite a few people who are genuinely excited and it's nice to see photos like these posted in the lobby for posterity. If I was crunching at Tesla for months I'd probably want to be in this picture, too. As long as it's optional for folks that want to join in, I actually see it as a nice thing (for us it's a time where we can hang out with the CEO a bit, something that's rare for as large as we are)
As I see it, there are two ways to go:

* Run an existing news server (INN2 https://www.eyrie.org/~eagle/software/inn/), and add scripts around it, or:

* Make a small server that talks NNTP and does exactly what you need

I've been doing the latter a number of times (most recently on Feedbase https://feedbase.org/ where the NNTP-part is written in Perl, and I am working on and off on a server (in Haskell) to run a blog where NNTP is the primary interface for the author; not quite finished yet), Gmane/Gwene http://gwene.org/ does the former.

NNTP is a pretty simple protocol - an easy way to get going is to create a server that reads lines from a socket and replies when it recognizes something, connect an nntp-client and see what it sends and check the RFC for what is expected back, and then just go from there.
I read this piece last week and I liked it a lot. Anyone read his book?
It's sexist towards men that work in the industry. Don't just downvote. Leave a comment.
While I am not a fan of it, D's BetterC mode kind of fits what you are looking for.

https://dlang.org/spec/betterc.html

It's kind of a subset of D language, without dependency on GC or runtime. It feels like cleaned up C. Of course without runtime, most of the standard library doesn't work, so you are on your own for the most part, but then, C doesn't really have that much of a standard library to begin with.
Save Time Filling Out Job Profiles and Resumes with This Tool
The dude is handwringing about NoSQL in 2018. Something like Cassandra is no longer "experimental technology." It is a well-understood technology with well-understood requirements (and they are high, that's why you do a business analysis to make sure they make sense) that happens to be non-relational.

He is handwringing about single-page applications. SPAs have been kicking around for, what, a decade? Let's be real--in this article the single-page application complaint is a proxy for "I don't like JavaScript" and he's entitled to that opinion but it is certainly not "experimental"; JavaScript is not going anywhere, it is well-understood both in browser and on the server, and the libraries and ecosystem are not going anywhere either--if Facebook died tomorrow there would still be React jobs in 2023.

There are parts of current software development that really, really suck. The author does not capture them; this is "new things are scary" complaining and very little more.
thanks @abenedic
i was just testing that popup..finally decided to drop it..will be working on something else..

also tell me what do you mean by proofreading, i mean in which context..?
Or we might see employers paying for "professionalism" and "workplace etiquette" training.

People can be taught that it's not just what they do, but also how they do it that makes them valuable. It just costs some money.
In Venezuela's case it has more to do with the price of oil
Hmm. So Tesla/Musk have really ambitious goals that they often miss. Is that a bad thing? The way I look at it no. Whenever Tesla announces something you have to take it with a big grain of salt but that’s about it. Also remember that they’re attempting something hard / never done before.

If there is something that bothers me about Tesla it’s their attitude when a crash happens.
If individuals and small companies can also negotiate their own tax rates, you might be correct. Since they cannot, it is a subsidy. There is no difference between collecting X and giving Y back than collecting X - Y.
Here are a couple of well-known independent physics researchers:

Julian Barbour:
https://en.wikipedia.org/wiki/Julian_Barbour

Garrett Lisi:
https://en.wikipedia.org/wiki/Antony_Garrett_Lisi

Lisi runs an informal hostel for physics collaboration at his home in Hawaii:

http://www.pacificscienceinstitute.org/
We wrote our bidder (in app advertising) in Go. It is globally distributed (close to the exchanges) and handles 1.5-2M requests/s (OpenRTB,~50-90k/s per instance) with a p99 of 10-20ms (without network latency). Really happy with Go, especially the GC improvements done by the Go team in the last few releases. For a previous similar project we used Ruby which was quite a bit slower.
As elegant as lisp is, I think the flexibility just kills its usability on teams, while more rigid languages like Java, Go or C see massive adoption. Language expressiveness is rarely a real bottleneck, compared to debugging and understanding program flow and getting new contributors up to speed.

Separately I think each lisp has an individual fundamental flaw that makes it unusable for production, eg clojure having terrible error handling, common lisp being case insensitive, scheme having a minimal standard library, racket being fairly slow, etc.
There are no longer "massive amounts of refugees flooding into the country" but that now-false perception won't go away
> all [..] only

It implies nothing of the sort.

> quality and good practice are expensive.

That's the statement. If that implies to you that it's impossible to achieve quality and good practice in any but the aforementioned languages, feel free to do so.

> :)

:)
> Embedded software is a vast market

Is it really? IoT still isn't taking off much and the more powerful the machines are getting (so every year), the less people are going to use C for that only tiny segment people are still using it for.

Where I've used C on a microcontroller 10 years ago, you would likely use a cheap Android board nowadays.
Yeah, my former company used to take a group photo every year outdoors on the small patch of grass our parking lot had.
This article mentions Nokia and 10nm - https://www.eetimes.com/document.asp?doc_id=1332944
On the surface it seems ridiculous to give that much incentive for a data center but Apple has continued to invest in that location in Maiden. It employs a lot more than 50 people now, kind of wonder how much time the Guardian spent researching this piece.

https://www.bizjournals.com/charlotte/news/2017/01/18/new-ap...
Our app, CompanyCam, is entirely React Native. We did write some bridges for our camera, but you can still lay it out in React Native so its mainly React Native.
They are trying to get on the bash guys train. I guess it's a marketing tactic.
"Everyone can be super! And when everyone's super...

[laughs maniacally]

...no one will be." - Syndrome, The Incredibles
Hercules mono screen (XT) had better readibility than color CRTs (EGA and VGA). It had better resolution and refresh frequency.
It's a shame expo.io doesn't provide background audio [0], they've been saying for years that "it's be supported soon" but it still isn't...

That being said, expo.io is absolutely amazing if you need to use native features through RN without touching O-C/Swift

[0] https://docs.expo.io/versions/v28.0.0/sdk/audio
Before the first World War people also imagined that there could never be another big war because the world's economies were so connected.
I always scares me how little I understand from comments talking about Haskell. Either I'm much more dumb that I though, or the whole community decided that purity beat practicality.
Yes I think that is quite clear now. What has surprised me is the extent to which the tech community has followed along. If anything, we should be the people that know Musk overpromises on timelines, but has an insane track record for delivering (eventually).
3D-Printer Terminology
Still doesn't answer GP's question - what's the point of Docker on a desktop OS? Why would you run WordPress on the desktop? The only real reason I can think of would be for developers.
Can anyone tell me what happened/changed in 1990/2001 to influence the following acceleration of prices?
> "frequentist" as if it were some kind of pejorative.

Ah, so he was right about that, at least! :-)
I live in Wisconsin. We already have "tax increment financing," where a city can provide money that is offset by the expectation of increased property tax revenue when a site is developed.

The state already has negligible corporate taxes, so there's nothing left to give away, and the corporations still want more.

As part of the Foxconn deal, they will be exempt from a variety of environmental regulations, and from what I've read, flat panel display production is a dirty industry. They also have practically free reign on eminent domain, for instance by declaring someone's farm to be a slum so it can be seized on behalf of Foxconn.

So the freebies go beyond mere cash.
It's fascinating to observe how close Bloomberg tracker's prediction came in forecasting the actual production numbers using nothing but the the Vehicle Identification Number (VIN) of in-the-wild Model 3's as well as those from the NHTSA database. Talk about the boons of being a publicly traded company.
Or maybe people just disagree with your optimistic view of Tesla?
And the bugs have been fixed:

http://www.neocomputer.org/projects/et/
I guess I’d consider myself a Musk fanboy, but I do think missing deadlines is a bad thing. Even if subconsciously, you’re eroding trust.
Yes, but as far as I know that was the stated goal.

From the May 2nd financial results letter:

"We continue to target Model 3 production of approximately 5,000 per
week in about two months, although our prior experience has
demonstrated the difficulty of accurately forecasting specific production
rates at specific points in time because of the exponential nature of the
ramp."

http://ir.tesla.com/static-files/1b240f1e-b519-4b40-b14b-fea...
> You must use the Microsoft Store in-app purchase API to sell digital items or services that are consumed or used within your app

Kinda defeats the purpose of PWAs...
> Joking aside, I know the package manager was somehow a sticking point for people when it was merged in a pretty unpolished state, but at this point I'm not sure what the complaints are.

Package management is an awful paradigm for application management. I'm not familiar with Haiku's implementation, but the only reason anyone needs a package manager is if they intend on having a complex web of dependencies and spreading an application's files all over the hierarchy. In other words, they're a UNIX system. Implementations are almost always reliant on a centrally managed appstore-like repository that developers have to deal with to distribute software in the "official" way, often don't allow multiple concurrent instance of the same application to be install (different versions, for instance), are completely inflexible in regards to where applications are installed (so portability is right out), etc.

Many of the problems I have with package managers were expressed by parts of the Haiku community when it introduced one. It appears that the developers disregarded these concerns because they like package management in Linux. Fine, they're the one's working on it, they can do what they want, but I don't have to like or praise that decision.

> And I also note the people who did the most work on the LibreOffice port say they would not even have attempted it without the package manager, so there's that.

Says a lot about the system then doesn't it? Windows has a portable LibreOffice, even Linux has an AppImage.
until recently, airbnb made a substantial effort to integrate react native. project immaturity and a need for faster version releases necessitated maintaining an internal fork. they've since begun to move back to platform-native languages.

https://medium.com/airbnb-engineering/react-native-at-airbnb...
Well by not introducing some sort of package manager would make Haiku even less functional. How would you manage all of the dependencies that LibreOffice requires to even run? (Especially updating Qt and WebKit), let alone update the OS itself which BeOS didn't have any of this. I'm pretty sure that nearly every modern OS out there has some sort of package manager.

So I would say that by introducing this package manager has actually helped the project gain many usable applications which Haiku previously didn't have for some time.
The stack is one of those things that would fall under "support for common paradigms". I checked that PDP-11 (the machine on which C was created) already had a hardware stack - and probably even older machines. There are many other programming languages that have the concept of a call stack. Hardware stacks are just an optimization to support this paradigm, and you are not required to use it. Conversely, C does not require any hardware support for implementation of the call stack.

The main problem with hardware call stacks is that they can't be relocated if you need predictable performance and/or have pointers instead of offsets into the stack. That means they are bounded size. With 64-bit addresses that may be less of a problem, but still. Functional language do not need to use the hardware stack, so that shouldn't be an issue.

> Having a single address space for both code and data mainly just gives an opportunity for optimisation to fail.

I don't think C requires that in any way, but since void pointers are allowed to point to either code or data, representation of void pointers must be somewhat "compatible" with both address spaces.

> Everything-is-mutable gives a lot of opportunity for optimisation to fail.

Not a hardware issue. Also not everything is mutable, not even in C. But you need some mutability for performance even at more abstract levels.
Wasn't it Tesla which set itself to fail? They set a self-promoting deadline of 5000 per week back in Q3 2017 and missing it twice. And for that you don't need a scraper, just read past quarterly reports from Tesla.

One can certainly hope that Tesla keeps up this volume.
Well, I mean, considering the fact that React Native came out long before Flutter was released, it would be very surprising if Flutter superseded the amount of downloads already.
Why does this make sense as a micro-service instead of a utility library. Seems like a network call is expensive for doing something like converting time formats.
I meant socially, as a tech community - I'm wondering how to strike a balance between "realistically, your information will get leaked, plan accordingly" and "but that doesn't make it okay".

Legally, or even on a consumer level, I don't see any kind of meaningful consequence. And the rate of data loss probably won't go down until that changes.
Are you kidding me?

Look around your home. Right now. How many things have software in them?

How many things don‘t you see in your home? Everything in your home that doesn‘t include software has been manufactured and packaged.

My employer makes components for industrial automation. Have you ever thought about it? Nobody does, unless he has direct contact.

Building automation? Special machinery (huge presses or packaging machines). Whatever.

And re: your Android board: come back when your bricolage conforms to all kinds of requirements. Extended temperature range. Vibration. Electromagnetic compatibility (it‘s easy to accidentally broadcast in the naval emergency band). Etc. etc.
I feel like this boils down to: imagine a frame from which you draw data sets for fitting a hyperplane to separate the data into two classes. The direction of the hyperplane has lower variance if you impose regularization on the norm.

In a high dimensional, linear space you can add epsilon to lots and lots of dimensions in such a way that you can cross that hyperplane, and not all the regularization of the norm in the world will save you.

Both statements are fairly obvious if you've studied functional analysis and probability.

This is a case where pre-ML computer vision didn't have the same problem. I've always felt that something got lost in the transition.
Thanks for linking to that. Let me include it in the question.
It's true that roads convey people & permit economic activity.

But that road down the way that is so congested right now? If we expanded it, and it could convey more cars at the same level of congestion- where did they come from?

The latent demand represents potential traffic that either:

1) is doing just fine taking a different route right now

2) isn't particularly economically valuable, i.e. not worth waiting through traffic for

3) things like future sprawl enabled by wider roads today

In order, #1 is not particularly valuable to reroute, it was doing ok. #2 is not very valuable either, though perhaps a little. #3 creates new demand, but the only thing we get in return is lower density.

So I guess in sum the point is that all the most economically valuable travel is already happening, right now, and by widening the road we add only the travel that has such marginal economic value it's not worth doing today. So the more we widen the road, the less & less economic value we get in return.