skysight-inc/HackerNews huggingface dataset:
In which country has Bitcoin made fiat currency obsolete?
> I use https://lastpass.com/

I feel like it's almost certain that Lastpass is owned, as are other popular online password stores.

No security is perfect; all you can do is make it more expensive than it's worth to the attacker.

How much would it be worth to have all the passwords to every account of every Lastpass user? Does Lastpass really have the resources and skill to protect something that valuable? Is it even possible?
I am so freaking excited about Scala Native. I haven't been so genuinely excited and enthusiastic about something for such a long time, but Scala Native is so awesome.

I feel like turning Scala into a cross-platform language is the best idea possible. I'd love to see Scala someday be able to just dump out WebAssembly, or JVM bytecode, or LLVM IR, or whatever the next "hip" format is, while keeping the language the same.

I also find it shocking how hard people are pushing Typescript when Scala.js exists. Why would you ever subject yourself to TS?!?!
That seems like an unreasonable expectation, considering he's still in full-time education - so he wouldn't be likely to accept a job offer in any case.

It sounds like he only found XSS, which isn't exactly worthy of a job offer anyway.
I am not sure about tooling. Do you consider SBT part of tooling? In that case I do not understand how can you say best. SBT is good enough at its finest.
Frankly i suspect the devs never even contemplated a transfer of ownership scenario. The whole idea seems more and more foreign, or perhaps quaint, to the people involved in tech these days. tech is treated as something disposable, not something durable to transfer from person to person.
I'm struggling to understand why anyone would want to bail the DAO investors out of their stupid investment by forking. They told everyone that the code is the final word, someone used the code to empty their bank accounts. Either you believe in what the ethereum block chain espouses or you don't.
Dictionary definitions of fiat money involve states that enforce the legal tender status of the money. In that sense, BTC is not fiat money.
Paper: Treatment of central and sensorineural tinnitus with orally administered Melatonin and Sulodexide

http://www.ncbi.nlm.nih.gov/pubmed/20111618
Reasonability. In an age where billion dollar companies are gutted by 16yo hackers on a monthly basis, it's worth the effort to build strong, secure systems that can be formally reasoned about.
2 things IMO

- There's a long running pendulum that swings back and forth from FP. We're currently in an FP cycle.

- Current mainstream computing puts a heavier emphasis on concurrency and distributed computing. FP's focus on immutability and referential transparency makes it easier to reason about these.
The usual explanation is that they're good for safe parallelism on multicores. Which are everywhere now - even phones.
Are you seriously suggesting that Bitcoin has outright replaced traditional currency in several countries? That's a pretty strong claim that will need some supporting evidence, I'm very skeptical there exists a country where the majority of the population has been part of a single Bitcoin transaction, much less use it as their primary currency. When i peak outside the bubble I see people who haven't even heard of Bitcoin and don't have any intrinsic opposition to Fiat currency.
DAO also has connotations in software architecture which makes this more confusing. What does DAO stand for in this context?
> How is it that these companies still don't give security a passing concern?

Lack of lawsuits. The kind that bankrupt companies and set binding precedents for everyone else.
Oh yeah, because those are a dime a dozen and available almost everywhere! /s
A quick idea, as systems have become more complex, needing more threading and such to perform at scale, I think many developers are reaching for functional programming techniques to make the code easier to reason about.

I'm not a pure functionalist, but I recognize some nice things: immutable by default, composition instead of inheritance, chained operations/monads.

I've personally become a huge fan of Rust, while this isn't a pure functional language, it definitely inherits a lot from them, but it also doesn't force FP on you.
> Scala is a rugged, expressive, strictly superior replacement for Java.

Scala is not replacement for Java. It runs on JVM and can invoke java code, but has completely different approach than Java. Use Kotlin if you want Java replacement.

Also I would argue that Scala is much better suited for writing compilers than Haskel.
I think you need to peek outside of your bubble
Mental load is not the best way to look at performance hits from psychic states. The more central concept is attention. It's the contextual switches, the act of maintaining or allocating attention and the physical effects of stress on the brain that lead to reduced performance. Though short term states (conflicting active representations, attention and working memory[+]) share some mechanisms with long term negative states ( => stress, attentional sinks meant to bias the individual towards resolution that no longer work as well in the modern setting due to reduced personal agency),

The article muddles things by overloading the two concepts.

But regarding exploration vs Exploitation, it is indeed a very important concept. It is most studied in the literature in terms of "Bandit Algorithms" (you can play Go well with a version specialized for trees), imitation learning and reinforcement learning. Exploiting too much does not often lead to optimal long term rewards or minimized regret. A fair amount of recent reinforcement learning research has been how to get an agent to explore complex state spaces more widely.

We can even look at things at the societal level using this rubric. Basic research can be seen as exploring and focusing on product can be viewed as exploitation. It is my belief that things are weighted too much towards exploitation, currently.

[+] "Another possibility, though, is that activation of the internally attended content is attenuated when attentional resources must be diverted to the articulation task. " in http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3594067/

[+] "Engle and colleagues have investigated individual differences in WMC (working memory capacity) in young adults, and have argued that WMC is related to the ability to control attention, particularly under conditions of interference or distraction" in http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2852635/
That's exactly what happened with safety in automobiles; remember Ralph Nader?
My guess is that it is a result of processors getting faster, memory bigger and compilers better (and GUIs more complex). Functional languages do have some performance penalty over highly optimised code directly manipulating memory but for most usages such performance is not needed. Thus programmers tend to trade some of it for clarity of code and safety.
I'd argue that optionally typed languages are dynamically typed. Typescript at runtime is dynamically typed, same with Erlang. Perhaps not always true, but usually the type system provides static analysis which is help but not sufficient to provide guarantees.
Watching Ethereum discover why there are lawyers is similar to watching the Bitcoin community find out why there are (central) banks.

The bitcoin world now has "consensus" meetings which from an outsiders' perspective look a lot like the kind of meetings at Davos that bitcoin was supposed to be against, only without regulation, consumer protection and any recourse against bad actors within the upper spheres of influence.

In future of ethereum there'll have to be "arbitration committees" which will look a lot like courts. Self-appointed, unregulated courts of course.
Bitcoin is for the underserved. It services the people that can't be served in incumbent institutions [...]

Who exactly falls into this category?
Scala has a very well-regarded implementation of Erlang's actor system. I have personally seen it handle hundreds of thousands of requests spun off as lightweight threads.
Anonymity significantly hinders tax assessment and collection. Removing anonymity to increase taxable base is part of reason for the rapid push towards electronic transactions away from cash even in developing markets (the other parts are cost of securing cash & to reduce middlemen corruption).

So governments & financial institutions will certainly embrace blockchain tech as a potential way to possibly reduce transaction paperwork (read eliminate backoffice jobs) but anonymity which underlies bitcoin is unlikely to be supported by governments.
Possibly overkill, but you could set up some kind of home VPN to remote in securely.
Funnily enough, I just had a reminder go off to check for your financial osint paper. Awesome interview on risky business.
Because almost everyone involved in Ethereum also invested in "the DAO", so they're taking a mulligan.

"oops, just a practice!"
Do you have insider information that's not readily available on the internet? Because as far as I can see they're not.
That's sans-serif.
> because JSON is always easier with dynamic types.

I think you mean JSON where the schema isn't defined. If you have full control over the JSON you're consuming, you control the schema. Typed languages aren't any worse than dynamic languages in this case.

> Rapid prototyping is because it requires less explicit up front design due to dynamic types.

Many types languages have a REPL environment specifically for this reason. In my experience, it's not any slower.

> Artificial Intelligence is because metaprogramming is easier in homoiconic languages.

I have no experience here, thus I will assume you are correct.
Prediction: APL, J, K, or Q will be on this list soon.
"multiplayer tetris" is the game played by UN Security Council, so why not?
I'm not quite sure what you're asking and I am not going to ask you to elaborate to appear as though I am being intelligent by asking questions because this conversation is not in real-time, I may not come back here for a few days. No it is not a random coincidence that the diseases you mention came from adjacent regions...it is specifically because those regions are tropical, and have a lot of disease vectors. Read up on, "tropical disease," and how vectors play into disease. Disease comes from random mutations, and when you have a high density of random mutations and things that can carry those new diseases around, you have a higher likelihood of any given species (e.g. humans, for example), contracting a novel disease. While humans originated in the same area as where those diseases are coming from relative to the size of the earth, humans came from a completely geographically distinct and isolated area, e.g. the Rift Valley vs the Congo Basin which is separated by the Mitumba mountain range and has a completely different ecological character. Congo = Jungle. Rift Valley = Savannah. Much more vectors and biological diversity in Congo than Rift Valley.

Edit: For those who are saying, "We are dumb to eat apes." You are actually dumb for not realizing why people would eat apes, because you have a wide range of information gathering resources at your disposal to understand why people would eat apes, but you are not using it, while most of the people who eat apes totally lack information. They are ignorant, while you are actually just dumb.
Professional landlords are already googling and searching facebook for their prospective tenants. Criminal records are pretty much all online now also. And many landlords and employers contract private background checking services already. This service doesn't offer much new.
Why wouldn't it take a finite amount of time? With a large enough sample size, shouldn't any weak effect be distinguishable?
For many people, "internship" means unpaid, that might be the source of the insult.

I remember trying to recruit javascript programmers from the local maker/artist community, offering an internship that paid, I forget exactly, but something around $35/hour, which I thought was reasonable for an entry-level programmer. I got no responses, and later learned that my call was widely talked about as a scam, since everyone knew internships were unpaid or at best carried an honorarium.
That style is usually called “single story a”. Monaco is a common monospaced typeface that uses it. I suspect that style is less common because at small sizes it's easily confused with o.
idk if you are serious or not but part of me feels like the fact that those languages haven't gained much attention in the last 30 years means that they won't get much attention in the future.
Thanks for the tip! Looks like there's even a starter example: https://github.com/doomspork/kotlin-dropwizard/
Half Staff – why is the US flag at half staff?
Yes it's important but the widespread rejection from startup founders (especially successful ones) refers to sticking to one preset plan and never adjusting to customer demand or market conditions. Writing a 30+ page business plan makes you reluctant to change it except for when it may be too late.
Agreed, that was the only sentence in the article that gave me pause -- a language having been used extensively for (failed!) attempts at A.I. does not make it a great A.I. language. Maybe we'd have general purpose A.I. by now if we didn't waste a decade with LISPs; the secret has been there in assembler all along!
Who Needs Genres When There Is Data?
Hmm. Thanks for your note. I haven't had to deal with any disputes so far. It is good to know that I should be careful about that.

What were the reviews like for these places that had false advertising? So far I've only stayed at places that had good reviews.
For my terminals, I use MingLiU, on OS X. It's primarily an Asian scripts font, and the roman characters are monospaced.

There's little difference between O and 0 or l and 1, though, so I don't use it for coding, but it's good enough for my use of the terminal.

http://i.imgur.com/mAq8b5b.png

Luxi Mono isn't bad either, but the capital o and the zero are almost pixel for pixel identical, which is a deal breaker for me. https://www.fontsquirrel.com/fonts/Luxi-Mono
Yet people still recoil as if in horror when I try to explain that this is one of the core reasons why gplv3 is so important. Look, we've lost the hardware freedom wars so far, but we still have software, and we can work on improving our hardware side as we progress.

One of the Common arguments I hear in response is, "But open source doesnt pay, and therefore doesnt innovate as much."

While the lack of funds coming arent ignorable, innovation is always happening in the foss space, often surpassing the proprietary alternatives, often falling far behind as well. It still gives you the power to control your own systems, which is the freedom you can choose to not give up.

The only way you surrender your freedom is voluntarily.
I've read that restaurants as a whole usually spend 30% of the price on ingredients, and the rest is staff and rent and other miscellaneous items. Buffets work because even if people eat more, the restaurant as a whole operates more efficiently(no individual servers).

I don't know what the percentage is for high-end restaurants. Do you think it's higher or lower?
Complex, recursive JSON schemas are much more difficult even when the schema is known in most typed languages. Not impossible but I've definitely found myself changing my schema design because of friction in parsing JSON in Java.
I just don't buy the "dynamic types" lets you iterate faster argument. You are implicitly using types, and how often does that type change such that all the code you've written doesn't need to be updated anyways? And without the benefit of a compiler to tell you what you need to fix. A language like Go is fast to iterate, trivial to parse and serialize JSON, and simple enough that the tools let me make sweeping changes quite easily.

For a while now I have felt that the reason for the creation of languages like Python and Ruby is simply a response to the pain of one such as C++. Now that we have modern languages like Rust and Go, what is there to be gained from sacrificing a type system?
Stop using so many different languages?
Well that's horrible.
Texas PR guru, a booster of Israeli tech, among Tel Aviv crash victims
There must always be bullshit for logic to prevail over. There must always be...bureaucracy.
The big problem is that bad managers get their by sacrificing the company's success for their own success, and focusing on managing perception as opposed to creating value.

For instance if you were a V.P. at an mortgage company you could push your underlings to make bad loans. Even though in the long term it will hurt the company when those individuals default, in the short-term you will look awesome.

Or for instance when a V.P.s boss makes a wide ranging decision about the company will move in a new direction. For instance "To the cloud". You can argue about how that doesn't make sense for your part of the organization and have you're boss and grand-boss think of you as "Not a team player". Or you can cheer-lead a decision you know is wrong, knowing that afterwards you can produce some great powerpoints slides about how failure was outside of your control.
Well, there's:

- Dependently typed languages (ATS, Agda, Idris)¹ should be fairly familiar if you're a Haskell veteran.

- Array languages (APL, J, K, and more obscure ones like Nial) are pretty enlightening if you're a functional programmer (at least they are for me). Most of these trace to Ken Iverson and his Notation as a Tool of Thought. They are a bit brain-bending at first, largely because of the density, but they're fun to use and the density makes comprehension easier after a while.

- Function-level languages (FL, FPr, J) – a somewhat obscure and very advanced sister to functional programming. If you're familiar with Haskell Arrows, there are many parallels. They are, essentially, a more convenient point-free style. Most (all?) of these trace to John Backus (of Fortran and Backus-Naur Form fame) and his 1977 Turing Award lecture Can Programming Be Liberated From the von Neumann Style?

J (http://jsoftware.com/) combines array and function-level programming, and IMO is a very good language to learn to expand your horizons if you're a veteran functional programmer.

--

¹ Coq kinda, but it's more of a theorem prover than a programming language. Agda sort of fits that too.
RatFor for the win... :)... :(
DAO Counter-Attack
Great course! Relatively easy and quick to take, but gives lots of good tips on how to learn effectively. Knowledge that benefits almost anyone.
I'm warry of Wolfram Lang. I'd need to see field report because I think what was demoed, as nice as it looks; is only the working subset. I feel a huge ontological mess underneath.
> Compilers are hard.

Could have been true in 1980s. Not any longer.
Why call it an internship? Why not just say "hiring jr dev"? And... $70k/year for a jr dev is still pretty high for a lot of areas.
In Israeli desert, world’s highest solar tower looks to future
Obviously, the OP was talking about function parameters, where "int x[1000]" is semantically equivalent to "int *x", see C11, 6.9.1, item 10:

http://www.iso-9899.info/n1570.html#6.9.1
Have you tried Luxi Mono or Linux Libertine Mono?
Ah, I see. Yes that doesn't seem to be so common.
I get many of my best ideas while taking a shower.
Seen this same method applied to used equipment for sale, especially if it was stolen.

Basically, someone steals a laptop, wipes it, reinstalls the OS with backdoors, sells the laptop for cash, exploits backdoor access to own other devices, exploits owned devices, etc.
Yes Julia is interesting, but for most use cases the languages is (to my knowledge) still significantly slower than C, while not having the great library ecosystem that e.g. Python has. This might change in the future though, and I know that really bright people like Stefan Karpinski are behind the language, so I'm sure it might become a serious contender to Python in the future.
Visual Studio has a feature that searches for Code Clones. Works pretty well.

But I would love to have a command line tool that did not depend on VS and Windows.
I hope this podcast helps...https://letstalkbitcoin.com/blog/post/lets-talk-bitcoin-297-...

please let me know if it does/doesn't
But, if Dijsktra wrote it, it is right, where as if seanwilson wrote it and cited 100 papers in Datamation it might still be wrong.
> Imagine English itself was a programming language

That's a terrible idea.

https://en.wikipedia.org/wiki/Buffalo_buffalo_Buffalo_buffal...
“If you’re living a normal life,” Thornhill [the start-up's co-founder] reassures me, “then, frankly, you have nothing to worry about.”

That's a truly horrible justification of an invasive, creepy service. Who defines 'normal'? What's the scoring criteria?

I've got a mortgage on my flat, but if I were renting, I wouldn't rent any landlord using this start-up. Being sent this request by them would instantly signal to me that they're not the kind of landlord from whom any sane, reasonable person should rent if they have any other choice.

I sincerely hope this start-up fails and that Thornhill and his other co-founder/s come to realise that their idea is deeply invasive and shits all over a large part of society who are less fortunate than they.
> It's amazing that all plant behavior is actually governed by chemical reactions applied to "cleverly" constructed structures.

Unless I'm missing something, this describes all behavior above the subatomic level, plant or otherwise.
Poor wording in my part. It's not that the interfaces are more complicated, it's the implementation of those interfaces. Some of the hardware pieces come along with native SDK's (those which don't support e.g. a serial interface), so there's a lot of interop going on.
Not yet (watching some youtube talks and introductory classes in college not couting). But even then I'm not sure they're more 'advanced' than Haskell. Do they implement the full lambda cube ? Even then it feels like constructive proofs are a 'normal' step after recursive functions. I'm curious about complete new way of thinking and modeling, something that would allow full graph exploration and multistaged/layered partial evaluation easily... from abstract concept down to signals and fixed-sized electronic compositions. I don't know what precisely. I don't want to say Categories because it's overloaded these days and I only know it through the 'monad tutorial' end, but I liked the idea of adjoint functors to jump back and forth between concepts.

ps: Esterel/Lustre synchronous programming comes to mind too, or Petri nets ..
Context grep (or cgrep)
This is probably the only way to be sure about security in this scenario.
I guess it's a regional thing. In the UK, they tend to be paid (In my experience, at least).
Iterate faster != Rapid prototyping.

The type system definitely helps with long term maintainability (and therefore fast iteration) but when your goal is to whip out a Proof of Concept for a greenfield project Ruby wins for me hands down. (Provided it isn't overly complex, defined as "can be completed in an hour or two").
Usually they use this as a recruiting tool.
Not a single one, but people need to be better educated on their options. How about, here are the options where you can actually have control of your devices as under property rights.

I do however also think the gplv3 sphere needs to offer better netguis for the non cli-heroes.