skysight-inc/HackerNews huggingface dataset:
I don't understand your point. If you're talking about my setup it doesn't really matter (I only use Windows for gaming and at work). If it's about maintaining friends and family computers with dual boot then good luck with that. For the rest and vast majority of people, that panics when a desktop icon moves, dual boot will fry their brains.
If you have 160FPS on a 144hz monitor, you can turn things up. If you have 145FPS on a 144hz monitor, you can't.

That's the only point I was trying to make there.
It can break the whole game balance, have you ever read about Starcraft and how its wonkey pathfinding was a big part of why it was a esports success (allegedly)?
This looks good, I haven't yet selected a service for doing my crypto taxes this year, maybe I'll give it a try.

A couple of questions on top of your FAQ:

* A list of what exchanges you support would be nice.

* It's not really clear what sort of tax help you get in the free tier.

* It would be nice to see pricing info without having to sign up.

Also, it's great that you provide a lightweight tracker with no ads (https://www.cointracker.io/prices).
> Would that even be possible on iOS for non Apple employees?

iOS emulator (part of XCode) might be enough.
In early days of CBMC, it was possible to confuse it and get it to generate incorrect code for MiniSat. This is a representation issue. Those issues have long since been solved. Now CBMC's biggest problem is that of performance, and the developers are diligently working to improve this problem.

When Z3 first came out, I built a machine model for a subset of ARMv7 and ran into a few cases that confused Z3, but worked fine in an equivalent MiniSat. However, this was years ago, and it appears -- although I have not verified this -- that the code in Z3 that I narrowed down in preparation to filing a bug report has already been fixed. The machine model has succumbed to bit rot; I abandoned the effort for a model I built on top of Coq. But, it would be interesting to attempt to fire it up again to see if it works now, and if so, use that to perform a binary search to find out when the fix was applied.

It shouldn't be hard to create an example where two model checkers differ. Check current bug reports for two model checkers, and build a model that exploits the bug in one model checker but in which the other model checker works. These code bases are complex. They are increasingly infrequent, as the developers working on these model checkers are quite diligent, but subtle errors do exist.
An accent mark by itself has zero semantic meaning in a written context. It's a modifier. But you need to know what it's modifying in order to assign it any sort of meaning. We're talking about semantic meaning within the context of a written language, not technical details.
Now if they installed Minecraft that might be ok ;)
So you have a paid service to calculate a persons taxes. This is offered on https://www.bitcoin.tax . They have a free version that someone can submit their taxes on and also they have a paid version. Also, they can refer you to tax professionals (they deal with happy tax). What advantage do you have over this?
> FWIW, the new Microsoft games are actively maintained with new content and features on a regular basis, whereas the classic Minesweeper/Solitaire EXEs (which you can easily copy onto a Windows 10 PC) weren't modified beyond bugfixes for somewhere around a decade and a half.

it's not a good thing as they're using the opportunity to infest these programs with ads

Solitaire on Windows now has ads, and don't get me started on the new calculator
How two employees and a famed jeweller pulled off India's biggest bank scam
Philosophically, the way our system is set up they should absolutely be in the hands of congress. It was a blunder by Obama to go through the FCC instead of Congress.
I'm just noting why it's not "just a pissing contest". You're right that performance will be similar for games which were built with cross-OS compatibility in mind. But the differences in performance do matter.
works out of the box on debian stable with KVM these days, assuming your hardware supports it
> Unicode allows for 17 planes, each of 65,536 possible characters (or 'code points'). This gives a total of 1,114,112.

Allows for 17 planes, but only small portion of those are actually used. According to Wikipedia[1], currently Unicode has 148944 codepoints + 128k private use ones (which might, or might not make sense to include in unit tests). So your time estimate is off by mere 5 orders of magnitude.
shoulda used JS
Revenue vs market cap
in my case, it makes me feel double-plus un-good. which is why I go to the trouble of killing the ME on any system I can, despite the at-best trivial impact of doing so.
This is the exact path I took ~15 years ago. Once I realized I didn't care much for the 'exclusively windows' games, I killed my windows partition and haven't looked back since. The exciting twist to this story is that many of those games are now playable on Linux because of Wine!
"Just use Linux."

"Well, maybe I would, but this program I use frequently is not available on Linux."

"So? You shouldn't want to use that anyway."

With a sales pitch like this I can't believe the Year of the Linux Desktop hasn't come to fruition yet.
My experience is most of the indy games coming out I’m interested in are windows only. Also really good games this generation like Divinity 2 have no Linux support
The entire cedict.org Chinese-English dictionary is available on SYL (it's over 115,000 flash cards) including traditional chinese (I want to do Japanese very soon). Make sure to watch the video on the landing page, it goes into a lot of the hidden features that I offer. And thanks, I worked A LOT on optimizing the performance of the SPA (size and speed).
Are you adding OP's strings to the list?
It sure spams me with password prompts all the god damn time though
This is my normal point of view, but after thinking more about the industrial revolution in England vs the US, where the US started way behind, stole rapidly, then moved into "improve" quickly too, I wonder if it won't work out for Western companies.

The knowledge won't stay in a bottle. I doubt any treaty in the world could keep an automotive industry from developing in China. Maybe the only potential progressions are (a) let local clones develop while ignoring the market, watch hopelessly if those local clones then go on to innovate further than you or (b) do ventures like this to at least be directly exposed to any potential upside if the local folks surpass you?

There's also a side question here about the difference between physical goods and software. Something like WeChat faces a really steep uphill climb to conquer the west because the starting conditions are so different - I'd have to be convinced to change from our existing ways of doing the same thing, vs being one of the first to enable things in a new market. On the other hand, smartphone clones can sell everywhere with the same hardware (especially once Google gave Android away freely). Japanese/Korean auto manufacturing is more the example for that (and obviously for Tesla), and that happened on its own.
I'm starting to think that the reason Lisp has never taken off outside a minority of users is that homoiconicity is a downside for the human readers of the language; computers are happy to count brackets, but humans prefer either different types of brackets or other separators like ';' or 'newline'.
most of it will come back when he gets a new major update

it's a feature!
* “The value’s in the license. They didn’t understand that.”*

Friendly Challenge to Bill & Melinda Gates -- this lawsuit goes counter to your Foundation goals, helping the world's poorest. Fix This!
I am only familiar with these three "Bloomberg terminal in finance, Salesforce/CRM in sales, Epic in healthcare" and these products are not what I would call a good tech
Cue the senescence guys who aim to fix accumulated damages there.
Googling, "If you tabulate all stars visible down to magnitude 6.5, thought to be the faintest stars still visible to the unaided eye, the entire sky contains some 9,000 stars. Since you can only see half the sky at any time, that means there are as many as 4,500 stars visible in your sky tonight."

Apparently not a very high bar.
Great idea. Highly automatized work that is very hard to do by hand and provides a concrete service.

I admit I find it interesting that Sam Altman is outspoken against crypto yet YC funds these endeavors.
It isn’t. Apparently I’m just not devout enough for crypto....
Nobody ever paid that really. OEM rates were much lower. The real problem they face is two-fold: 1. People spend more time on phones and less on desktops/laptops, and 2. Computers have pretty much stopped getting faster so people don't replace them as frequently.

Since Microsoft made money from new computer sales and those are less frequent they have to move to a subscription type system.
I will trust my accountant; he is after all, on the hook for how it is reported.

Thanks for posting the links! Taxtips.ca is not an official source, and note they use a ton of "may" be this and "might" be that. I will ignore that page, since they clearly do not know and are not the CRA.

The Canada.ca link is consistent with what my accountant said -- when you use crypto to purchase goods or services, it is treated as income (just like bartering), taxable in equivalent CAD value at the time of the transaction. Trading crypto for other crypto is _not_ a goods or service, since crypto is treated as an intangible asset or commodity.

The third link is also consistent with this view:

"Buying and selling digital currency like a commodity

When you file your taxes you must report any gains or losses from selling or buying digital currencies.

Digital currencies are considered a commodity and are subject to the barter rules of the Income Tax Act. Not reporting income from such transactions is illegal."

In order to be considered a "gain" or a "loss", according to my accountant, the commodity must be realized into fiat money. "Selling or buying" means selling into fiat or buying with fiat. "Bartering" means trading for goods or services -- crypto is not considered to be goods or services.
I own 7 shares and I’m irate ;)
Can I just say that one of the many features of Mac OS that I love is force click (or triple tap) a word to see its dictionary definition. Especially useful for a non-native English and German (yes, you can configure multiple dictionaries which is pretty cool) speaker.

Example: for lede you get the concise definition, even what "bury the lede" means https://i.imgur.com/2jcKHkh.png
I think Promises=>async/await works great for certain domains like get a value from a database, them make an insert, then do something else and then return a message to the user.

I however write a lot of systems where almost all operations need to be concurrent, cancelable and rate-limited.

Personally I find callbacks and the event loop easy to reason about, but too daunting when all you do is CRUD requests to a database.

The problem with Promises though is that they spread, they don't like to live side by side with other async paradigms.
A lot of the citations go to a journal of alternative and complementary medicine. I hate to be that guy but it's not just how much peer review, it's who the peers are...
You don't have to use promises: https://medium.com/@b.essiambre/continuation-passing-style-p...
This website doesn't look very reliable to me.

Confirmed: Las Vegas Shooter on Benzos During Mass Murder
The CDC's Fictional Flu Death Stats and Tamiflu's Lethal Side Effects

http://www.greenmedinfo.com/
It's hard to see what the action the program takes for you in that case. Formatting your hard drive?
But they are not all the same! I'm not even sure this cryptographic signed sender stuff is a good idea for email.

But good look getting through to postmaster@gmail|outlook etc.

But they'll hold you to some arbitrary standard that's supposed to mean "less spam" when they should have more than enough traffic to get by with statistical/ml methods anyway... /rant
Can you clarify on those problems?
>games

See pretty much every other reply in this thread for my take on this

>video game console emulators

Wrong, most emulators are open source, support Linux, and work great.

>office productivity applications

"way worse" is a bit harsh for describing LibreOffice. It works quite well in my experience.

>document publishing

I don't know what this is supposed to be. LaTeX is pretty good, though.
I like Scheme, dislike noisy syntax (including semicolon and underscores) and I'm not counting parentheses. I let my computer take care of keeping the parens matched, e.g. with Emacs paredit.
I wonder if this could be retrofitted by adding a 'defer' keyword, just as C# has 'out' and 'ref'.
What is monitoring and why should we care
> one of the first

vs

> the first

But cool anyway. Maybe we should see how TECO manages its data too.
you'd think you'd want to make sure they didn't cause hard crashes.

Any Apple people want to chime in? Why wasn't the general bug -- where there could be even the possibility of a "text crash" -- fixed?
Let's not assume everyone is so stupid that they need their statement taken to the extreme pointed out to them as an exception.

I've noticed an increase in obnoxious disclaimers like "there are exceptions of course" and "it's just my opinion of course" as people get tired of responding to pointless responses that point those statements out.

That's just my opinion though. There are certainly exceptions. Feel free to disagree!
Should always hedge the bets. Just because someone doesn't think somethings a good idea wont keep people from making money.

For instance, I'm still trying to figure out how Docker is better than a full VM. And I personally question cryptocurrencies myself, but I still built a system to track them.
Ah yeah, then I must have run afoul of some UX issues. There are a few other UX oddities like the wording on "exploring" cards - I think I was looking for either a global search or specifically the word "search." And the fact that I couldn't find the Chinese flash cards without watching the video on the landing page seems like it's another UX hotspot.

I'll check it out again later. Thanks for the hard work.
Uber et al should have thought about those tradeoffs. That's my point.
Contradiction in US immigration law risks deporting kids of high-skilled workers
damn my blog is popular today

any questions let me know
Have you tried your local library?

Toronto Public Library offers Safari Online and Lynda.com and many other online services
Not directly related to the crash, but I have a question about Telugu and similar scripts: How do their speakers think about the structure of the script? Do they consider each vowel and consonant a separate "thing" that just happens to get written as a complex grapheme, or is the grapheme the unit you think about and it just happens to be made up of smaller parts? I.e https://en.wikipedia.org/wiki/Telugu_script#Consonant_Conjun...

Also, do you learn the large number of graphemes separately? Or are they the "obvious" way to write the consonant and vowel? Or is there a set of rules you learn?
I believe the change should start from consumers, especially big institutions. For example, a big municipality or government agency may impose limits on buying new software/hardware that isn't open to refactor/repair by their competitors, to avoid lock-in to a single supplier, operate on more open market, and consequently drive the costs down.
There is actually a CSV import at "Create flash cards" in SYL. Obviously no pictures/audio importing possible. But it's nice for some bulk data.
One immediate problem with the hypothesis that cancer is caused by the loss of T cells with age is the fact that HIV also destroys T cells, and it is associated with increased risk of some types of cancer. But the cancers associated with HIV are different from those associated with aging. In particular, Kaposi sarcoma occurs 500 times more in HIV patients than the general population. So there must be something else going on besides just the loss of T cells.
Monzo is really good but I think it's unfair to characterise the high street banks as dinosaurs that never innovate. They almost all have phone apps that let you instantly send money to other people, often straight from your Contacts.
Brackets in lisp are like the stick shift in a car. It looks scary and dreadful to anyone who has never learned to use it.

Then, it turns out to be the easiest thing about the entire endeavour, and you forget about it in all of your first 10 minutes on the job.
Coinbase is mistakenly draining customers' bank accounts, and people are freaked
I wouldn't call Ram Dass weird, but the others certain are. Especially that "amplified DNA of deceased famous people like Elvis Presley" stuff. So why exactly did they went this loon? Too high dosages? Or did they just realize they can imagine wildly and market that for profit?
I always think of these two monkeys[i] when I consider slowing down my age.

[i] http://www.slate.com/articles/health_and_science/medical_exa...
I bet you a dollar its related to Auto-Correct trying to interpret some malformed word.
See here: https://en.wikipedia.org/wiki/Single-wire_earth_return
It, reinstalls Bluetooth?
tokio-minihttp is 1 in plaintext benchmark in TechEmpower Web frameworks benchmark

https://www.techempower.com/benchmarks/#section=data-r15&hw=...
Yes, but most people seem to prefer it the other way round. This is like the "cilantro soap taste" thing, you can't say people ought to like something if they just don't.
Mmmm, I've a similar product to yours (and the myriad of other products like this).

One thing pretty much everyone gets wrong is that many of these exchanges don't actually offer read-only keys, and saying so is wildly inaccurate. Case-in-point is Gemini, which anyone asking for the keys requests Trader level privileges. This simply blocks withdrawing; a malicious actor could still execute a trade if they got ahold of your keys, and due to the nature of it all that's very no bueno for you.

Each and every single one of these products should be badgering exchanges to support true read-only keys (or OAuth, as much as I hate the spec). I've personally emailed each one, and I dunno who else is doing so, but I'd encourage you to alter your documentation slightly and to badger the exchanges as well.

Otherwise, neat product. Congrats on launching. :)
Thanks for the clarification. My knowledge is related to papers and articles.
Mountain of sensitive FedEx customer data exposed, possibly for years
Not really. You reboot your computer, and press a key to pick which one you want.
This kind of problem is why my conscience is clear when I use KMS cracks. I legitimately own about two or three Win10 licenses, but can't actually use any of them for various reasons.

Life's too short to put up with bureaucratically obstructive licensing schemes.
Don’t teachers get rewarded for requiring latest edition of expensive textbook?
Which version of the spacing algorithm are using ?
Great tool!! Good UX and this integrated view across exchanges is what I was looking for. Thanks guys!!
"Hiring remote engineers by flying them in turned out to be a disaster. Great engineers — and great people — can sometimes turn out to be shitty at being remote,” Smith said. “The reason is they’ve never worked remotely before and they’re not used to distractions at home so they’re on their best behavior."

That's an interesting argument. I guess it's just an example and I shouldn't read too much into it, but to me the opposite is true: at home I am completely in sync with my surroundings, have no distractions and have certain "rituals" that make me more productive. It's the constant interruptions and distractions at the office that would make me terribly unproductive if someone would fly me in to assess my abilities on-site.
> "Honestly, the existence of Mongo is mostly an indictment about how user-hostile conventional RDBMS is."

That's nonsense. I've taught people to use SQL before, even people with little to no programming experience. After the initial concepts were understood it was fairly easy to gradually expand knowledge over time.

The basic SQL keywords to start getting useful information out of a RDBMS are:

SELECT

FROM

WHERE

INNER JOIN

LEFT JOIN

ON

AS

AND

OR

Those 9 keywords give you a good starting point for exploring SQL. It's really not hard. You could probably learn enough to get started in a couple of hours, and it's easy to expand your knowledge as and when you need to once you've got the basics sorted.
Does anyone else think that this could be related to Auto-Correct having problems with the malformed expressions?
Reducing immune system load is fairly straightforward, low dose antibiotics is one approach that significantly reduces the effort put forth by the immune system.

However, it does not seem to make a significant difference in lifespans.
hyper is 6 and actix is 7

https://github.com/actix/actix-web

Rust is represented well!
What if I told you I did most of my watching through my iPhone on T-Mobile. And that it's about $23 ($230 for 10 lines) for that line, and data is fully subsidized (480p but hey, it's a smartphone screen res).

Yeah, technically you're correct, I should include internet of my cable portion, but it's also doing about a dozen other things for me, too, so lets be generous and say it's $60 data/10 uses = that's an additional $6 just for Netflix.

So < $20 for Netflix for my family.
Sure. All of us here would have made the correct hundred thousand or so choices and avoided the enormous number of traps and inherent dangers of poverty.

We would have gone from poor five year olds to wealthy 30 year olds by force of will.

We would have had the energy and resources and parental support to source our food, health, shelter, and education for our first 18 years because we make such great decisions.

Or: we believe we _are_ good because we _have_ it good.

Tell me again about Occam?
Peter Godfrey-Smith also writes about this in Other Minds: The Octopus, the Sea, and the Deep Origins of Consciousness
> Indic scripts go far beyond this by needing to treat entire consonant clusters as single rendered glyphs.

FWIW, Arabic does this too, just that most default Arabic fonts don't. https://www.google.com/get/noto/#nastaliq-aran contains a bunch of specialized ligatures (and is overall a very complicated font).

I always say: There's a reason a lot of the folks working on font shaping are Persian/Arabic speakers :)
The list of exchanges we currently support (we will work on making this clearer): Binance, Bitfinex, Bitstamp, Bittrex, Coinbase, Cryptopia, GDAX, Gemini, HitBTC, Kraken, KuCoin, Liqui, Poloniex

Tax free tier & pricing: www.cointracker.io/tax/package

Let me know if anything else is unclear
Also I am not actually a frog
Satellite Internet
Auto-Correct Perhaps?
> My big hangup is understanding a low level use case for it.

Two real world use cases for WebAssembly are image decoding and audio decoding.

WebP image decoding: https://webmproject.github.io/libwebp-demo/webp_wasm/index.h...

Opus audio decoding: https://www.scirra.com/blog/211/opus-audio-in-construct-3
No one wishes poverty on themselves.
A visualization of machine learning optimizers with the mlpack framework
In my experience, that is an overgeneralization, though definitely a tempting one that is frequently encountered.

That being said, I find that Prolog code is often more readable than Lisp code. An important reason for this is that Prolog supports prefix, infix and postfix operators that can be defined as part of the concrete syntax. On the level of the abstract syntax tree, all terms conform to the inductive definition, so this is only a notational convenience.
Yes, they reimburse for delays over 1 hour. 1-2 hours is a 25% refund, 2-3 hours is a 50% refund, and 3+ hours is either a 50% refund (still) if you take it in cash, or a 75% refund in vouchers.

Links: https://faq.eurostar.com/faq/uk-en/question/What-is-Eurostar..., https://faq.eurostar.com/faq/uk-en/question/Can-I-get-a-refu...