skysight-inc/HackerNews huggingface dataset:
Unfortunately, people are still using PSTricks for new stuff! I work with teaching materials at a university, and some of the people who wrote it first learned LaTeX in the 1980s, and haven't kept up with the three decades of improvements since. The obsolete hoop-jumping is kind of amazing, and I've been getting really good at complicated regex find and replace.
The link doesn't really explain what Netdata is or why I might want to use it.
DUN DUN DUUUUUN !
Sure, and model checkers and static analyzers do use symmetries and much more sophisticated ideas (abstract interpretation), but the point remains that it is provably impossible to create a language where every program is feasibly verifiable. My example wasn't even the most restrictive (even though it was too restrictive to be generally useful): it didn't have loops or recursion or higher-order functions. But even a language that doesn't have functions or branching at all, and has only boolean variables is already NP-complete to verify. Computation -- even of the most restrictive kind -- and verification are essentially at odds. In a way, that is the defining feature of computation: a mathematical object constructed of very simple parts, whose composition quickly creates intractability.

On the other hand, specific programs, even in Turing-complete languages, can be feasibly verifiable. We can make our tools more sophisticated, but we can't make our languages restrictive enough that verification would always be possible in practice. There may be things languages can do to help, but changing the expressiveness of the computational model is simply not one of them.
Hi, I just created an account to give you a bit of feedback.

When g++4.9 went out, our old mathematical/financial library was finally able to be built with LTO.

See, to be effective, devirtualisation requires LTO, it also requires profile-guided analysis to detect the right use-cases to devirtualise, and it requires that your functions can in effect be "hidden" from the outside, so that the compiler can tune the inlined functions.

As our codebase was also portable to Windows (and so, had all the right declspec (dllexport) lying around), we were able to use the -fvisibility=hidden flag. We just had to make sure that everything was within one big fat shared-lib.

On old CPUs (e.g: Nehalem class), our code ran 2 times faster than the same code compiled with -O3. On Haswell-E, it ran 50% faster.

There's also a very cheap way to force devirtualisation: use the C++11 "final" keyword on your methods. G++ can optimise and inline where applicable.
You're right, but I was generalizing.
The Wonder Woman comic was blacklisted
Can't understand all the negative comments here (I'm definitely in shut-up-and-take-my-money mode): this looks like an amazing toy. It is only a puzzle toy, but I know that as a kid I would have had a blast with this thing. Physical objects like rolling marbles are fun, memorable, and accessible in a way that typing text into a screen simply is not. The mechanical switches are incredibly easy to understand, and it is very obvious why a gate does what it does. The point here isn't to make someone curious about programming per se: it is to build a contextual foundation so that, much later, when they are learning these things more formally, they have a direct, useful metaphor. So they can make a cognitive hop instead of a cognitive leap.
1.5x and 2x speed on the desktop version of YouTube (and the ability to set playback speed in most media apps) helps with that.
I've noticed this behavior with a lot of services.

I can only chalk it up to something like clock drift between the processing node and the database server.

Irritatingly I can't remember which site it was but I posted something somewhere a couple days ago and immediately after hitting enter the site marked what I'd said as submitted "a few seconds from now". I never fail to be amused that the fuzzy time library being used has code specifically designed to handle this edge case scenario. :D
Yes. I work for a 100% remote company, and it is awesome. I don't think it's for everyone, but for me, it hits the sweet spot. I get to walk with my wife or play with my dog or putter around the garden during breaks or when I need to step away to clear my head. It's great.

I use local meetups on the rare occasion when I crave in-person tech socialization.

The one thing I do miss and haven't solved 100% is the ability to whiteboard with fellow engineers. We just Skype and share our screens. It's good, but not as good as whiteboarding.
At that quantity, I expect they just set a new price for them.
Data wrangling is a really clear case. I do a tonne of this and it's so much easier in FP.
Which still doesn't matter, if it's the secondary market. You can't borrow $100 and get more than that.
I didn't even realize the last blog post as Sep 2013:

http://blog.opalang.org/

Hell, it might be dead. I'll have to email them some time this week to find out what's up. Fortunately, it's open-source so others can pick up where they left off if they want. Or do a clean-slate work with similar capabilities.
It's worth understanding the Mac software ecosystem is mostly made up of people who love the platform and OS.

Windows just isn't the same, lots of devs making software the same way the made it 15+ years ago and not wanting or even caring enough to change no matter what the benefits.
I don't understand how surrendering global influence and creating fear among European allies strengthens the America First narrative.
I don't get what the end game of this Administration's foreign policy is.
http://www.antipope.org/charlie/blog-static/2017/05/rejectio...
goldman's asset management arm bought the bonds for client portfolios- not goldman itself. I don't see any controversy here.
Without finalizers in JavaScript, WASM Libraries don't work out well, as you need to do manual memory management in your JavaScript code then, as you won't be able to hook the native destructors into the Garbage Collector of JavaScript. So until those are a thing, it'll be extremely ugly to work with WASM Libraries in JavaScript.
"and it's culturally acceptable and isn't seen as lazy or unmotivated"

Uh, you should probably add to that "... by other people who work part time". There most certainly is a career bias against part time workers. Sure, in some sectors it might be worse than others, and not all of it is that explicit - but come promotion time, working part time gives you a severe handicap.
Machine Just Started Sucking CO2 Out of the Air to Save Us from Climate Change
I agree with you in general economic concepts but begin from argentina, I tell you, that all the money coming in for this will be poached by the current government in its corruption, and the next government will have to deal with that debt.
As of right now...

On the one hand, I see "Everything operating normally." at the top in green, and no flags or alerts.

On the other hand, the charts look good, but "App server availability" looks interesting, the right edge of the chart is pretty much at 0%.
A bit weird. GitHub says they fixed it, but on the other hand CircleCI still considers it as an outage :

> Monitoring

> May 31, 2017 3:08 PM

> GitHub have declared the outage resolved and we are starting to see incoming GitHub hooks. Builds are being triggered again. However we are still seeing failures with the GitHub API. This continues to prevent our webapp > from fetching data from GitHub. We are monitoring the situation and will ensure sufficient capacity for when their service resumes normal operations.
Message queues and eventual consistency. Unless your request requires something "atomicy", 200/201 response should be a sign of "got the message, will get to work on it when we can".
I don't think it's really an edge case. Probably one of the main uses, actually.

Sure, if you use it to show comment age, you shouldn't ever see it, but I'm sure they fully support using it for countdowns, too.

EDIT: it's the 4th example under relative time for Moment.js (https://momentjs.com/).
Scotch Box Pro
I don't know if it's appropriate to say or not, but I feel this is kind of weird.

This project was not maintained for a while despite multiple offers to help. (for example, https://github.com/scotch-io/scotch-box/issues/273#issuecomm...)

Today the box was finally updated with a "Pro" version that offers "generally higher versions of things".

I no longer use this box but have been following the project out of interest. I feel like this is a weird move. Is it weird?
I think this nails it. C# is a really good language. F# has some advantages, some disadvantages, but there's not much clamor for something better in the dotnet world.

Java and Objective-C are far behind as languages, so the motivations for Scala, Clojure, Kotlin, Swift were far greater.
Why write code when more dependencies will do?
This repo shows as empty for me.
I enjoy Ghiblis movies, and enjoyed Pom Poko, but I wouldn't put it in the same class as Spirited Away, maybe Porco Rosso (but I prefer Porco Rosso myself).
Very true, but think of all the litter on beach that wasn't collected instead.
Or any creditor's motivation for that matter. Debt must be paid back, regardless of who the creditor is.
I wonder if game developers are actually disincentivized from qualitatively improving load times past a certain acceptable threshold, lest their AAA game be perceived as lightweight.
Actually, most of the "relative time" JS libraries can be used for countdown as well ("this event is scheduled in two hours"). Accidentally getting a timestamp that's supposed to be in the past shouldn't break it :)
Exactly :)

My friends say that I usually sound "academic" more than snob.

Some time ago I witnessed this first-hand. I was at a speaking event, the speaker was Canadian. He said: "If you ever had the fortune to encounter [Mister XYZ]".
I would have definitively expected something like: "If you were lucky to meet him"/"had the luck to have met him" or similar.
He was native, but very academic indeed. :)
And even for games, the only reason it's not a difference is because game developers target less bandwidth between CPU and GPU so they don't use it all.

If we move to a future where every GPU has a lot more bandwidth then games would most likely start taking advantage of it.
Except, it has not defaulted to the ECB, Eurozone or IMF... these institutions are insane, when asked "We owe you x billion dollars at the end of the month. We can either pay you or pay our pensioners. What should we do?", the answer was, "Well, pay us!".
functional languages in general aren't very popular in the enterprise yet. this means that finding talent for more obscure languages like F# is really challenging. You would need some really large org that's willing to make the switch to build a hiring pool around it.

which brings me to my next point. the cost of switching languages is really high for most companies and often times the need to do so is driven by a direct business need (like Jet.com and their order processing engine, which ran on F# from the start).

Also, C# and to some extent Java are getting some functional-like features (type inference, anonymous functions, pattern matching), so the need to take on a new language entirely to get those features is even lower
I think the point is more that by the time the default happened, the market already considered the bonds to be worth less then what they ended up being worth.
The English dubs refer to them as 'magic raccoon pouches', and I never knew any better until I saw this thread :)
No. The book does assume you know and are comfortable with your calculus and linear algebra, but each topic is covered from the start as it where.
P.S.: If enough artists put a "price" on social metrics within their works, it would generate market dynamics between the platforms. This would force them to behave in a way that is beneficial to the creators.
> Even without the key the system is still vulnerable to frequency analysis. For example if it were used to store passwords an simple sort and count would reveal accounts that have common passwords which could then be brute forced using lists of the most common passwords found on the internet.

I would hope, very strongly, that nobody would encrypt passwords, but instead, hash them: https://paragonie.com/blog/2016/02/how-safely-store-password...
Then Github's up :)
Yeah, it required the Windows Store, and additionally at that time it could only have WinRT (unrelated to Windows RT; basically the old name for UWP) apps. These days you can put Win32 apps on the store. If Microsoft allowed Win32 ARM apps on the store, maybe Windows RT would have succeeded. Maybe. Software publishers probably wouldn't have wanted to lose that control.
> There is a bug that breaks applications using kdialog horribly

That was fixed in the 5.8 branch. I wonder why the fix isn't in 5.9.
I prefer the (open source) videospeed Chrome extension [0]. It gives me a much wider range (thus far I used up to 5 x speed; audio is blanked above 3 x speedup), 0.1 increments - and keyboard control. The latter is essential to me, I can watch sections of online lectures at high speed and quickly slow down without fumbling for the mouse to watch the few sections that demand more attention at lower speed.

[0] https://github.com/igrigorik/videospeed
Easy enough, the right ones are the custom molds earplugs, plugs made from and for your ear canal.

They're not cheap but they fit snugly and tight, plus they last a long time. I got mine from a recommendation from a sound tech frien. There are different kinds with filters, for example to remove the bang from a gunshot or filter out snoring but not the alarm clock or the full plug to cancel all sounds.

While taking the print for the molds I experienced total silence for the first time and enjoyed the slight tinnitus I never noticed I had.
What are some constructions you'd consider "fair"?
Well, in the early morn' we called a cab to steam off the debauchery and quit hopscotchin' around :)
Do they care? Depends, I guess.

But more importantly, does it matter? At a collective level, absolutely. When there's a layer of a system you don't understand, you introduce a couple of potential problems.

1. The system has a flaw at that level and you don't know what to do about it. A real world example of this is hardware manufactured by the lowest bidder not matching the specifications, potentially introducing bugs that are impossible to debug without an understanding of what's happening at the hardware level.

2. The system has a potential exploit at a level you don't understand, and someone uses it to take advantage of you. This is basically all home owners getting their computers infected with malware. Sure, they can run their antivirus in 99.9% of cases, but if they ever get a virus that isn't in their antivirus' list, then they're effectively out a computer.

So yes, people should know how a computer works (at least in principle) at every level. This is essentially the same as knowing how your car works so when it breaks you can fix it instead of sending it to a mechanic for overpriced repairs.
Holy moly, you made a languages nerd's day
I would find it hard to believe that GSachas believes that this government will have an economic recovery. Specially considering the maturity of the debt, its surely a bet that the next government will honor the debt.

But that is pretty terrible for the next government, that today would like no new debt to be issues, since it will all be spent today against them, and they will have to pay it in the future.
EU all set for free roaming from June
It might be more accurate to say not that the ML models are trained off [decisions of] people but that ML models are trained off past experience, the results of decisions that were taken.

When introducing a new ML system, it's generally trained off of people, but in most (though not all) contexts you get much, much more data once the system starts getting used in practice and you get feedback on the decisions that the machine made.

The human knowledge is generally needed as a seed to make the model sufficiently not-bad so that we'd allow it to be widely used in practice and learn on its own.
We are approaching the point where helping the Venezuela
is akin to helping North Korea. I suppose Goldman was able to squeeze in some business a few days/weeks before we start officially sanctioning support for their corrupt and inept government, but it's 100% fucked up that anyone would offer support for this regime. And every dollar that Maduro gets to help sustain himself is a dollar that will functionally be used to kill another civilian through starvation/malaria/etc.

And do not mention the secondary market. The Fed buys off the secondary market, but that doesn't mean it's not the one providing liquidity.

https://www.nytimes.com/2017/05/30/opinion/venezuela-needs-i...
Is that the company's definition? Or the standard English definition? I thought the standard English definition was "fewer". I never looked up the word, but just assumed from the context other people have used it during my lifetime. Either way, I think it is an example I am lousy at comedy and the English language :(

Sidenote: "Nickell and DeHart invited users to post their designs on a dreamless thread (hence the name Threadless), and they would print the best designs on t-shirts." ( dreamless.org, a forum where users experimented with computers, code, and art) https://en.wikipedia.org/wiki/Threadless#History_of_the_comp...

(I'm not arguing. Just curious. I was like, "Was I using 'less' improperly all my lifetime? Well, it probably is not the first time I misused a common word.")
It isn't much of a deterrent, if you know that only a single competitotor of yours or just a few companies will be singled out for the outrage. Time and time again. There are fund managers, pharma companiess, and industrial conglomerates that acted way more shitty than most banks, but people tend to ignore that or forget that very quickly.
My current “gaming machine” is still using PCIe 1.0 and it doesn't look like it's proving much at all of a bottleneck, because why would it? The game loads most things into memory once and then the rest of the time it's just sending draw calls and maybe geometry updates.
That's part of it, but I think the fact that "the .NET world" is largely enterprise, with is both less sensitive to language quality and more averse to change (whatever quality it brings) than much of the rest of the dev world is also a factor.
Well at least in my mental model a Promise is an object that eventually resolves to something within its .then() method. In contrast my mental model of await is that of a blocking call. One can internalize the latter without the former.
I've known about webshells and their insidiousness for a while now, but haven't seen a real in-the-wild example before. The level of professionalism and sophistication in monetization techniques is really quite interesting (assuming you're not the victim).
Looks like their cdn is having problems as well now, seeing timeouts when trying to download archives.
Haha, there's certainly a bit of that going on.

For quite a long time a lot of events were written down and communicated via Broadside Ballads: https://en.wikipedia.org/wiki/Broadside_(music).

Broadside Ballads often described events and people and were usually written to be sung to common tunes that the public might know. A lot of the ballads became folk songs over time and the lyrics/stories/tunes changed, but they're often still traceable back to their roots. So where a ballad might describe an event pretty plainly, the songs derived from it will most likely embellish and romanticise it.

The Bodleian Library in Oxford has an online collection of Broadside Ballads that is very well maintained: http://ballads.bodleian.ox.ac.uk/. I found the following whilst seeing if there was anything related to Moreton Bay, and although it only shares the namesake, this is quite a good example of how the ballads were written: http://ballads.bodleian.ox.ac.uk/static/images/sheets/15000/....

A good example is the quite famous folk song Scarborough Fair, which is one of a number of variations descended from a ballad called The Elfin Knight: https://en.wikipedia.org/wiki/The_Elfin_Knight.

My knowledge is mostly limited to English and related folk music, so I'm not sure if there's anything similar elsewhere, but it's certainly an interesting subject and it can be pretty fun to take a song and see if you can find out the original story :)
12 Signs You’re Working in a Feature Factory – Hacker Noon
I wonder if it's the same silicon as Epyc, just ThreadRipper gets the worse bins.

Or maybe there's one less chip in the package?
While dangerous, it was waiting to happen. I think if we look back on this in 10 years we'll consider it a wakeup call and we'll be glad it didn't get far worse (as it could have, if the creators were competent).
Thank you!

I was hoping this could automatically improve performance for existing projects but it seems it is a bit more complicated than that. Either way, 50-100% improvements sounds very nice.
Zero-commission algorithmic trading
https://static.googleusercontent.com/media/research.google.c... shows that the original NaCl-x86 only allowed one sandboxed application per process. So to support pages with more than one plugin, IPC would have been needed.

Sure, (P)NaCl could have been implemented differently in a way that allowed multiple sandboxed applications per process, and then DOM access would have been easier and maybe Pepper wouldn't have been necessary, though there would have been slightly higher overhead I guess.

That's all history now.
But since Haskell of course compiles to C or C--, it obviously doesn't follow that you can't implement purity in an impure language -- just not at the level of the typical metacircular interpreter beloved of FP people.

I'm not sure what you'r saying exactly. A related issue is the "monads let us do things that are difficult to express in other ways" argument of Wadler's paper Essence of Functional Programming. I believe it, but also it's clear that the real attraction of monads is their rigorous foundation. They are simple to reason about correctly and mathematically about while providing useful features. What I'd argue is not the case is that it's difficult for a programming language implementer to come up with an abstraction that does something similar in an adhoc, less well-founded way.

Maybe it's the same with implementing purity in a non-pure language. It's harder to hit the target of elegance, but it's the de facto situation on any existing hardware.
Domestic investors should benefit the same as foreign investors. Even the banks would benefit from the new law. It's in their interest to get these non-performing loans off their balance sheet and this change creates legal certainty for buyers to come in. If the banks are already adequately capitalized then they should benefit by quickly being able to take control of the companies and/or its assets.
> Most of the "proceeds" from a conference come from an abundance of sponsorship for that year. For the community-organised, non-profit conferences I've been involved in, the per-attendee cost is often much more than what we charge for tickets. (This also depends on the overall sentiment within the organising team. Personally, I'm for charging as high as reasonably possible and offering scholarships and discounts where needed.)

While I'm sympathetic to that, I'll note that the one conference I'm aware of that does do this, on a matter of principle, is also the most generous with scholarships and assistance, and also the most diverse in both speaker lineup and conference attendees.

It's not easy, but definitely possible to run a conference this way; the main problem is that very few actually try.
This reminds me a lot of Matthias Wandel's "binary marble adding machine"[0] which you could, theoretically, build yourself if you think this is cool.

[0] http://woodgears.ca/marbleadd/