skysight-inc/HackerNews huggingface dataset:
I hate complexity, and because of that I spent a lot of time creating the Redis modules subsystem so that I can take a very small core. However general data structures like streams
are, in my opinion, not bloating Redis, which is still, in the "streams" branch, at just 85k lines of code. For two reasons: 1) Data structures are self contained beasts in Redis, they do not interact with other features to multiply complexity. Other features are instead like that, for instance expires interact with replication, AOF, scripting and so forth. 2) IMHO bloating Redis is to add too narrow use-case specific things insdie it. But as Redis has lists, hashes, sets, ... the "log" really was part of the general purpose things that Redis was lacking. As a result of this lack, people used something else adding complexity inside their code in order to model the same problem with a wrong tool, like sorted sets or lists or Pub/Sub, which are good for certain things but not for time series or certain events streaming tasks. Btw the fact that after around 8 years we are at 85k likes of code, totally understandable by a single individual in a matter of weeks, positions Redis as one of the simplest simple software projects out there.

Another data point, streams are if not completely, at least 70% done as we talk, and yet `git log --stat unstable..streams` reports:

12 files changed, 1323 insertions(+), 10 deletions(-)

We'll end at 2000 lines of code I guess more or less. Just to say, Redis is at a complexity scale very far from many other things we are used to these days.
Tesla Model 3 Output Falters as Sales of Pricier Teslas Climb
It is inside the app. It is the same process that you do to make playlists available offline. I only did that from my laptop to an android phone, I don't know if it works in all clients.
In regard to "1970s code lineage" I think the parent is referring to the fact that the original XNU codebase incorporated parts of the BSD kernel, which was released in the 70s.

The same can be said of the code lineage of FreeBSD and I guess some other UNIXs I think.

Windows NT on the other hand, while having similarities to VMS I don't believe at any point shared actual code.
CBS Showtime caught secretly stealing visitors CPU power to mine cryptocurrency
Tesla has only produced 260 Model 3s so far
Clojurecademy: Codecademy for Lisp(Clojure)
This Startup Wants to Be Vanguard for Cryptocurrencies
Even if their assumptions that some people working 100 hour weeks were 2.5x better than people working 40 hour weeks, where do you go when war happens?

If the whole system is being redlined when it's peacetime, then it only takes one thing going wrong, a single casualty, some damage to the ship, anything really to make the whole system collapse
This looks like a fascinating article that I will have to come back to. I'm not sure how well it fits the blog's tagline, "Making deep learning accessible." ...
Out of curiosity, how old are you? I'm 45 and I don't consider 67 to be young ;-)
Well, if I can't have whole disk encryption, I can't use it. It's that simple. You need some protection in case your computer is stolen.
But that interpretation has ridiculously easy loopholes - why not just reduce my salary by $10K and give me a $10K company-managed Amazon budget for personal expenses? Why not just let the company book my personal vacation travel via payroll deduction? Why not have the company rent my apartment and sublet it to me? etc.

I'm coming at this from the position that the law must say, if you're giving a person access to a cash spending account that lets them buy things for themselves but not giving them the cash directly, that still counts as income. Is that true? If it's not true, why isn't everyone taking advantage of the loophole? If it is, why is lunch a special case?
Apple has said they plan to release the format spec, but not the code.
> For example I can prove my my string reverse works in Idris (https://www.stackbuilders.com/news/reverse-reverse-theorem-p...).

This article basically demonstrates GP point, though. It proves that `reverse` is self-inverse, but there are lots and lots of functions that are self-inverse (for example, `x -> x` is self-inverse. As would be the function that swaps any odd-index element with the one following it).

The claim was a difficulty of how to encode the actual correctness into your type-system. That this article doesn't actually encode correctness of reverse, seems like pretty good for that difficulty.
Yeah and a static type system refuses to let you make such a stupid decision. When interoperating with code I didn't write, knowing that the code is guaranteed to conform to some specification is valuable.
The use of `+` and `-` in XRANGE seems inconsistent. Why not use `0` and `-1` like LRANGE?
10 per milli as an edge case is domain specific.
How does a piece table differ from a linked list?
Very true, that would make our jobs much easier!
It just takes so long before someone realizes software might not be from them.

You can be a great programmer yet a completely terrible developer. But you need the base programming skills and theory first. Then when you get into the real world you realize the slog is crap and you don't enjoy it.

I think there's plenty of room for a code technician type of job which should proliferate in today's environment. Move the good and motivated ones to engineering.
And smalltalk had to leave trampolines in place to deal with renames that it couldn't finish deterministically. No thank you.

Nobody ever talks about that little horror when they bring up how Smalltalk could to refactoring JUST FINE without static types. It wasn't just fine, turns out.
Commodore 64, though we used TRS-80 Color Computers and Apple II+ at school. I even had it decked out with the 1702 monitor and the 1541 floppy drive!
> If these vendors were contacted before release, they may be able to keep people safe at publishing time.

You mean if hundreds of the popular vendors were notified for a coordinated release? And you think that's not making the exploit effectively public? Even skipping possible monitoring of emails, I don't expect that the set of blackhats and employed security engineers have no common elements.
I'm under the impression that it's legal as of now.

Any time you run a StingRay in a populated area, you will grab some unintended calls. I'm under the impression (assuming judges are aware of this "collateral damage") that it's tolerable because if you are in the area you probably meet some threshold similar to "more likely than not" to have either committed a crime (or in the case of visitors to the prison, voluntarily given away your rights).

That said, I hope a tech-savvy judge gets to rule on a similar case eventually.
I don't want debian to compile every combination of use flags. I just want to be able to opt-in to use softwares compiled and optimized by me.
Indiana couple admits to stealing over $1 mil. worth of electronics from Amazon
Reading that it sounds like she doesn't want backdoors, she wants backdoors.
GM was headed to fuel cell cars (even talking about how you could power your home at one point) and put a lot of money into electric after their first attempts were deemed unacceptable. Its been a slow burn for them.
I think this has happened for a long time. First (70s), features from Algol-68, like structured programming or better flexibility for data types, were ported to other languages. Then (80s-present), the features from Smalltalk and Lisp started slowly to be ported to other languages, many times in an incomplete or unelegant way.

We're still doing this, for example the last production spec of the Java language finally incorporated a mechanism to pass functions as input parameter on a method. And the next version of Java (9) will attempt to have some interactivity, with a kind of REPL. This, coupled with the powerful facilities of good Java IDEs, will give Java developers of 2017 the level of Interactivity and easiness of development that Smalltalk and Lisp users have enjoyed since the late 70s. Sad but true.

Julia -an interesting language, by the way- borrows multiple dispatch from the Common Lisp Object System (CLOS), among other features. CLOS itself was a further evolution of the OOP brought to the table by Smalltalk, invented by a true genius: Alan Kay.

Rust is basically a "fixed C++", that is, a more usable, less annoying C++.

So it's difficult to say there are truly new things in programming language. But it's not everything limited to Smalltalk and Lisp -- Prolog, ML (and OCaml, F# and Haskell) do bring new concepts to the table, and are worth checking out.
"Galileo was fully aware that if his wished to cash in then he had to get his priority claim in tout suite....Now he had hit the jackpot and needed to cash in fast. He bunged his principal discoveries together in book form....his ego inflated by his recent successes....the sycophantic cheers of [Galileo's] high powered fan club....Beguiled by his silver tongued friend Barberini gave Galileo permission to write and publish a book....it is safe to say that he got stamped on for his hubris....Galileo was never the fearless defender of scientific truth or freedom of speech that his modern fan club like to present him as. He was an extremely egotistical social climber with an eye on the main chance, his own undying fame"

I think it's safe to call this an attack on Galileo's reputation. It does match my fuzzy understanding that the story we got in elementary school was not that accurate, but on a personal level, it's pretty mean spirited.

In particular, to modern ears, it's pretty jarring to hear a man convicted over scientific arguments described as being "stamped on for his hubris".
> The problem is criminality is so high in some areas that no amount of property tax relief will make up for shoplifting losses.

So subsidize it with dedicated law enforcement presence rather than tax relief.

> Its all water under the bridge anyway, as delivery services, amazon, etc, will make the concept of a supermarket as quaint as the concept of a record store or book store

Delivery services are also problematic in areas of high criminality.
The "things" that don't work are roughly 30 feet from the hub. For some reason they become unavailable from time to time and stay that way for up to a week. During that time they don't function properly and it's not clear what to do to get them working again.

I've read that some people can get them working by resetting and re-installing each "thing" but that must be done each time it happens, which is really not practical.
Fırında Balık Tarifi
You're right, I meant to summarize more along the lines that calling something multiple times doesn't cause more than one set of side effects. Unfortunately too late to edit by the time I re-read it!
I anticipate an increase in butt-dialing.
That was tough to read. I suppose she hasn't considered the problem isn't with tech companies not coddling politicians, but rather that we should elect some politicians who are actually smart enough to understand this fairly basic stuff.
Have you seen Tesla's Superchargers [1]? Or a Model X hauling cross country?

[1] https://www.tesla.com/supercharger

[2] http://www.teslarati.com/tesla-model-x-hauling-freight-ca-hi...
I think it's a bit arrogant to assume that tech companies (especially those based out of other countries) are deliberately trying to undermine governments rather than empower people.
Have you used them? Switching to a language like Agda or Idris is entering the realm of formal verification because the types are so expressive. It's completely different to what most programmers are used to.

Essentially the types being used as so complex the type checker cannot automate the decision about two types being compatible so you have to write maths proofs to help. The types used in mainstream languages are simple enough that the type checker never needs help like that.

The cost of formal verification right now is immense but the benefit is close to bug free code. Mainstream strong statically languages require nowhere near the same amount of effort and give clear benefits over dynamic types.
There are still maintenance/wear items you'll need to address. There are still mechanical components the make up a drivetrain.
Sure. The first issue I came across was that the relay compiler expects a strict specification when mutating data, one that wasn't compatible with the server library I was using. Expect to write your own server side scaffolder to get around this.

The second big issue was that relay modern decoupled the networking logic, so having a series of chained queries is something you either have to handle yourself or write your own networking logic for. And because creating dynamic queries can't be done with relay it's a bit annoying that this logic isn't handled automatically for you.

My biggest gripe happens to be the lack of flexibility around dynamic queries. You can't define the data you want back at run time, which feels defeats a major point of GraphQL.

Apollo supports dynamic queries with higher-order components. It might be a case of the grass looks greener on the other side, but I felt as soon as you try to do something bigger than a todo app with Relay you start to feel the restrictions.
Something I have always wanted to try is use a high level abstraction like say ropes for representing some domain specific data, but for some operations, navigating the high level data structure dominates. What if one could do a linear scan through memory and then collect the "hits", and map those back to handles in the high level data structure?

Some hits will be false positives, where by dumb luck, it looks like you have a match, all hits have to resolved against user data.

It feels analogous to a bidirectional lens, but instead of being between high level data structures, it is using the underlying raw memory.
I vote that you use a dash instead.
Absolutely. Thanks for posting!
My first arena concert at age 14. My friends and I thought we had 'mature taste' compared to the others our age and drove 3.5 hrs to it. Going by the age of the crowd, were were correct. This was 1999.
>Immigration lawyers I've discussed this with have noted that if someone has $250k+ in funding, they are generally able to get an O-1 visa, anyway.

Do you mean funding, or 250K+ of their own money?
>And she said she did not need to understand how they worked to know they were "helping criminals".

>She insisted she does not want "back doors" installed in encryption codes, something the industry has warned will weaken security for all users, nor did she want to ban encryption, just to allow easier access by police and the security services.

>"I understand the principle of end-to-end encryption - it can't be unwrapped. That's what has been developed. "What I am saying is the companies who are developing that should work with us."

Well I hate to "sneer" at her and reinforce her perception of tech people, but Jesus Christ, what a moron. If you refuse to learn how it works then you cannot reasonably expect to be capable of offering any kind of input on how to change it.

All she's capable of understanding is "WE MUST STOP THE TERRORISM"
This sounds like a great case for publishing negative results: it will result in meta-analysis about what practices routinely cause bad results and then those papers will be used to reduce the number of bad results. Labs keeping secrets in how to do research seems like a bug not a feature.

That's just the externalities around publishing negative results. The major reason being that it will tell people where the minefields are, resulting in people not all reproducing the same negative results.
The title makes it seem like it was exclusive to Word and developed by Microsoft when in reality it was developed at Xerox and used by their Bravo word processor.
We're also deeply in technical debt (and digging deeper daily).
سكاي نيوز عربية
What about batteries wearing out year after year? How much would it cost to change all the batteries in your car?
As long as the store is profitable and either owns the land or has a long-term lease (the two most common models), there's no rush to redevelop them. They're in the grocery business, not land speculation or complex development.
538 actually has a good model and discussion about p-hacking. Allows you to play around with values.

https://fivethirtyeight.com/features/science-isnt-broken/#pa...
Unless your assumption is that governments exist to disempower people. Hmmm...
Marketing for the YC application due tomorrow.
Most ideas people have suck. That's sort of the problem of new ideas in particular. When you're working, their failures aren't recognized as some kind of thing you need to tell the world about, you just tried something speculative and it didn't work out. Writing papers sucks (though it can be ego satisfying if you did something really cool), and writing papers about negative results that no one will publish sucks even more (or give you money for). Also, if you do something really dumb, now everyone will know about it.
Delivery Hero Germany | Berlin, Germany | ONSITE | Visa + Relocation

Delivery Hero Germany is building the next generation global online food-ordering platform using technologies like Python, React, BackboneJs, AWS with an open minded, agile environment. We are the strongest player in German market with our two brands Pizza.de & Lieferheld.de. If you are interested in working in a passionate, flexible and stable company, just apply one of our open positions below:

----

-Infrastructure Engineer (https://tinyurl.com/dhg-infra)
if you love AWS, can communicate with your friend using terminal and looking for challenges, just apply...

-Frontend Developer (https://tinyurl.com/dhg-fe2017)
Time of jQuery has ended. if you are looking for React or BackboneJs challenge, just apply...

-Senior Frontend Engineer (https://tinyurl.com/dhg-sfe2017)
If you are aware how legacy Internet Explorer can be your biggest nightmare, just apply... (no, we don't want to support legacy IE)

-Python Developers (https://tinyurl.com/dhg-python2017)
Well, you may not love debugging JavaScript errors on Chrome console but you love to solve complex problems, build systems to handle millions of requests, plan how to auto-scale your solution and keep DBA's as your best friend. just apply...
Location: Calgary, Alberta, Canada

Remote: Yes

Willing to relocate: Yes, USA or Canada preferred

Technologies: Python, R, MySQL, MongoDB, d3.js, sklearn, TensorFlow

Résumé/CV: http://cole-maclean.github.io/blog/files/Resume-Cole%20MacLe...

mail: maclean.cole@gmail.com

Linkedin: https://www.linkedin.com/in/cole-maclean/

Portfolio: http://cole-maclean.github.io/

Newly graduated from a Masters in Artificial Intelligence, looking for a dedicated team working on challenging problems using machine learning.
Show HN: LetterLoose a game for people who like words, wit, and laughter
It's a small nitpick, but the first version of NT was 3.1. It was a separate codebase from Windows 3.1, of course.
> Apple stock goes up. Apple Store employees counter your criticism about the new gimped device by pointing to the large sales orders.

The number of sales orders caused by iOS developers whose hardware is too old to upgrade to the new major OS is going to be so small as to be meaningless.
This is a refreshingly responsible way to retire a service.

No amazing journey, no abrupt disappearance.
I sneer at them too.
It might be useful to be able to query by server time regardless of whether your client clock is in sync. You retrieve some set of data and the next time you can ask the server to give you everything newer than x, where x was the highest time stamp you got from the server previously.
The article makes two main points: a) static typing has a cost and b) thus, any benefit it brings should be examined against that cost.

I am sorry, but I don't really see how you stating more benefits of static typing really counters either of them.

I recommend reading the article again. But this time, try not to read it as defending a specific language (I only mentioned my blub language so that it's a more specific and extensive reference in the cases where I use it - if you are not using my blub language, you should really just ignore everything I write about it specifically) and more as trying to talk on a meta-level about how we discuss these things. Because your comment is an excellent example of how not to do it and the kind of argument that prompted me to this writeup in the first place.
Rollbar | https://rollbar.com | San Francisco or REMOTE | Engineering, Product, Design

About Rollbar:

* We help tens of thousands of developers find and fix errors faster.

* Our backend handles billions of errors with low latency and high reliability.

* Our front-end allows developers to discover and drill down across millions of errors in real-time.

* Our open source libraries are used by some of the best engineering teams in the world, including Kayak, Twilio, Heroku, Zendesk, Instacart and Twitch.

* We're a ~20-person team (SF and remote) building tools that make developers' lives better.

* Benefits and perks: competitive salary and stock options, medical, dental and vision insurance, 401k, annual conference budget, generous hardware and software allowance, casual work environment, inclusive team-oriented culture, rapid career growth opportunities, have fun and have an impact.

We're currently hiring across engineering, product and design. We're looking for:

- Engineering Manager

- Front-end, Core, and Site Reliability Engineer

- Product Designer

- Technical Product Manager

To get in touch, please apply via https://rollbar.com/jobs
Elixir and Erlang still lack the ability to typecheck any process behaviors because messages can take any type anywhere.
“It’s my opinion that Loci doesn't provide meaningful patent protection”
Why is it considered ok to regulate technology without understanding it? Even Jeremy Hunt claims to understand the papers he used to justify more weekend services for the NHS. Osborne tried to justify austerity as an answer to the recession with (sketchy) evidence. But when it comes to technology politicians (The Tories most of all) stop even pretending to understand the technology. Why is this?
Regarding point 3, unless your system is under massive memory pressure, no caught-up Kafka consumer should be serviced from disk. Old offsets that are flushed out of memory because you do not have it obviously are served from disk, with essentially linear reads of disk blocks (of consecutive logical addresses if flush sizes are large enough that then can end up on disk in any number of ways, depending on how much the firmware lies, I know) of the requested file.

I really can not see how Redis is going to perform "much better" reading from disk once the entries are no longer in RAM. At that point both Kafka and Redis have to read from disk, and you either have the IOPS to serve all the lagging consumers or you don't. Maybe you have enough of them to service 1 or 2 concurrent reads, maybe 10-12. But for the same messages counts, sizes and concurrent consumers, your workload will become IOPS bound rather fast.

Note: "much better" to me implies 10x+ better, not "my C library read() is 2.3% better than your Java".
If you absolutely need a grocery store in a poor area that isn't sustainable, you can form a co-op and then use government subsidies to prop it up.

We subsidize all sorts of "unprofitable" services that have a societal ROI (libraries anyone?), no reason we shouldn't do it for grocery stores where a for-profit entity can't make it work.
Maybe not. That 9% number for the control group stands out. That number and the 20% number for the population as a whole seem to me to be incompatible - or, perhaps, measured in different ways.

If the 9% healthy and 22% with IED are both accurate (and the 20% number is the one that's off), then there may in fact be something to see here.
That's a fair question, and a real trend. In the short term it doesn't seem detrimental to the US economy. I believe that the US will gain pole position in the future by encouraging immigration of high skilled, entrepreneurial individuals. And data suggests a similar benefit.