skysight-inc/HackerNews huggingface dataset:
Thanks! My problem is based on a straightforward constant-coefficient diffusion-advection equation, but there are complicated boundaries and I'd like it to work in six or seven dimensions (given time and a big computer!). I have read a little about FEniCS but I think it will struggle just to generate the mesh. I'm looking at Mathematica now. It seems like it will treat an evolution equation specifically (method of lines)---perhaps that's what you mean by a "full-stop solver"?
$ cloc-git https://github.com/vespa-engine/vespa.git
http://cloc.sourceforge.net v 1.60 T=64.10 s (224.5 files/s, 28276.3 lines/s)
--------------------------------------------------------------------------------
Language files blank comment code
--------------------------------------------------------------------------------
Java 6573 106215 102720 537097
C++ 3209 76542 19178 504855
C/C++ Header 2985 42731 57087 158388
XML 389 705 550 139626
Maven 141 133 244 14096
CMake 450 254 560 8452
Perl 57 1124 762 7649
Bourne Shell 196 1257 734 6918
Scala 95 1685 617 6378
Teamcenter def 234 1474 3490 2468
Lisp 4 231 403 2118
HTML 16 211 29 1950
C 7 288 198 1432
Python 6 132 66 556
Ruby 9 39 9 294
Bourne Again Shell 3 35 12 182
Pig Latin 9 39 52 54
make 2 22 8 39
Ant 1 9 17 36
YAML 1 9 1 22
DTD 2 6 6 10
--------------------------------------------------------------------------------
SUM: 14389 233141 186743 1392620
--------------------------------------------------------------------------------
Show HN: A command line tool to launch, manage and use geth client on aws ec2
Nooooo! I said it non-obvious-half-tongue-in-cheek. (Though it is on my to-read list)
Limo Services UAE
I just come to say the same. Yahoo Finance is the best alternative for Google Finance.
The spring of 2017.

What can I say, there were some but not a lot. And many of these lanes were just painted on the road.

I think this is the big difference, cars drove on the biking lanes but in Stockholm the overwhelming majority of these lanes are protected so cars cannot drive on them.
The best way seems to be using something like pyenv to install multiple versions of python and not touching the system versio at all.
Show HN: Automated “Best Of” playlist on Spotify with artists and labels filters
AI, trust, and the art of conversation
Only in a few areas.
Everything about Logarithms in 5 minutes [video]
My Leica SL luckily doesn't suffer from most of these 'issues'. It still only has 1 UHS-II slot though. It would be nice if it had IBIS though.
Doomed: Why the Current Model of Online Advertising Can't Survive
I would have thought that effective load balancing would be feature #1 of a load balancer...
This is a little difficult on Windows or POSIX systems.

Also, as others have pointed out, you can smart-pointerise everything, but still have problems with common tree and graph structures. Rust is rigorous. C++ isn't; I'm not aware of any mainstream compilers which even have the option to make use of bare pointers or unsafe casting or undefined behaviour into compiler warnings/errors.
Churn Prediction with Automatic ML
The history of Sears predicts almost everything Amazon is doing
Corrosion in Real Time
Yeah she was terrible. Their homepage still sucks, freezes up my browser all the time.
Not all ARMv7 have FMA, only the newer models.

Models with FMA: Cortex-M4, Cortex-M7, Cortex-A5, Cortex-A7, Cortex-A15, Cortex-A17. I do not remember which Cortex-R have FMA. Models without FMA: Cortex-A8, Cortex-A9.
I can understand conservative choices when it comes to picking a language but what you describe is a potential risk for plenty other existing languages as well as any new language too. Rust wouldn't be where it is today if it wasn't sponsored by Mozilla. Java was Sun Microsystems baby and I remember all the concerns at the time with the Sun vs Microsoft fighting over control of the ecosystem. Plus even many of the non-corporate languages are still heavily dependant on a small subset of maintainers.

At the end of the day if a language proves popular enough in other domains outside of the area which is directly controlled by the language maintainers, then the community will usually find a way of taking over maintenance of it.

We've seen this with Pascal, various BASIC dialects (including Visual Basic), and to an extent Java too. The problem with Objective-C was that - as far as I'm aware at least - it wasn't widely used outside of Apple / NeXT's ecosystem so if Apple deprecate support for Objective-C on their own platforms then there's little incentive for the community to keep using language (much like the problems with Visual Basic - which is why few know about it's open source forks). But languages like C# and Go are used massively across a multitude of domains so even if MS/Google were to kill them tomorrow, the community would almost certainly find a way to keep language alive. Heck, Go might even become more popular if that happened since many of the complaints against it are down to the highly opinionated approach of the current leadership.

Let's also not forget that Go and C# tooling are open source so the community wouldn't have to reinvent the wheel like they did with Delphi / Object Pascal and Visual Basic.
True but they store past live streams so you can watch old videos.
Looks like you care enough for opening the comment page and dropping yours :)
Ignore the other poster who recommended buying an a9. If all you want to do is video (and you want a sony) then the a7s2 is the best machine for the job, a9 is more trying to be a fast sports shooter. I have the A7R2 and even its video is pretty darn good, no S-Log3 and not the same amazing (it really is this good) low light performance as the A7S2 though.

The only gripes which I have with the Sony systems are the unintuitive menu systems and unergonomic body styles, compared to Canon DSLR's though of 5D / 1D ilk (and most recently, the Leica SL which is just a dream to handle).

Other than that, technically, on paper, they are amazing cameras.

p.s: IBIS is amazing, you can take pretty much any old lens and all of a sudden it's stabilised.
What an brilliant continuation of an iconic design. I'll will just buy this because of its case.
Because often there's no correlation between engineering culture and business.
The obvious advantage for Microsoft is that they can now influence OSI. Even if they don't get voting rights immediately (which I would expect them to push hard for) there will now be the everlasting threat of pulling the funding to keep OSI in line. Organisations sponsored mostly by companies can't be expected to be bold about upholding users' rights and keeping the moral high ground, because most organisations are willing to compromise to keep themselves alive. Now it remains to be seen if this is a dark day for FOSS or just for OSI.
> less ideological communities and less my-way-is-the-only-way and if-you-want-something-different-then-me-you-are-stupid

You mean like rewriting entire projects, just because they have the wrong open source defined license? Tell me, which operative systems welcome all software that the Open source initiative define as open source, and which operative systems do only allow a very narrow list of licenses that match a specific ideology?
Regardless of what you call it, the fact that someone using your information to take out loans and signing all sorts of contracts should never be your problem.

If a credit card company issues a card in your name to someone else, then clearly they didn't do their verification properly.

It should be possible to have all your personal information floating around and still be certain that no one can use that information for anything. I'm pretty sure it works for Sweden where their SSN aren't secret, nor are addresses or phone numbers.

Sure that may mean that you need to show up in the bank, or have a secure government authentication method, but that's not beyond implementation.
Electric Smart clones from Zotye are sold right around $11 to $15k with VAT, and that with LiFePO4 batteries.
Indeed, it dawned on me moments after. I clearly need to wake up more
Magic lantern truly is, well, magic. When my 30D died, I bought an 50D with some ambivalence; I wanted a "real body" and can't justify the price tag any of the #D series, but the 50D can't record video. Then I installed magic lantern, and now it can record video and so much more. Didn't end up shooting much video, but the photography features are so numerous and useful.
Heathcare.gov to Go Down for Maintenance in Middle of Obamacare Enrollment
Really the title should be "Adobe Flash Player is required for finance.google.com interactive charts until they port it to html5"
Original article: http://www.nature.com/ngeo/journal/vaop/ncurrent/full/ngeo30...

Quote from the abstract:
"Hence, limiting warming to 1.5 °C is not yet a geophysical impossibility, but is likely to require delivery on strengthened pledges for 2030 followed by challengingly deep and rapid mitigation."
They should rewrite Go in Rust! That way we can avoid all this Go vs Rust discussions ;)

Problem with your idea, is that low level kernel will use a lot of unsafe Rust, which will lose lot of benefits.
Sometimes to attract talent, sometimes to brings free work to a project.

Other times it's lock in for related technologies (current or future plans).

Some have speculated that it's a legal trick, like the problem everyone was insinuating with the React license before the recent change.

Anyone else have reasons I'm missing?
https://www.nginx.com/products/buy-nginx-plus/

I'm getting $2500 for a single license at the lowest level of support. They don't specify USD, so possibly I'm getting AUD because of my location, but usually a global vendor will specify if they're giving prices in non-USD.

Per server, no less. Enterprise pricing, but sucks for SMBs.
> "in the best cases those pressing to go further are other freelancers studying their competitors"

There are other valid reasons for requesting a video chat. One of those is to weed out agencies and impersonators of which Upwork and freelancing platforms are rife with.

It also builds better relationship to talk with someone face to face.
Dyson has particular expertise in motor design, and I can see this being a big differentiation above aesthetics.
Good service or privacy invasion?
Yes, there is a trade-off of course. I think Swift is in the middle on Usability - Safety axis (C++ being on the left and Rust on the right extremes).
These are the ones I am talking about.
Halo, GoW and Minecraft have been GAASified. We have to see about Forza 7.

Meanwhile, 1st party games like Horizon Zero Dawn from Sony or Mario vs Rabbids from Nintendo are free of such.

In 3rd party games, all bets are off of course (see Destiny 2 for a good example)
Microsoft products? "Windows is a service" is the word now, as firmly stated by a recent message demanding a PC reboot.

(The first sentence was "Windows is a service and updates are a normal part of keeping it running smoothly.")
SteamOS is a "fleet in being", or nuclear deterrent. Its purpose is to make sure that Valve can survive if Windows decided they wanted to "Windows Store" their platform and force every game to pay Microsoft a 30% cut.

Until Microsoft do that, it's not actually very necessary. But it might become necessary at short notice.
Can you make sure any issues are filed over at github.com/WhisperSystems/Signal-iOS ?
I agree with you. I think most free software advocates are far too nice to say anything bad about people. Just look at dot net and how it is now "open source". Well, except it isn't because the dot net special interest group doesn't have the source code for tooling they need in order to meet fedora packaging guidelines. This is supposed to be the easy part because from what I understand they rewrote everything for .NET core. I was a big fan of dot net core and now I warn everyone of it. It is best to just avoid Microsoft in many cases.
It is identity theft in that they are posing as you to so they can perform fraud. It's identity as a societal thing like id with you name but their picture. Being able to do this remotely like credit charges(can be in brick n mortars though) etc just means normally they just need enough info. Once again it is mor societal concept of how we identify people we don't know.
Anyone knows if HAProxy can terminate Secure WebSocket? I've tried it about a year ago without any luck, maybe something changed?
Yes, I should have scrubbed that paragraph and started over, to say something like eliminating nulls is only part of the problem, and you still have to do everything right, starting with your abstract model of the problem space. With regard to semantic nulls, I offered NaN as an example, but I was thinking of the case where the programmer introduces what is, in practice, a semantic null value for one of his user-defined types - something that should be distinguished as a special case, but isn't.
According to memory management, yes but you have a lot of benefit from the strong type-safe system, ecosystem, testing and etc.
Coding in the open: how to do it securely
It's good to venture outside of bubble sometimes.
The issue with such "free speech" instances not being the norm is that the instances which do allow "hate speech" are going to be clustered with unsavory individuals.

If toleration is not encouraged at the core, it is a useless service because I don't want to spend my time in a safe-zone where I have to preface anything I say with "I don't mean to offend, but I think..." any more than I want to hang out with a group of half fascists.
The games that come with SNES Classic offer hundreds of hours of high-quality entertainment. I mean, have you seen the games? $80 is a steal. The problem is that you may not be able to get it for $80 due to scalpers and/or greedy retailers.
How  to Manifest Your Inner Leader
Boardroom drama and IR conference calls turning into a 4chan style discussions are characteristic of Big Co. culture as such in US. The few successful big companies that evaded that predicament, were the ones with either poison pill provisions, or other tricks that made them "taste bad" for activist investors and other nasty guys from financial industry

Loss of direction is what stalls big tech companies 9 times out of 10. If you have 10 decision making actors on the board of directors, you have to effectively do 10 different things that each of that guys want, and all of them with compromises made to accommodate the 9 remaining other things that had to be done simultaneously.

My father frequently says that "a public company is a like a woman with 10 husbands, all trying to make love to her at the same time"
I'll spend $250 for a nicely designed and well integrated Linux-based STB that happens to come with an Atari 2600 emulator preinstalled, though.
Conservative here, I don't think taking the vote away from women is on the conservative agenda.
Giant Tree-Dwelling, Coconut-Eating Rat Species Discovered
Google Researcher Publishes PoC Exploit for Apple iPhone Wi-Fi Chip Hack
Roughly 1/3 comes from Intelligent Cloud (i.e. Azure and friends)... although revenues increased 93% in FYQ3. https://www.microsoft.com/en-us/Investor/earnings/FY-2017-Q3...

[edit: fix Intelligent Cloud vs Azure specifically]
I bought the version without Touch Bar because I hated it so much (after trying one at the store) and desperately need a new Macbook Pro to replace my old 8 year old one. So I agree even though I won't be buying another computer for a few years. I do like the new keyboard though. Shame about it having worse specs but it's more than enough for my dev needs.

Apple's continuing with the bizarre / bad design decisions, the latest iPhone X has an ugly notch in the screen, unfortunately there's no way to avoid that if you want the latest iPhone.
It's not that I'm advocating being a luddite, stopping progress, or uncritically accepting the web, it's just that the most useful form of idealism (at least as far as I can see it), is realistic idealism because it's the most likely to be implemented and affect change.

It's just hard for me to understand how realistically a clean room implementation of NewWeb is gonna beat out something that's already had billions poured into it and even today is progressing. The much easier step is figuring out how to make the web better, but it isn't sexy. No matter what you come up with is gonna be imperfect and criticized and have holdouts anyway.
You've been able to use Signal-iOS without contact access for a while.
and how will your determine effectiveness without metrics?
> the 140-character limit is iconic, it's at the core of their value proposition, and Twitter is going to dilute their brand if they abandon it.

I had similar thoughts when Snapchat started introducing their (now many) non-ephemeral features, but I was proved wrong at every turn.
No, you weren't. Gonna have to agree with your parent commenter that they are actively user-hostile and consumer-hostile, in addition to FOSS-hostile, even moreso than ever before for all the reasons stated above. Your comment right here shows me you have little to no argument left in you, despite your "good faith". I advise you check yourself Quarrelsome, since you devalued your own argument before it even got started.

(fitting username)
First time I met him was at an OOPSLA conference when C++ was just starting to get traction, while Smalltalk80 still ruled - so at the end, he's sagged back against a pole and we're all excited, asking if this ain't just grand - his response was priceless - 'It's terrible. Damn thing is too small to get any money for and too big to kill."
Apple and Fitbit among 9 companies selected for FDAs coveted digital health pilot
Considering "it works" as a feature sets the bar really low.
I get that, but I'd think HN users and their friends would be overrepresented in Twitter, not underrepresented.
If you don't know what "problematic" means you could just look it up in a dictionary.

adjective: constituting or presenting a problem

Or are the "word-checkers" in on the big conspiracy too?
I absolutely would say this face to face. It's silly and trivial and of no consequence in the real world. The very definition of nerd rage. Posts like this do absolutely nothing useful.
Well I don't know, I haven't read the book, I was just trying to put the spoiler back in the bottle for you! :(
Can Social Media Replace Email Marketing?
Took a look at your post history. It's rather negative and angry and projecting. This kind of anti-social speech is detrimental to a healty community and if you represent the average person on Mastodon then I will stay far away.
They start to test autonomous flying taxis in Dubai
CSV as serialization format? Ouch. Could we do better? My experience with CSV has been nothing but pain in the past. Ambiguous formats, quoting issues, incompatible libraries between languages and popular GUI tools like Excel or data vis apps.

I wonder if there's anything better.
Thanks! I will try out Magic Lantern!
Yes - this is my only gripe with the keyboard, the up and down keys are terrible. It's a shame when things are fine and just get made worse in the new version.
The TCP/IP stack and file system driver are written in Go.
Maha Mantra Yoga...sound vibrarion is the current sync-practice for this time, Kali yuga. If you want to listen to the news you tune in to a radio signal. Similarly any Name of God repeated and concentrated listening upon such vibration is bhakti yoga. The practice is the goal since Absoluteness is simultaenously one and different. Vedic knowledge is our origins.
Use of Option.unwrap (or Option.expect) in libraries is not discouraged, and it shouldn't be. It's an excellent way of checking a runtime invariant. Use of Option.unwrap is discouraged for error handling.

Stated differently, if a library you're using causes a panic, then it should be interpreted as a bug. The bug might be in the library, or it might be in the way that the library is being used (assuming the panic conditions have been documented as part of the library API's contract).

A separate argument says that you should reduce the number of places where your code can panic. That sounds like a fine goal to strive for, but must be balanced with other things.
Yup, that's exactly what I mean. People have pre-written solvers for specific equations. Sounds like you found one for you, so that's great! When you ask about PDE tools though, people start talking about tools for building PDE solvers like FEniCS becuase it's so rare to find something exactly for your PDE, but there's no reason to use these tools unless you have to.
Womans Own Bingo Online – Play Best Online Bingo and Slots Games Online
Irrelevant because we are talking about compression formats.
Wallaroo: a fast, scalable data processing engine
but these don't look like substitute goods

I know lots of people who used to carry DSLRs everywhere but who now only carry their iPhone.
The cost of Not educating staff on cybersecurity? £6.4M
Multigrid methods are linear solvers. Generally they are only not used in the context of timestepping. PDEs will be a separate post.
The &* thing is due to Deref coercions. The deference operator is a trait (Deref), which has an associated type that it dereferences to. This lets you do nice things, like dereference a Box<T> to just a T, and let the Box implementation figure out how to get you there. (It's also used on method calls using .)

What you have is a reference to a type with a Deref-coercion to the type you want, but the compiler won't coerce under the reference for you, so you have to dereference and then reference it again, and then type inference can work out that you wanted to reference the coerced type.
No, I actually mean the approach where you explicitly pick a "sort" implementation that would yield a linear-time smallest-element when evaluated lazily. I don't know if a popular sort with this property exists, but anyway, relying on that is too clever. It's not obvious and also fragile (maybe the sort changes at some point its constant or even asymptotic behaviour?)

If you want the smallest element, get the smallest element by scanning the list. No big deal.

Well, I'm sorry for turning this into almost an emotional issue. I guess I am the one who is cashing checks here. It does annoy me: I have seen way too many advocating that makes it seem like this vague idea of "safety by type-safety" is the only issue that comes up in software development. It is not. It doesn't help all that much for correctness, and other aspects like modularity, efficiency, portability, compiling speed, development speed etc. are at least equally important for the vast majority of projects.

(I could say I've "wasted" a lot of time for investing in Haskell before learning that these other qualities matter as well, but I would not go this far. It's been a good investment, even if it's not a practical language)

It is no coincidence that most Haskell projects never take off. Just look around at the software in existence. What you can find is mostly little tinker projects. When I look at some higher-profile libraries for example for web programming, they focus way too much on some perceived gains from very advanced type system tricks, but they are basically too hard to use in a practical setting. The big links page on Haskell.org has mostly toy projects and broken links. When I look at the open projects page at toptal.com I can see exactly one Haskell project, and it is about refactoring a completely unmaintainable Haskell codebase!

There are areas, like compilers, where Haskell seems to do quite well, but for the most part it is impractical. Even most Haskellers don't disagree that it's mostly good for expanding your mind, exploring mathematical ideas etc.
Apple thinks otherwise on the context of their OSes.