skysight-inc/HackerNews huggingface dataset:
> because the less powerful abstract machines you mentioned are not sufficient to (fully) express Ethereum or most other mainstream imperative languages.

No, again -- you are confusing specific machines (like TMs) with abstract state machines. Abstract state machines are a super-set of Turing machines (some are equivalently powerful in terms of computability, albeit "faster" wrt time complexity -- e.g. lambda calculus or RAM machines; others are less powerful). But Ethereum is not a Turing machine, just like Haskell isn't. Turing machines are a very specific thing, like x86 assembly. Ethereum is not based on x86 assembly, just like it isn't based on Turing machines.

> but again that is no proof that we are better of using them is we want to easily build correct software.

I agree; I didn't say they're any better. But you claimed that FP is better, and there's certainly no evidence to support that. Some extremely powerful formal verification tools, however, currently have no good, production-quality applications for FP.
That's kind of the point, though, he's showing the roots of modern management practices go back to that era.
If you analyze the binary, wouldn't you most likely find lots of inlined code anyway? Code that is neatly abstracted already, but which the compiler then optimizes to avoid too many function calls.
What you need is a partner to handle sales and operational tasks while you do the consulting. From there you can grow. I know plenty 100+ people companies that started similarly. Two people are key, just like in startups. Way too much work for one to deal with.
No, the modern technique is to calibrate the device, and hence remove any background effects. Low background steel was used to calibrate some parent device, probably analog.
Anti-intellectual? More like complexity, let's be honest about motives here: it isn't "we hate types" it is "I have no idea what is going on here anymore." The "start over again and try do it right this time" is quite pervasive in PL, and even if it keeps on leading to the same problem, the motivation is always well meaning.
Wouldn't you also need a source of carbon that is not contaminated by nuclear fallout?

Afaik it's not the oxygen at all but rather radio isotopes in the air, it's the same reason we can't use carbon dating on anything since the first nuclear test because the isotope ratios are screwed up now and we can't estimate by how much.
The truth is that when reputable information security specialists are engaged to perform a no holds barred internal network penetration test or red teaming exercise for a client, they will gain full administrative access of the network in more than 9 out of 10 cases. There are well known and documented techniques for escalating privileges and traversing through a network. This is just the reality if you operate a typical Windows corporate network of a sufficient size.

In the past, companies mostly just accepted this risk and focused on protecting their network perimeter. Over time, this attitude has shifted and organisations now recognise the insider threat (e.g. a rogue employee/contractor or an external attacker who has already breached the perimeter).
The trig pillars that helped map Great Britain
A Docker image for Flow
Actually I believe it as "Measures_to_get_more_time_to_pay_our_national_debt.pdf", staying in the Euro was a bonus (or a malus).
There are languages that use lowercased names for constants (Erlang's atoms) and uppercased Names for variables, which are immutable and quasi constants anyway. This is uncommon but many other languages use uppercase for classes (Person) and lowercase for variables such as Person person = new Person(). That last example is one reson for having case sensitive languages. I can't think of any language I used in the last 30 years that was case insensitive. Maybe some BASIC interpreters on home computers in the 80s? But not all of them had upper and lower case characters to start with.

Linux has a notoriously case sensitive file system, with trailing significant spaces (they are not special characters). Mac and Windows also have case sensitive file systems but that feature is turned off by default.
Indeed this is more an aspect inspired by academia

the point would have been better made by pointing out the excellent and extensive tooling built by jetbrains for kotlin. that's something the maker of the intellij platform has more experience with than academics

Also there is a tradeoff between advanced language features and good tooling, which is why you will sometimes miss the former inside kotlin
Build status notifications for TFS 2015 and 2013
Kotlin is unquestionably a very large improvement over plain old Java.

I fear it might be very hard to make the Android community adopt it massively though, unless Google pitches in and supports it officially.
"There are almost no migrants from middle east in France"

two posts later,

"So France has quite few immigrants from the Middle-East."
Beyond Jenkins: 7 devops tools
FTA:

> There were no notes on what resistors to fit - so I had to refer back to the schematic on the modules section of the RC2014 site. From here I was able to confirm that they were 2K2 and also note the orientation. it's easy to get the one on the left of the FTDI header in the wrong orientation.

Did resistors become polarised when I wasn't looking?
Would be pretty funny to see a genetic algorithm go to play on that. I imagine it would end up something like most people screwing around with a spaceship builder "and what if we add forty engines?"
It still is. Kotlin advocates are just very loud, while Scala devs are busy shipping real-world software projects.
I like http://www.rifters.com/echopraxia/enceladus.jpg
Weirdly I've found the opposite to be true when comparing Debian's command line package tools with pacman. I've found pacman to be much more powerful and cleaner to use. Granted some stuff is a little more hands on rather than things silently working in the background. But pacman's query tools are light years ahead of apt and that really makes the difference when needing to do complicated updates like the stuff you mentioned.

Agreed about regression though, that's one of the issues of running a bleeding edge distro though, which most Debian-based distros are not. The general advice is to check ArchLinux's news page before running system updates. Personally I rarely bother as I have a ZFS root so I just create rollback points - a little like Windows Restore, but at the filesystem level so super quick.
I don't see how this reduces the need for a test that the wrong type is handled correctly.
But the definition of evolution is many many changes.
That is not correct. There is a huge difference in the data set size and as a cinsequence bigfootology doesn't provide as many grips for scientific research.

In ufology there is enough data to find testable information allowing to deduce/induce insight on the phenomenon.

The Betty Hill map is one such example. The testimony of Betty and Barney Hill is not testable and could be fully imaginary. But the map is data that can be tested. And many scientists did test it. Many scientists searched a correspondance with a set of stars. Many where found but the one of Zeta Reticuli got the most instense PR. It must be noted that there is a circle in the center of the BH map which hasn't any matching star. Some reproductions of the map have removed the circle to "solve" the problem.
Karl Sagan said that would found many many matching set of stars because the number of stars is so high. He is right.

The discovery of Koch and Kyborg, is that the map shows our own solar system. Their reasonning is that the the two big circles crossed with a curved line could be rings. The other argument is the circonstance in whitch the map was shown. Betty just asked to the leader where they came from. The leader asked back, "what do you know of space?". She said she now the 9 planets of our solar system that she learned in school. The leader than show the map and asked where is earth. She said she didn't know. The leader than said "so what is the point to tel you where we come from?".
Koch and Kyborg deduced that this map could correspond to our solar system. They check this is and fiund the match. The two big circles correspond to saturn and jupiter. The cent circle not connected with a line is the sun. Make sens that there is no connection to it. The small circle below tje sun is mars. The configuration of the planets correspond to the month Betty and Barned were abducted. Well not exactly, mercure which is rotation very fast around the sun was 120° of position. But Koch and Kyborg suspected that there could have been more than one abduction. The testimony is not incompatible with that.

What I found with a colleague is that no human new at the time the map was drawn that Jupiter had a ring. This is for me a strong evidence that the story could be true.

Then there are the rotating compass. There are also many instrumental recordîgs.

And from all this data, it was possible to elaborate a theory explaining a possible propulsion mechanism. This is inductive research methodology and how science made the most breaking through discoveries. This theory implies that ufos are using high temperature supraconductivity. Then there is the energy source which is also something that we don't master. The energy they spend that could be deduced from some testimonies is huge. Humans don't master a method allowing them to produce such amount of energy.

Peolpe who say there is no evidence or there is not more evidence than with bigfoot are ignorent or suspectfully dishonnest. The taboo in the media and scientific journals induce a reenforcing ignorence of this research subject.
> Did resistors become polarised when I wasn't looking?

Some of the resistors are mounted vertically. Getting these the right way round is only important so other components physically fit on the board.

I think the FTDI header has resistors that would interfere with an IC socket.

EDIT: And it's nice to use a consistent orientation so it's easier to read the values so it's easier to check your work.
Probably just so they look better in the final build.
NPM reached 300K packages
Shalom Mizrahi, CLO at Shellanoo Group
These guys get better PR by their reputation. They know what clients they want, so they can target them directly. Buzzfeed giving them positive PR is almost negligible in its impact.

Meanwhile, if it came out that they leaked a pen test report, it would literally destroy their company. All their current clients would ditch them, they'd get sued into oblivion, and no one would trust the senior people there in the industry ever again. Would be a very dumb suicidal publicity stunt.
The compiler guarantees it won't happen. Such a test would be a test of the compiler and in my opinion unnecessary. And in Haskell at least... impossible. You can't write the the test because IT won't compile!
> Scala is still there, still growing, and a much better language. Kotlin is founded on this anti-intellectual rejection of Scala's advanced features...

Each time someone brings up Scala there comes this weird "people who don't like it are anti-intellectual" - well no, people don't like it because it looks weird, had for the longest time abyssimal IDE support, tries to do things which have been solved in production by itself (see SBT vs Maven) and is a mishmash of more or less every idea that was floating around mixed into one language.

Kotlin has a very specific focus: Being usable for a working Java programmer, who doesn't have three years to learn every weird idea Scala tries to shove down your throat. It uses existing tools, existing Java collections and enhances them instead of saying "well, we do everything new, because we know how to do it 'better' and we don't care for your existing code."
It's buzzfeed, they go for what gets pageviews. He found an internal source that's handing him info on a silver platter for whatever reason, I doubt there's a huge motive behind this besides more ad revenue.
> Surely it was the company who performed the pentest.

Not a chance. Maybe an employee of that company did it who doesn't like Palantir but the company doing the pentests doing this on purpose is not on the table.

The upside does not begin to counter the downside (such as not having a company any more).

But you can bet they're digging very fanatically right now to figure out where the leak is.
This is what you have to eat to compete in the Tour De France
>> obviously there's a strong argument for rolling back the transactions

Absolutely not. Such an act would entirely destroy the credibility of the entire system and its future. If not rolling this back is detrimental to the system, then it has already failed and should be dismantled. Who would continue to use a blockchain that permits such a thing? It completely defeats the purpose.
But what I am saying is that just as code is the design, code is the policy

The policy decisions were not "open an API" but also "use JSON" and "use fog keys for signing" and "implement the VAT submissions first"

The fact those policy decisions were not made is the whole point we both seem to be making
It's the least sexy name for a programming language this century
For most of the P2P overlays there are multiple serious attack possibilities (Sybil attack, routing table poisoning).

Some years ago in the university I wrote a paper about that in a seminar to summarize the possible counter meassures, but from what I remember, there were no really practical solutions. I think the most promising one is the use of a centralized certificate authority, which reintroduces some of the problems p2p wanted to solve. Does anyone know if new ideas have come up in the last years?
Gradle 3.0, due out soon, will provide Kotlin as an alternative language for writing build scripts, so you'll be able to use a single language for development, as you did when you used Scala with SBT.
Startup World Cup 2016: Global Startup Conference and Competition
What does Palantir do, really?
Case sensitive is fine if you throw an error when someone tries to define the same name with different case.
Ah, tech startups. Because there's truly never enough silly solutions to problems that don't exist.
Be careful, a new phishing tactic targets PayPal users
No, Fedex would have been liable if it had knowingly continued to ship illegal drugs after having been notified by the government. In this case, Fedex asked for needed details, and was rejected.
Up to 2000 characters is generally considered fine.
Dawkins wrote the biomorph software to demonstrate evolution, you got to select squiggles and breed them.

What would be call is to evolve spaceships by selective breeding.

No doubt this being The Internet this was done by a Russian seven years ago, and I failed to GTFA.
OK, let me say this ...

I've looked closely at your submissions, including going back and looking at earlier submissions. I've read them carefully, trying to find what you're saying, and whether there is any useful and/or interesting content.

It appears to me that what you are submitting is nonsense.

However, there's always the chance that you have something, and that your presentation is simply making it difficult for me to find. So I've replied to you more than once[0][1], suggesting how you can proceed, and how you can get people to pay attention to what you are writing.

You have ignored every comment, you have not responded in any way. I will not spend any more time looking at your writings until you reply to my earlier comments.

[0] https://news.ycombinator.com/item?id=11804954

[1] https://news.ycombinator.com/item?id=11893890

PS: No idea who has upvoted this - it appears to be nonsense, and I have no idea what you're seeing that I'm missing.
Superconductors, lasers, and Bose-Einstein condensates combined
> and overall is (surprisingly) the greatest contributor to global warming,

Can you provide a source for that claim? Thanks
Same here, love the look.

Some of those generated ships gave me serious 'Event Horizon' vibes: https://www.youtube.com/watch?v=eiE-NB-kxh8
What are some examples of racist and sexist posts from /r/the_donald that have gained traction?

Is censorship of "inappropriate" speech the right precedent?
See Mistake 6 at http://www.dedoimedo.com/physics/sci-fi-mistakes.html

Mistake 7 also hints about the possible shape when there are no preferred orientations.

Also interesting

http://www.popularmechanics.com/space/deep-space/a8140/what-...

http://www.theregister.co.uk/2011/11/24/spaceship_design/
I think it means that r/the_donald is a fountain of racism and bigotry.
Wow. I feel sorry that people are not voting for their interests but instead to spite each other.
According to the report (and I'm never sure how far one can trust leaked documents simply because you don't get the full context) the intrusion was not noticed until the intruders reached one compromised laptop that had non-standard software installed on it (LittleSnitch) that tripped an alarm when the intruders tried to upload a screen shot.

Perhaps best practices might include more and more varied trip wire software of this nature?

Disclaimer: I'm a civilian. My exposure to infosec begins and ends with being careful about email and USB drives.
Easy Bills Beta Announcement
Title should be "The Science in Lean Startup is Hypothesis Testing."
>There will be further bugs, and we will learn further lessons; there will not be a single magic technology that solves everything.

Interesting change of attitude! I was just watching a talk[1] from a couple of years ago where Vitalik says "there are a substantial number of applications where you can actually say yes 'I am 99.9 percent certain this is bug free'". Amazing how much a few years of industry practice can humble a young software engineer.

[1]: https://youtu.be/cahj4WJtp20?t=43m45s
With the exception of compiling to JVM, Dart is worth looking at if you liked this. Most of the article applies to it as well: https://www.dartlang.org/docs/dart-up-and-running/ch02.html

With dart news in the past 4 years, the knee-jerk reaction has been that Google will abandon it, which unfortunately means that not much discussion ever went to its merits. Adopting the language has provided a huge productivity boost for me and many other developers, in or outside Google.
Those SDR boards can't have that much power, can they? I mean, a usb powered radio rx/tx board running in your apartment can in no way seriously disrupt other peoples' communications.
I don't understand why you think that even in a place where lots of people care about culture one can simply decide to play at a concert whenever they want, especially if they are still students. And he specifically says he's busking as an alternative to practicing at home, not as an alternative to playing at a concert.

In my limited experience, places where there is more interest in erudite music also have more people busking, not less, since there are more players overall.
A ponzi scheme that calls itself a ponzi scheme is still illegal.
Any suggestions for something like that?
I would love that feel too :-)
Find a hobby to fill the void in your days. Move countries if you can, and travel.
It shouldn't affect your prospects too much. Just keep your skills sharp while you an building and running your startup.

I've built and failed at two startups. And after those failures I've found one of the most fulfilling jobs I've had in my career. I've learned so much about business building, managing, sales, and finances over the last few years. Use those skills you learn while building to help find your next role!

I'll build something in the future, once I've had a few years to recover from the startup world.
I understood that. Let me clarify: what are examples of racism and bigotry that have gained traction? Let's define "gained traction" as 1000 upvotes. Although, I'm open to a better definition.
Fairwaves?
That's fine for a history lesson, but it's not very useful for supporting his thesis that management theory is useless.

Using the same technique, you could show that chemistry is useless by showing that the roots of modern chemistry go back to alchemy. What a useless bunch of fluff that stuff was!
Now that JDK8 has made Java more expressive, and Oracle's trolling has come to nothing, I expect Kotlin and Ceylon to fade away. If you want Java, just use it, already.
I'd love to hear an example of this recent jazz, if you have one.
One could grab an asteroid primarily composed of water ice, obtain oxygen via hydrolysis and then use either earth mined iron or iron from a different asteroid type. Like I said though the idea is ridiculous. I'm also not sure how much nitrogen is needed in steel making or where the best extra planetary source would be.
> but not with search engines & access tokens, since search engines shouldn't ever see access tokens

It's like with the PHPSESSID URL parameter before cookie support was widespread. You can very well attach a session to a search-engine bot, and there are explicit hints for appdevs to do so.

You have to pass the tokens somehow, and search engines usually don't run JS.

> A JWT should be lightweight — if it's big, then it's wrong.

A JWT should replace sessions, and I have seen megabyte-sized sesion files on servers. People put an awful lot of stuff into sessions. Especially if application state is contained in the session. Oh, and if your application e.g. stores paths to files in the session and you switch 1:1 to JWT, you will leak server information to the client, which is a security hole.
Ticketmaster is giving you a couple of free tickets as part of settlement
The article confirms my own suspicions and experience: management is the art of selling bullshit, and being a deterrent rather than help (which it is supposed to be, and bills itself as).

The most disturbing (and correct in my observation) thought in the article is that there is now a new ruling class. And when I think about it, the management ruling class is like an octopus, like mafia, with connections and tendrils everywhere: it does not matter whether one is competent or benevolent, as long as one is well connected, the rest of the management mafiosos will always find "a slot" for one of their buddies and shove them somewhere to be a parasite in a company, parasite to the workers and society at large. And while they might be the ruling class at the moment, like a metastized cancer of society, now that we are aware of their presence, I say: nothing lasts forever. Bullshit cannot defeat logic, because problems are real, and bullshit cannot solve problems, only logic and knowledge can.
Download the Fedora Core Wallpaper Packages for Every Desktop Environment
$1,000 hikes hit some older Seattle rentals
Both are from family Papilionaceae (Oh, my. I really said Apiaceae?) but two different plants. It seems that here you eat the root and in the classical peanut (mani, cacahuete) you eat the seeds. Interesting plant in any case I didn't know it.

You need to be careful with this family, is not so directly brutal as the Apiaceae or Solanaceae that are poison maker masters, but can be tricky. Some "edible" wild species are dangerous for the health at long term (Damages in the nervous system). This is also the reason for not having "peas flour". You can't eat it raw and need to cook almost all legumes, poisonous in raw.

This could be the reason for the plant being relatively obscure and unknown.
Nice, I've been looking for something like this. Now if this would be available for WSL, that would be perfect. My organisation (ATLAS experiment) provides binaries for CentOS and OS X via CVMFS, a HTTP based fuse-filesystem. You source a simple bash script and can use any release of our whole stack (also stuff like different gcc versions). This is one major reason many of my colleagues switched to Mac. If I'd be able to use CVMFS (and maybe AFS) from WSL which can run Linux binaries, suddenly windows would become a fully featured dev platform for us.