skysight-inc/HackerNews huggingface dataset:
What a weak comparison. The Israelis and the Palestinians are fighting over a homeland. Humans have been fighting over land since the beginning of time.
I disagree. Functional programming languages are not harder than for example OO-languages. The thing is that people usually learn procedural or OO -paradigm first when they start programming and moving on to FP requires a mindset change.
Well, this is precisely why we shouldn't trust Poettering with anything
infrastructure-related.
Kushner wants Brooklyn Watchtower to become a tech hub – who will sign a lease?
I was talking about customer size not markets. Nothing wrong with finding niches.

Also, nothing wrong with chasing any customer at first just to get revenue coming in.
Users don't care about imperative, functional, object oriented or what coffee you drink in the morning... stop calling languages shitty and get some shit done with the language you feel more comfortable with. We don't code for the shake of coding.
Changing the law is one thing, tackling the corruption in the legal system another. I'm really not sure if this makes it all that more attractive to me as an investor; in a place like India, you never which corrupt person or entity is going to screw you!
One area to consider growing this, existing SQL clients/viewers are pretty awful. It would be awesome if I could directly connect to a DB
There are also lots of passionate hobby programmers who are passionate about results rather than the journey.

I mean, I know a ton of obscure and esoteric languages. Do I turn to them, even the cool ones, when I want to implement some idea I have? I'm afraid I often turn to the tried and tested boring languages because of the network effect. Increasingly I just use raw javascript, which is right up there with VB and PHP for unpopularity, just because it makes it damn easy to share the result with others if its in a web-page.
Post-Quantum RSA – Schneier on Security
I love F#. Switched over from the other .NET languages as soon as it came out and I haven't looked back. F# helps me to become a better programmer.

What's wrong with ti? I wish F# had more OCAML to it. Functors would be cool.

Why isn't it more popular? Sad to say, most programmers don't really care about being a better programmer. They care about getting a job, keeping a job, and getting promoted -- none of which might involve learning a functional language.

To be fair, there's also a different paradigm programming functionally with larger development teams, a skill that many shops haven't mastered. Three guys in a startup would be fine. Three hundred guys in a mid-sized firm could have a lot of problems switching over. I grok that.

I'm kind of surprised F# is as popular as it is. Microsoft deliberately downplayed it when it came out, calling it a "scientific" language. I think that coders realize the open source power the language brings to *nix boxes, the more popular it'll get.

Let's put it this way: there are a ton of other languages I've wanted to try, but so many of them just aren't "done" yet -- there's still a crap ton of things missing. F# isn't like that. You pick F# up, you can code just about anything, and the community is there for support. I don't see that advantage changing any time soon.
> Anywhere you can fit a parking meter, you can fit an EV charger

Parking meters is not a thing in Europe though. Usually there's a single ticketing machine, possibly behind a door. You either get a paper ticket and put it behind the windscreen or pay before leaving to get through the barrier.
This is a very inspiring thread. The help being offered by the community is heartwarming​.
I don't believe any serious project uses only core
What's surprising is that Scala/Java basically has the same issues, but Scala seems to be more popular due to early adoption by several industry actors (Twitter IIRC).
I worked with it and while its technically a probably a good language it's nowhere near as easy to get shit done with it as C#.
You must have been working with at least quite young people or something. My experience goes the other way. I've seen people who bought a new computer because their fans were running at max and the reason for that was that they were full with dust and dog hair.
I interpreted that as them not having access to a Windows machine and wanting to try out the experience for themselves before attempting to teach someone else.
Agreed. At some point, if your language(s) of choice are decently powerful and you are decently good at them, you don't feel yourself shackled by a lack of agility, expressivity, or capacity for producing something of quality. Rather, you feel fluent. I mean, I feel a little uncool having never more than dabbled in functional-first languages. But I'm also an adult who has shipped multiple products without any undue tooth-pulling and rather enjoyed the process. So it's hard to take my feeling of uncoolness all that seriously.

And then the motivation to pick up not only a new language but a whole new paradigm just doesn't seem that urgent or appealing, especially when compared to that new bit of infrastructure which will oh-so-obviously add a significant new tool to your toolbelt.
Node.JS specifically has a lot of libraries in certain domains not available, with the same maturity, in other programming languages. For example, in the cryptocurrency space there are good libraries (e.g. Ethereum web3 support) but when you try to use similar ones in Python they don't have the same level of support.
Agree completely, just note that you can only pull the GTFO card a couple of times in a row, then it hurts your ability to pay rent, no matter how true.

It's a trap actually, sometimes it's the shit companies like this that are the only ones hiring.
Reid Hoffman could spend hundreds of millions to fix political problems
Hopefully many will not care about money in 10 years.
That's because it hasn't been around for that long. But I defiantly know of companies starting to introduce it.
On a sidenote (but likely interesting to HN readers):

Varoufakis worked as an economist for Valve[1]

[1] http://blogs.valvesoftware.com/economics/it-all-began-with-a...
Can this monster 16-core PC chip challenge Intel's i9? AMD teases ThreadRipper
Just make sure the bike ain't carbon :)
Qt 5.9 LTS released
Working Remotely and Written Communication
Maven Capital Partners VCT funds invest up to £1.5m in supercomputing
> ...largest turbo installed in a production car ever

Bigger than a Veyron?!
Yeah, depending on the configuration it would maybe even be enough for 7 GPU's with 8x PCIe 3.0 (60 of the 64 are feeding PCIe and M.2 slots, 4 go to the chipset). Seems like it will be a nice CPU to use for machine learning.

Other sites also report that it will support 2 TByte of RAM like the single socket Naples/Epyc, but LRDIMM and official/validated ECC support was not mentioned in the stream.
Ok

Airlines can't publish their inventory because they agreed to only allow GDSes access to that data.

Getting access to the GDSes as a small startup is extremely difficult, and the obvious value-add (searching many possible trips) is punished by the pricing structure.
I wonder if it's possible to use some kind of translator, like Apple did with Rosetta to run PowerPC code on x86. This is of course not interesting for the Surface but it might be a nice solution for a desktop transition to ARM.
> [The Chinese internet] seems to be in the process of shrinking even further, compressed onto a platform that is owned not by the people or the government, but by a for-profit corporation

As someone who does not use Facebook it is hard to not draw parallels. Faceboook might not be expanding like wechat, but they are taking over an ever larger part of how people interact with eachother and society.
Would this user base give them an advantage in AI?
Thanks for the links, your PhD sounds promising.

Not sure which machine came first, but around the time of the UPIC system you mentioned the Fairlight CMI was released, which (amongst its other functions) allowed users to draw out waveforms using a lightpen:

https://en.wikipedia.org/wiki/Fairlight_CMI#CMI_Series_I

This video shows Peter Gabriel playing around with a Fairlight CMI, from what I remember I don't think it shows the waveform drawing but it gives some idea of what it was capable of:

https://www.youtube.com/watch?v=ON8lVgJxMQA
I like the idea of F#, but do not like programming in the windows ecosystem. I spent years learning/writing haskell (though I write mostly JS these days).
In corporate, especially in MS shops, to modify an old adage, "Nobody ever got fired for choosing C#". For side projects, I'd imagine most people working on those would rather do something not Microsoft-specific.

For me, I've done plenty of freelance projects in F# over the past few years and enjoy it. I've done about two years worth of projects in Clojure, and about a half year in Scala, and F# was the nicest of the three for me.

It takes a while to figure out your style however. Since it's a FP-OO hybrid, there are often many approaches to doing the same thing (https://fsharpforfunandprofit.com/posts/13-ways-of-looking-a...) and lots of different "styles" of how FP you want to go. Some people end up with "C# in F#" and some go almost to "Haskell in F#". (I personally end up somewhere in the middle). And until you figure that out, it's hard to be as productive as in a language you already know. But once you do, I think F# provides the ability to be more productive than C#. (Granted I think immutable records and `with` syntax would get C# half way there).

However I will admit that when it comes time to transition the code back to the owner, I kind of regret using an edgy language. Fact is most workaday developers don't have a ton of interest in new languages and would rather work with something they already know.

Most of the pain points are due to running on a runtime designed for OOP. So even though idiomatic F# code shouldn't need null checks or much exception handling, you still need them if you're using C# libraries. There's also an annoying mix of camelCase and PascalCase everywhere (the former for logical consistency: a function is a value, and the latter for consistency with C# conventions).
Some years ago I read a moderately well fleshed out proposal to create a European semiconductor consortium as a sort of an Airbus for CPUs. My recollection is that, while it was somewhat flawed, it was an idea with significant merit.
WTO rules are very biased in general, allowing for some kinds of protectionism, which are more popular in the US, and banning other kinds entirely.

It’s complete bullshit, as who they are applied to is entirely subjective.
Is there a practical use case (deep learning, cloning Uber, trading, bitcoin mining, healthtech etc.) where F# or a F# framework is significantly better than what's out there?
> Can someone explain why it's not simple to brute force the hash in the blind index?

You're not bruteforcing H(m) here. You're trying to bruteforce H(m, k) without knowing k. To make matters worse, k is a random string of 128+ bits, generated by a CSPRNG.
An Ultima Online server written in PHP
Just so I get your argument straight, you're saying that launching a proprietary competitor to the standard means you're helping the standard?

Because then we owe Microsoft and Apple a shitload of thanks.
Bugs in Chipotle Prank
The Musk of Success, Choking Our Cities
Pregnant Girlfriend Prank
Well not Greeks (in the main), but Anatolians I guess. Certainly not Central Asian.
Reading Twitter news in the age of Trump
As a long-time advocate of functional programming, I was once asked after a talk what is the "best" FP language to learn. Since I'm known as a Haskell/Scala/ML person, I surprised much of the audience by answering that I thought F# was the best entry point. What I did not say, however, was that I think that Windows is a challenging environment for anyone who is used to Linux/Mac -- and this includes the "open source" world in general. I think that Microsoft is a leader in language design, but their platform relevance was slipping for many years. I believe it may be on the upswing (with Xamarin etc). I would encourage you to stick with F# as you will be further along in not only understanding FP, but other modern programming languages, including ones that haven't been invented yet.
Apple switched processors several times. They provided an emulator for old programs, so they could run without the user noticing anything (except worse performance). You could probably do the same for ARM.
Because Microsoft could've promoted it more but it didn't.

>What are the F#'s downsides which prevent its more widespread usage?

The two biggest downsides I've encountered are not related to the language itself. One is lagging support in Visual Studio (didn't support folders for long time, poor cross-language C#/F# navigation, no support in .NET Core projects etc.) and the other is the lack of examples/frameworks for WPF applications when I needed them.

Other than that it's my favorite language for all kinds of tasks -- from production apps to scripts.
Recursion is harder than iteration. Immutability is harder than mutability. Callbacks, dependancy injection, and implicit loops are hard to wrap your head around.

Oop is just a strut with functions and a fancy dress. It's not really a new way to think.

I trained many, many, many people in small groups in programming. The functional concepts are always the hard ones to explain.

And as a dev, even when i deeply understand the benefits of immutability, i find it often being a huge constraint for the most mundane tasks.

Most programmers make simple programs. They don't need complex tools.
Intel X99 mainboards (socket 2011-3) ranged from 200-600 us dollars. AMDs offerings typically go for less than Intels, but Threadripper has an gigantic 4094 pin LGA socket, so I guess this will negate the typical AMD price advantage regarding motherboards and we will see prices in the 200-600 us dollar range as well.

EDIT - and since Threadripper will have 20 more PCIe lanes compared to Intels i9 series, motherboard makers will hopefully take advantage of this to offer more IO, which probably also increases the price.
From what /r/crypto says, they leak metadata to the database server.

https://www.reddit.com/r/crypto/comments/6e5jjz/building_sea...
"If you want to rock out, rely on F#"
-Tom Morello

https://youtu.be/aJXzY9vhqZg?t=339
I know this is off-topic, but I hate the st ligature, so out of place... I mean it's a screen I'm looking at, not press-printed paper, no need to save on fonts.
This matches my observations as well. My university used Haskell as its intro language for Math and CS students, and the people who struggled the most where those who already knew a bit of programming in another language, but weren't really strong programmers. Those who had never programmed before had, on the whole, no great problem understanding Haskell, but then got completely lost in the follow up course that was taught in Java and focused on OO.
Event horizons around black holes could exist, claims study UK
The word "commute" is missing from this essay.
I dare say, that might be enough lanes....
That's where formal proofs come into play, because you need to somehow show that the implementation actually does what the definition states. Since Haskell isn't a proof checker you can't use it for this. The newish and very promising looking language Idris [1], which is very similar to Haskell, can actually do this because of having dependent types. Upon a quick search I found this great example [2] of a proof that insertion sort does indeed return the list sorted, all in the type system. I can really recommend Type Driven Development [3], a recently released book on development in Idris.

[1]: https://www.idris-lang.org/

[2]: https://github.com/davidfstr/idris-insertion-sort

[3]: https://www.manning.com/books/type-driven-development-with-i...
Hrm. Ok. This is assuming I've compromised the database client side, right? Doesn't the client have to know 'k' to do the query? k is $indexKey, right?

Edit: Thanks, got it now. A database dump on it's own gives nothing useful. The client side is vulnerable, but has to be since it's ultimately serving up plaintext SSNs anyway.
AMD's ThreadRipper to Feature 64 PCIe Lanes; Vega Launching in July
> I don't fully understand. So 1 SSD need 1 lane.

M.2 SSDs supports up to PCIe 4x, though there are also PCIe card formats which support 8x and 16x: http://blog.seagate.com/intelligent/seagate-demonstrates-fas...

> How many lanes need something like NVisia 1080Ti?

16 per (technically they need 4 per — that's what TB3 gives — or possibly less, but they'll use 16 if they can)

> If I want to build something like 1 CPU/1 GPU/1 SSD configuration without additional peripherals, 62 lanes will be effectively wasted?

You're at 24 lanes for the GPU (16), SSD (4) and southbridge (4). And unused lanes are no more wasted than unused USB slots, seriously.

But remember that Threadripper is an enthusiast's platform, people who might have 2~4 SSDs (8~16 lanes) or SLI GPUs (2x16).
Also realize that the biggest factor in buying bonds at a discount is having the ability to force the borrower to pay you back in full (the reason people are selling at discount is because people don't think they will be paid back). Goldman Sachs is one of the few organizations with the political clout to make sure that happens with Venezuela.
Well, programming isn't really traditional work. You know,

W=F×s

We don't apply a lot of F and definitely don't move a long s, so at the end of the day there isn't a lot of W we've done. I think it's useful to think of the Puritanian work ethic briefly mentioned in this article, together with the recent article about running modern society on human power alone. Back in the day, we really did run a lot of things on human power. Yes, for the really long s, we used large animals capable of sustaining a great deal of F throughout the day, but other than that, a lot of stuff was done by hand. If you don't apply your share of the F, you literally don't have food to eat. The goods you had were a direct product of hand labour, every bread was made with a nontrivial amount of calories expended by human muscle.

As we see, the more you work your muscles, the better they start working - that's the basic premise of exercise and getting in shape. However, your brain doesn't quite work like that. You can over-exert your mind much more easily than you can your muscles and it just doesn't recover as well as them. For your muscle, the cycle is work->muscle hurts->muscle recovers->work hurts you less now. For your mind, the cycle is the other way around work->you get burned out->you recover->you now burn out more easily. This fundamental difference in the nature of work in the knowledge economy is what we should focus on, to overcome the work ethic, traditions and employer-employee regulations, that were formed in the time when 1 bread = lots and lots of calories expended by muscle.
Doesn't change the fact that javascript is shit.
The listed ambitions of cryptocurrency are correct.

The thing that will save us is that blockchains don't scale :-D

The thing that won't save us is that the same dystopian social environment can be implemented with a centralised database :-(
Microsoft with Always-Connected PCs, MR and IoT at Computex 2017
Your Site looks like something I tried for my area. What are you using to build it? I like it.
How incredibly uncanny. Just yesterday morning, I posted this question!

https://stackoverflow.com/questions/44260289/using-native-es...
I believe the authors use the term Near East to describe the parts of present-day Turkey, Syria and nearby regions.

Middle-East is too broad to have usefulness in the article.
GitHub.com down?
Intel already supports a significant number of PCIe 3.0 lanes with their Xeon E5 chips. If I recall supermicro sells a dual socket Xeon board with 10, 8xPCIe 3.0 sockets.
I feel like a less abstract way would be to use an old style pinball game with some transparency added. Yes, there's some electronics, but simplified some more that could probably be overcome (as the goal would be getting kids to understand the relationship to things and how they work, rather than pumping quarters).
I "like F#" but there are a few layers between my having some fun a few times a month and a business adopting it.

F# makes sense when a) functional programming has a history of being advantageous in the domain, b) there is a mandate or clear advantage to develop in the .net ecosystem, c) a founder or engineering team has serious expertise with F#. Even then you have to ask if a functional-ish C# codebase you can easily add 50 developers to if needed is good enough.
GitHub is slow
Is anybody else experiencing this?
The one thing that keeps on bugging me about HTTP/2 Push is that it ignores/sidesteps all the usual cache logic.

If you are on mobile with limited GB (or expensive GBs) as it's always the case, push can cause some heavy resources to be sent to you even after you have them in the local cache.

The browser can cancel the stream, but once the stream is already arriving.

I am aware that there are cookie-based hacks, but... I really don't understand why this didn't come up as a possible problem earlier during SPDY test etc.
I used to work 6 hours and commuted each day by bike for a total of 2 hours of commute. It was the best. You do your work AND get your daily exercise AND have 8 hours left over.
This is assuming that:

- The webserver and database server are on separate bare-metal
- The database gets compromised, not the webserver
Veyron has multiple turbos, I don't think any one of them is "bigger" than the single turbo used in the 45 line of AMG cars. Well, they might be physically bigger(I don't know), but what I mean is that it provides the highest pressure(28psi) of any turbo used in a production car.

For comparison, Veyron has 4 turbos but they achieve "only" 18psi of boost( http://media.caranddriver.com/files/bugatti-veyron-164bugatt... )
lol we posted at the same time
Is TeX still a big deal? I used it (and LaTeX) for all of my school work 25 years ago but I don't think I've touched it since then. Even back then, most people were using word processing software to create their documents.

Can a variant of an already somewhat fringe piece of software really become a killer app?
It was btrfs RAID-1.
Whats the problem with these western medias ? They make every non white countries look good and others are bad ? Indian currency is based on gold and is not a toilet paper currency.

Fake news/journalism is a new kind of warfare.
http://imgur.com/a/g0Wh9
It's worth noting as well that LuaTeX is the adopted successor to pdfTeX.
Marc Andreessen explains self-driving cars could create a bunch of American jobs
Js was a terrible language with a great platform. Now it's a terrible languages, with a lot a make up to make it look decent, and an a powerful and rich yet very unfriendly and unstable ecosystem.

The only reason js has any success at all is the web.
https://status.github.com Says it's online

However, for me it does not load.
Scala is also far closer to Java than F# is to C#. You can write Scala code that looks almost exactly like Java code.
This works wonderfully if everybody involved acts rationally and professionally. Otherwise, it can quickly become a nightmare.
Open Curated List of Machine Learning Surveys
Yeah, TTFB does not look good http://imgur.com/a/4X89U
TheShadowBrokers Monthly Dump Service