skysight-inc/HackerNews huggingface dataset:
Kind of, but three big problems in practice are:

- runtime state you need to initialize if your code is written in a stateful manner

- other methods/functions in different modules/classes the code you want to test calls out to

- the fact that method/function and module/class separation is (and IMO always should be) primarily driven by needs of production architecture, not testing, means that it may not be perfect for testing needs

Add to that the failure of testing tools and methodologies (like "don't test private methods" meeting "separate out duplicated or complex code into private methods"), and I feel the problems are real.

----

Here's an idea that just popped into my head right now: how about "hash-based testing"? You take a code you want to test, like:

private Integer foo(String bar, Frobnicator quux) {
String frob = quux.invokeMagic(bar);
return memberApi.transform(frob);
}

and turn it into:

Method cut = <<
private Integer foo(String bar, Frobnicator quux) {
String frob = MOCK(quux.invokeMagic(bar)) AS("frob");
return MOCK(memberApi.transform(frob)) AS (frob.length() > 3);
}>>;

//continue testing cut()

The idea being, the compiler or whatever external tooling ensures that the original method in production code, and the inline-modified method in tests, are the same with respect to some equality/hashing function that always treats expressions "foo" and "MOCK(foo) AS(bar)" as equal.

This way, you end up being able to mock everything precisely, inline, in whatever way you see fit, with your tooling ensuring that the actual code stays in sync with the test, since whenever the original method changes in any meaningful way, you'll fail the code "equality" test.

Might be a stupid idea, I welcome comments.

(INB4 testing to implementation instead of the interface - if you have to mock anything, you're already testing to implementation, and this way you can inject testing alterations precisely, instead of having to turn your architecture inside-out to support IoC/DI/whatever the current testing-enabling OOP fad is.)
I am not the other person, but when I try to find a JSON decoding module for F* with "f* json", I get almost completely unrelated results. So, either there is no JSON codec for F* (I guess they could use the F#'s one) or Google can't find it.
We do this at my work - it allows easy programmatic inclusion.

We wouldn’t do it if browsers weren’t a buggy mess with the USE tag though (Chrome in particular is a dumpster fire of SVG bugs).
I think I recall seeing on Hacker News a system they were building where they sent train cars filled with rock up a mountain. That seems like a good way to move a lot of mass. (I'm not sure if it is better than water...)
I have used all 3 extensively, too. And when it comes to large, sloppy code bases, I'd take the Java over the Python any day.
You would think a generation of SimCity players would have learnt that lesson.
Same problem as with nimrod. Now as Nim it works better.
Cool. Thanks for the clarification. I assumed it was you since you weren't in the copy ("founded by Ben Taft, Matt Stern, and Montana Reed"). Any reason you left the AR world when it seems to be heating up now?
What about the web browser, how do you get around that?

I still use it for various things albeit maybe only 10% of the time.
TLA+ is a specification language, not a verification language. There is currently no way of establishing correspondence between a TLA+ spec and the code you (presumably) write to implement that spec. There are benefits to this, like using TLA+ to spec the difficult parts of your system without having to buy the whole formal verification farm.
Crypterium – Cryptobank for Cryptopeople
We've had plans to provide a paid version for a while (per the faq), and once we do, hopefully it'll be straightforward and friction free. Ideas, usage scenarios welcome (pls file your magic-wand wish list on github!)
Thanks for that. My undergrad was Industrial Engineering but I always loved the Operations Research stuff (which I'm hoping will lead me to more CS-y stuff if I can get a job or a Masters or something). All that OR with LPs and MIPs was a headache and but somehow Stochastic programming, GAs and NNs were scary and I never even tried to understand them. I always thought people describing them as simple were probably geniuses or something. Maybe one day I'll understand the second half of that link.
I believe we have a bug open on this. I'll check, if not, I'll file. Thanks!
I don't think there is currently something as extensive as org-mode in vim. vim can also not render equations/figures inline.

evil is a pretty good vi. I have been a vim user for ~two decades. I used Spacemacs as the gateway drug to Emacs, but have since built my own configuration from scratch (I was fed up with the general slowness of Spacemacs).
besides - if you generate your SVG programmatically you can just return them in your render function:

function Foo(props) {
return <svg>
<circle cx="10" cy="10" r="100" />
</svg>
}
Www.supplementscart.com/cbd-pain-cream/
but once you get the motion down this mascara Oh like not only does it make your lashes look phenomenal but it also lasts and like I said you could jump in a pool probably I haven't tested in a pool but you could jump in a lake you could take a shower like whatever water you want this is not gonna get it's waterproof and it's actually waterproof I feel like some mascaras out there are like I'm waterproof and then they like flake throughout the day and smudge and I'm like no this does not flake doesn't that smudge does not budge so good so good weird one super weird walking you have to get used to it but so good and then last but not least lip products these are tricky I feel like there are quite .

http://www.supplementscart.com/cbd-pain-cream/
> Well, she wasn't under oath, so there is no firm legal requirement for her to be truthful.

The same is true for the random YouTuber ;)
North Korea busy in preparations for war with the US
For a somewhat contrary view, there is Richard Feynman and Disregard! [1]

I tend to fundamentally disagree with the notion of this paper. For a reason why let's consider something like quantum mechanics and relativity. Right now relativity and quantum mechanics are incompatible in domains where they intersect. There is an absolutely enormous incentive to reconcile this. The Nobel Prize would be little more than a formality for a discovery of this magnitude. And the best and brightest in the world have been working on this for many decades.

So the implication of this paper is that, thus, you probably shouldn't try to improve the work here. Of course that's nonsensical since it's obviously provably in need of improvement. And there will be some individual, or group of individuals, that manage to succeed here and push humanity that much more forward.

He relies on examples that are not falsifiable. The absence of evidence is not evidence of absence. In particular in his stock market example, he argues that it is operating optimally by little more than an appeal to authority and a lack of contrary evidence. It's like saying that no human will be able to run faster than Usain Bolt since lots of people (and massive supporting teams) are spending their lives trying to do just that (with 0 barriers to entry) and all have failed, so there's no reason to believe any given individual could ever do better. Of course the one thing the olympics shows is that records are set only to be broken.

I suppose it depends on your life view, but I think people should pursue that which interests them - even if an objective analysis would lead them to believe that their chances of meaningful (and who gets to determine that?) success are negligible. And I would take this a step further. Not only should people do this but the entire progression of humanity is contingent on people doing this. The people that make true progress in a field tend to love that field. And their progress is more a consequence of that love than any sort of higher level objective analysis of fields where their best chances of success lay.

Maybe it's best to conclude with a simple counter example. He mentions, repeatedly, you should question yourself if you see a $20 bill laying on the floor in a populated area for hours. And this is supposed to be meaningful. However, instead of relying on a likely very rare outside force (somebody dropping a $20 bill) let's consider something that's an entirely typical and common social phenomena - elevators. How many people have come to a crowded area just outside an elevator, only to find that the problem is that nobody has pushed the button? There's certainly a major incentive to push that button, and there's no barrier to entry other than the arrogance of thinking everybody else might be a bit silly - yet time and again we find nobody pushed the button.

[1] - https://stepsandleaps.wordpress.com/2017/10/17/feynmans-brea...
Redstone 4 it seems to redesign the interface of Windows 10 with Fluent Design
Pythonista makes me think of a leftist guerilla in a jungle with a beret and a machine gun.
> Define "be secure".

Liability?
It's possible she had done some searches before talking to me, I'm not sure. The video was unrelated though. National chain pharmacy so they certainly have some kind of data sharing scheme.
Yeah, USE tag is pretty buggy across browsers.

Also, sometime you just need to inline SVG, for example if you want some icon path fill color to change on mouse-over. Easy with inline SVG and CSS rule. Can't really do that (well) with external .svg.
All a bit laughable considering Americas current "enemy" drive pickup trucks and shoot AK47's
> It's to set direction/vision, create opportunity and ensure there is money in the bank.

Getting funding I understand, but the other 2 are so nebulous and/or trivial sounding it's no wonder people sometimes make fun of those roles.
> We're not in 1984

https://m.imgur.com/vRBtL
One thing the internet does which is super incompatible with how people deal with information is that it amplifies anecdotes and selection bias.

If you were just talking to a sample including a small fraction of your friends and acquaintances, and you found that like 10 of them had noticed that Facebook seemed to be showing ads based on their conversations, that would be compelling evidence that something was up. And since for the vast majority of human history, that was the kind of information you had access to, that's the way we tend to process things.

But now you can go online and mention this weird thing that happened to you, and a thousand other people will all see it. Suddenly you have super high odds of a "cold hit", even though the phenomenon was purely random.

And to make matters worse, it's not purely random. Facebook has algorithms that are trying, often successfully, to model your life based on the information you give it. So the chances of "eery" ad targeting are significantly higher than if it were just random.

I think we're going to see this kind of conspiracy theory more and more as time goes on, and we need to figure out cultural tools to counteract this problem.
Mads Torgerson (the head of the Roslyn project; C#/VB Compiler) showed once a slide, that c# devs are counted in millions, VB devs in 100k steps and F# devs in 10k steps.

F# is a wonderful thing for the ecosystem, but practically of no importance regards priorities.

IMHO: To make UWP and F# a thing, UWP need to be remodeled to a primary react like system. That however will never be a story, considering the state driven UI development MS is doing for decades.
> I have always seen evolutionary algorithm as a version of gradient descent... which is extremely wasteful

Evolutionary algorithms work by sampling a combinatorial solution space, and learning about the interactions between solution components. This is made explicit (and much more elegant) in the definition of EDAs:

https://en.wikipedia.org/wiki/Estimation_of_distribution_alg...

By contrast, gradient descent makes the assumption that such interaction effects don't exist or don't matter, which doesn't work for most optimisation problems - you get stuck in local optima.
I'm curious which languages have resulted in which new design paradigms?
In the next evolution writing software should be as easy as writing a word document .. not a macro based wordstar dociment. In other words the code should be auto generated and humans should only specify the design -ui and workflows.
Normally delegation is the answer...
That's true and credit card companies are very open about it (at least if you read their reports for investors). The advantage of store cards is that the store knows exactly which products you bought, whereas they only know the total if you used a Mastercard/Visa.
scarface, you're defending the indefensible. Stop trying to justify Apple's scheduled technology obsolescence.

I'm not talking iPad 1st gen, which was always slow. Soon after release it was clear that iPad first gen was underpowered.

I'm talking about iPad 3rd gen, which has 1 GB RAM, a retina display, and does not crash when loading web pages. It has enough RAM to load any web page. "Hardware improvements" are not needed on this device. Software improvements ARE needed including updating the browser to cater for things like ES6 which does NOT require better hardware, only a minor updated browser software.

You don't think Apple should update the software, and instead I should... go to the store and buy a new iPad to get a slightly better web browser? You are part of the "throw away" culture problem, you are not helping.

Let's take a look at Apple's glossy "helping the planet" page...

https://www.apple.com/environment/

"To ask less of the planet we ask more of ourselves."

Nothing about extending product life, it's all fluffy feel-good futuristic gazing pre-packaged catch phrases. Well I'm asking more of Apple too, like software updates for an iPad3. Asking more of ourselves is not enough, we also need to act on those questions, not just copy and paste the slogans on a "helping the planet" page.
TL;DR - They started with a 641MB dockerfile based on Ubuntu and Go, and whittled it down to 524KB and then 53.6kB. They took a busybox distro (they suggest Alpine), built with -t minify -squash -compress, and used the UPX minifying packer.

English version:
https://translate.google.com/translate?hl=en&sl=sv&u=https:/...
It’s a great shake btw. Tastes amazing. Seriously.
My personal hypothesis is that strong AI will evolve when Google decide to add live feedback to google search suggestions.

At the point that system can unprompted change what it shows the user, it'll be interactive enough that we will presumably just have to wait for adequate computational backing for it to "wake up".
"OTP" on p. 23?

"One True Pairing"?

"Online Transaction Processing"?

probably not "On The Phone".
Are these numbers really outside the range of modern computers?
Are video games becoming too much like gambling?
my thoughts exactly. it's difficult to understand this presentation without the discussion that goes with each slide. it's too easy to just be biased about the meaning of each slide;
> One way to do that is to be the listener as they take the pulpit.

So you are basically asking Alan More to shut up and stop producing literature because he is white and middle aged?
I don't think the article is arguing that no one should pursue hard problems that have economic incentives to be solved, it is saying that when you are a non-expert, you should defer to popular opinion. There's nothing stopping people from pursing the hard (yet profitable pursuits), the article mentions people who make their livelihoods in these arenas and does not say they are wasting their time.

> He relies on examples that are not falsifiable. The absence of evidence is not evidence of absence. In particular in his stock market example,

The article includes an counter-example, and we all know that they exist. People have bet against the market prices and come out ahead. The article is saying that such an event should not attributed to skill.
I don't think they have peaked globally.
The iPhone is an established status symbol. And that has little to do with technical features. People who can't afford a Merc yet can afford an iPhone.
Mobile App Development Company – App Developer
Don't quit your day job.
> I wonder why evolutionary computation does not live up to the expectation?

There's also a social factor here, I think. Neural networks were disregarded due to over-claims and also perhaps due to some bias for machine learning methods that relied on understandable statistical models. In the same way, evolutionary computing is often looked down upon by the rest of the AI community - it's a lot of hacking and hand waving and "try it and see". It doesn't help that there's been a lot of low-quality work in EC. But this bias has perhaps starved EC of talent somewhat; much of the progress in deep learning is probably a result of increased research activity and optimism, i.e. progress is self-reinforcing.
I'm no enemy of wealth redistribution, but you have got redistribute it where it's the most effective too, money spent paving roads for a few people could hire doctors and teachers for many people.

People in rural areas are also against this sort of communalism generally, if they wanted to live much closer together in town houses or apartment blocks then paved roads would be much more cost effective, but just because the want to live on large acreages where the can't see their neighbors doesn't mean the rest of society should subsidize them.
Yep. Consistency beats "syntactic noise". In fact lack of consistency is noise. If semicolons are always present, then my brain filters them out. If they are never present then great (yay! Python)

However - occasionally present or absent semicolons means I have to think about each situation - at least to a small degree.
He is NOT withdrawing from public debate. His works are a part of and a contribution to this debate, and as far as I know he have no intention of stopping working. He is just wants to withdraw from the journalistic social media shitstorms based on limited readings and misunderstandings of his works.
That’s what the second paragraph addresses. To me the focus should be on those monopolies, not this singular “tool” in their arsenal that itself, isn’t a huge factor in a formation of a monopoly
"Whoever can be trusted with very little can also be trusted with much"
> Simulated Annealing is LITERALLY a random walk (biased towards higher values, but its strongly random nonetheless).

I don't think that's a fair characterisation, and it could be misleading for people new to SA. I'd say SA is a hill-climbing algorithm that has a probability of accepting an inferior move, a probability which shrinks asymptotically over time.
Neugram is a scripting language and shell written in Golang
Open Telecom Platform? Erlang's runtime
Lol yeah, meant 2001 — 2003...
Confusingly Amex has both a 4 digit CID (Front) and 3 digit CSC (Back). The latter I think is only ever used internally by Amex, not for transaction processing.
I was wondering how many of these points are answered in C# (and in which version they were "fixed")
My guess is the Erlang OTP: http://learnyousomeerlang.com/what-is-otp
Are any of his companies profitable?
Website: https://neugram.io
Clickbait title. Should be something like: efficiently find the most frequent items in a stream of data.

TL;DR: split your items by chunck of 8 bits. Store for each chunck A the number of time you saw it before the chunck B followed by C.
Then you keep track of only 2^24 counters instead of one counter by possible item.
Then using some graph algorithm (the interesting part, which is not explained in the article) you can use those weighted edges to reconstruct the most frequent items with a high confidence.
So you want to write a type checker (2014)
Because the * belongs to the variable, not the type.

It's more clear with this example, which declares two variables at the same time:

int *foo, bar;

This declares foo as a pointer to int, and bar as an int. The following, written in the style you suggest, do the same thing but can be confusing, since a casual reader might think that this declares both foo and bar to be pointers to int:

int* foo, bar;

Someone else commented that C's declarations are designed to look the same as how they are used. This is true, and explains why arrays are declared the way they are, where the brackets come after the variable name: int foo[10]
> Is Kotlin actually simpler than Scala?

Unless Scala has radically been pared back in the couple of years since I read about it or I was seriously misinformed at the time, then I'd say it probably a yes.

Scala has the reputation for being at the complex end of the language spectrum. Is that undeserved?
One idea is never enough
> It’s one of the few tools available that ensures that qualified, well educated teachers are available everywhere.

No, it isn't, because it doesn't.
Adding methods to non-final classes is always incompatoble. If you had your own implementation of list and its interface suddenly requires new method, how should it behave?
I agree with you, but most managers don't.

They only care about cost centers, Excel reports and who delivers at lower cost per seat.
Thank you for this, but I stopped reading at 'synthetic sugar'. (The link points to the correct article on Wikipedia.)
Good point. I would say it is not surprising that people remain interested in the genres they loved as kids. The whole idea that certain genres corresponds to certain ages might be a misunderstanding of demographics - it is more likely that genres follow generations. Like how punk rock was considered only for teenagers, but when those teenagers grew older they continued to like punk rock, while new generations of teenagers like other genres.

Superheros might be dumb (with the odd flashes of brilliance), but they are not really dumber than James Bond or westerns or Agatha Christie or whatever escapistic genres have been popular.

I also think Moore understands this pretty deeply (considering his deep dives into historical popular culture in The League of Extraordinary Gentlemen), but he just have some personal bitterness towards the superhero business, so he likes to disparage its fans.
Chris Sacca had a tough journey| Genses
In terms of buzzword bingo, F* is as close to my ideal programming language as I can think of, but I do wonder if it'll ever get the tooling support to make it more attractive as a general purpose language.
For multiple layers in a Dockerfile use overlayfs2 and not aufs. You will suffer from slow io
Augment Your Loyalty Programs with Mobile Apps
Things to think about for the near future of programming languages:

- The borrow checker in Rust is a great innovation. Previously the options were reference counts, garbage collection, or bugs. Now there's a new option. Expect to see a borrow checker in future languages other than Rust.

- Formal methods are still a pain. The technology tends to come from people in love with the theory, resulting in systems that are too hard to use. Yet most of the stuff you really need to prove is very dumb. X can't affect Y. A can't get information B. Invariant C holds everywhere outside the zone (class, module, whatever) where it is transiently modified. No memory safety violations anywhere. What you really need to prove, and can't establish by testing, is basically "bad thing never happens, ever". Focus on that.

- The author talks about "Java forever". It's more like Javascript Everywhere.

- Somebody needs to invent WYSIWYG web design. Again.

- Functional is OK. Imperative is OK. Both in the same program are a mess.

- Multithread is OK. Event-driven is OK. Coroutine-type "async" is OK. They don't play well together in the same program. Especially if added as an afterthought.

- Interprocess communication could use language support.

- We still can't code well for numbers of CPUs in triple digits or higher.

- How do we talk to GPU-type engines better?
Managing Your Restaurant from Admin Dashboard
For helmet uses, the GoPro box is not a big problem. Not all sports use helmets.
cVim is good
Really nice observation! Thanks.