skysight-inc/HackerNews huggingface dataset:
Haskell is dogmatic. Everything must be lazy. Everything must be immutable. Everything must be pure.

Ocaml (and SML) aren't particularly dogmatic. They are both eager, so reasoning about performance is much easier. Most things are immutable by default, but you can make mutable data structures in both. Rather than insisting on pure functions, SML and Ocaml allow side effects in functions and have the `unit` type for functions without a return.

The type system is actually strong (eg, no implicit casts) and null exceptions simply do not exist. Multi-threading is the big weakness. Ocaml has been promising support for at least a decade without mainline support. Likewise, most SML variants don't have support (though PolyML does along with a couple others).
So point me to where OSM has an official app where I can verify edits with a few taps. Last time I tried to edit OSM there was quite the process and a complex set of rules.
If I peel back the onion further, I find the root of the problem is how to measure someone who is good at science. How should we measure scientific output to determine compensation (not just monetary or tenure, reputation itself can be considered a form of compensation)? That the way we reward scientist means that few are pushing to reform academic publishing is barely a footnote compared to some of the problems produced by our current model. Look at the lack of replication that occurs because replication is far less rewarded than new research even when the new research fails replication (once someone does eventually get around to it). The way to fix this is to find a method to measure good science that works better than the current method, but given that us tech people can't even figure out a decent way to measure proficiency in our own field, the outlook isn't hopeful for our ability to disrupt science.
15 Photos of Hong Kong That Will Make You Fall in Love with the Country
Corporate personhood isn't only an American invention. The German constitution explicitly grants fundamental rights to "artificial persons". The Italian constitution explicitly calls out trade unions as legal persons.
I’m OP. Thank you for the feedback.
Yes I have no affiliation with SuperMemo whatsoever. My previous 5-year Anki experience gives me in a unique position when comparing both software.
Look up Weimar Republic
It's not true that there's no real regulation of the organic label in the US. Regarding the things that it actually regulates, the USDA organic label is strictly enforced. Your concern may be that people expect USDA organic to mean things that it doesn't. The relevant document is the [National List of Allowed and Prohibited Substances](https://www.usda.gov/media/blog/2012/01/25/organic-101-allow...).
our neighbor had an automatic door and the coyotes learned what time the doors opened.

They were first in line for breakfast.
The fact you have to head back to the 19th century isn't a very good refutation. I mean I would be happy to hear of recent unsung international science and innovations.
Why is there no interface that allows searching for flights without specifying exact dates? All I want to do is fly from A to B to A. Maybe stay a week, maybe two. I'm flexible - it doesnt have to be exactly N days starting on the M'th.

Even services that "allegedly" advertise they have that, still require manually clicking every day combination.

I'd fly more often if it was easy. The few times I tried, it would be just faster to drive than go through all possible 900+ day combinations.
Assisted Predictive Modeling That Is Suitable for All Users
Forth is the most interesting programming language that I’ve ever encountered. It’s the opposite of being opinionated, to a degree that it hurts :)
This seems to be the equivalent of saying "I don't want to use the internet because it's too slow" in 2001. There are numerous organizations working on ways to reduce crypto processing fees, one of the most advanced in certainly Plasma: https://plasma.io/
"Name a big, relevant change in the world".

Example given from Zuora, "We now live in a subscription economy".

Except one problem: Instead of a nice solid color on the background of the slide, or a city skyline...

... it's a full shot of a skinny young blonde girl's legs.

Like, can you sales guys be any more predictable and sexist? I'm sorry, this frat house behavior really needs to stop.

There are so many better ways to make a visual impression without ever relying on sexual themes.
We are talking about https://super-memo.com/. The supermemo.com/SuperMemo World is different. I never used the latter. I think they are managed by two different groups of people.

SuperMemo 15 is free. The latest version is paid software unfortunately.
While many implementations of languages use parser generators according to context-free grammars, many still use hand-written parsers like mine. The major differences are safety, error-handling, and functionality. I discounted those up front in my post.

https://softwareengineering.stackexchange.com/questions/2502...
Why your NS records matter
Chat from Emails, Naturally
Hystrix is now in maintenance mode
interesting. but slightly off topic - do sales guys construct their own decks? surely decks need approval / sanctioning before distribution to prospects? don't firms have their own decks for sales people to leverage?
The Problem with Large SQL Queries – And What to Do Instead
True :-)
How so? OCaml complies way faster and you don't actually need to compile it. You can sort of use it as scripting language without any compile step to begin with.
Yes, that's what he meant ;). In OCaml references are always explicit (different syntax) and mutable field in records must be declared explicitly as mutable.

However, OCaml does not bother you too much (as compared to Haskell for instance) when using side effects like printing.
A Long Time Ago in Drawings Far Far Away …
> The difference is a few humans, and that's too big a risk, in my opinion, to take lightly.

You're assuming it's riskier, in terms of lives, to try this technology. But it could be -- and obviously it's up in the air, which is my point -- that without such technology many more people will end up dying.

The status quo is never neutral with respect to risks.

What if it was used to provide immunity to malaria, as a hypothetical example?
It takes time to consider whether something is worth committing to memory. I constantly rewrite cards and delete them.
I'm doing F# from 2 years ago ONLY on OSX. Use .NET core & xamarin currently. So far I can do a fairly complex project with dozen of external libraries, for iOS/Android/WebAPI with PostgreSQL, Sqlite. Deploy with docker on Ubuntu.

Today I say F# is good enough on *nix.

Also doing a little of Rust but the productivity with F# is far higher (you need to ramp up on Rust for a while!)
The earth is still stationary with respect to itself. The Universe is accelerating around it. In the case of Saturn's moons the Sun and Earth are not significant factors, if I use the Earth as my origin I have to account for those anyway, but if I were to use Saturn as my origin I could safely ignore them (probably - I could come up with sci-fi reasons that they matter).
How to Build a Simple Website with GatsbyJS and PostCSS Pt.2
Google Flights will render a whole calendar of prices.
Best Practices on Securing Your FinTech Application
"These mortal fools with their ignorant and mislead readings of traffic code!"
Fedora 28 and up boots directly on the Talos II and should boot on this. I use F28 myself, but the Raptor folks use Debian which I'm told also works well.
I agree with you and particularly with the funding agencies being the most effective catalysts for change. The good news is that it's working. STM publishing is moving toward open access, the momentum continues to build (most recently with Plan S) and we're moving toward a future where government-funded research will be OA. It'll still take time to get there, but I'm pretty confident that's where we'll get. And yes, that future will likely involve those funders paying a few thousand dollars per article in APCs. And that future will continue to be dominated by the large publishers, Elsevier in particular. But access will be better, so I'd call that a huge win.
> hardcoded IPs

Do we have a definitive list somewhere? I'd like to block them and add them to my script [0]

[0] https://gitlab.com/moviuro/moviuro.bin/blob/master/blackhole
I am pretty sure that the type variable is not binded properly (when type checking App on the part where it says "(Ok (ClosureTy (ctx, Arrow (t0_0, t0_1)))," I get a symbol for t1, you are doing t1 = t0_0 which would be false in any case but the thing is that even when I use lookup in the enviroment I do not find said symbol). I would suggest instead of having closures to replace every occurrence of the type variable (or any variable really) during evaluation.
So if you have something like ((\Lambda t (\lambda x t x)) int) to evaluate it into (\lambda x int x) directly instead of (\lambda x (sym "t") x) + a separate environment thing. I can give you my System F implementation in haskell that uses this method if you want.
Neither lwt nor async allow for parallel execution cause of the Gil. They are akin to async await in Python
Your caveat still renders the system vulnerable to malicious buyers. What if the buyer receives the product but "takes action" by denouncing the transaction or exiting the contract?
That this works is evidence that people are stupid and they suck.
jfc, "brakes" not "breaks"
Do they actually remember the injuries? Or can they read information about them from their environment?

It's an important distiction, especially when it comes time to find ways to exploit (or prevent) this effect.
As other comment say, yes, esp. for these honking-great detector devices like LIGO, LHC etc. Also from the article:

* Deceased, February 2018.
† Deceased, November 2017.

So sadly A. Giazotto and V. Brisson did not live to see this published.
This would certainly be huge overhead at the dns server right? I'm curious if anyone manages an authoritative DNS server? I currently manage four rather large ones and the collective whole serves up between 400,000 and 900,000 responses per second.
I think the problem is the SEC killed cypto, at least in the united states. The idea of anyone being able to buy in early to a technology platform was huge. the idea of needing 15 forms of idea and incurring huge taxes and/or going to jail if you a platform dev...not so much.
Basic Rule Of Speed: Only go so fast you can stop within visible distance. If there is not enough room for oncoming traffic, make it half the visible distance.
Awesome! I would like to point out that two of the example gifs are from the game Dead Cells[1] which is a fantastic action rogue-like with super tight combat and controls.

So if anyone's wondering if this engine can handle "AAA" game requirements, it already is!

[1] https://dead-cells.com/
Someone forgot to test the site on a larger than 1600px screen.

background: url(whitenote.jpg) #fffffa;
background-repeat: repeat-y;

For the fix
That's great, I've been hoping to see amdgpu support on FreeBSD. Thanks for your hard work!
Right, but mice evidence is still evidence, probably the best evidence you can have unless one is willing to do human experiments. Also, HIV related dementia is a real thing, so there might be some connection.
There's a way to store this in an immutable and trustless manor, but the B word gets a lot of push back around here.
> Understanding, intuitively, the systems that mathematical models like TLA describe is _extraordinarily_ difficult.

It is the opposite of intuitively extraordinarily difficult. It is much easier and more intuitive than understanding code. It is, however, different from code, so your coding skill do not automatically transfer to TLA+, but developers are generally able not only to read but to write TLA+ specifications of complex systems after a 3-day workshop or about 2 weeks of part-time self-study. Learning TLA+ is far easier than learning a new programming language, and it is much simpler than any programming language in existence. The difficulty is not at all with intuition, but with unfamiliarity. In any event, reading TLA+ is much, much, much easier than writing/understanding the systems for which you use TLA+ for.
Design exercise: A generic network protocol
No one forced you to use Windows 10. You could have used ReactOS.
1. To accept DAI you simply need a phone and a dedicated app that would generate the payment QR code. No new device needed. (67% of payments in convenience stores in China are being made with QR codes: https://technode.com/2018/03/16/qr-codes-nfc-china/)

2. There is definitely a chicken and the egg problem as there wouldn't be as many people ready to pay with DAI at first but it has never stopped good projects to take off. In my opinion the main issue (once the tech is ready with Plasma running on the main net) is to get merchants to accept this new payment method which should possible since it's literally free to try.

3. Paying with Bitcoin is completely different since most of the people who own some Bitcoins don't want to spend it as it's mostly used as store of value/speculative asset.
Some folks are trying to do this. The Conversation [1] is meant to be a bridge between academic research and layman's news stories about that research. And Kudos[2] is trying to encourage academics to write more layman-focused summaries of papers to explain the research and appeal to the larger world outside of your particular subfield.

[1] http://theconversation.com/us

[2] https://www.growkudos.com/
I've been a Scala developer since 2012.

Not sure what "taking off" means in the context of programming languages, but for me it's been popular enough since 2012.

Several big companies use it and I've introduced Scala (and FP in Scala) at about 3 companies thus far ... it isn't a tough sell if the company is Java-friendly.

We also have a great, active community developing libraries. As a shameless plug here are the projects I've been working on:

1. https://monix.io

2. https://github.com/typelevel/cats-effect

Scala is one of the best languages for FP these days. Note I'm not saying that it's perfect. We can certainly improve it and a lot of improvements are coming in Scala 3.
Not a constitution, but I did a little something like this for the Declaration of Independence: https://news.ycombinator.com/item?id=12021461
Isn't HTTP/3 just the name for IETF's QUIC?

https://news.ycombinator.com/item?id=18427795
I listen to a mix of BBC programming and commercial radio while driving to work. The ad-free BBC allows for some real immersion in the programme content, which is great for plays and documentary. E.g. something like “In our time” which devotes 45 totally uninterrupted mins to a single subject. When I get bored with the serious stuff I switch to commercial music radio and use the ad-breaks to cycle to the next station that is playing music. So, lack of ads allows real depth in the content.
> Do we really want the government to have that much say in whether businesses live or die?

Businesses that break the law, yes!

Do you really not want your government to be able to fine or even shut down repeat offenders?
I hope it never happens. Ocaml is now in that sweet spot where it's big enough for real work, but can ignore mainstream fashions and keep out the inevitable accompanying "how to program when you cannot" crowd.

The last thing Ocaml needs is mainstream attention. FB's "Reason" being a point in case: "Since I don't understand what I'm doing, can you at least make the syntax look familiar?"

Let the masses stick to writing UX-driven apps in Javascript. It's where the money is anyway, which seems to be the primary motivation for "software engineers" these days.
I want laws to automatically expire after say, 10 years. Make legislators re-justify everything all the time.

As far as git pull requests, I'm a bit skeptical. It's kind of like writing laws in pencil, isn't it? But to find and fix errors it would be all right.
I agree with the points in your post and I also want a mainstream typed FP (something with a clear happy path so I don’t need to guess about what prelude or string types or standard library or etc to use). The biggest impediment I see is that these language communities are more concerned about the abstract mathematical properties of the language and things like tooling get neglected.

I would love to see a typed FP equivalent to Go—everything is super simple/small learning curve (I should be able to meaningfully contribute to a project after a day or so), the standard library is decent, package management just works, no guessing about what test lib to use, everything compiles to a single static binary by default (dead simple deployments), no-fuss documentation generation, great concurrency/parallelism story, straightforward profiling and optimizations (e.g., if my program is slow because I’m allocating too much in the hot path I can trivially preallocate), etc. These are the things that matter for real world projects—mathematically elegant type systems really are just gravy, which is why Go has been able to be so successful in spite of its flat-footed type system.^1

^1: if you go over to r/programming, no one can figure this out because everyone believes you can’t ship Software in a language without monads or generics, so Go’s popularity must be due to Google marketing.
“Friendly advice to a lot of young men” – Charles Bukowski
Surely someone has to write the sales decks, and in a startup, there may only be a handful of people on the sales team -- or maybe even 1 person.
When I signed up for OSM I checked the box that I consider my contribution to be public domain. I'm sure google checks for that and only imports the public domain changes.

Since my only goal was to get friends to my house instead of some corn field a mile away I accomplished my goals. I can see how someone who makes a lot of contributions would want otherwise, but my goals are different.
>Zuora came up with the phrase “subscription economy” to name the trend in which buyers increasingly choose recurring service payments over outright purchases.

It's not a trend where buyers choose recurring payments, but where companies only offer services through recurring payments.
Please give the name of a mining company with more than 40% profit margin.
> I don't think it's smart to allow pedestrians the right-of-way at all times, but I'm also learning that other countries do this already

I don't think there is any country with a rule like that. I do think many people are articulating a different rule [1] badly, making it appear as-if.

[1] Pedestrians can cross roads everywhere, but only if it's safe to do so and don't obstruct traffic. During the crossing transverse traffic does not have right of way momentarily.
I do think there's some truth to the idea that our failures in mental health care have some pretty high costs on our society in other places. If we did a better job with mental health/drug addiction, maybe there would be a few less needles and piles of feces for commuters to content with.
I remember hearing that the PlayStation emulator bleem! did something like this for threading/timing purposes, essentially running its own microkernel and hooking interrupts to bypass the Windows scheduler. However, this supposedly worked by basically exploiting a bug in the way Windows 9x set up task switching and memory protection, and so didn't work on any NT-based Windows (or Wine, for that matter). Also, it obviously didn't try to hide the main program that managed the window and other I/O operations.

Malware often has something akin to this as a goal, but as far as I know it usually works by hiding itself from the user rather than the kernel.
Smartly discover your perfect match. No mindless swiping. – Cinder
Hi HN,

We are Cinder, a brand-new online service helping people find their perfect match smartly.
https://cinder-ella.herokuapp.com

Cinder believes everyone deserves a serious relationship. Therefore, people receive one perfect match every midnight to establish a trustworthy and focused relationship without mindless swiping.

Also, Cinder doesn't use bots to attract you to pay for service. Everyone you met on Cinder is a person in the reality.

Finally, Cinder helps you match effectively for active people, instead of zombie users.

We hope you can find your perfect match via Cinder.

--
Best Regards,
Cinder
https://cinder-ella.herokuapp.com
Division and multiplication in some RISC processors, e.g. MIPS.
In some way, this is what TSR (terminate stay resident) programs did under DOS. They were started by the OS, exited, but some of the code was still around as part of IRQ handlers and such. DOS didn't really know about that.
How to Launch a Business
I didn't mean engage with the publishers to work together with them. I meant engage in the conversation to really understand why changing the behavior of academics is so hard, so that you can be more effective at doing whatever you are trying to do to put publishers out of business. There are a lot of things that publishers don't like about academic publishing (journal impact factor is highly contentious within the industry), and yet changing the behavior of the academic community is incredibly difficult.
React for desktop already exists, so yes, I guess it makes sense https://github.com/ptmt/react-native-macos https://github.com/Microsoft/react-native-windows
There's a PPC handbook for Gentoo:

https://wiki.gentoo.org/wiki/Handbook:PPC

Looking around, power9 seems to work fine. For software compatibility it's more a case by case scenario.
Have you seen a site that does that really well, UX-wise?

I'd assume it's two reasons: first that it's hard to get the UX right. There are going to wind up being so many combinations of possibilities that I'm not sure how you'd even sort them in a meaningful way. (E.g. it's unlikely price from lowest to highest will be the most meaningful, the lowest price alone might wind up having 100 different date combinations, so figuring out how to present the options in a meaningful way might just be something we haven't figured out yet.)

But second, it might just be too computationally expensive. You see how slow sites already are just for searching a single date, because there are so many possible combinations of connections to consider, and so many fare rules to calculate prices out of. Now a 2-week range for both start and end results in taking almost 200 times longer. It just might not be feasible, or worth the programming effort. I remember a blog post a long time ago from Kayak (I think?) talking about the insane effort that was required to cache flight fares just so show simple fare comparisons across a few days... and it only worked for the flights that were more commonly searched for.
For those who don't know. What exactly are the semantics of lisp?
Did Jibo Inc. shut down?
> in the end the goal is to advance our knowledge and bring humanity forward.

That's not true. The end goal of scientists is to get get grants to they can get paid. As they climb higher, they get more money for less work. Soon they get to attach their name ( sometimes in the first position ) to academic papers when they did no work on it what so ever. To do that they means they need to generate papers and publish papers.

Publishers are exploiting this.

> the only thing that i see publishers doing is to edit the journals and decide what to publish. but shouldn't exactly that, also be done by academics?

Academics do not have any interest in this. My wife was a PE at a major STEM publisher with a portfolio of dozens journals and supervisory responsibility for about a hundred. Academia's technological adaption ( which is necessary for efficient editing/producing workflow ) is terrifying. Corrections are done by hand. Proofs are faxed. Dropbox blows people mind. Papers that are accepted by EICs are unreadable -- EICs simply kick the paper to publisher to get it "produced".

If academics are not going to do publishers' job then publishers are going to control the process and decide what to charge.
OCaml also tries to unite FP and OO, it is right there on its name.