skysight-inc/HackerNews huggingface dataset:
It should be obvious that if a transformation is syntactically trivial, it can only solve trivial problems. If programming is not-math, it's not going to become math just because you change the surface syntax.

A mathematician's definition of a sorted list is different to a programmer's at least in part because a mathematician is interested in a sorted list and a programmer is interested in sorting a list. This difference is intrinsically invariant of the programming paradigm (though not of the context).

This issue isn't so much that this post didn't convince me that there is an underlying, semantically relevant sense in which the APL approach is more mathematical, but that it didn't even seem to notice that this was a thing that needed to be argued.
They also had to stay at home, at least middle class. Poorand blacks were in different situation anyway. And wen were completely dependent on men and f@cked when he died or got sick.
Nice eye! In this case it's a no op and the function has no effect because I've used the `rowwise()` call such that the data frame is evaluated one row at a time x 1.

The `prod` call is an artifact of me previously using the function in a vectorized manner to calculate the model's likelihood.[1] This isn't the common way one might see. More often one would work with the log likelihood [2]. The reason being that the product of the density can be converted into sums avoiding overflow errors. The likelihood is __very cool_. I liken it to a grand generalization of the needle of a record player wrt to information (entropy).

[1] https://en.wikipedia.org/wiki/Maximum_likelihood_estimation#...

[2] https://en.wikipedia.org/wiki/Likelihood_function#Log-likeli...
I see no reason why it can't be both, it's just that BSON happens to be a poor format for general interchange, and if you went back and redesigned you could probably fix many of its flaws. I'm a little skeptical though, I would rather just throw it out.

It's kind of shitty that it was called BSON, because it falls so far short of the generality that JSON has.
But i assume you're ok with upcasting an int to a double. That is, unless you make the Haskell Prelude. There is a real and useful sense in which booleans are a subtype of integers and i think its not unreasonable to automatically cast between them. Can't say if it's a good idea or not though.
Nice to see interest in this here. Program slicing can also be used for everyday tools too, not just formal verification. I did some research with Microsoft Research trying to show how it can be used to discover which parts of program will be affected, before you make a database schema change. I think program slicing has a lot of potential, and is generally under-appreciated because a lot of the research looks for conservative and safe (i.e. no false positives or negatives) analysis. When you relax this constraint, there are many useful things you can do with slicing.

Details on one such example here if anyone is interested: http://www0.cs.ucl.ac.uk/staff/w.emmerich/publications/ICSE2...
> On their own, examples are pretty much useless.

This sounds like being familiar with an example of an abstract idea is as ["pretty much" as] useless as not knowing anything about it. Furthermore, you don't really get to decide what other people find useful for their understanding.

> Simplicity usually comes from having better abstractions

Absolutely. And sometimes using better abstractions involves less abstract thinking. I am not persuaded that thinking concretely is akin to rejecting abstractions, as you seem to be.

Notice that in the course of your argument, you keep bringing concrete math examples to make your point. You are not rejecting abstraction and yet you are not purely speaking abstractly either.

I would say that school teaches the (negative) integers is an abstraction over "what they actually are", the construction of the integers from natural numbers. Yet, thinking about that construction, or even knowing what the word "equivalence class" means requires abstract thinking.

In any case, I think it's a pretty trivial idea to show which parts of a natural language phrase correspond to which parts of something written in math. It's a gloss. You can do it with colors, or gesturing, or whatever.

Finally, I believe you are thinking too mechanistically about humans, especially humans learning about math. Elsewhere you suggest that (ask about whether) recognizing Greek letters should be as easy as recognizing letters from the Roman alphabet you are familiar with... Yeah, I think if you haven't used Greek letters enough, it's going to be harder to visually parse something with Greek letters. So now some more of your cognition is being spent on something that is wholly unrelated to the task at hand. Apparently you can even measure that German people are a little slower at some arithmetic problems because their names for quantities don't always list the digits in the same order of significance. Your WORD for a number causes you to be faster or slower at arithmetic. So I think using unfamiliar symbols might also make a difference.

Here you are suggesting that the syntactic structure of math definitions is the same as the syntactic structure of English. Right! They are written in English! However, even in the realm of natural language, humans will have a hard time understanding utterances with nested quantifiers, negation, and clauses. The notion of syntax is an abstraction, and from that abstract point of view, there is no difference in the expressiveness of English and Mathlish. But humans apparently don't process not even natural language syntax as mechanistically as you suggest they do. Even though shallow and deep trees can be generated by the same grammar, more complex parse trees are harder to understand. You have to be careful with an abstraction because sometimes the details (like how many words are in a sentence, or how many layers of quantifiers there are) matter.
By that criterion a shovel is always preferable to a backhoe. Powerful tools take longer to learn.
Thank you for the read.
Advertising supported technology blogs, magazines, websites, etc.
I find that YAGNI is usually used to justify hacking something together without thinking about the design of the system you’re working on.
Plan your 12 Days of DevOps Christmas – part 1
That sounds delicious. Ikea really turned me on to lingonberry
AFAIK the kernel only contains dm-crypt. The whole key handling takes place in userspace, in cryptsetup(1).

(If you want to have a bad day, you can send a patch to Linus to put a JSON parser in the kernel.)
Let me guess: a 981 Boxster Spyder?
They could certainly cause a lot of trouble, but rather than continuously hard forking I bet people would just add hashing power to the network like crazy. It's basically the government vs everyone in the world. If the value of BTC was threatened, I'm sure a lot of hash power could get added into the network. Can the US government outspend and outpace everyone else in the world teamed up against them? It would be challenging logistically for sure, even if you had the money.
Its a video player (well thats what it primarily gets used for). The vast majority of use cases are simple enough that the UI doesn't get in the way. (Though I do agree it hasn't got the best UI).
I really like it. I was just thinking of writing a markdown to custom HTML parser for my own needs and found markdown syntax to be lacking to express my HTML tags.
I can choose SunDown format for it.

Do you have a parser that converts SunDown to HTML already?
I can build it as my first project in Rust while attempting to learn it.
I agree you should change your tires and rubber hoses and parts which naturally degrade and rot but to suggest you have to have regular engine maintenance from it just sitting there (and by sitting i mean starting it from time to time and having proper cleaning but not actually driving) is pretty poor design. You shouldn't have to replace a transmission or mechanical part from lack of use. That is just an expensive form of planned obsolescence
I find it hard to take seriously any "prolific writer" who doesn't take the time to proofread their work for typos before publishing.
Exciting stuff. Just a heads up that NEO is being marketed as a decentralized platform but its roadmap describes a platform run by Trusted Third Parties, which have to be approved by NEO after proving their identity and proving they have a legal entity backing them.

The NEO team also promotes itself as compliant with regulations (probably to stay on the good side of the authorities in China where it is based). If they want to go down this route, that's their prerogative, but it's downright misleading to describe it as decentralized or even as in the same space as cryptocurrency. It's more like a traditional Fintech company, with greater separation of concerns between users and trusted third parties (e.g. updates to the database are cryptographically validated, with each user controlling their own private keys to authorize updates to their respective account), to provide more transparency and security than closed database models.

I would add Ripple, Stellar and EOS to this class of pseudo-cryptocurrency platforms, that while arguably offering interesting innovations on the centralized server-client architecture, are exploiting the hype around decentralization to raise funds and users for platforms that are not decentralized.

Its centralized consensus model means NEO can afford to place very high resource loads on its nodes (or really, servers), and use traditional programming languages that are not optimized for the decentralized world. This ability to use Java, C# and Python to write programs for it is actually one of its features that is marketed on its website.
Yeah that's one thing I'm really looking forward to when the kids leave is being able to pursue meaningful work again. My experience with corporate America is that it's almost indistinguishable from government in terms of work environment. The waste and apathy toward it just turns my stomach.
That kind of ignores how human bodies work when tired and sleep deprived.
Readable code decreases ramp-up time, both in a language and in a codebase. I've never written a line of Java in my life, but if you dropped me in a Java codebase I could start understanding the structure immediately and contributing to it very quickly. If you dropped me in a J codebase I'm not convinced that would ever be the case.

Writing terse readable code is great. Writing code that is so terse that it doesn't have variable names is an antipattern.
If you want to work on problems that require mathematical and programming skills, I would suggest https://projecteuler.net.
Huh. That's certainly interesting.

OK, let me make (part of) my point explicit: Inequality is frequently posed as a causal factor for a lot of things in ways that make no sense or when something else is actually meant. Such as:

1. Using inequality in place of poverty. The paper you link to explicitly excludes the simpler poverty hypothesis, but most argument I encounter on the internet doesn't bother to. (And then there's the tendency to jump to inequality as primary explanation when there's clearly something else going on screwing things up...)

2. In some cases inequality is posed as a causal factor in cases where the relation is clearly logical or compositional, not causal. People make statements basically analogous to "all-cause mortality causes murder". You could say the causation is backwards there, but in truth there's no causation at all -- it's a logical relation, not a causal one.

3. To use what's discussed in this paper as an example, sickness, like poverty, is fundamentally local; if you look at it at the group level you're simply aggregating what's going on with individuals. By contrast inequality only makes sense at the group level; it's fundamentally nonlocal, in a sense. The authors of this paper you link address this, noting that they're not committing an ecological fallacy because they're only looking at health outcomes at the group level. Nonetheless health outcomes at the group level are fundamentally an aggregate of individual health outcomes, so the question remains how individual health outcomes are affected. The authors provide some plausible speculation on this point; on the whole I think they've supported their point pretty well. But I think in general we should be quite skeptical of such explanations without a good reason to the contrary, because causation is fundamentally local; if you need to look at a property of the whole group when discussing individual outcomes, that's a point where you should stop and ask if that's really what's going on here, or whether there's a simpler explanation.

Worth noting is that the paper you link to, though it mostly discusses this nonlocal measure of inequality, when it comes time to talk about a mechanism, about "biological plausability", they talk about local gradients in social status. And if that's the real explanation then I think talking about this in terms of "income inequality" is misleading. (The authors get around this, as I noted above, by saying they're only going to focus on the group outcome, not individual outcomes. But for the reason I said above, to my mind that's just evading the problem, or solving an easier problem in place of the real one.) Because then it's not nonlocal inequality that's causal, but rather local inequality, and not inequality of income but of social status. Which is not the thing the authors are discussing in most of the paper! The thing the authors are claiming is causal, is not the same thing they actually posit as a mechanism. One needs to be careful here. These details matter.
stewed -> stdweb

Thanks, autocorrect.
Regarding HTTP/2: I felt the development of this feature went a little bit "strange". For a long time the feature was blocked by missing support for ALPN negotiation on SSL. There was some interest from the outside to work on it, but discussion on it was stuck for a loooong time (1.5 years). As far as I can see now ALPN support has finally been added to .NET core: https://github.com/dotnet/corefx/pull/24389

HTTP/2 itself requires ALPN to talk to browsers, however a large part of the implementation can already been done without it. Out of personal interest I poured quite a ton of work in the beginning of this year into writing a solid HTTP/2 library for .NET, which could have been the base for webservers as well as things like GRPC: https://github.com/Matthias247/http2dotnet

It's state should be good enough to enable HTTP/2 now with less than a 2 weeks of work. However unfortunately I never got any feedback around it or felt interest in it, even though I think lots of stakeholders should be aware about it.

It seems like the ASP .Net core team is implementing now their own HTTP/2 library, which was far more barebones than mine when I last looked at it (https://github.com/aspnet/KestrelHttpServer/pull/1991). Don't have the time and interest to review the latest state.
The metal of the gods, sent down from the heavens.
Avg dev salary in Dallas: $93k. Avg dev salary in Berlin: $55k.

There's a saying you should be careful with what you wish for, you might as well get it.

(I deliberately didn't pick SV/NYC. Dallas and Berlin are very similar cost of living wise.)
You're welcome! I actually rather interested in DSL creation myself and want to dabble my feet in this topic sometime. And I also feel that creation of dialects is rather obscure art for old-timers, and that there's a need for learning material.

With that said, I would appreciate if you'd listed what would you like to see in "How to bake DSL with Parse" guide of some sort, that would be really helpful when the time will come for writing tutorials and documentation.
> Troublingly, the skeptical explanations section does not resolve the thousands of eyewitness reports from people claiming to see the UFOs

Actually, that section contains a very reasonable explanation:

Hallet's thesis is that the Belgian UFO wave was mostly a mass delusion, boosted by the work done by the SOBEPS. This mass delusion would have followed Philip J. Klass's law: Once news coverage leads the public to believe that UFOs may be in the vicinity, there are numerous natural and man-made objects which, especially seen at night, can take on unusual characteristics in the minds of hopeful viewers. Their UFO reports in turn add to the mass excitement, which encourages still more observers to watch for UFOs. This situation feeds upon itself until such time as the media lose interest in the subject, and then the « flap » quickly runs out of steam..
You can start investing with Binance, Coinbase, or Bittrex, among many other exchanges. I wouldn't necessarily say cryptocurrencies as an investment are safer, as they are more volatile than traditional asset classes.
Could be "incidentally" removed, then restored through backup when discovered like Trumps personal account.

Seems plausible because some people hate Assange the same amount (or possibly even more) as Trump these days.

Another option would be him temporarily putting his account in the deletion queue then undoing this later. But I can't come up with any good reason why to do this.
And it had load shedding built in, so even in the mis configured state, it still worked.
Not for hourly paid workers it isn't that its where you made bank - you know you should never post first class post on Friday - they keep some back for the OT shifts at the weekend
I haven’t used APL but it looks like it has list comprehensions, so a simple “x != 0,” would work there
I was skeptical, but one month in, I have to admit the speed and stability gains are worth the lost addons. Fortunately for me, I only had to give up very small conveniences.

I did lose a few hours over XMarks' inability to sync Firefox search keywords correctly anymore (it's not solved, but you can input the keywords yourself on all your machines and they won't be erased) but that's it.
I didn't talk about other countries because I don't have as much direct experience dealing with them.

I do think that Americans tend to have a much rigid view about corruption, fair dealing, and law than say Chinese people do. In some situations that rigidity is helpful, and in others I think it's actively harmful.

As for your opinion of conservatives: I pretty much agree that their attack on the federal government in particular is motivated by naked self interest, and they are not the ones who can 'fix' the ills of the federal bureaucracy (at least not without enormous amounts of harm along the way).

But that doesn't mean that their criticisms should be completely ignored. The best sort of marketing is that one that mixes lies with truth.

I think when conservatives assail the federal bureaucracy for being huge, unaccountable, and grossly inefficient, they are largely correct, even if their proposed solutions would probably make things even worse.

Unfortunately this has become a political point that those on the left largely don't want to concede because it complicates the argument for expanding health care.

> They're just appealing to the common man who hates the rules

Actually, the urban poor vote strongly Democratic. It's small business owners who are the target of this rhetoric, and it's because there's a lot of truth there: the cost of regulatory compliance often falls most heavily on small businesses that have just over 10 workers.

They are too small to achieve scale and amortize compliance costs over many people. Small businesses and entrepreneurs are definitely people Democrats should support and help, but I have literally never seen anything on the platform that would make their lives easier.
“And We also sent down iron in which there lies great force and which has many uses for mankind…” (Quran 57:25)

published in a book 1400 years old
It seems ugly logic but it makes sense. They don't want to stop any fishing. The more fish they get the more money they have to keep fishing. Plus the less money conservation groups have to focus on one section.
I've been a build/release engineer for quite a few years now, most spent using Jenkins.

It can be quite a heavyweight beast, especially since it's written in Java (so heavy in terms of resource usage) and since it's old (so lots of legacy in terms of architecture).

Still, in terms of costs and scalability (up to the level where you have thousands of developers and you probably want to roll your own), I think it is one of the best tools out there for its role as a prettier cron/queuing system.

A few tips:

* if you can afford it, stop ASAP using the UI for configurating jobs; look into Pipelines or the JobDSL, based on your needs

* once you have more than a few jobs, stop running anything on the master node, for increased stability

* use the minimum number of plugins and tie as few things to Jenkins as possible; script as many things and put the scripts into version control

* backup the global configuration; you can try to version control it but it's tricky; at least back it up periodically and most of the time it is enough

That's it for now, for more details, $200/h :p
Learning from Scratch by Thinking Fast and Slow
Got a hobby project where you can generate l-systems.
https://mathblocks.net/workspace/#lsystem_0;

Just select a an example from the menu and hit draw to get started. The l-systems are defined using my own, generic, "mathy" language.
I am definitely not celebrating it. It seems obvious to me that the human with the most stamina will have an edge in any sort of competition that involves hard work, from marathons to startups.
Aliens. Smart enough to transit the Universe. Not smart enough to have even human level stealth.
"Maybe I'm truly not fit to decide who "deserves" disability"

Let's not mince words and rephrase it:

"Maybe I'm truly not fit to decide whether my own income should be reallocated to other people via heavier taxation".

You are indeed fucking fit to decide whether some government is going to pluck away your value via taxes. And you should have a strong opinion about that.
want to add the additional annual leave you get in Germany and average cost of the same health care in Dallas into that equation let alone the other benefits?
> The biggest holdout is non-Edge IE

IE is discontinued. IE11, which was released back in 2013, only gets security-related updates. It's on life support.

IE11 part of Windows 10 which EOLs in 2020 (mainstream) or 2025 (extended).
> The underlying issue here seems to be a conflict between a thin notion of existence and a fat one.

The fundamental issue is described at the end of the article:

> "I didn't just define the square root of two. Rather, I defined an entire number system and showed, by which I mean actually proved, that the square root of 2 exists in that system.

> "Oh, well if that's what you mean by the existence of the square root of two, then I suppose I accept it."

This seems to be the key point of the article, and it's quite correct. Any concept is meaningless without a framework in which it is defined. We can, by the mechanism described in the above quote, define all sorts of mathematical concepts that demonstrably "exist" in such frameworks.

To then talk about existence in the physical world requires mapping these concepts from their abstract frameworks into the physical world. In the case of the square root of 2, we might point out that the length of the diagonal of a physical version of the unit square "is" sqrt(2), where "is" means something like, "as close to the mathematical definition as it is possible to get given physical limitations."

Separating our formalized abstractions of the world from the physical objects they sometimes are intended to describes helps achieve clarity and avoids confusing platonic abstractions with physical existence.
Yes, but with sufficiently high polling frequency it doesn't matter very much. (It is true that each hub may add latency, as your sibling comment noted.)
Regarding the "interrupt on the bus side", I may have expressed myself badly - I meant PCI(e) bus.