skysight-inc/HackerNews huggingface dataset:
He mentioned three cheap keyboards that came with his computer - who has a comparison between this keyboard and a modern mechanical?
> What snippet in a purely functional programming language would be simultaneously intelligible and communicate the power of FP to someone who knew only imperative programming?

Propaganda about "the power of FP" was not what your parent was asking for. They were asking for code snippets. They were not asking for a program that shows off all the power of the language.

For whatever it's worth, here is Fibonacci: http://rosettacode.org/wiki/Fibonacci_sequence#Mercury and FizzBuzz: http://rosettacode.org/wiki/FizzBuzz#Mercury

> Mercury is a constraint logic programming language.

Nope. No constraints here. Also, you can mostly ignore the logic part and use it like a functional programming language.
I think of it more as computing something in "two passes". First, decide if the person committed a crime not in that "tack-on" category. Then, evaluate which "tack-ons" are applicable and possibly make those charges.
How to Reach High Net Individuals in China
NJT is a mess but Metro North is pretty great. I walk to the train and then walk GCT to our office on Park. I grew up in Queens and my commute to Manhattan is shorter now when I live 30 miles outside the city. But I also pay for that with Westchester taxes.
Here's some benchmark for Phoenix + Digital Ocean drop - https://www.cogini.com/blog/benchmarking-phoenix-on-digital-.... But without database stuff.

And here: https://elixirforum.com/t/7-5-second-average-page-load-speed...

"It’s my fault for the inline Markdown, really. The pages that don’t do that handle over 1k/second."
At least this is rather straight to fix in the us. Not related to the post itself, but in the us you just resolve the issue with your credit card company by filing a dispute.
I guess that's true, but IMHO Beowulf tells you nothing about what those ancient people felt. Not a single one of the characters has any inner life or motivation, it's just a chronicle of monster-slaying. You might as well read a poorly written comic book.
It’s specific to lions, just not exclusive to lions.
Check out the WSPRnet map to get a visual indicator of propagation conditions, by seeing which automated stations can hear which other automated stations.
Can an Industrial Giant Become a Tech Darling? (Ep. 357)
Honest question, why if I want to give some money to another person it's going to be taxed again although it was already taxed (except close family etc.) in context to that double taxation you wrote about.
I don't think the essay is any kind of "proof", but I think you are under-appreciating the mysteriousness it speaks of.

It's not just the medium _can_ be used to create accurate representations, by a skilled master. It's that mathematical concepts created with no regard for the natural world but purely on their formal elegance, turn out, years later, to be an elegant way to describe and predict natural phenomena.

I don't think it "proves" anything, it's just... mysterious. The mystery doesn't go away if we insist that math is just an arbitrary human invented formal system. There's no a priori reason it should work to describe and predict the natural world at all, is there?

We could invent other arbitrary formal systems based on completely different axioms and rules that _weren't_ useful to describe and predict the natural world at all, could't we? I think?
Show HN: word suggestion engine from partial input using trie
Not quite sure what you mean. But how do you chain multiple functions?
Tesla needed a new chairman as part of their SEC settlemant for Musk’s tweet.
How Discord Stores Billions of Messages (2017)
64 |> Math.sqrt becomes pipe(64, Math.sqrt)

64 |> Math.sqrt |> Math.sin becomes pipe(pipe(64, Math.sqrt), Math.sin)

Assuming pipe was smart and took varags we can make this better.

64 |> Math.sqrt |> Math.sin becomes pipe(64, Math.sqrt, Math.sin)
Parents have posted 1300 photos of their children by the time they’re 13
May 10, 2012?

Yet another date, the Wayback Machine Cache has it Nov 17, 2013.
Criminal organizations masquerading as political groups have no place in the market of open ideas.

It's a good thing to see another of their sources of funding be cracked down on.

Good riddance.
SDPaxos: Building efficient semi-decentralized geo-replicated state machines
Doesn't matter all car companies are toast, car sales are falling, iPhones have eclipsed cars as a status symbol among young people. Many of my friends no longer have cars.

The ones successfully migrating to autopilot Uber style service have a bright future. Mercedes and BMW have the most successful in Germany (they merged their operations), so the real next decade competitor of BMW is Uber/Lyft not Tesla. I guess it depends on how good autopilots will be (and there are rumors Musk really wants to to move into that space and Tesla is the means to do that).

If Google and Apple and Amazon get into that space, I guess consumers would choose their service over a BMW/Mercedes company though - they have the better tech brand and people would rather get into a driverless Apple/Google product than BMW/Mercedes.

Most people in this thread write from a US centric view where people live a long way outside of cities so they can't imagine what's coming.
I think it's more that part od the attraction of rewriting the software is being able to upfate and improve the interface. If you want the old interface then the existing tools are usually perfecrly good.
Yeah, the ladders between glaciers and huts in the Bernese Alps are grim. The Oberaletsch Glacier is toast, and several of the others are looking pretty bad. See it while you can, and take pictures to show your kids.
> It would be great if the free market were restored.

This is what happens in a free market.
BMW's net profits just tanked 24% in Q3. Meanwhile, TSLA is producing margins that the legacy manufacturers can only dream of. They are making 20% on a Model 3 while the others are squeezing out a few hundred Euros in the non-luxury segment.

Also, TSLA's battery tech is years ahead while especially the German manufacturers have been putting their eggs mostly in the Diesel basket. But those have become increasingly hard to sell to the point where Porsche has abandoned that technology altogether, and others are likely to follow. These companies are the Palm, Blackberry and Nokia of the auto industry: They don't understand that the paradigm has shifted, and when they finally do, it will already be too late.
No, I believe that we need a string type to encapsulate Unicode, but that that it should encourage use of stream processing idioms and discourage random access idioms.
> 1200 sqft is plenty of room for a 4 person family.

That's a projection of your subjective preference.

1200 sqft is not enough space for just me, that's my subjective preference. I currently occupy a home by myself with about ~2,500 sqft. I don't utilize all the space regularly. My bills would not go down by much if I reduced that space to, say, 1,500 sqft. Housing where I live is spectacularly affordable. I consider not having to live in a tiny, cramped space to be a quality of life benefit. I enjoy that my kitchen is the size of a small studio in San Francisco or NY, and it costs me perhaps $120 per month as a share of my mortgage.
Just bought a new Model S 100D. Sat in other cars just for giggles (BMW 5 series, Mercedes E Class, Audi RS 3). Where else am I getting an electric car that holds two large Clek Fllo car seats, two adults, a full trunk of luggage, has 330 miles of range, does 0-60 in 3.6 seconds, and I can travel cross country effortlessly in? It doesn't exist besides a Tesla.

Tesla is valued appropriately based on the market.
I have used Linode for over a decade, and never had a problem.
soundness of LEM depends on
where one originates the
source of mathematics

I disagree!

One of Goedel's many great contributions was the double-negation translation (later refined by others), and what it does is show that (simplifying a bit) intuitionistic logic and classical logic are equiconsistent!
In other words: any contradiction you can derive in classical logic, you can convert into a contradiction in intuitionistic logic. (The reverse direction is trivial because all intuitionistic proof principles are also classical.)
Security. WASM is sandboxed by design.
I think BMWs failures are the most significant part about it. They are still tainted by their emissions cheating scandal and accordingly viewed as shifty people who will sell you a car that isn't really accredited.

I would be overjoyed to see others entering the electric market at a broad scale but right now I haven't seen anything to give me confidence. They are trying luxury with a tarnished brand and even say stuff like electric cars will always be more expensive which is a clear lack of long term vision. Always is a very long time.

Even an absolute pessimist should say "probably not in our lifetime" because in the long run stored energy sources will either be best off unused for whatever reason or used up already there will come down two choices for storing energy from our actual power sources - fixing our own novel hydrocarbons or batteries. The one has a far higher storage efficiency and less overhead if we are stick even if we assume absolute stagnation in battery tech and thermodynamic limits in fuel efficiency.
And when you add in the $8k loss, they are the same price as the profitable Model 3 you can buy today (not even the base model).
I tend to agree with you. The thing is that most people would agree but at the time everyone wants different features. Me personally I even think we could be better without classes and all that "pretend you're writing Java" nonsense
Zokrates/ZoKrates: A toolbox for zkSNARKS on Ethereum
4 λόγοι για να δείτε πορνό μαζί με τη σύντροφό
Tooling for Invoices in Lightning Network Applications
It's things like this that clearly demonstrate the power of a blockchain. It should also serve as a reminder that if you allow your blockchain to scale, smart people will make it useful, thus giving it value.

As much as I love good old BTC, the entire ecosystem seems to have gone stagnant the past few years. Meanwhile, I can't even keep up with all the new stuff being built on Bitcoin Cash.

Apparently BCH now supports tokens too. I just hope the devs don't lose focus and will continue building "peer to peer digital cash" as described in the Bitcoin whitepaper.
A partial word suggestion engine based on trie. This is an one evening project after discussion on ways to implement such an engine. Handles up to two input errors (misspelling/missing letters). Dictionary is based on word frequency list from Mr. Norvig. Includes simple terminal based interactive demonstration based on Python 3 ncurses module.
> You are not wrong, but I'm not saying this is the sole factor in city attractiveness here. It's just one factor. Other things equal, I think it's easier to attract top talent to cities with halfway decent urbanism than to cities that are more like giant suburbs.

I wonder if the real situation is that it's easier to attract young "top talent to cities with halfway decent urbanism than to cities that are more like giant suburbs." That's also tends to be kind of talent that's willing to work way more than is really good for them. The suburban lifestyle is more suited for established families and older "top talent."
New Sailfish X support for Xperia XA2 variants and free trial
I will also recommend Unicomp.

> I bought one over a decade ago (build date 4/20/2007).

Awhile ago I remember hearing that they were having some financial problems because essentially they never had repeat customers: buy one keyboard and you'll never need another.
>Looks like they just posted a solid ~5% YoY growth for the last quarter, while TSLA posted ~125%. It's clearly an interesting difference.

Do you really expect a 100+ year old company that sells 3 million vehicles annually to be growing 125% annually? Where would the cars go?
I drove 2 Nissan LEAFs for 5 years. They are solid cars, and this year's iteration moved out of the "early adopter" segment and is being marketed as a mainstream car.

Their roadmap in 2022 calls for 4 EVs plus 2 more under the Infiniti brand. Unlike GM, Nissan has 8 years of experience with EVs so I think their roadmap is believable.
Just curious, can you go into further detail about this bit?

"we are all developing on top of either AWS or Azure and are actually using the technologies they provide and not just hosting a bunch of VMs"
> Companies don't want to establish new offices in cities where they cannot attract new talent or there isn't a large existing base of talent. This limits large new offices to large metro areas (5M+ people)

I wish more companies would do what TI did.

TI set up their headquarters in Richardson, TX, where there were very few people with any engineering background. So they opened their own university in order to farm talent, and once it got large enough, they had the state take it over from them. It became the University of Texas at Dallas, and it's now probably the most important university in the southwest for engineering and CS (I've heard the phrase "MIT of the southwest" before, but I don't want to call it that because I went to UTD and that's a bit of an exaggeration).
The fact that it's electric is not even close to the only advantage that Tesla's cars have over ICE cars.

Tesla turned the car into a software problem, and I would argue they have demonstrated they are WAY WAY ahead of the major OEM's at software and in the infrastructure supporting it.

Not to mention extremely sleek and well loved design, autopilot, etc. To just make a Camry electric won't be enough ( though it definitely will take some of the market share ).
“Starting your own business” is not always the right answer. I agree with consulting but working for a consulting company. There is a lot to be said about being able to go to work everyday, do your job, and go home and not have to worry about chasing after clients, payments, etc. I like the idea of going to work every day, coming home and guaranteed money showing up in my account for the same amount twice a month.

The usual retort is you can be laid off from a job. That’s true. But if you keep your skills current and marketable, have a network of local recruiters, and live in a major metropolitan area anywhere in the US, finding a job in IT is not exactly hard in 2018.
I guess you could make pipe variadic:

function pipe(val, ...funcs) {
for (let f of funcs) val = f(val);
}

EDIT: seems like I got ninja'd by an edit :)
Sustainalytics | Team leaders, Software developers, Testers, Product Owners | Bucharest or Timisoara, Romania | ONSITE

Do you believe that, with the right insights, investors could contribute to a more just and sustainable global economy? Sustainalytics is a leader in ESG and Corporate Governance research+ratings and supports hundreds of the world’s foremost investors who incorporate ESG and corporate governance insights into their investment processes.

We are looking for like-minded people in search of a meaningful career. We have a number of full-time roles for our offices in Bucharest or Timisoara:

- Software Development Team Leader - will lead the software development activities in our Digital Innovation Team

- Technical Manager - will manage the development team through implementation and delivery of digital products needed to perform sustainability research and back-office operations

- Senior .NET Developer - will use the vast experience in full stack software development to implement high complexity solutions, improve existing features and code maintainability

- Software Developer - will work with a team of talented individuals and take part in the constant development and improvement of digital products needed to perform sustainability research and back-office operations

- QA Specialist - will create test plans/cases and contribute to test reports that summarize testing activity

- Product Owner - will hold an external facing role where you will act as a technical consultant towards external clients and work with our client servicing team to facilitate (prospective) client needs

For more information, including how to apply, please visit:

https://www.sustainalytics.com/jobs/software-development-tea...
Nim is realtime garbage collected and compiles to optimized C and it can use the C ecosystem of libraries and tooling. It also produces smaller binaries than Rust and is faster for most tasks.
Not to mention resale. A 2013 Model S still sells for 40k. A 2013 BMW 5-series sells for about 15k. All BMW has left is its badge.
Facebook chooses Canada for Dating feature launch
> Harassing retail staff

Asking to speak to a manager is not harassment.

> Instead you should have called the TIO, ACCC or escalated via email.

Not all of these are obvious actions when you're owed money and not getting a response from the obvious first lines of communication. Walking into a shop and asking to speak to a manager is, however, a natural next step.

> The customer service issues at Telstra are incredibly deep and complex.

That's not the fault of the customer.

> Telstra may not have a great customer service reputation. But they are one of the most revered telcos globally.

I've seen no evidence to support that in my line of work. Maybe "most revered in Asia" or "Australia" would be more accurate? Either way, "most revered telcos globally" is clearly an exaggeration.

> And they will do it again with 5G.

Pure speculation. Plus I happen to know a telco who's already begun the process of rolling out 5G transmitters. But I cannot say any more than that.
Sure, in practice you can even get a 2019 Bolt for 9k under MSRP becase nobody wants them. https://www.cars.com/vehicledetail/detail/747922437/overview...

Tesla may or may not start base model production in Q1 2019, but availability is not really helping the Bolt sell.
Show HN: Owwly.com – Top digital products and trends in design
Beautiful. I noticed the SVG output is however really large and crude. Apparently it embeds HTML into SVG and then embeds the nice monospaced font again as Base-64 into CSS. The result is a 1.6MB SVG file (compare to the 41kB PNG) to display a few hundreds bytes of source code nicely.
I don't understand your point, how does this happen twi ... ohhh because dependent files get changed as well? Surely this is just a matter of how you specify your dependencies?
JavaScript argument list evaluation is from left to right, right?

pipe(64,Math.sqrt,Math.sin)

and

pipe(pipe(64, Math.sqrt), Math.sin)

are equivalent.
Not true. We are not all short sellers.
See https://twitter.com/mcculley/status/659798006208856064 and https://news.ycombinator.com/item?id=17435899 for my experience with Unicomp.
It seems Ford CEO thinks they can collect and monetize drivers data:

-- So the case I would make is that we have as much data in the future coming from vehicles, or from users in those vehicles, or from cities talking to those vehicles, as the other competitors that you and I would be talking about that have monetizable attraction.

--The issue in the vehicle, see, is: we already know and have data on our customers. By the way, we protect this securely; they trust us. We know what people make. How do we know that? It’s because they borrow money from us. And when you ask somebody what they make, we know where they work; we know if they’re married. We know how long they’ve lived in their house, because these are all on the credit applications. We’ve never ever been challenged on how we use that. And that’s the leverage we’ve got here with the data.
Trivial Bug in X.Org Gives Root Permission
This is something that also always boggled my mind. One of the most expensive parts on an electric car are the batteries. No matter how cheap you try to make your car, you'll be set back about 20k just with the batteries.

At this point, why even bother trying to go for the lower end.
>For some reason all car manufacturers (except tsla) build really lame, goofy, small electric cars, why can't we just have a traditional luxury saloon?

Because maybe high-quality saloons with expensive batteries are way to expensive for most consumers?
> protoAST lacks the knowledge the specific code walker adds

Yes, that's why I actually had said "by grouping the resulting s-expr with a context and a correct tree-walker". True, you could make that

(let* ((protoAST (list expr* env core-CL-walker))
..)
...)

to be explicit. core-CL-walker changes only when the definition of the "core-CL" [1] changes, though, so it's probably a constant for practical purposes.

[1] I don't know whether there is any standardization of such a thing. Probably not since macroexpand-all also isn't standard.
Being on a Uboat (or any sub for that matter) must have been absolute horror. I think das boot (the uncut version) does a good job of conveying the insane boredom and long days or months with no communication with the outside world.

Also, the fact that your home also has an insane chance of being your coffin..
Tether became a fundamental component of the crypto ecosystem by allowing crypto / fiat trades and price discovery without needing routine access to the legacy banking system. USDC, GUSD, etc. are trying to replace Tether by accomplishing the same thing without the baggage and distrust of Tether. There may be core risks of asset-backed stablecoins but compared with everything else in the ecosystem they are much more reliable.
Public Password Leaks
There have been similar findings presented in other research shared on HN in the last year. For anyone interested in the topic, you might find more on the subject under the terms microRNA and epigenetics.

Some other interesting links:
https://www.nature.com/articles/s41398-018-0146-2
https://penntoday.upenn.edu/news/penn-stressed-dads-affect-o...
Show HN: University College London API
Ah, this superficial anti-science sentiment apparently never gets old. If you are like the average person, results from studies in mouse models have probably saved your life multiple times.
>Is there a reason that command line tools cannot be re-implemented in Rust and maintain GNU and POSIX compliance?

No, there isn't, but what "re-implementations" that I know of don't even try to do that.

>If not then the fact that ripgrep is not compliant is irrelevant to the larger point that Rust command line tools could eventually replace existing C command line tools.

Of course it's possible. You can go ahead and re-implement them in BASIC even. The point is that it hasn't been done, and until it has been done then such a replacement will not happen.

At that point there are further considerations. The C linker is ubiquitous, and remains a strong, underlying presence even on Windows, the one platform where C stands the weakest. The reason that the C linker is so widespread is that while C has no standard ABI, the platforms have very strongly defined ABIs (e.g. systemv abi), and those ABIs are extremely stable and haven't had a single change in over a decade. Those ABIs are also very, very simple and the result is that writing any type of software towards a C library in any language is dead simple.

C++ at least has extern "C" going for it, which disables name mangling. Rust doesn't have that, nor does it have a stable ABI. C/C++ are the two most interoperable language out there, with an extremely mature and reliable toolchain. It's simply not justifiable to replace C/C++ with Rust as a systems programming language until this serious problem is fixed.

Then furthermore, a vast amount of effort has been put into these tools over the last years to ensure that they run on any *nix and any architecture, and even so they can be ported with relative ease. For example, how do you suggest implementing glibc in Rust? You might argue "why would we need the C standard library when we're porting things to Rust", and the answer is that if you want to make a move towards rust, having a C library (particularly the GNU one, a lot of software depends on GNU extensions) is of utmost importance until that goal has been achieved.
The whole point appears to be avoiding nesting parentheses.