skysight-inc/HackerNews huggingface dataset:
But that's not really the point.

All models are wrong,
some models are useful.

Using the reals as a model makes the math a lot easier than trying to do everything in discrete structures, especially since we don't actually know the scales that these discrete structures might be at. We don't know what the smallest unit of space is, and it's still not clear that there is one. As a result we use the reals as a model, and it does incredibly well.

So in a sense you are helping support the main point of the original article. The fact that the reals are an approximation to what you claim reality might be should be acknowledged, and then we should explore the limits and limitations of that models. The Banach-Tarski theorem does exactly that, showing us at least one place there the model apparently fails, and should certainly be treated with care.
Oh, how I hated the Bee Gees back in the day. I was too young, too sheltered and probably too much of a coward to become a punk rocker, but I shared the sentiment.
You can put a sift task before the watch.
There's also 'the community' as in, neighborhood associations and council meetings and the like.

http://ctb.ku.edu/en/table-of-contents
Could you be more specific on who "we" is (anonymous user created 3 hours ago)? Rather than asserting trust is gained from simply open sourcing the project.
The comparison is to conventional high-speed rail, which has a travel time of 2 hours 40 minutes downtown-to-downtown.
The url of this article and the titles of other uses the word "scammed" which is unfortunate since they don't seem to have done anything of the sort.
OpenSesame – Open a fix-code garage with a toy in a few seconds
Palatino, Optima, and Melior were heavily used, I would say overused, in the late 1970s and early 1980s. A friend who went to Rochester Institute of Technology when Zapf was there (as a visiting professor, I think), said that in a lecture Zapf said that he had never intended Palatino to be used for body text, producing some gasps from the audience.

But he did remarkable work.
"This isn’t the first time that MIT has been involved in a gambling controversy."

If it isn't illegal, what's wrong with using brains to make money?
In case the remainder of the electronics can not work with the low voltage directly, often a boost converter is integrated in the device. Remotes mostly don't: their electronics can run at very low voltage, at the end of the battery life, the range is reduced because the ir led produces less light.
There are a couple of things I disagree with.

First, you are lumping together trends in academia with trends in the industry, and the two are not always in tandem, though they certainly influence one another. For example, Go, a language that certainly goes against this trend, is gaining popularity much faster than any academic or academically-influenced languages (of course, it's easy to grow fast when you're small, but it's more academically inspired languages are just as small). This mixing of the domains which in reality is quite complex is also apparent in your examples. C is one of the most popular languages in use, and has been for a few decades; Lisps have been around even longer and has never broken beyond around, say 1% of production projects (except maybe for a very short while in the eighties).

Second, you say "I want more math in PLs" when referencing Haskell. While it is true that pure-FP, because of its relationship to some types of logic, lets you prove some properties about your code in the code itself, that does not make it any more mathematical than other languages and other approaches. For example (and I give this example often, but only because I'm really impressed by that language), Esterel, a language designed in the eighties is an imperative language with lots and lots of global side effects, yet it allows you to verify its correctness absolutely, and you don't even need to write the proof yourself (it verifies temporal properties that are especially hard to prove using PFP). Esterel and languages (mostly graphical languages) inspired by it have been used by the industry orders of magnitude more than PFP languages for domains where correctness is crucial. That PFP allows you to write some proofs in code does not mean that there aren't better ways to verify programs mathematically. PFP is the answer if what you're asking for is more second-order logic in your PL; it's just one of many if you're just asking for more math (in fact, it's just one of many even if you want more interesting type systems).

Also, it's hard to trace influences, but I believe that the focus on immutability that is finding its way into more and more languages is actually inspired by Erlang and later Clojure, two languages that have little to do with PFP, and a lot to do with the design of multi-core and distributed systems. It was not the current academic trend of pursuing the Curry-Howard correspondence as a software verification technique, but an industry solution for the problem of handling concurrency.
> The more of an IT flavor the job descriptions had, the less dangerous the company was. The safest kind were the ones that wanted Oracle experience. You never had to worry about those. You were also safe if they said they wanted C++ or Java developers. If they wanted Perl or Python programmers, that would be a bit frightening-- that's starting to sound like a company where the technical side, at least, is run by real hackers. If I had ever seen a job posting looking for Lisp hackers, I would have been really worried.

pg wrote that in 2003

nowadays, what would be the most frightening langs?
As much as I like Dave Jones, I think he's concentrating on the wrong bits here.

The idea is completely bad. Sorry. It's a pile of crap. It shouldn't be on the market.

Sure you can build a boost converter that gives you a constant 1.5v. That's not a bad idea. I've actually designed a couple of these myself on a larger scale over the years (professionally, for military radio equipment, not Joule Thief hacks). That's not under debate. The following points are:

1. Even the best alkaline batteries leak if you discharge them too much so you'll end up destroying your equipment and the Batterisers that you invested in at the same time. Seriously, take a 220 ohm resistor and stick it across a Duracell AA battery and leave it for a few days. You will come back to a rancid mess.

2. There is a cost. So you're going to need 4 of these for your average device that requires a 6v supply. now my 12v radio packs are 8xAA batteries so imagine the incidental cost over the top of the batteries there. To power kids toys you could have tens of these in the house. Over the top of disposable batteries, it's a poor investment.

3. 8x is simply horse shit, as DLJ points out. Even with a fairly efficient conversion ratio, and I haven't done the figures, just a finger in the air estimate based on the amount of energy your average alkaline AA has, you're looking at 1.2-2.0x the life.

4. Wonderful things like AA batteries are terribly variable in the tail end of their discharge curve. Not all batteries in a pack are going to still be kicking out current or even have a suitably low internal resistance compared to their immediate colleagues. If one of these fails early, it will take the advantage away from the rest of the cells instantly.

5. Noise. Boost converters usually generate a lot of electrical noise in the signal paths. If you have any analogue parts, particularly audio that are expecting to have a relatively noiseless power supply (batteries are quite noise free) then the design will perform worse with these.

Now the killers:

1. If this was such a great idea, why is it not built into the equipment? (because it represents a risk to the equipment)

2. Why the hell would you bother with this when Sanyo (well Panasonic now) Eneloops represent a better investment than both alkaline batteries and these. They handle over 1000 charge, discharge cycles no problems at all, have a good very good shelf life due to low self-discharge characteristics, don't leak and have a decent peak current capacity and discharge curve.

It's just a waste of time.
Well that's entirely theoretical too, since that also doesn't exist. It would also have many gotchas and inefficiencies on either end.

So lets compare hyperloop with what you CAN do, which is fly or drive.
I don't think naming names was a mistake; rather, I think the names demonstrate that your thesis doesn't have anything to do with "Beating the Averages".

I mean, by your definition, Flub is literally every new language, modulo a few that are too domain-specific. Hell, Flub need not even be a powerful language, just a language with crackpot users.

So, rather than about being any averages, it appears to me that your point is just to not-so-subtly poke at anyone who thinks any language is better than the status quo (if so, then why hasn't it made an impact?!).

I don't see that as being a difficult question in general; there are many real-world problems, such as technological inertia and corporate culture, that already skew the chances of any new language.

However, in this case, where you've broadly directed this question at, well, everyone, I'm not sure if an answer would do you any good. What is true for Haskell may not be true for Rust (which is way too new to have made a big impact), which may not be true for any given crackpot language, which, to avoid offending anyone, I'll call Crud.

Aside from ruffling feathers, was there any point to this?
Even those that are rated best, I doubt anyone can really explain the scope of the contract or each party's responsibilities without going into further details of my country's contract law, EU contract law, consumer protection laws, precedence and a few years of legal studies.

For example, when kolab says they should be, "To the extent permitted by the law", be excluded from any liability and be completely indemnify from all and everything, what does that actually mean? What does that mean for fit-for-purpose, or quality assurance, or to use a Swedish contract law: fairness in the contractual terms?

Here we got a Class A contract which I have no clue what, if anything, each party has agreed on. The only part I could reasonable figure as a contracted responsibility is that they will provide 30 days for customers to agree to the new terms if they decide to change prices. Also, customers are required by the contract to make private backups, which is quite an odd contractual responsibility to demand from customers. I doubt Kolab intended to be a contractual responsibility, but rather letting customers know whose responsibility it is to make backups if the customer wants that.
Quick Look: Dell XPS 13 Developer Edition (2015) with Ubuntu 14.04 LTS
"Back in August 2013, long before Tesla..."

Long? It's not even two years ago...
Why the robots aren't coming in the way you expect
This isn't the tech press. If anything, it's the dead opposite of the tech press. This is the mainstream press, and this is what they have been doing for decades. Including the "ick, drugs" part.
Can I ask you to give it a review?? :)
Would really appreciate it!
Joel.
The few cars capable of driving over 200mph (none exist that can break 300, and they probably never will) are incredibly fuel inefficient. The Bugatti Veyron will empty its entire 26 gallon tank in 12 minutes at top speed, that's not sustainable for mass-transit.
Haskell is a research language with lazy evaluation. Also with a lot of fun type-stuff. I guess you could make a language which tries to be immediately pragmatic. But it is more focused to try to focus on a relatively small area and see how far you can push those concepts.

Haskell is just one datapoint. Are PLs moving in one uniform direction, upwards to some kind of "ideal" state? Arguably not until we manage to collapse all the myriad aspects of both programming languages and things they try to solve, and within which constraints (such as those pesky limited digital computers).

Is "math" some formalism that is ideally totally divorced from hardware? Then what about formalisms that try to model some kind of computation? What about linear logic and being able to model the disciplined handling of resources such as memory and handles? Is that incompatible with pure functional programming? Not really, since effectful functional programming is a thing, and effects that are encapsulated (such as mutating a local variable inside a pure function) isn't an effect from the view of the caller of the pure function. What about using types to easily[1] declare the layout of memory, such as using SoA over AoS? I'm sure I've seen some paper on that.

[1] Or at least more easily and less ad-hoc than what you typically would do in C/++.
> The most frustrating thing is HR won't let you see what's out there and adapt your requirements to what's available.

Good point.

P.S. Though personality tests are EZ to juice, as you mention, they're still a low-pass candidate filter. Honestly, I see their biggest value as "just another ploy" to wear down candidates during interviews.
Trolls hit Merkel's Instagram account
"dist-upgrade frequently"

Why would you run dist-upgrade frequently?

Its hard to diagnose a bug report like that, BUT, one reason to run dist-upgrade frequently would be if you're tracking unstable or testing especially during the early times of a dev cycle. Don't do that. Run unstable or testing I mean. Its a "let you shoot yourself in your foot if you insist on doing it" type thing. Unstable will tend to be unstable...

You should have to run dist-upgrade exactly one day per release cycle if you run stable. You may have to run it twice for certain historical upgrades lost in the mists of time, so I can't say it never happens and always only run it once per release cycle.
Energy: Why a Protactinium-233 Threat to Green Nuclear Won’t Stop Thorium LFTR’s
Hi Matt,

Here is my portfolio: http://leandrosampaio.com/

I am looking for a position to work as UX or UI designer.

Thanks,

Leandro
(Brazil)
Hi Matt,
Here is my portfolio: http://leandrosampaio.com/
I am looking for a position to work as UX or UI designer.

Thanks,
Leandro
Best car rental in Italy – Car-Traveler.com
I wonder what the SFPD would do today, and fear that it would be a much less awesome story.
NTSB investigation derailed by time zone labyrinth
I have a hard time believing that the infrastructure here in the Northeastern US could sustain vehicles regularly traveling at speeds in excess of 200 mph. Which means the cost would also require a great deal of overhaul to the existing infrastructure. It seems that many public works departments are having trouble keeping up with the demands of repairing roads for 40 - 60 mph.

If you could do a few hyperloops* that would connect Boston - NYC - Philly - DC, suddenly the strain on the highway system plummets. That gives self-driving cars even more room to speedily take people between locations outside of the reach of public transportation.

* I don't mean it would have to be hyperloops. Any HSR system would be beneficial.
you are bad at writing titles...
There's no reasons you can't put a voltage boost circuit into a device other than it would be cheaper not to and consumers will blame the batteries, not your device, if you don't. (also, if your device functions fine with low voltage batteries there is no need to.)
Scaling your IT department
I would absolutely defend Noam Chomsky's right to give a talk on, e.g., context free grammars.

Strangely, neoreactionary and libertarian types aren't so aggressive at shutting down debate. It's almost as if they feel they can win in the marketplace of ideas.
The SEC Doesn't Like It When Hedge Funds Talk to Each Other
Nature Pictures and Photo Gallery – Nature4Picture
I am a Mormon and cutting off contact and shunning someone is definitely an outlier. That is not what we believe nor teach. In fact in the most recent worldwide training (called General Conference which happens every 6 months) there were two trainings, or talks given about reaching out to and supporting those who had left the church. Believing in Jesus Christ means we try and act like Him. And it is clear what he would do. “What man of you, having an hundred sheep, if he lose one of them, doth not leave the ninety and nine in the wilderness, and go after that which is lost, until he find it?” (Luke 15:4). Of course individual actions and reactions will vary and shunning and ostracizing might unfortunately happen a lot, but that is not at all what the Church teaches or hopes for.
Hah, what can't these people do.
What exactly is the lesson given here I wonder?
Probably the original title of the article, which they (rightfully so) changed.
Congrats on launching.

Where are you data center(s) located and what does it mean for API performance? I assume that your service basically works as a reverse proxy in front of my API, but wouldn't there be a noticeable performance penalty if my DC is e.g. in the US and yours is in Europe?

Also: You should probably go back and give the FAQ on the pricing page another sweep. https://cloud.tyk.io/pricing

assocaited costs = associated costs
when you create a new API = When you create a new API
don;t = don't

to name a few :)
I'd disagree with the two statements:

> People who think they understand something about the theory of programming languages, including me, tend to agree that what Python does is wrong.

> In fact you can program heterogeneous lists in dependently typed languages, but it’s unreasonably complicated.

Here's some Agda code that shows that both heterogeneous if statements and lists make sense and are easy to work with in type theory.

data Bool : Set where
true false : Bool

if : ∀ {ℓ} {P : Bool → Set ℓ} (b : Bool) → P true → P false → P b
if true t f = t
if false t f = f

postulate Char : Set
{-# BUILTIN CHAR Char #-}

data ℕ : Set where
zero : ℕ
suc : ℕ → ℕ

{-# BUILTIN NATURAL ℕ #-}

ex₁ : ℕ
ex₁ = if {P = λ b → if b ℕ Char} true 0 'a'

infixr 5 _∷_

data List {a} (A : Set a) : Set a where
[] : List A
_∷_ : A → List A → List A

data HList : List Set → Set where
[] : HList []
_∷_ : ∀ {A As} → A → HList As → HList (A ∷ As)

ex₂ : HList (ℕ ∷ Char ∷ (ℕ → ℕ) ∷ [])
ex₂ = 1 ∷ 'a' ∷ suc ∷ []
Copy Right .... Creative Commons
Terms of Service .... ?

Innovators, please fill that gap
He inspired a Lucky Luke comic album :
https://en.wikipedia.org/wiki/L%27Empereur_Smith
All these people could still have been born - only with their mutations corrected.

In addition, all the great people who were never born because their pregnancy ended in a miscarriage due to a lethal mutation: perhaps they would have made all the difference?
This is an extremely low content article. Certainly not worth posting on HN. I was expecting some in depth discussion of the advantages and disadvantages of each connector and its underlying protocol. Instead it's a tiny one paragraph definition of each. Terrible.
Fair enough; I understood you meant women went into it now because it's "sexy".

That said, back in '84 when women still composed a good chunk of the workforce, programmers and system analysts earned $60-$100k/year (2015 dollars), which is close to the current average ($80k in 2013).

So it seems to me that it already paid well when it became male-dominated - even if that wasn't the reason it did so.
Meet John Romero: One of the Godfathers of the First-Person Shooter
Just the one I asked below on how long/much it took you to get this together and the stack and tools used?
It seems your sarcasm has gone over some heads.
This is from 2012, probably should include in the title.
The card counting rings mentioned in the article have been going on for decades. Edward Thorp, while a math professor at MIT, was the first to do a rigorous analysis of card counting.

http://en.wikipedia.org/wiki/Edward_O._Thorp
Agreements secured do not a reality make. It's one of the very first steps, now to be followed by a whole bunch more. It's a misleading headline, and I reject the notion out of hand. Running up the "mission accomplished" poster now is ridiculous. Before it becomes a "reality", there are some much larger hurdles to clear. Once they overrun their budget by 2x, complete their environmental surveys, get each town to sign off on land rights, get their work insured, work out a deal with whatever transit unions there are along the way and open for business for real, then you can call it a "reality".
PyDev of the Week: Stephan Deibel
Lottery = Poor People Tax and should be removed from Government.

http://www.businessinsider.com/lottery-is-a-tax-on-the-poor-...
Starting a new company while being the CEO of an active and successful company
I'd like to hear more about the self-hosted option: when that might become available, estimated pricing, directory service integration, etc.
Analog:

- VGA: video card to computer monitor. Multiple resolutions and refresh rates. Additional display information available on connection allowing auto configuration. Point to point.

- SCART: appliance to TV connector. Audio and multiple video signal formats on the same cable. Handover signaling (tells the TV to switch to a specific input).

Digital:

- DVI: analog or digital connector (VGA fallback). Display information. Limited pixel rated. Point to point.

- HDMI: DVI without analog support, but audio signal multiplexed. Content protection. TV oriented: 1.0: Full-HD 60Hz. 3D, 4K, etc required standard updates. Inter-device signaling (CEC: remote control commands routing.)

- DP: PC oriented video signal: bandwidth oriented, multiple display video signals over a single cable: switch or daisy chaining for splitting. USB multiplexed. Audio multiplexed. Does not care about your refresh rate or resolution, only that you pixel rate is within the limits.
This is a really interesting concept, helpfully piggy-backing on the popularity of the blockchain. The interesting part comes when this first needs to be explained in court.
The Top (Known) Black-Hat Hackers
The signal behaviour required for POSIX threads is available by specifying the CLONE_SIGHAND flag to clone(2). This is what the glibc pthreads implementation does.

Linux did once have a pthreads implementation that wasn't POSIX-conforming in these sorts of areas ("LinuxThreads"), but those days are long behind us. NPTL has been the standard for at least 10 years now.
Thanks! The Github integration is already available under your project's settings in the "Service Integrations" tab.
Fascinating stuff here.

Perhaps the biology section might have cited this unusual source of primes

http://alpha61.com/primenumbershittingbear/
Good post.

But why 1000 charges is useful for most home equipment where batteries last a relatively long time ?
NXT Releases Voting System and Escrowed Transactions
I personally think there is something wrong with having to leave a country because you can't maintain permission to be there, but then again I'm an open borders guy.[0]

[0]: http://openborders.info/
Old article. Please put (2012) in title.

prior discussions on HN:

https://news.ycombinator.com/item?id=4340852

https://news.ycombinator.com/item?id=4341645

https://news.ycombinator.com/item?id=9678607
....and the content is copied from Wikipedia. What's the actual value of this "article" ?
In my experience, a lot of the left-leaning tech press is guilty of the same thing as this article. Horseshoe theory in action.
How would one block this?
Lot's of things aren't exactly illegal, yet still amoral or can cause controversy. E.g. big corporations funneling their profits to other countries to avoid being taxed (Dutch sandwich)

My point being, something doesn't have to be illegal to be wrong. In this case it's mainly strange that the lottery didn't change things when they became aware of the scheme.
This article strongly implies there was something morally wrong about what the students did but doesn't detail any actual misconduct on anyones part. Sounds like the lottery officials just got their pants in a bunch because they like to be the ones taking advantage of other people's naiveté and not the other way around. Ironic that the article embeds a video of John Oliver ripping the lottery for taking advantage of those who can least afford it.