skysight-inc/HackerNews huggingface dataset:
Italy's problems are a bit similar to Greece's but their economy is just a lot stronger. In Spain it was clearly the inflated housing market that caused the problems.
No names mentioned? Also why can not this company switch to tmsc or gf?
LO...

Don't get me started...
Cute, but why should one care about ⊥, aka bottom, aka nontermination [0]? Let's write programs that terminate...

[0] https://wiki.haskell.org/Bottom
> To me Rust is more a C++ replacement than a C replacement

Precisely. Rust is what C++ would be if it didn't need to be backwards compatible (though I'm not a fan of some of the syntax choices in Rust). Unfortunately, there's a reason C++ needs to retain backwards compatibility and its for that reason that Rust isn't going to replace C++ anytime soon.

> That's what they mean, they love C because you can't really do OO with it.

Until they invent GObject or one of the other OO on C libraries. The anti-C++ sentiment is more because compiler support was really quite dire until fairly recently (C++ 11).
Quite. If you're in a sub or control room you don't need night vision. If you're in a situation of needing both colour appropriately.

In a plane keeping priority on what's outside is needed - if you're flying visually. If you're instrument flying quite the opposite.
high performance != highly scalable. I was really hoping for some discussion on highly scalable systems and not necessarily optimizing database queries.
> The point of all the works is to improve your abilities.

And why should one try to improve his ability to write?

Writing is for human consumption. Essays should be scored by humans.
There's actually not good evidence that public funding of research has a positive economic impact (private R&D is another matter).

https://lemire.me/blog/2013/02/26/does-academic-research-cau...
Seems broken in Safari Mac - the facet search doesn't work and scrolling down simply stops after a while.
Base64 Stream Encoder/decoder in C99 (NEON, SSE, AVX)
Thanks for clearing all that up.
Indeed. Although Physics is important in the cooking process, Pizza is all about Biochemistry. Since flour and water have essentially no flavor, all the taste comes from what the yeast makes as it metabolizes the flour and other carbohydrates present. More metabolic activity == more flavor. More time == more yeast output.
This isn't about the state monad, it's about seq. "But now seq must distinguish ⊥ from λx → ⊥, so they cannot be equal. But they are eta-equivalent. We have lost eta equality!" - once you lose eta equality you lose everything. A whole raft of monads become impossible, not just state.

Equivalence in Haskell is defined only up to ⊥; to work in Haskell we rely on the "Fast and Loose Reasoning is Morally Correct" result that if two expressions are equivalent-up-to-⊥. and both non-⊥ then they are equivalent.

(Or, y'know, work in Idris with --total and avoid this problem entirely).
Not here, for me on Mac
Hugo – Astatic site generator
That takes me back to when I worked for Home Depot during the summers. So much "correct" terminology that it was easier for everyone just to ignore it. Unfortunately for the spokeswoman I don't think she'll get a pass like everyone else
Strong recommend for Autolab as well. In addition to the features above. Front end is also easily extensible for custom activities.

Behind the scenes of course, are Docker multi-stage builds for submitted code. And I dare say, if your class is <1000 students. You can roll your own build environment on a single small cloud instance.

http://autolab.github.io/2015/05/autolab-and-docker/
> if governments had focussed on spending money into the real economy instead, through infrastructure spending and real nation building projects

The Federal Reserve is an independent agency. It repeatedly implored Congress to increase fiscal spending. That didn’t happen, so monetary policy had to attempt to compensate.

> creating jobs

At least in America, we did a good job of this. Ben Bernanke navigated us away from an alternate history in which the GFC was a second Great Depression. In New York, the Hudson Yards are coming up as one of the biggest public works project since the Great Depression. Things could have been better, but they could easily have been a lot, lot worse without QE.
> OOP" done right (aka no inheritance, simply method polymorphism).

Why do you consider inheritance a bad feature of OOP?
I did not say that it's still not used heavily, just that it's slowing down. And C is the second on that list so I'm not sure I would believe this ranking, I have not seen much C jobs for a while now.
Growing up in the 80s in Korea, NES wasn't big at all. Early to mid 80s console was mainly dominated by bootleg versions of Sega Master. Then in 1987, the NEC PC-Engine (turbographx16) came along and blew everything out of the water with its slick form factor. Then many jumped on the MegaDrive (Genesis). Good old days. :)
There is a saying about the band Velvet Underground - that not many people bought their records, but everyone who bought one went out and started their own band. I think Lisp is kind of similar - its influence is much larger than its fame, but ever language designer is inspired by it to some extent.

I do think Lisp kind of missed the boat when a wave of dynamic languages (Perl, Python, Ruby) went mainstream. Today the most exciting developments in language design seem to be around static type systems, type inference etc.
> the greek central bank could have increased inflation and downvalued the Drachma

This only works for so long. There is a reason the Venezuelan and Argentinian model predictably hits the rocks after a few decades.
Thanks - I'd never heard of that - pretty surprised that a Conservative government implemented anything like that. having said that, maybe that's why it has been kept relatively quiet?
Are you making the argument that bicycle helmets are ineffective or that people should be free to choose for themselves what risks they are willing to take? The former is a dubious claim and the latter is likely a fringe position.

Given that, suggesting that helmet laws are a plot to reduce cycling puts you firmly in conspiracy theory territory in my book.
Introduction to Project Management Terminologies Orangescrum Tutorial
Does anyone really have access to this 1000$/year subscription only magazine so we can actually read the article?
What's unusable?
That's just the thing, Tesla isn't creating the chaos, everybody else is. Tesla setting huge goals and trying their best to reach them, no doubt exceeding Musk's true expectations. Companies fail to meet goals all the time, most of the time because the goals have been set intentionally unreachable.
Better idea- expand the lanes but give them to a light rail system instead.
How to Use the Each Method in Ruby
We have built a small geo redirection server using Golang and Redis that handles around 50M requests per day. We have optimized our stack to cut TTFB and Golang make it easier to achieve this.
Does that ever happen or is it just a fear of being judged for your purchases?

Cashiers scan hundreds of items during their shift. They are not looking at the product like you do when you select it from the shelves amongst a number of alternatives; they are merely glancing at it to get the barcode oriented towards their scanner. Your curiosity tends to take a back seat with repetitive work like that (you would be mentally exhausted in an hour if you did actually 'look' at everything).
> I’m aware that they’re low cost, they’re everywhere in sydney. I guess I just am trying to look at the unit economics and reverse engineer the business fundamentals.

It's also possible they overestimated the real world demand for using these bikes as well. From the article, it sounds like the main people involved are from cities with a very significant bicycle using populace.

They may have thought they'd be introducing that culture elsewhere, and be on the "ground floor" (pun intended). ;)

That they went with bikes so crap that no one wants to use them, sounds like very poor research / product planning. :/

Subsequent reported problems all seem to stem from that.

That's not taking the shonky sounds bits into account though, which may have become their plan B. Or been the real plan all along, of course. :)
Formik is missing from the Form Helpers section. It's (arguably) better than Redux Form because it doesn't push every keystroke change through a reducer.
As far as jobs are concerned I'm not sure Clojure was ever alive. Search the Indeed.com API for title:Clojure and Location:London and you'll find 10 Clojure jobs. Extend that to Location:United Kingdom and you'll find the same 10 Clojure jobs, ie. nothing outside London. For other countries it's: France:0, Germany:7, Netherlands:3, Spain:1, Italy:0, Japan:0, China:0, United States:22, Canada:2 . Elixir seems to have suffered a similar fate. In fact the only functional language which has any real adoption is Scala but even here the numbers are patchy and well below the figures for Ruby which some say is in decline.

I think the best we're ever going to see is mainstream languages like Kotlin, Swift, Ruby and Python which mix functional features with OOP. In fact Scala really falls into this category so it seems OOP is here to stay.
I get the same thing in my city with digital billboards. I can't believe it's legal for them to show pure white backgrounds at night, especially flipping from a mostly dark background. Driving down the road when suddenly a massive billboard floods your eyes with bright-as-day pure white light... not a good thing.
> Freelance. Only take jobs that interest you. Work on your terms.

Isn't that another side of the same coin? It's still the same kind of work, just a different pay arrangement and rules for separation. Did you find that a job not inspiring as an employee became more bearable as a feelancer/contractor?
Fallacious argument I think.

I use a timer on my jog; a robot is measuring me! Should be a human coach? Dog food is for dogs; dogs should be manufacturing it?

Silly. Emotionally based, and valid for that aspect. But not a good logical argument.
Is there somewhere in the world that still charges per SMS?
Not really. Thousands (tends/hundreds of thousands?) of years of human society isn't going to just evaporate from a couple studies, even if they're incontrovertible.
> there's no evidence that SOD has ever been used except for major drug cases. But there's no reason to assume that it hasn't been, either

What does this mean?
Gyroscope is one of those apps that's extremely aesthetically pleasing, but I'm always reluctant to use as an example of React Native. Mainly because none of the interactions feel "right". It's always reminded me of those highly polished Flash websites that look amazing, but something always seems off when you use them.

From the screenshots Bitesnap looks nice, but I can't seem to download it in the UK.
(2014)

Fascinating -- particularly the change in Ultima maps that I had never quite internalized. It's also interesting how analogous this is to real life, where attention to situations modifies our perception of time passing.
I've worked on this problem a bit for python, and these were some of the interesting tools that came to mind.

* nbgrader: tool for managing and grading submissions using Jupiter notebooks.

* codeocean.com: lets you put up a self contained notebook that people can run and clone online.

* ipython_nose: allows you to put unit tests inside a jupyter notebook.

I've also been toying a lot with building DataCamp projects, which are basically jupyter notebooks with unit tests (note, I work on other things at DataCamp). If the "online judge" is just deciding whether a submission meets a set of criteria, they might work well. If the judge is comparing student submissions to each other (eg ranking by speed), then they probably wouldn't be a great fit.

http://authoring.datacamp.com/projects/
Alas, "others" most likely do not include kids.

I am so glad that in my country physical abuse of the child is a punishable offense.
>So, that's like a parent telling a high schooler not to drink, when they had a fake id and everything in their age...

This argument is so bizarre. If I committed murder in high school should I not be allowed to tell my high schooler not to commit murder? (Yes, that example is a ridiculous extreme but hopefully you get what I'm trying to say.)

Simply put, "Two wrongs don't make a right."
The momentum will never be there, Lisp is not geared for public consumption period.

The commodification of programming and proliferation of languages like Javascript and Python means not only that the "masses" lack fundamental understanding of Computer Science but that they have been conditioned to go after superficial ease-of-use rather than actual value. Anything that requires upfront effort to reveal its secrets is rejected for what is fundamentally broken but covered in a veneer of user friendliness.

Python is the new Perl (Go is already gearing up to replace it where reliability is at stake) and in a couple of years the masses will look at it as a colossal and obvious failure, but they will make the same mistakes again and again when the next shiny thing comes along because the entire domain is rigged in multiple ways.

I suggest reading Richard Gabriel's essays, they are very depressing but also illuminating. In many ways he predicted what is taking place now, the rise of commodification and the obliteration of the field by companies like Google.

https://www.dreamsongs.com/Essays.html
Most functions we write are indeed total.
Blue lights are often installed in places where people do intravenous drugs and the owner of the place wants to discourage them from doing that. Blue light makes it hard to see a vein, so hard drug users have to go somewhere else to shoot up.
> I don't think we have enough information to say for certain what really happened.

https://www.blender.org/media-exposure/youtube-blocks-blende... has been updated. (and you are correct.)
Redshift runs very well atop my KDE and my sleep would surely suffer without it.

Be sure to fiddle with the config [0] to customize the color temperature of the application even further to your liking -- the default settings can sometimes mess with your display's viewing angels.

[0] https://github.com/jonls/redshift/blob/master/redshift.conf....
Very interesting and enjoyable read, thank you.
Very interesting article! I agree and have felt the tremors the author mentions throughout my own work in a related field.

The last decade has taught me that corporations matter more than nations, at this point. In the case of corporate capitalism, governments act like special interest groups protecting the corporations that fund their lifestyles.

To that end, if a major bank like RBS were to go belly up and now be beyond the ability of the U.K. to save, what are the chances we see a “national merger” where a country offers to absorb the losses in the banking system in exchange for absorbing the entire nation (population, economy and all)?

This sounds extreme, but it’s effectively what happened in the feudal era. Wealthy nobles would support whichever king had the resources to protect them. Only thing I’m doing is replacing “wealthy nobles” with “corporations” — which are essentially “jointly owned” among the entire “nobility” (I.e. the capital class in the West).

Ultimately I think we will avoid World War III because the corporations don’t want it; and they control enough of the global logistics supply chain to prevent it. So a peaceful way to transition failed governments and financial systems back to prosperity will be needed if we want to avoid a repeat of the Weimar Republic.
It was already a bit of a game in 2005 when I took the ‘new’ SAT which included an essay component. Research from the same professor Perelman quoted in this article had shown that longer essays were graded more favorably (by overworked humans I believe), so I made sure to fill the whole space at the expense of quality writing, and got a perfect score.

https://mobile.nytimes.com/2005/05/04/education/sat-essay-te...
Why is it basically shit? It appears to store and retrieve the data as per my instructions.
I don't know if I would call knowledge of regulations"deep". But I agree with the rest of what you are saying. I'm just want to point out that the problems most effectively aided by LISP are those that require orders of magnitude more domain knowledge about hard, subtle concepts like quantum mechanics, synthetic chemistry and abstract algebra. Those are where Domain Specific Languages become extremely useful. But, thankfully, mundane things like regulations absolutely don't need that overkill.
Lack of evidence of something does not equal evidence of non-existence of said thing.
The Next Big Crypto Industry: Part 2 – The Energy Sector – Crypto Blog
You're totally missing the point. The existence of cheating strategies implies that there's something wrong. The thing that's wrong is not the cheating. What's wrong is that when an examiner has the power to severely diminish a student's prospects for future educational and career development, you would expect that examiner to be someone whose academic standing is way in advance of the student's, not someone whose intelligence is short of human.
> It seems to me a piece of software is either a formal proof or it's not.

That seems like a false dichotomy. Rather I'd say: a program carries a bundle of proven properties with it, but for some programs this will be rich and for others it will be more or less trivial.

> So if it's not and we still manage to write robust programs, the natural next question is, to what degree is it okay to knowingly violate the laws?

To what degree do we actually write robust programs though? Errors are so common we dismiss them and retry or work around without even consciously noticing the error. "Have you tried turning it off and on again" is funny because it's true.
Libel laws.
Why? Technically speaking, simple ETL is easy to automate and not too much maintenance headache.
A very specific set of things get dropped into rivers it seems - so many coins! So many identification cards! Until it occurred to me - only metal and plastic things last in a river. The river is 'sorting' for these sort of things.
They sell the full article which is why they aren't naming it in the public article. I suspect what they're saying is that the company has invested so heavily in getting to tapeout on Intel that it's too late to move their design to TSMC. To do that they would basically have to tape out again which would take the best part of a year even if they could get TSMC to agree to produce the chip, by which point they'd have missed the market.

The fact that the article teases an industry going through change makes me think it's probably a company that produces things for 5G. My money would be on Nokia.
In London, we have both systems. Santander Cycles, aka "Boris Bikes" which is operated by the city, as well as ofo, mobike, and (until recently?) obike. The later operate with the blessing of local councils, and are required to designate certain areas as "no parking" etc.

Advantage of Boris Bikes: bigger, better quality bikes which tend to be better maintained. Usually no trouble finding docking stations with available bikes within the service area.

Disadvantages: Limited service area. High cost of building docking stations means that expansion is slow.

Advantages of ofo/mobike: Typically (but not always) cheaper. Can park bikes (more or less) anywhere you like. Much bigger service area.

Disadvantages: Relatively crappy bikes, not fun to ride over longer distances. Not always easy to find a bike, and you might have to flip between apps to find one.
> Better to be addicted to video games than heroin, right?

Only in terms of your physical health. Otherwise iirc addiction is defined as having negative effect on your life (work, social, personal) so it is as bad.

> At least video games can teach modular reasoning.

Which will be used only for games, because you are not interested in anything else?
Maybe not "popular" but this is made entirely in RN:
https://play.google.com/store/apps/details?id=com.uefa.euro2...
https://itunes.apple.com/it/app/uefa-european-qualifiers/id1...
I checked NASDAQ sorted by market cap. Pretty small list of players.

My money is on Motorola, even though it's just under $20B. Other options don't look as reasonable. Maybe HP?
Before I made a decision to go with Thinkific I asked some of my students to try out Moodle's demo site and the feedback I got from them was very negative. The general census was it was too complicated and confusing to navigate their UI and their video player is really really bad. For a video course, a good video player is very important.

edX is a little better, but it's still not what I want from a course platform and the amount of effort it would take to trim it down would be more effort than writing my own platform.

I also looked at a bunch of WP plugins that are advertised as "course platform in a box" and none of them looked appealing. The UI for all of them were very poor and these plugins are massive beasts. I don't want to spend my time hacking through someone elses WP plugin to customize it.

After looking at so many platforms and solutions I eventually came to the conclusion that no matter what platform I choose i'm never going to be truly happy.

If I went with Teachable from day 1, I think I would have been 80% happy and may not have even decided to build my own platform, but at the end of the day, the heart wants what the heart wants. I want to build my own platform and I can do it. Being at ease mentally (even if it means working harder) is more important to me than anything.
That is fraud.
The proposed “link tax” could marginalize European publishers
Why User Acquisition Is Like Using Tinder
OBike dumped some 800 bikes in Zurich without asking, or telling creating a huge mess.

The problem with those bikes, apart from the fact that they look atrociously is that the quality is so bad to make them borderline unusable.

I have hardly seen them in use, but there are a lot of those bikes lying around broken. There is no customer service, whatsoever and no point of contact. Aparently the manager they put in place for Switzerland left some month ago.

Add to all this that according to C'T they are a massive privacy violator with all the data they suck about their renters.

Lime Bike seems to fare a bit better, alas the bikes are of better quality.

According to press reports they should be collected and removed. Reading about the shenanigans of that company probably at the tax payers dime.

With that method, dump a shitton of crap bikes on a city and let them fend for themselves, OBike created a hellishly hostile territory for the dockless bike sharing concept.
I just listed regulations, but it's not just regulations. It's regulations, business knowledge, various social aspects.

And I doubt there's anything we work more complex than human society. Even the most complex scientific models pale in comparison to real human interactions, business or otherwise.

I'd be happy to be proven wrong once we have an AI to take care of other pesky humans :)
HTC to layoff 1,500 employees from its Taiwanese manufacturing division – Neowin
While I don't practice it, and think it backfires, calling spanking abuse in order to shame its practitioners is an exaggeration that helps neither the abused, nor the parents you wish to stop the practice.
We've done a pretty bad job at bringing back jobs. Labor force participation rate has fallen, while people are retiring later. Retirement/aging doesn't even help explain the drop. Especially since the younger generation has more than replaced the older one, and the older one isn't retiring at the same historic rate.

We're not in great shape, employment wise.

https://data.bls.gov/timeseries/LNS11300000
Except clang's behaviour changes depending on the optimisation level. If you use -O1, then you get a different result.
DNA raw data analysis