skysight-inc/HackerNews huggingface dataset:
Meditation and possible some states of enlightenment(fully quiet mind), are about reducing activity in the default-mode-network(DMN). Psychologically this is seen as a reduction/loss of the sense of self(or more exactly stopping self-referential thoughts)

On the other hand, a common association[1] with several mental illnesses, is rumination("repetitive, self-directed thought") - which actually fits the current study. One wonders if specific mental illness cause rumination and why ? or is it backwards ?

[1]https://www.psypost.org/2016/07/study-suggests-rumination-tr...
The ML family languages are still so far ahead of "mainstream" languages in many ways. The first language I ever really learned was SML, my freshman year of college, and I swear there's still a part of me that reaches for "case", even after 15 years and about 1m lines of Java.

I've been playing around with an implementation of the ML semantics+type system, using the Go AST as a compilation target. Golang makes a surprisingly great compilation target for a functional language, because Go itself doesn't have any object-oriented baggage. I think there's real potential for a functional companion to Go, much like F#::C# and Scala::Java.
Flash (and Flex as collater damage) got killed by Apple.
But yeah, I agree even now, nothing compares to Adobe Flex on the developer productivity aspect
Numbers are a complete suspect. 20 years to save $1.8B ? People might be able to save more money because of more efficient electronic and air conditioning systems that we will see coming in next 20 years. It is pointless to do any kind of price projection over that horizon. This sounds like California's slowest bullet train scam.

18% cheaper ? Thats nothing. You might see a slump in Oil prices and normal thermal power-plant might be able to reduce prices well more than 18%.

There might be many desirable things with such farms though, like a knowhow and experiment. We might learn more about their long term costs and savings but economic reasons are not much in favour.
I know a German guy who married a Brazilian wife and moved to Brazil to run a pharmacy. They came back after two years because they couldn't take it anymore. There were a ton of street robberies and store break-ins so they never felt safe. It must be real bad and hard to escape the violence unless you are rich and live in gated communities.
> The worst professors were completely clueless because they never worked with a large computer program in their life.

Seems like what you needed was a trade school. Maybe having a degree from a more prestigious university helped you get an initial job, but in terms of the things you were actually looking for, that's trade school stuff and barely overlaps with Computer Science.
> It would stop them frequently nearly crashing into me, which would certainly be good from my perspective.

I don't advocate crashing into pedestrians. But the best way to avoid crashing into pedestrians is to pay attention to pedestrians, not to lights.

> Erm, because it wouldn't be possible to add traffic lights on a canal tow path. The point is that ignoring traffic lights is dangerous

None of your articles seems to think that traffic lights are helpful.
Not free anymore, unfortunately.

I'm surprised they finally caved in and moved to python3. They were really adamant against it.
The Verge isn't the first publication to make this case. It won't be the last. It's just that those making this case frequently turn into brutal dictatorships. However wrong popular ideas are, they're far less wrong than despots.
Treasury  Prime (YC W18) is hiring engineers to modernize banking
I assume OCamllex and OCamlyacc (or the various other alternatives like Sedlex and Menhir). The OCaml standard distribution is very compiler-writing-oriented, so to speak, and comes with tools for parsing out of the box. A lot of newer projects use parser combinators, but there are far fewer examples of how to use them (like the plZoo) and most people are already familiar with lex/yacc, so I imagine most courses would choose to use those.
You still have runtime issues if you're doing arithmetic with that type and end up getting zero.
I frequently see comments where I'm not sure how to vote. Examples:

A) The statements/arguments/facts in your comment are incorrect, but your conclusion is correct based on $something_else.

I don't want to vote up because if someone is factually wrong, or making their argument based on faulty logic, it can dilute a legitimate discussion. But can't deny that I have an emotional desire to vote it up.

B) The statements/arguments/facts in your comment are correct, but your conclusion is incorrect based on $something_else.

I don't want to vote up because someone can have and understand all the facts, but still be wrong. But I also want to encourage a healthy discourse with accurate facts.

C) Although I disagree with your overall conclusion, I think your argument is still worth considering.

I want to vote up, but also down

D) You are technically right, but you are being an asshole.

I want to encourage civil behavior, but if their argument has merit, I don't want to downvote.

I guess what I'm trying to say is: A simple up/down vote is a leaky abstraction. I'm not sure that adding more voting options is a good idea, but I'm also not convinced that a single up/down is good enough.

This also depends on the voting/commenting guidelines of the site you are on, obviously.
So what type is `integer - integer`? It might be zero, but the type system doesn't statically know whether it is or not. If the result of every arithmetic expression is possibly zero, then you're back to run-time checks for every value. I don't see how this is practically useful.
As I stated before my experience and knowledge of the realities of the system suggests this sounds like a rehabilitation program.

On the other hand I haven’t mentioned my credentials...I mentioned some small bit of my first hand experience in relation to the topic of encarceration and power imbalance.

My wisdom, if any, suggested to better understand your point of view I’d ask about your experience...I never knew trying to understand someone by asking about their experience was a bizarre entitlement and privilege of the white man. It’s funny though my encarcerated clients have always been more than happy to share their experiences with me, their experiences that lead to encarcerated, their experience being encarcerated...and they were always happy to ask about mine.
Hi,

I'm on the Pony core team and I generally agree with you. The problem is, if you want to allow people to write high performance code, you are penalizing them becaues, for floating point:

1.0/0.0 is infinity. That's not C# being clever. That's C# following the floating point standard and using the math that the computer provides. To not use that standard means that you make every use of division slower, even if the programmer has in some way assert and otherwise knows that that they won't be dividing by zero.

Note that 1/0 is integer math and for that there is no standard and its undefined behavior. You can't return NaN or Infinity for that without boxing numbers which is a performance hit and would be penalizing programmers who want/need to go as fast as possible.
Common Lisp has all four division operators ('floor', 'ceiling', 'truncate' (equivalent to what most languages consider division), and 'round') [0], and both 'mod' and 'rem' [1].

[0] http://www.lispworks.com/documentation/lw50/CLHS/Body/f_floo...

[1] http://www.lispworks.com/documentation/lw50/CLHS/Body/f_mod_...
Fırtınanın İçinde Türkçe Dublaj izle (2014)
Can You 'foresee' a Smart-Home Future? NREL Researchers Do
Same problem I had. I got a bunch of keys, and everything I actually want to U2F does not support it.

Sure - Google, Github, Fastmail. But nothing financial. Not even the more startupy stuff like TransferWise and Revolut. Fastmail forced me to enable SMS 2FA to use U2F, which I suspect is actually worse than not using 2FA.

Also, a inherent problem: I would really like to keep a backup key in a galaxy far, far away in case my house catches fire, but I cannot enable a key if I do not have it at hand.
Your argument is flawed because your zero is positively biased.

Why infinity and why not negative infinity.
Not all of them, though.

I find particularly interesting Leslie Lamport's comment that "Since 0 is not in the domain of recip, we know nothing about the value of 1 / 0", which I think is the most correct mathematical stance.

Then again, I think it is all a red herring. This (Pony's decision) is not about the mathematical definition of division. This is about the trade-offs computational systems do to manage the situation.
Norway to test free heroin for drug addicts
“Nothing breaks” in that it isn’t unsound, in that you can’t use it to prove a falsehood. Not that you can’t use the nice little shortcuts you’re used to.

In practical terms, that _does_ have an impact, because people might use those shortcuts without realising the system they’re operating under doesn’t allow it.

But you picked the wrong quote to make that point under.
Oh yes! In Argentina, where I live, we use the comma.
> 2) this applies only to integer division wherein division by zero is undefined. 1.0/0.0 uses the available Infinity value.

Oh jeeze... to me that almost nullifies all of the points in the article. It does an alright job explaining how 1/0 = 0 is at least consistent with other notions in the language, but to hear that the same logic can’t be applied to floats is just... well, objectively it’s a mess.
Julia 1.0 Released
> new ones that will be partial functions that cause an error on under/overflow and division by zero.

A "strict" mode is usually always an afterthought once we have errors & people run it in strict mode and facepalm.

One of the first "utilities" I wrote for PHP was something called "pecl/scream", which turned off all the "unchecked" operations across the whole VM.

And in general, this works out poorly for code quality.
It is not valid to extrapolate an average of 0 from no data at all.

For example, if we examine a sample of zero elephants, then we end up estimating the average elephantine mass as being zero.

This shows to be wildly off as soon as we upgrade our statistical wherewithal to work with a sample size of one.

A center of mass is a kind of average. If we have an empty object made of no particles of matter at all, can we arbitrarily pin its center of mass to the (0, 0, 0) origin of the coordinate system we are using?
> Don't use your real address or phone number.

This is terrible advice that could possibly result in you losing your domain, from the Registrar trying to contact you on your fake address or phone, and deciding to suspend / delete your domain per ICANN Agreements / Rules.

> 2013 Registrar Accreditation Agreement (RAA) – The Whois Accuracy Program Specification of the 2013 Registrar Accreditation Agreement (RAA) requires registrars to validate and verify certain Whois data fields, which may include contacting you by phone, email or postal mail.

> Registrars must suspend or delete domain names that are not timely verified.

Source: https://www.icann.org/resources/pages/contact-verification-2...
Error handling your infinite results would dramatically slow down your programs. And C# doesn't think it's being clever, it's following IEEE float behavior implemented in the hardware.
Their response is different from my first thought. Which is that Facebook wants the freedom to embed their employees inside universities where they are in a position to get the best and brightest students into Facebook's hiring pipeline.
You have to add extra "except when"s to every theorem involving division. E.g.:

(a+b)/c = a/c + b/c

(in particular, for C != 1, as the author claimed it would work not just for 0 for for any real number)

Now to say this is true you have to say "unless c = 0", whereas before that was automatic from the definition of division.
> Since this "ahoy" plug-in is making China's censorship inefficient, the logical step is to ban it to respect China's will to censor.

It allows access to sites banned in Portugal.
This is actually included in the IEEE754 floating point standard - there's a concept of "trapping" vs. "non-trapping" exceptions, where implementations are allowed to decide which exceptions should trap.

Unfortunately, GCC only lets you enable this globally (within a program): see http://www.gnu.org/software/libc/manual/html_node/FP-Excepti....
Why does "faculty working elsewhere mean cancelled classes" - if the faculty is paid for 100% by facebook, but works 20% at the university does this not mean that the students receive a bonus teacher? Is there no scope for enrichment of computer science by industry? And what is "academic computer science"? I mean, look down at your keyboard - nothing in computer science is purely academic; it's the most applied of domains!

The only exceptions I can think of are the fringes of physics attacked by complexity analysis - but these really are fringes!
> Have we already forgotten NSA spying was a "conspiracy theory" up until a few years ago?

Spying has been an overt role of the NSA since the agency was publicly revealed to exist in, IIRC, the late 1950s.
Why Is Sonic Faster in America? NTSC vs. PAL/60Hz vs. 50Hz [video]
Flex was better than anything in use for web front end to this day, imo. Aside from requiring Flash, but iirc targeting HTML/js as an output format was on the roadmap.
The "generic NFC" support you refer to is read only which means that protocols like U2F still don't work so usability of U2F for iPhone users is still not there (without bluetooth keys which have their own problems).
Only for Apple Pay, which is another reason Apple are disingenuous when it comes to security.
What happens when there are election irregularities detected after a winner has been declared?

2000 presidential election. Bush declared victor, but a Florida state law called for a recount as the margin was close. Recount was stopped, original election result stands. [1]

2016 brexit referendum. Leave campaign wins - and is later found to have broken campaign finance laws [2]. Original election result stands.

2016 presidential election. Trump declared victor, but evidence emerges of Russian interference [3]. Original election result stands.

There's no point in detecting irregularities after an election is over if they aren't going to be fixed - and history shows they won't be fixed. I'll stick with pencil-and-paper ballots thanks very much.

[1] https://en.wikipedia.org/wiki/2000_United_States_presidentia...

[2] https://www.standard.co.uk/news/politics/brexit-news-latest-...

[3] https://en.wikipedia.org/wiki/Russian_interference_in_the_20...
Ask HN: Which documentation tool creates stripe.com like modern docs?
Yes, it's not just a function - there are strings attached but we deserve a better name - probability function is x100 better. "random variable" is exceptionally bad in that it leads the mind in irrelevant directions.
Microsoft is bad, but they're by far the best of the three. There's usually some (MVP? MCP?) trying to make a name for themselves that jumps in and attempts to answer questions. Sometimes they actually work.

I've never resolved an issue based on information in a Google or Apple forum. I get the impression they're put out there as tar babies for people to vent their frustrations on until they brick their devices and give up.
Except that 0 could actually be the result of a valid computation. NaN, undefined, or Infinity can not.
The public already has placed trust in bitcoin, which has a fair bit of complexity.

And there are people that don't have a lot of trust in our current voting methods. Can't stop conspiracy theorists really. I think with global warming there is a degree of uncertainty due to the varying environmental factors. This will be something where you can pretty simply explain what's going on, or at least say this part is encrypted with X algorithm and people are happy. The public is willing to trust encryption, specifically there have been cases where the government's efforts were thwarted by strong encryption.
You can disable that in your customer settings, though. It's still crap, of course.
Beautiful maths simplification: quaternion from two vectors (2013)
> Why should Epic care about Android's development costs?

He seems to care about console makers' costs and considers their 30% there reasonable, but he does not seem to consider them reasonable here.

> Why overpay for Google's?

I don't think he's under any obligation too, but it's interesting to see platforms like Steam gain traction despite not handling most of the investment in the platform, and that's on Windows where you can get an installer.
Private Internet Access| DevOps Engineer | https://www.privateinternetaccess.com/ |REMOTE | FULL-TIME

Work for one of the highest rated VPN services and help us protect the privacy of the world.

Requirements
Proficiency using Ruby, unix shell, other common open source tools
Experience managing thousands of servers

Compensation
Salary DOE | Health/Dental/Vision paid 100% for U.S. Employees | Flexible Vacation Time | Employer paid STD, LTD, and Life/AD&D | Additional perks if on-site in Denver, CO office, such as lunch/snack and transportation benefits

Submit Resume to: jobs@privateinternetaccess.com
Interesting. What does this app do?
A usability study prsented in a pdf that is quite difficult to read on mobile. Funny.
Almost every single comment you've posted so far mentions your website. While it's great that you're proud of your creation, it is not a valid reason to pitch it especially when it's completely irrelevant to the discussion.
If anyone from EmuParadise reads this, I’m interested in facilitating an archive of ROMs to go into cold storage at the Internet Archive.
Having 1/0 = 0 and 1.0f / 0.0f = +inf makes sense in two applications I can think of. The first would be currency systems in which prices down to the pre-determined fractional component are represented as unsigned integers. In calculating margin requirements division by zero equating to zero would be the correct answer. And two, for double precision continuous variables, any application involving 3D geometrical transforms. An aspect ratio approaching zero in one axis, would approach positive infinity in the other.

So you may be saving some developers time in operator overloading, etc. More important than the actual binary decision itself is having well-documented behavior. Have not tried Pony yet, but will take a look. Good discussion, keep it up!
Of course, there will be cases where you need to check some of the initial values regardless, but often you just care if the result is valid. From a defensive programming stand-point, if you don't expect any of those values to be zero, you just check for NaN at the end rather then carefully reviewing your calculations for which values you have to check.

I would REALLY hate having to write a geometry library without NaN values. Both because of error checking, and the fact that NAN/INF is often the 'correct' answer when it's the result of a calculation.
I would think that the result of a nonzero int minus a nonzero int would be an integer. So f(nonzero x, y) = y / x is fine, but f(nonzero x, nonzero y, z) = z / (x - y) is not.
Totally agree, and would love to see something with Go interop gain serious adoption. Thought it might have been Oden [1] for a while, but the project seems to have petered out.

[1]: http://oden-lang.github.io/
Is that website cutting off the right side of the article text for anybody else?

I tried resizing the window, zooming in and out, and disabling my ad blocker, but the page steadfastly refuses to show the right side of the text. I'm using Chromium and Linux.
So the other 30% non-white display different preferences? If it is true why not share and analyze that piece of information.
AFAIK Javascript does this as well.
Programming in an Interactive Environment: The “Lisp” Experience (1978) [pdf]
I don't think this really solves the problem. It just kicks the same problem over to addition instead.

let a = 17
let b = 10
let c = 7
let d = a - (b + c) // throws AddsToZeroException

> Make division by zero impossible with the type-checker.

Forcing programmers to consider division by zero when it occurs can be done simply by having the language compiler force handling of a divide by zero exception when division occurs.
War stories are best when you hear both sides. One-sided war stories are mostly like "they made a mistake, and we took advantage of it." But why did they make a mistake? What were they thinking? Did they have bad data, or wrong analysis, or internal disagreement? Were they losing a battle to win the war? That's when it gets interesting.
Governments, credit bureaus, and banks haven't figured it out. You want to trust some random third party nobody the State contracts?
Trajectories of the Earth System in the Anthropocene
Many people have recognized the need for improvement in mathematics education, and I think it really is evolving in positive directions. I worked at DreamBox Learning for a few years, they produce an adaptive math learning program for elementary schools (and gradually reaching higher levels) which as been very popular with children.

The kind of math that was traditionally taught in schools is still relevant and important, but I think we can leverage modern visual and interactive media to help children develop a broader class of mathematical reasoning skills, which includes much, much more than a bunch of rules, symbols, and rote procedures.
SMLNJ has ExportML to create an application/image. It's not Common Lisp of course. Or Smalltalk. But it's not Python or C either...people at Bell Labs were pretty sharp when it comes to programming language design...thinking about it a bit more, I think Erlang is worth mention in terms of interactive programming against running systems...anyway, Ocaml has ocamlmktop https://caml.inria.fr/pub/docs/manual-ocaml/toplevel.html#se...
Hillel is talking about math. Unfortunately computers don't really do "math". For example, math doesn't have overflow and underflow to deal with.

The floating point standard says that division by 0.0 should be Infinity and provides a value for it. The integer math, all possible values are used for numbers, so division by zero is undefined behavior.

And from there, every language is potentially going to have a mess of inconsistency to deal with.

You can make 1/0 = Infinity so long as you box all your integers. That is, its not using the machine type, but I type that is a wrapper that can be the machine type or Infinity. And every user takes a large performance hit even if they will never divide by zero.

For some languages boxing integers is not a bad thing because they already do it. Why do they do it? Usually, because of another not math problem. Overflow and underflow:

What is 0 - 1? Well, its -1 right? Except of course if you have an unsigned integer, then its the max value of the integer. And what if you had 1 to the max value that the computer can represent? You wrap around. Some languages make all integers protect you from this and take a performance hit to be able to box and be able to represent numbers better as we expect them to work. In return, you can not do integer math as fast as you could.

Computers and numbers... its an inconsistent mess and a series of tradeoffs for any language of performance and various possible errors.

I'm going to talk about this and more in my post.
Collusion among multiple persons would break that, whereas a verifiable distributed system would be unaffected.
Why Hearing Aids Fail to Restore Normal Auditory Perception
I wanted one of those, just couldn't justify the price. I've been toying with the idea of running Reactos or Haiku on an FPGA as a cheaper "you own it as much as possible" variant.
Exactly; it's at least one order of magnitude worse than the income tax.
May be pay-walled, alternate source from author's webpage http://www.lesicalab.com/wp-content/uploads/2018/07/lesica_t...