skysight-inc/HackerNews huggingface dataset:
I suspect Tesla knows their space fairly well. Until there is a car that can go 400 miles on a single charge and recharge in 2 minutes, with cheap repairs and work well in all weather conditions for a decade or two, you won’t see the masses jump on EV. You may see people in cities (often these are more affluence).

I don’t really see EV becoming wide spread (I.e. ~50% of the market) for at least 10-15 years. Even then, power prices will spike at homes. I don’t even want to imagine what that’ll cost.
How would this bill work in practice? People who use cash for tax dodging aren't reporting true values anyway. (have not read any of the documents)

I guess in the past they could have had a job quoted at $500K. Paid "in cash" with $400K and reported only $200K to the tax office.

Those businesses could still just have $200K paid by electronic transfer (reported to ATO) and the rest in cash. It does mean the tax dodging responsibility is somewhat pushed to the other party too which might make some people/businesses uncomfortable and avoid it entirely.

I am all for more fairness and having people pay the right tax. Too many builders and tradies sort things out in cash. The unfairness then extends further where people then become eligible for government subsidies because on paper they earn less - but really have just reported less.

edit: reworded for clarity.
I wonder how much of what this article describes (housing crisis, lack of spending power, inability to buy a home, etc) is due to demographic booms straining housing supply that doesn't react very quickly. The Millenials are another relatively large generation, and we have another housing crisis in almost every major city at around the time they're reaching 25-35.
The name wins buzzword bingo.
This was published at the 2019 Conference on Applied Category Theory (ACT). You might find the other accepted papers interesting:

http://www.cs.ox.ac.uk/ACT2019/
> Importantly, there is no language transformation which rewrites one kind of operator (i.e. Equality or Ordering) in terms of a different kind of operator. The columns are strictly separate.

Why do we need a primary == operator if we have strong_ordering::equal, weak_ordering::equivalent, and partial_ordering::equivalent? Couldn't the behavior of == and != be inferred from the <=> definition?

I guess I'm asking why a == b can't be rewritten as (a <=> b) == 0.
I am not that familiar with Lisp, but if you can't find something you like, check out Elixir. I was showing him the AST for macro in had written, and he said it looked very Lisp like. I've heard other people mention how it reminds them of Lisp, too. I'll let others comment on how close it actually is.
Polite answer: I have a lot of commitments at this time and couldn’t invest the time required to make this project succeed.
> The certificate for procyonic.org expired on Thursday, June 6, 2019.

> Error code: SEC_ERROR_EXPIRED_CERTIFICATE
> Premise 1: God is defined as the greatest thing that we can possibly concieve ("that for which no greater can be conceived")

The problem starts here though. Aristotle/Aquinas showed by God could not be a thing, even the largest thing. God is not a being but rather Being Itself (ipsum esse subsistens).

* https://www.youtube.com/watch?v=1zMf_8hkCdc
Mars Type – Font for Mars Colony (360° Martian Orbit Flight) [video]
There isn't an electrocution epidemic
We shouldn't create huge bureaucracies and pointless busy work to make people feel better. Pretending it's going to be recycled would also undermine efforts to reduce packaging.
We give up a lot for a safer society. Its a trade we make all the time. Should we be allowed to own grenades, machine guns, high explosives and tanks?

You could say that's not necessary for defense but plenty find themselves defended well enough without any arms at all.
We're all learning as we go. Once I realized the ecological cost of coffee and tea I stopped consuming it. Hot water is good enough.

Educating respectfully will accomplish much more than disdain and ridicule.
So since it seems like under this system, the lender carries most of the downside risk on interest rate movements while the borrower gets the upside, the lenders must be covering this with a greater spread between their cost of borrowing and the fixed interest rates they charge?
How much would you pay for such a proprietary tool?
Always enjoyed his: "Nobody ever went broke underestimating the taste of the American public." I'm sure he'd be as disappointed as I was to hear it's actually an H.L. Mencken line.
God this is so confusing. Why the $%&* does it take a 17-page 27-minute blog post to explain how to implement comparison operators?

Can someone please write the 3-minute blog post that is easy to understand and follow?

If the answer is "it's too complicated to explain in 3 minutes" then I think that is a telling sign.
Eh, if Coinbase were the stock market and only open for trading for < 8 hours a day, I'd ding them, but it's always 3pm somewhere. 3pm PDT is 6pm EDT is 10pm UTC.
I'm not sure this analogy really works. Electricity kills as a side-effect of its intended use. If gun ownership makes it more like that you will get shot, it has failed at its intended use (self-defence).
That is exactly what Chuck Moore wanted when inventing Forth.
Physical cash is still a very valuable thing [1], and restrictions to it should be resisted on principal, not just because of technological progress.

[1] https://aeon.co/essays/if-plastic-replaces-cash-much-that-is...
I wonder if we are going to reach a sort of singularity with regard to encroachment on privacy in western countries where we both take it for granted that privacy is a right, and live in societies where actual privacy is clearly trending somewhere just above zero.

I don't think this is really about cryptocurrency particularly. This is about electronic transfers generally. My read on this was that the government is basically saying "big transactions can't be in something we can't feasibly track."

Australia seems quite aggressive in this regard; also openly banning encryption.

I used to be up in arms about this stuff. Now I am older and mostly trust (for my threat model) off-the-shelf end to end encryption for basically anything I consider private.

But I also don't care about the privacy thing anymore. I kind of hope the people 10+ years younger than me still care about that stuff. Google reading/mining the dick jokes I've been sharing back and forth in a dying g-chat window for the last 10 years? Whatever. I'd still keep the conversation there just for intertia's sake; even though I also assume its adding to google's model about me.

I don't think, at least in countries culturally similar to the US (the one I know the most), any populous will embrace the idea of "let the experts of the government see everything so you can all be safe"; but, it also seems that we will just trend toward that and kinda pretend like its not happening.
Digital currency is currently exempted but will apparently be kept under close scrutiny (Section 9).

https://www.treasury.gov.au/sites/default/files/2019-07/expo...
Perhaps there has been a language issue.

In this specific case, the code was written such that it deliberately broke installation for users. I consider that malicious. The “deliberately” is the important word here.

People make mistakes. Nobody wants this to happen, but my colleagues and I have sometimes pushed a bad deploy that broke our product, and we rushed to revert to a known good state.

That’s not malice, that’s (temporary) incompetence.

But if we deliberately broke something for our users, I would consider that malice.
Agreed. Why is it anyone’s business other than the individual if they wish to live or die? My existence is MY existence. If I can’t have that piece of self-determination everything else is hollow.
I'll take the First Way of Aristotle/Aquinas:

* http://tofspot.blogspot.com/2014/07/first-way-some-backgroun...

* http://tofspot.blogspot.com/2014/08/first-way-moving-tale.ht...

* http://tofspot.blogspot.com/2014/09/first-way-part-ii-two-le...

> Some things in the world are changing. (Observation)

> Whatever is changing is being changed by another. (Lemma 1) See Part I.

> There cannot be an infinite regress of instrumental changers. (Lemma 2) See Part II.

> Therefore, there must be a changer that is not itself being changed by another.

* http://tofspot.blogspot.com/2014/10/first-way-part-iii-big-k...
Depends on... literally everything about your infrastructure. All kinds of options, pretty much anything is possible here, depending on what you want to do.
I recently dug a black plastic flip-close food container that was marked "compostable" out of my parents compost pile, after burying it there almost exactly four years ago.

It looked exactly the same as when I put it in there. Interesting experiment but that's what I was already expecting, based on the very small amount I'd read suggesting that one needs to put plastics marked "compostable" into some kind of weird high-temperature bioreactor in order to get them to break down. nkurz's article seems to delve deeper into this topic.
Solving open source funding by giving sponsors a seat at the table
Basically the cloud killed it.

As more and more apps started moving to the cloud, there was a lesser need for local app development tools.

The GUI development tools of today look like the ruins of a once great programming civilization of 90s.
Description:

> This meditative martian orbit flight is dedicated to the first multiglobal typeface Mars Type.

> I believe that humanity will soon make a new "giant leap" on Mars! This great mission is worthy of its own font. Scientists prepare to explore new planets, Rentafont prepares to release the first multiplanetary typeface. The typeface called "Mars Type" for Mars should be as Gill Sans is for England or Helvetica is for the whole Earth.

> Mars Type is sans serif with open counters and other features that enhance its recognizability and readability. Ideal for way finding and interfaces in the Martian colony. The main feature of the font is a special form of oval characters (perfect circle outside, "porthole" inside) and the axis of some characters (eg. slash) that corresponds with the angle of the Mars axial tilt – 25,19°. Vertically cut finials, as in Futura or Gill Sans, allow the new font to have a high capacity, as in humanistic sans serifs, but maintain visible geometric look. Mars Type was designed by Yevgen Sadko in 2018-2019 and released on https://rentafont.com under SIL Open Font License (OFL).[0]

> My dream is to visit Mars and see a good typeface, chosen according to rational criteria, for the specific conditions of the planet and the purposes of the settlers, not just to imitate Sci-Fi movies or famous brands.

> If my idea inspires you, please help this font get to Mars! Rentafont is looking for like-minded people to implement some challenging tasks:

> • make a cool video presentation of the font; (DONE!)

> • convey information about the new font to ESA, NASA, Elon Musk;

> • add Asian and other non Latin and non Cyrillic characters;

> • add emojis and icons;

> • make a Variable Font with width and Weight axes.

[0] https://rentafont.com/fonts/mars-type/regular
> Why should those of us who are non-suicidal have to give up our ability to defend ourselves because some suicidal people are gonna shoot themselves?

You can't know if you're not suicidal. That's the whole concept of most suicides being impulsive acts.

E.g. there have been plenty of people who have bought a pack of cigarettes and then killed themselves 5 minutes later without even opening it. Any of us could be five minutes away from killing ourselves and not have even the slightest idea.
I think you make a great point, but why stop at guns? Each thing should have a list of pro's and con's made for it, and if the con's outweigh the pro's (on average) then we can just make that thing illegal.

Probably we should start with television. Sure, people get some enjoyment from owning a TV, but think of how much they aren't exercising. Surely owning a TV dramatically increases the probability you are going to be obese and eventually develop heart disease. You are way more likely to watch a TV if you have a TV in your own house.
I think that it is difficult to define what is meant by "God"; and maybe even by "exists" in such a context, too. So, many people will disagree. Also, even if a proof may be mathematically valid, it may be misapplied, or have invalid premises, or misuse of words (which can be a kind of misapplication, I suppose).
I know. It’s a feature, but it makes it harder to share code (and Chuck Moore believes that sharing code is rarely worth it). Maybe he is right. His productivity is unbelievable :)
January 2001, ten weeks of chronic sinusitis turned to pneumonia. This was followed by sleeping 18-20 hours/day for about 3.5 months, plus twice-weekly doctors appointments while they called me crazy for fearing I might die while they ran more tests, stumped as to what was wrong with me.

In May, a sweat chloride test came back positive. The verdict: atypical cystic fibrosis.

I had already stopped being largely bedridden the month before in April. Many years of rehabilitation would follow.

Walking played a very large role in my recovery. At one point, I was homeless and my daily routine involved walking six to eight hours per day for some months.

The lymphatic system is a key part of this.

Lymphatic fluid is basically your blood stripped of red and white blood cells. While in your blood, it gets moved around by your heart.

But it doesn't stay in your blood vessels. Like water in the Earth's ecosystem, it isn't confined to the creeks and rivers of blood vessels. It seeps out into your tissues like groundwater, becoming interstitial fluid.

It carries nutrients with it to nourish your tissues as it flows out. It carries wastes with it as it flows back into your blood stream.

While out in your tissues, it is beyond the reach of your pumping heart. Its return trip is typically sluggish.

Unless you are in motion. Then your skeletal muscles fill in where your heart can't reach.

Interstitial fluid returns to your blood at several times it's normal rate when you are active. When, in a word, you exercise.

Walking helps your body take out the trash, a necessary element of the healing process largely overlooked by our current medical mental models where we think to add inputs in the form of drugs but mostly don't talk about throughputs.
Just one more reason to hold corporations accountable for pollution and global warming. The free market is not going to solve this one, even when you give people warm and fuzzy feelings for "doing the right thing". It's just not profitable to be Green yet, and maybe that won't change until companies have to pay for the second order effects of their products.
Yes, the standard and expected behavior is that logical_op(NaN, anything) == false [except inequality] because NaN is not ordered with, or equal to, anything, including another NaN.

Otherwise you may have the strange behavior that two erroneous values are equal, e.g., 0*inf == tan(inf).
Mhmm, it's free if you pay for the all other stuff.
> The same audience that was scripting in Hypercard could grab Apple's Swift Playgrounds iPad app and start learning Swift using neat interactive tutorials today and graduate to writing full-fledged programs.

You're correct in that some software developers got their first taste of programming with HyperCard, but you're incorrect in that 99%+ of HyperCard users would have zero interest in developing in Xcode (regardless of language).

They are completely different experiences designed for completely different types of users.
I have done the same and it's great.

The main issue is that I used to spend the commute reading books. So I have basically exchanged "mental" excericse with physical excercise. I feel that listening to an audiobook while cycling is a bit too dangerous for an urban commute like mine.
A friend who does car engineering tells me with modern cars you’d be hard pressed to kill yourself with carbon monoxide poisoning. Now a bottle of helium can be had at almost any party city store and that plus the plastic sack they’ll give you to carry your shopping in will lead to what is essentially a pain free suicide.
In his book Thinking, Fast and Slow, Daniel Kahneman says that walking slowly helps with thinking, while walking fast "brings about a sharp deterioration in my ability to think coherently".

https://books.google.com/books?id=ZuKTvERuPG8C&q=walking#v=s...
My preconditions/assumptions:

40 hour a week for work
3 hour a week for commute
8 hours of sleep a night
2 hours a day outside of work for your meals

7*24-7*8-40-3-7*2 == 55

This leaves you 55 hours a week.

This obviously doesn't including errands and lord forbid you have make your own food or take care of a child. It also doesn't account for quality of hours(Ex: the hour right after waking up or right before bed are less productive). Not to mention you might want to have sex regularly or just be social with your friends. I haven't even account for basic grooming like showering or brushing your teeth.

So you've got 55 hours a week of being tired after a day of work to live your life.

Assuming you work starting at the age of 18 and retire at 64 you have a working lifetime of:

(52*55*(64-18))/(24*365) = 15 years

All of which you are tired from work. I'm with you 100%, people should be fulfilled outside of work, but its not hard to see why people want fulfillment at work. There is not a lot of life left after it. Lets not even try to do the calculations for those doing the 50-60(or worse) hours a week because of two jobs or a startup or what have you.
These are the 3rd parties that are held accountable by law and regulations.
SBCL 1.5.5 Released
Node Within A Node: Collective push across semiconductor supply chain
I have seen Aquinas's proof written somewhere. It is like what you wrote: Something that is moved is moved by someone else, but there cannot be a infinite regress, therefore God is the unmoved mover. But that is illogical: The conclusion contradicts the premise. Rather, if something that is moved is moved by someone else that is before it (rather than a loop), then it necessarily is a infinite regress (and this infinite regress is like what is God, I suppose).
> Whatever is changing is being changed by another

> Therefore, there must be a changer that is not itself being changed by another.

A proof that contains its own refutation :-)
Yes - this is really quite astonishing. I imagine any video professional would be horrified to learn that their CABLES were recompressing their video. There's never an acceptable reason for that it's really amazing I haven't heard about it before.
Does Your Teenager Have a Problem with Alcohol?
Joint Adversarial Training: Incorporating Both Spatial and Pixel Attacks
MoneyBall Prediction
Hypercard's "letting regular people build useful things" ethos lives on in IFTTT, Zapier and Microsoft Flow. In 2019, it's not super useful to many people to be able to mush together some buttons and textboxes into a desktop UI, but it's fantastically useful to be able to mush together their email, calendar, SMS, Instagram, Facebook, Twitter, Dropbox, Spotify, Alexa, home automation etc.
SBCL is a great Common Lisp implementation -- and continues to be improved, with version 1.5.5 just released this weekend.

The various web/xml/xpath/database libraries for Common Lisp are well supported by SBCL (or vice versa) and make for a great programming experience for web things, in my opinion.

McCLIM also continues to improve and is an interesting, if not fully ready-for-prime-time, choice for interactive applications.
I can relate to this. While cycling I think about stuff and the intensity really determines how focused I can be thinking. During really high intensity cycling my thinking is usually reduced to just a looping line from a song or "go go go"

I was considering if a modification to a standing desk to make it a cycling desk would be a good idea but now I think there is just no point because you will be half assing both exercise and focus. Really what you want to do is do some high intensity effort while doing nothing else and then low intensity stuff while working. A walking desk might still be a good idea if you set it to 2-3km/h. I find standing to be a little uncomfortable for long periods but walking is fine.
"The Art of Money Getting"

https://www.gutenberg.org/ebooks/8581

-or-

https://standardebooks.org/ebooks/p-t-barnum/the-art-of-mone...
Show HN: A Helm3 Controller
A lot of people think they are smart, and everyone else (mostly) is irrational.

The evidence is that others don't change their minds when presented with your well-reasoned arguments.

One alternative hypothesis, rather than that most people are irrational, is that they diverge on important foundational premises because it's not socially acceptable to discuss them.

It's easy to go around assuming that everyone agrees on things that it's taboo to talk about.
Show HN: wewe - Open slack/wechat/... group chat to the internet
> Portability is not possible. Real applications are closely coupled to hardware. Change the platform and all the code changes

Some lessons simply did not age well.... Even in world of today's microcontrollers, which often have kilobytes of RAM and very different CPU styles, people still write mostly hardware abstracted code.
The problem is the web was designed for documents not apps. And JS wasn’t designed for what it does now. The closest thing we had to a sane development toolkit was Adobe Flex. Someone came up with that and it was ok. But other more powerful forces particularly Apple made it disappear. Google is in charge now maybe it’s up to them.
Just trying to be helpful but mentioning getting downvoted attracts additional downvotes, in part because it is also against the site guidelines (2nd from the last one).
It does have the key points listed in the readme. It probably is so obvious. Let me summarize them here.
1. Simplicity - The concepts of XSM are straightforward and easy to grasp. Whereas, the concepts of Vuex are not as easy to understand.
2. Vuex is for Vue only. On the other hand, XSM works Angular, React, and Vue. Learn once and be good with the 3 frameworks. Chance of code reuse with XSM.
Rather than thinking purely about lifespan it would be better to think about healthspan. What if exercise means the years you are living are much more enjoyable and pain free.
Okay this may be unpopular, but I felt like Microsoft VB 3.0 (for me) was a better version of HyperCard on a worse platform.
Elm is sane but IMO not ready and may not be for years. Breaking changes each version, plus a lot of boilerplate have moved me off Elm to preferring TS/React even though I love FP