skysight-inc/HackerNews huggingface dataset:
Yes, I've described the solution in the limit, in the same sense a physicist could write: lim t -> ∞ ... A limit doesn't itself happen in real life, but shows you where a system is going.

As for a proof that this is happening, there are plenty of examples if you look at the highly competitive spaces and consider goods you usually buy, and how they evolved over past decades. Food and tools are two obvious cases that come to mind.
He has a book called The Conquest of Happiness ( http://russell-j.com/beginner/COH-TEXT.HTM) that I would really recommend. : )

He is definitely one of my favorite thinkers to have ever existed. There are even some interviews of him you can still find on YouTube. ( :
> if safety regulations can always be ignored for profits, plane manufacturers will build less safe planes over time.

Would you fly on an airplane that had a reputation for crashing? Me neither. Crashing airplanes is very, very bad for profits.
Yeah and full employment is also a recession predictor
You're right for CPUs at 100% utilization.

For CPUs at idle, able to turn off power to accessories, power consumption has gone down dramatically over the last decade. True, the curve has been flattening over the last 5 years, but it's still noticeable.
No, it's about proving something about your program. Types are theorems about programs. If a compiler type checks (well if it is a sound type system) that your function returns an non-zero integer, it proves that it can only return non-zero integers. And you can write that kind of constraint in types. Types can be very expressive! You can even check that all variables are within scope in a lambda expression by using an appropriate encoding (de Brujin indexes users integers instead of variable names) for the expression. Typically you provide hints or even proofs for the compiler; they mix with something called proof assistants.

Scala looks hacky at it. If you want cleaner examples, look at the Coq, agda, epigram and idris languages.
The latest victim in the anti-free speech reactionary campaign to crackdown on advertising considered political. What's worse, prohibiting ads from Russian trolls interfering in US elections, or the risk of any promoted political speech like this being blocked?
I do watch Ted talks and others for fun.

I go to meetups to listen to talks for fun.

My fun is:

- something really funny ( new different angle or more complex. I actually find lots of old/pref liked comedians no longer funny)
- something which is between easy and hard. A lot of stuff becomes easier and easier after a while.
Police departments have started to get smart about technology.

The Seattle Police Department now has a division focusing on data analysis. This came out of a consent decree with the Justice Department to study compliance for use-of-force incidents, but is now being used for other things to quantify how well the police are using resources in different neighborhoods. Recently they sponsored a hackathon sprint for local developers to come up with ways to quickly anonymize police body cam footage so that citizens who were not the subject of an investigation could not be identified, but still provide requested footage in a timely manner.

https://statescoop.com/seattle-police-department-launches-da...
It doesn’t seem to me that the risk is effectively zero. You can’t exploit it remotely, but as a local exploit it looks pretty nice.
The C++ type system is essentially a functional programming language, and it seems to have developed independently, indicating to me that there is something fundamental about functional programming. It turns out this has not just occurred to me and there is a deep relation between mathematical proof and functional expressions. Thus, if you are trying to prove anything logically, you will likely eventually end up with some kind of functional-looking notation or something that is very closely related.

For some reason, the moment you bring up mathematical thinking, most programmers shy away and claim that this isn't something they should work with 'everyday'.
Talking to an in-law on the city council back home, the local places that do jobs like tire changes, oil changes, pizza delivery, are having issues finding people. Even with 15 dollars an hour wage, and this is in a small 2 store town. I didn't even ask if those are 40 hour jobs or part time, makes me wonder.
You should probably read the whole comment.
> People are more important than profits.

Taken as an overriding principle, then we wouldn't have airplanes at all. Or cars. Or food. Or pretty much anything.
Personally, I think Wikipedia broke the web; it absorbed a world of individually maintained, individually slanted resources into a mass, then slowly drained away that personality in favor of a neutral POV, one edit at a time.
Hate drives user engagement so I don't believe they're going to much very soon.
> Does "something" have to be tangible and does it have to have a clear monetary value in damages

IANAL, to be clear. But yes, fraud is generally defined legally as deception for "gain", which is usually, but not always, denominated in money.

Beyond that, like everything else in law, it gets complicated. Are you asking about civil or criminal fraud? Where?

Also, even if you have a case that is technically civil fraud (say, I tricked you out of a dollar) or criminal fraud (I overstated my income on a mortgage application by a dollar), for small-dollar amounts you'll find you have a lot of difficulty actually bringing a case/no DA will touch it, simply because it is too small to waste court time on.

Incidentally, that final point is why ATT and Comcast want to kill class actions. If the people they cheat can't band together, it is too much trouble for anyone to recover that $2.74 "Up Yours Because We Can ILEC Infrastructure Recovery Fee".
But that's good! Not in the sense that we should wish for that outcome, but in the sense that the US should offer real assurances to us that allow us to enter such an agreement..

I understand the principle you're aiming for. However, as a practical matter, it is constitutionally impossible for the US to enter into the sort of binding agreements that would give you the assurances you seek, and there is no realistic prospect of literally amending the Constitution of the United States to make it more subservient to international interests so that it could give those assurances. Pursuing the strategy you advocate could only end in crippling large numbers of EU businesses, setting back the already lagging development of our tech and creative sectors by years more, and catastrophic effects on our economies.

A good general tries to fight only battles he knows he will win, but it's a crazy general who tries to fight battles he knows he can't win.
There is no need to resort to tools such as Eiffel to take some very good lessons about what the article is trying to say. Time has moved on since then, Eiffel has had its day, but just like Smalltalk and other obscure languages there is some underlying truth that is well worth studying.
I've not had any issues with Maven before
Your understanding is correct, though they also created a control plane (which they actually wrote in Go instead of Rust), added a bunch of features, removed a bunch of configurability, and restricted themselves to supporting apps running in Kubernetes as well.
Embracing Snaps: An Interview with Canonical and Slack
Places where I want automatic cloning:

1. Anywhere I call clone(). That should be the default / automatic.
2. Anywhere where I can get copies than explicitly move for lambdas

The problem with the latter is that I have to call clone outside of the lambda and bind it to a short-lived variable into to get moved to the scope of the lambda.
You can prove performance properties, memory properties, and formal properties, or any combination of the above.

The question of 'what the program should do' is not a mathematical one; it's a philosophical one in the most general sense, and most likely a business one.
"How the state is getting kids into capitalism"
This guy is Paul-Henning Kamp.
Well, the whole app is built around Redux in the first place :)
Sounds like the marketing department did its job, and the web guys missed their deadline.
Let's take infant mortality. The EU average (4 per 1000) is lower than the US average (5.8 per 1000). The EU has a population of 508 million, versus 325 million Americans.

Four of the 28 EU member states have a higher rate of infant mortality than the US average - Croatia (9.3), Romania (9.4), Bulgaria (8.4) and Cyprus (7.9). The first three are ex-communist countries and have only been democracies since the early 1990s.

25% of the Croatian economy was destroyed in the Croatian War of Independence of 1991 to 1995; it still has a number of active minefields. Romania was utterly brutalised by the Ceaușescu regime until 1989; you may dimly remember the horror of Ceaușescu's orphanages. If you don't, I suggest you steel yourself and have a stiff drink before Googling it. Bulgaria has a GDP per capita of just over $8,000 - a quarter of the GDP per capita of the poorest US state.

Cyprus suffered a coup d'etat by Greece and an invasion by Turkey in 1974, creating a lasting political division. There was a wall separating the Greek and Turkish sides of the island until 2007 and UN peacekeepers still maintain a demilitarized buffer zone.

That's what we're dealing with in the EU. Those are our excuses. What are yours?

https://www.cia.gov/library/publications/the-world-factbook/...
Came here to post this and “Advanced Data Analysis from an Elementary Point of View“ by Cosmos Shalizi
For example look at this tutorial about a regularization hyperparameter:

https://medium.com/data-design/xgboost-hi-im-gamma-what-can-...

Id think this is much more useful than anything about the math. How much can you deduce thats described there from the math, isn't this all just figured out by playing around with it?
I don’t understand why git so hard for people. Just

> $ git help everyday

And start from there. It’s really quite easy, and I’d even say the single best designed piece of software I use everyday.
I always assume someone doesn't know anything about blockchains when they call it "blockchain". It's just a data structure
How do you debug the Java runtime, or when you Java program does something other than desired?
> Choosing eiffel only makes sense if you know the next maintainer will be proficient at eiffel.

Choosing Eiffel makes the next maintainer proficient in Eiffel by definition, because that will be the job requirement for the maintainer position. Unless the people responsible for hiring cheap out, that is.

What you're advocating here is optimizing solutions strongly towards being maintainable by cheap, interchangeable workforce. It's a valid goal - presumably one the management would like - but sometimes (often) it's not worth the extra cost in complexity, both early and later on.

(Tangentially: programming is a profession. It should be entirely expected of people to be able to learn new things on the job.)
Some of us developers use it almost full-time (I don't quite yet, but I've finally gotten WiFi working on this PC so hopefully I will do so shortly), and there are users in the community that do also.

TuneTracker (http://www.tunetrackersystems.com/index.html) ships commercial radio broadcasting systems that run on Haiku.
15 MINI HORSES YOU DON’T WANT Your KIDS TO SEE
It only works if:

* You're using this totally undocumented feature. This involves somehow fabricating a plugin that will actually load, which is non-trivial. Pretty sure you have to copy the appropriate types out of the source of Rust itself, and build things that way.

* You're also relying specifically on the fallback location

* You're doing this on a computer with other users

When you pass either of the flags in question, it prints out a message saying "hey, this feature is deprecated, please comment on this github issue if you're using it" and has gotten zero comments in a full year.

Never say never, but the chances of this affecting anyone are extremely remote.
Etcd misbehaving during upgrades or when a VM was replaced was a massive source of bugs for Cloud Foundry.

There is no longer an etcd anywhere in Cloud Foundry.
Doesn’t apply if you aren’t standing in the EU
I agree with your analysis, but please notice that this new trend has completely redefined the idea of programming job, to the extent that, had I known about it in advance (say, 30 years ago), I wouldn't have chosen this profession in the first place. So the honest advice to "well intentioned types" (as you put it) is to switch to something else, otherwise you will feel miserable for the rest of your life. (I just bring your post to logical conclusion, which I happen to agree with entirely)
RMS would argue that it's gratis not libre
Tell that to the Marriott employee who got fired for liking a tweet.
The reason this is so difficult to undo is because callout posts possess attributes that allow them to bubble to the top of social networks: a clueless subject who can be positioned as entitled, a controversy that garners a strong emotional reaction, and a reveal from a foil with a bit of additional insight. It feeds our need for drama, vengeance, and putting someone in their place, even if the mechanisms of doing so are much the same as bullying. With the Internet having a deep memory, and screenshots and reposts being photocopies, the risks of speaking off the cuff have gone up significantly.
This is true to some extent, but sometimes you really do need a specialist. Some fields, such as databases and machine learning, are deep enough that there is a huge difference between someone learning it on the job and someone who has been doing it for 10 years.
Im building my first(or maybe technically second) full stack app.

6 months later, back end is done, front end is RN and is almost done.

This roadmap gave me a shot of excitement because I'm at APIs.

I finally can see the light at the end of the tunnel!
Windows 10 Insider Build 17711 Released.  Whats New
thanks, just reminded me to delete my LJ
Haiku developer here.

I used to run Linux on the desktop pretty extensively, but eventually got fed up with how often something broke and I had to fix it (ALSA doesn't play audio anymore, or suddenly MP4 files stutter -- or most recently, on the last remaining Kubuntu install, I can't even log in to my user account after the upgrade, it just hangs.) So, perhaps the system is "better architected" by some standard, but having those weird inter-dependencies tends to mean everything runs smoother. Depends on what your definition of "good" is, I guess.
A great starting book that helps build a good intution is "An Introduction to Error Analysis" by John Taylor (of Classical Mechanics fame). Basically if you are taking any kind of measurements and need to compose them intelligently this is where to start. From sig-figs to chi squared. A must read for any starting researcher

My experience otherwise with stats books has been horrendous.. (havent found a good "medium level" book to move on to yet)
Maybe that’s a proxy for people being hired away into higher paying jobs?
> If that were a problem in reality, the markets would be punishing companies where that happens.

Oh they do, I can show you plenty of examples. But it is never the problem of the people that created the issue in the first place.

Think of these things as time-bombs of technical debt. They'll blow up sooner or later, usually later, and that makes it that much harder to deal with the fall-out.

Also: for all the lessons about economy made here: I would happily argue that doing things right is actually cheaper in the long run and possibly also cheaper in the short term, by applying the techniques described in proper measure you can save yourself a ton of headache.

But of course that would first require a basic understanding of what the article is trying to put across, which if your time horizon is short and your deadlines are looming likely isn't going to be on your agenda.

> It's a tiny fraction of total programmers building databases and stuff like that.

Software you build tends to live longer than you think and tends to be incorporated into places that you can not foresee when you make it.

The 'tiny fraction of total programmers building databases' should include the huge fraction of programmers building embedded systems, APIs, operating systems, libraries and so on. All of those will have life-spans in the decades if they're done halfway right.
As someone who's pretty far down the rabbit hole on a bunch of these fronts, I think this is wonderful advice. Many of these are tools to solve very specific problems, and you should make sure you have those problems first.

The only thing I'd differ on is the semantic HTML advice. What you're saying is true modulo accessibility, but accessibility is (well, should be) table stakes for professional work. And while the community has come up with some really nice individual abstractions around tricky a11y concerns, I haven't seen a way to get good results without at least some knowledge of HTML semantics. I'm not implying you don't care about a11y -- it's totally possible I've missed some better ways of doing things.
"A book destined ultimately to be recognized as one of the great books of the world" according to the foreword by Lindley included in the English translation. "Probability is a description of your (the reader of these words) uncertainty about the world. So this book is about uncertainty, about a feature of life that is so essential to life that we cannot imagine life without it."
Sadly - this is virtually ALL companies over size X, age Y.

The dirty "silos" outnumber the clean by far.
If a null pointer handler in a nuclear warhead firmware caused immediate detonation, that would certainly be correct according to C standard ;).
Pretty well thank you. I now use it everyday as my primary shell, but the documentation isnt where I'd want it yet so I can imagine it would trip new users up in areas I've chosen to break from POSIX / "Bashisms". There are also a few areas of subtle bugs I'm still running into, but that is to be expected with anything on this kind of scale.

It is already open source but I'm the only contributer currently. Which is fine as it's a personal project anyway. So anything beyond that is a bonus.

The readline API I wrote for it is pretty nifty though. I'm thinking of spinning that off into its own repo since I've been a little disappointed with the existing realine APIs for Go so I think other people might genuinely benefit from that even if they're not particularly interested in a semi-Bash compatible alternative $SHELL.
For some applications it does not matter, so if you can afford to write throwaway code then more power to you.

But for many applications it does matter and for those cases you are essentially creating technical debt that will someday be somebody else's problem.
Those two things plus the web browser are indeed the glitchiest parts of the system :)

I've finally found a consistent way to reproduce the DHCP glitches, so I might be able to spend some time debugging that. The mail client is another issue; for now you're probably better off avoiding it. (There are third-party mail apps in the depot, so maybe try one of those?)

Glad to hear you can see the potential, though! :)
Ruby uses the same convention. (excluding macros, and adding question_mark_predicates?) I've seen C++ projects that adopt the same style. I don't see what's so objectionable about it.
Just because organizations have...organization and heirarchy doesn't mean they don't have a goal, or government and politics dont have policies.

I agree though about school being at least half to keep the kids locked up and out of the way for most of the day.

People care about long term health impacts.
OT: what is the definition of a "root" of a multigraph? In a regular graph, the most common definition I've seen is that a node is a root iff you can reach every other node starting from it. In the graph in the article, that is true both of nodes 1 and 2, but he says 1 is the only root.
I'd say this is better explained by a shift in the distribution of users than by anything changing intrinsically about the device.

It seems quite possible to me that the number of people jailbreaking their iPhones and developing weird apps is actually greater than in the early days, it's just that everyone has a smart phone now, so the percentage of people doing that has shot way down.
If you haven't noticed, we've been outlawing the ability to obfuscate yourself from these systems as we've been building them.
I disagree that freedom of speech can be so neatly boxed into such a narrow definition, but that isn't really the point I was trying to make.

Ignoring broader social issues and focusing purely on the government, citizen monitoring can be (and often is) utilized by governments to curtail free speech. People joke about the NSA monitoring them, but that absolutely has an impact on free speech - people are less likely to search something online the government finds distasteful when they know they're being monitored. Note that this is true even if the thing they'd search is legal.

If the government can monitor which events you show up at or what you read, does that make you more likely to be put on a no-fly list? Does that make it more likely for the government to pursue a separate legal action that it otherwise might ignore?
GC pauses are a problematic issue for proxies. It’s a lot of work to work around the GC on the JVM, so I’m not surprised to see them move on with Rust. There’s also the JVM stigma, that is difficult to squash.

Looking forward to Linkerd2
UK Financial Regulators Cracking Down on Banks' IT Failures
There’s definitely an issue with retraining people who’ve had a job over twenty years and only know one thing and now we’re trying to train them to something diff and doesn’t pay as well... but I think there are folks who are more flexible, people in their prime working years who can be enticed if given the proper incentives.
> 2014

So add four years to all values, I presume.
Yes, I get he thinks his language is the best, and maybe it really is. Constraint-based programming sounds cool. Then again, so does logic-based programming, but I'd wager most people have never written a single line of Prolog, and for good reason. It's hard and slow to write, and to run for that matter.

Maybe his language would be more popular if he wasn't such a snob about it.
Not for much longer. TypeScript is such an easy productivity boost compared to JavaScript.
It’s really worth noting that this is a Bangalore based startup. The dynamics may be different out there. This could help spur investment outside of cash crops (e.g sugar cane).
Jaynes is a delight to read if you like an opinionated style over the more usual dry prose of other textbooks.
Yeah. Personally I hate it. But it's what Terraform uses so sometimes it's handy having another tool to pull bits from Terraform scripts.
Companies have no obligation to uphold free speech. The free speech "guarantee" is a US government thing. Don't conflate the two