skysight-inc/HackerNews huggingface dataset:
Ah yes. So this is an area where the diagnostic is _slightly_ misleading; it's trying to point out that you have two different types, and that that's the difference between the two of them. It's not that they can't be compared. Maybe a bug should be filed...

String and &str can normally be compared because of Deref, that is, &String derefs to &str. Option, on the other hand, does not implement Deref, and so no coercion happens. Rust doesn't do a lot of coercions, but Deref is one of the bigger ones.

Back to the _actual_ topic at hand, I can see how this can be a pain point until you know the rules, though. :/
> you have no idea what you're talking about, you aren't making any sense, and you're clueless

We ban accounts that comment like this, and we've warned you about it before. If you continue to post uncivil comments, we will ban you. Please (re-)read the site rules and follow them:

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html

We detached this subthread from https://news.ycombinator.com/item?id=13789114 and marked it off-topic.
Counter-experience - I bought a Wildebeest desktop from them ...5? Yrs ago ... and it's still going strong. Faster than my MBP (2016) in many cases
If she had turned Yahoo around, she would be making much more in equity.
I have a ubiquiti AP and as part of the set up it did a scan which picked my channels based on what it scanned and it seemed to do a decent job. You can go into the controller software to initiate a scan, though it will kick everything off the network for a few minutes.
I was talking to a friend, and I was making more or less the same points.

Also, a phone has now become an indispensable tool for the modern man, a tool which augments your capabilities and allows you to expand them via new software.

There are plenty of cheap Android phones to choose from, that give you a better camera, proper connectivity, and a worldwide app ecosystem; with the new Nokia 3310 on the other hand, you get a 2G, 2 Megapixel camera, 2 inch screen phone with no software ecosystem. To me this seems like a no brainer.
Presence of consciousness is falsifiable, albeit indirectly and after the fact (unlike existence which is real time).

Self-awareness/consciousness can verify its own falsifiability by using periods of unconsciousness such as dreamless sleep, fainting, etc. as evidence.
On micro-benchmarks most languages are fast. Micro-benchmarks just don't tell you very much these days.
Every 1-byte charset that uses high bits (i.e., not UTF-7, ASCII, or EBCDIC) has this property. Depending on how you feel about whether unpaired surrogates constitute a valid decoding, UTF-16 has that property as well.

It's not a very good property to have. UTF-8's invalid decodings means that it's very easy to detect if you're not using UTF-8: iconv's charset detector will rule certainty of UTF-8 if it sees just 3 valid UTF-8 multibyte sequences and no invalid sequences, and that's pretty much the only reliable detector.
In this clever visualization, space is 1702774 pixels wide. At 1366 pixels width of my screen, the printed version would be 1246 screens-long, that is roughly 500 meters (0.3 miles). I am able to scroll horizontally the total screen-width in roughly 200ms, that is, my mouse can travel at 2500 m/s.
I believe the article takes that into account and describes the speed loss you'd see over and above the "loss" from conversion. (it does use bytes somewhere in between, so you know they're aware of the difference)
Your position is basically that poor diplomacy never has consequences.
It seems that development on the book has slowed or halted.

Is the author planning to continue? This sounds like a rich and interesting subject that I would enjoy following through to the end.

Another book I've found helpful for Haskell is:

Haskell Programming from First Principles (http://haskellbook.com/)
Very cool. One suggestion to give an even better perspective is to... literally give a first person perspective from the planets on what the sun and other planets looks like in the distance. So on Mercury, the sun would look relative large compared to venus, earth, mars, etc.
Wow the bay area scores pretty bad on all of them.
For example when you work with dockerized enterprise CMSes on a Mac - you'll need 8GB RAM at minimum for the Docker VM, 4+GB for your browser, 4GB for the IDE (although IntelliJ can eat even more RAM easily!) and suddenly there is no more RAM.

Basically, you can easily use 32+ GB of RAM as soon as anything Java is involved. For what it's worth I usually don't do Java stuff but my Chrome RAM usage alone easily exceeds 8 GB. I could really use more than 16 GB.
Isn't that past the point where something stops being an illusion and starts being real?

I find this question, like whether we have 'free will' in a deterministic universe, to be meaningless. You are simply stretching a naive interpretation of the concept until it's breaking point, and then claiming reality doesn't fit with that concept. One should at the very least consider if the original definition used was perhaps too naive.
It's not the first time Nintendo have been criticized for that, and apparently they don't give a damn and focus on making fun experiences. That works well for them, with a few hiccups.

Some other companies (not necessarily related to games) work this way, but it's probably very difficult to overcome the resistance that pushes you towards the tech specs: both the press and investors often just have the thing "on paper" to make decisions and influence the company greatly, and obviously massive tech specs are easier to convey this way than "fun" or any kind of "experience".
Skulls found in China were part modern human, part Neanderthal
That makes you much easier to manipulate, ironically (ironic since you wouldn't think that being more judgmental would lead to being more naive, but here it would).
I'm pretty sure you're wrong. At the bare minimum, setTimeout must use a clock in another thread, since it doesn't block your primary thread code. I'm fairly sure that most of all of the JavaScript APIs that use callbacks are using additional threads, including the ubiquitous XMLHttpRequest.
What do Uber, Volkswagen and Zenefits have in common?
That literally everyone is incompetent is the grandest of anti-conspiracy conspiracies.

Of course there are competent people. I know I am, and so are most of the people I know.

The folk who conspired to cheat the emissions tests at VW are competent and organised; the folk at Uber who built the system to track cops are competent and organised; the folk at the NSA etc etc are competent and organised.
That's unduly personal, and therefore crosses into incivility. Please don't do that in comments here.

https://news.ycombinator.com/newsguidelines.html

https://news.ycombinator.com/newswelcome.html

We detached this subthread from https://news.ycombinator.com/item?id=13770833 and marked it off-topic.
If we're talking about alternatives for giving money to a charity, I strongly recommend opening up the contact page of your preferred charity, calling them and just asking them what method they would prefer for you to send them money. Charities often have preferences that allow them to save money on transaction fees. For example they might have a discounted rate with a particular credit card company or prefer a physical check, or want you to pass it through a fiscal sponsor. Especially for small charities -- donors are the lifeblood of charities, so they will bend over backwards to help you give!

Source: I run a charity.
Well said. A similar phenomenon has played out in Brooklyn, San Francisco's Mission, and Seattle's Capitol Hill.
Simon Peyton Jones' seminal work "Implementation of Functional Programming Languages" is available free of charge now that it's out of print[0]. If you haven't read it yet I'd highly encourage it!

[0]: https://www.microsoft.com/en-us/research/publication/the-imp...
We can’t see inside Fukushima Daiichi because all our robots keep dying
I guess it was $699 http://www.apple.com/pr/library/2000/05/15Apple-Drops-WebObj... and they timed it with the 5.0 Java conversion.

My main problem was when Apple bought NeXT we really were left in the lurch and support was just impossible to get. Plus, canceling NeXTSTEP / OpenStep long before OS X was ready was not a fun thing. I often wonder if Apple had bought Be what NeXT would have become. I'm pretty sure Apple would have gone down in flames.
Yes sure, great and all for those on the ship. For everyone else back on Earth. We'll never know.
> swipe your card

Sadly swiping is being replaced by chipcard.
Why sadly?
Totally out of line and if you attack a fellow user like this again we will ban you.

Also... 'senior moment'? Part of HN's culture is that we respect our seniors. That's important—I know from my own experience how rare it is to find good mentorship and how deeply we need it. HN goes some measure toward filling this gap—just to a small extent, but we'd like to see that grow. So that's something you're particularly not allowed to fuck with.

We detached this comment from https://news.ycombinator.com/item?id=13779105 and marked it off-topic.
They pretty much stopped responding to e-mail and phone calls in 1997, so maybe it was still going for Wall Street, but it was pretty hard on everyone else.
I'm arguing that this isn't "bad diplomacy", and only is if you judge it by its appearances.

Geopolitics is driven by constraints. Nobody will declare war against Trump because his tie is too long.
How does Wi-Fi compares to other alternatives for gaming? Which would you suggest to minimize lag introduced on the last mile?
All of my WiFi problems were solved with a UniFi AP - dropouts, connections randomly slowing down, etc all completely disappeared once I got that AP up and running.

When I need raw speed (e.g, browsing/editing raw photos that are stored on a NAS) I still plug in. Even though the WiFi is rock solid, it's not as fast as wired.
Ah, sounds like a terminology issue. Sorry if this get pedantic, but I wanted a solid response for anyone who stumbles on this thread down the road.

Fixed-point is a way of doing math, as well as a data representation. Think of it as keeping a very large integer, plus another int that represents where the decimal place should go. Hell, you can even think of it as a string of numbers and an optional '.', removing the issue of overflow as well.

When you do fixed-point math, you have to be explicit about rounding and precision changes, or set a default way to handle those situations. When two numbers are added, do we inherit the precision of the more or less precise number? What about division, where we run into necessarily repeating decimals?

Floating point math, on the other hand, uses a mantissa and necessarily loses precision. As a floating point number is an approximation from 0 to infinity using a fixed number of bits (often 32, 64, 128), there are a ton of amounts that it can't exactly represent. But that's not an acceptable situation in finance- we don't need infinity, but we do need countability within a range with some minimum step size.

An example- let's say we're adding amounts of bitcoin in Python

> 1000.1234 + 1000.1234
20000.2468
> 10000.1234 * 3
30000.3702

Looks good, but now we have a whale, a high frequency trader, or some HackerOne bounty hunter with API access

> 10000.1234 * 50
500006.17000000004

That calculation, at face value, just created .00000000004 bitcoin out of thin air. That's less than a satoshi, but if you keep going with a strategy like this on an automated platform, you can turn it into real money.

Instead, you want to use fixed-point.

> from decimal import Decimal
> Decimal('1000.1234') * Decimal('50')
Decimal('50006.1700')

Note in this case the precision was expanded to the most precise in multiplication, and no money was created out of thin air.

You can also set precision explicitly (`Decimal('1000.1234').quantize('0.00000001')`), handle rounding per operation or across calculations, etc.
Hehe, I'm pretty sure my kids thought of this when they were little and pulled this trick on me. I seem to recall having the conversation more than once that not thinking of a single thing and sticking to it was cheating. :P *Which of course then meant I was the one acting like a child.
In space, no one knows which way is down. Vertical scrolling would have worked just fine.
I absolutely agree with you, and it seems worth looking closely at the problem to see if some change would make it easier to learn. However, the ownership and borrowing system represents the single biggest innovation and key idea of Rust, as well as the thing with the least ability to apply learnings from other languages. So while we should look closely at any roadblocks that make it harder to learn than necessary, we can't make it entirely transparent.
The goal is that by reading any byte you can tell if you are at the start of a character sequence, so we have to start each byte with some prefix – otherwise continuation bytes might sometimes look like start bytes. If we did as you suggest, we'd have to prefix continuation bytes with "111110", leaving only two bits of data in each!
it feels obvious that I have conscience, but how do you prove or disprove that claim?

Why do you need to prove the obvious?

It feels obvious that earth is flat

It doesn't if you climb a mountain or see a ship under the horizon. It's a very thin layer of "obviousness" that disappears with very little reasoning.

There's nothing similar for consciousness, on the contrary every argument that has been tried against it feels terribly clumsy and artificial.
"Our user-illusions were not, like the little icons on the desktop screen, created by an intelligent interface designer."

Once again the belief systems of billions are written off with a single sentence. Who would have thought the question of an existing "intelligent interface designer" could have been answered so tersely?

So just how do atoms and quarks, following the fundamental laws of physics, say "we are atoms and quarks"?
Obesity is through the roof, people over eat like crazy and don't move around enough.

How much of our nations skyrocketing health care costs are directly and indirectly related to obesity? Probably a stunningly high percentage.
Because it takes five times as long[1] to process in the reader, and adoption for register terminals is spotty.

EDIT: add reference

[1] https://www.quora.com/Why-are-chip-payments-so-slow-in-the-U...
>If the merchant doesn’t settle within a certain time frame specified by the network, then the authorization expires and the reserved funds are released (as with every complex system, there are caveats here too).

Where can I read specifics for each network?

Also, the post doesn't do a good job of explaining what affirm is. All I know is it's some kind of alternative.
People usually talk about what they want to do before they do it.

If you ignore them when they talk about it and only react when they actually do it, you lose the opportunity to stop them doing something bad before it happens.
Typestate-oriented programming in F*
Chip cards replaced swiping over a decade ago, and a couple of years ago contactless replaced chip cards for most purposes.

Does anyone literally swipe a credit card any more? I can't remember seeing it done in years except in some parts of Europe.
In Copenhagen bikes now outnumber cars
So why would I use it over Audacity, which can also show the audio spectrum?
How to Succeed at Recursion Without Really Recursing
Agreed. Reading this story, Snap struck me as the anti-Amazon. Whereas Snap moved into an established neighborhood and took over, Amazon focused development on a neighborhood that was derelict and turned it into a ripe area for other developers (e.g., Paul Allen's Vulcan).

> Amazon has a large but consolidated presence in places that at one point contained almost no housing.

Exactly, and SLU now has a lot of new housing, mostly filled with Amazon employees.
> String and &str can normally be compared because of Deref, that is, &String derefs to &str. Option, on the other hand, does not implement Deref, and so no coercion happens.

For this particular case, any particular reason we couldn't add an impl of PartialEq? In fact, once we have specialization, couldn't we have a general impl of PartialEq for Options of Deref types?
> We are pattern recognizing feedback loops (with memory) who simulate a reality not the reality.

This could also hold for a philosophical zombie, so this doesn't say anything about consciousness. Or perhaps we're talking about different kinds of consciousness here (unfortunately, good standard terminology seems missing).
How is this a hit piece? It's well-reported and based on conversations with actual people in the neighborhood affected by Snap's growth.
it's almost always a 30 day window to run a capture from the date of initial auth.

i've seen few "caveats". paypal has some tighter constrains on their fund availability guarantees. they make you run a re-auth after 48 or 72 hours - i forget the specifics, but it's in their api docs.
How I configure my Git in a new computer
I'm sorry but I failed to mention that this book has two revisions, one of which represents a HUGE change to the book. It was entierly rewritten, every diagram redone, all information re-sourced.

The paragraph I'm speaking of does not appear in the original book. Our understanding of propegation of VLF hadn't changed much but the way it is explained, and our understanding of different extremely important phenomena, are not described in the first edition. (One of the most noticable cases of this is the only mentioning of Whistlers in the first book is in relation to Exospehric events which is definetly not the case).

I'll recomment on this when I get into work and take a photo of the specific paragraph. I'll show it to you and maybe you can better describe what it is. If you've got an email in your description I'll shoot one off when I add it.

> The variables are mnemonic (_R_eflection), vary systematically and use pictographic symbols standardized in another field, and most importantly all of this is explained.

What's the mnemonic of "X"?

> Using single-word variable names might still be a step up for readability when writing equations. But consider that when using the equation, you will end up writing those variables over and over again, with just slight modifications in parts of the formula

And? I'm fine with that. If anything, as a programmer we can write IDEs for math majors. Maybe we might actually kill of LaTeX and get something that makes some sense to fill it's place.

> But when you need the expanded form of the expression to apply some simplification, you can't really do that, short of simply not writing down the step. Mathematical notation is really better suited for this kind of frequent manipulation and rewriting.

My MathIDE can with one click transform your reduced equation into an expanded form. It would also definetly possible to turn an expanded form into a reduced form.

> Nonetheless, I think some of the lessons learned in programming concerning the use of dense formal languages might transfer to mathematics. One example is explicit declaration before use, which would probably have helped your problem with X just as well as a descriptive variable name. Another is the IDE experience, where hovering over a symbol gives you the contextual information you need to understand it.

Yep I totally agree.
That's still jail - so no I don't think it's an exaggeration. It's also functionally debtors prison and totally insane.
The Implementation of Functional Programming Languages
the latest is that the banks of the Feather river have collapsed after the huge amounts of water receded. Amazing the power of water...
"With high water no longer propping up the shores, the still-wet soil crashed under its own weight, sometimes dragging in trees, rural roads and farmland, they said.

“The damage is catastrophic,” said Brad Foster, who has waterfront property in Marysville (Yuba County), about 25 miles south of Lake Oroville.

The farmer not only saw 25-foot bluffs collapse, but also lost irrigation lines to his almonds. “When the bank pulled in,” he said, “it pulled the pumps in with it. It busted the steel pipes.”

http://www.sfchronicle.com/bayarea/article/Riverbanks-collap...
Playing with its zoom function is fun (Page Up/Down/Home). You can basically reproduce the Hubble Deep Field with it by bumping up the galaxy magnitude limit (F8) and zooming in until the indicator in the lower right reads around 2'30".

And of course you can click on a galaxy and fly to it with a press of the g key. Watching thousands of galaxies zip by like stars in Star Trek is pretty mindboggling (also note that high warp is somewhere around 20 AU/sec using the TNG scale...)

Example I made a few days ago: https://imgur.com/a/xyZe8
Who would say "Prince, like King" when you can say "Prince, like 'the artist formerly known as'"?
Show HN: A Simple TOTP CLI App Written in Go
I'm kind of disappointed that you didn't go into the security features present in a typical credit card transaction. For example, you could describe the crypto protocols used to communicate with the gateway and/or card processor, what kind of data the stripe and chip contain and how it is used for authentication, etc.

Another thing I find interesting is the anti-tamper features that are present in a standard credit card terminal. There's a great CC terminal teardown video by EEVblog that walks you through them: https://www.youtube.com/watch?v=tCgtTPwlDSo.
Anyone familiar with Unicode development know why combining characters follow the base character? Prefix combining characters would have had two nice properties: [1] Keyboard dead keys could simply generate the combining character, rather than maintain internal state, and [2] it would be possible to find the end of a combining sequence without lookahead.
I agree with your point that objectivity does not exist. Any scientific observation is ultimately a subjective experience.

I don't think the first sentence follows from the second one and I doubt that the second sentence is as strong as you may think. Look at any modern physical experiment, the observations are made by apparatuses and transformed many times before a human sees the result on a screen.

How would you argue that you subjectively experiencing numbers on a screen can introduce any [significant] subjectivity into the observed? There is just so much between the observed and the observer.

And even if observations would necessarily be subjective, you would have to explain the consistency of observations between different observers across space and time. But I just realize that I am here more arguing for an objective observer-independent reality than for objective observers but I will keep it anyway.

I also think the somewhat temporary nature of physics has no large bearing on objectivity. We are well aware of measurement errors and the fact that theories are often just approximations. Better measurements or theories rarely make previous results objectively wrong. But I will acknowledge that especially theories with a lot of interpretations in them have a real risk to turn out wrong.
US to suspend fast processing of H-1B visas
But at least they can be started and participated by individual citizens.
I found out the hard way that the ethics of trolling between parents and children are, um, underspecified when I went for a stretch telling them that marzipan was parmesan and parmesan was marzipan. They were nonplussed when they found out.