skysight-inc/HackerNews huggingface dataset:
Sounds excellent. Better than having the user scratch their heads and have to see why this happens, and how to deactivate this in apps where it makes no sense (which tons of users wouldn't figure out in a million years [1]).

Plus the apps can re-activate the feature automatically in other screens where it does make sense (e.g. de-activate it on the virtual piano screen, but re-activate it for other Garageband panels), which would soon get old for the user.

If Apple gave a customizability toggle for every BS like this, they'd end up with Emacs.

Their whole value proposition is that they try (and they're not perfect, but better than other OSes in that) to give you sane options for those things without too much customization.

[1] Heck, tons of users use Google search and enter "Facebook.com" and click the result to go to facebook, and you're expecting to figure how to disable a gesture?
> It's a bit easy to wake up 30+ years later and act all surprised that there are political consequences to this.

I mostly do agree with you but one point worth considering is that many people didn't "wake up" 30 years later, they were born in the last 30 years and don't want to accept the world that their parents handed them.
Are with hunts/trials really a new thing though?

"She's a witch!"

"It isn't proven yet. Allow due process to take place."

"He defends the witch, he is with the devil!" (an old-timey "witch-apologist!")
"they seem at least somewhat incompatible with such performance"

Lisp is for the other 99.5% of programming that doesn't require you to wring every last drop of performance out of your CPU.
It’s also very difficult for mothers because the US doesn’t offer any decent time off, so all the pumping for breast milk and stress that goes along with it is discouraging.
Ad blocking is the only thing that makes the web bearable. I hope the extension rejection was a mistake or over something unrelated to blocking functionality.
I wrote a "scumm restructurer" (scummatlas) that takes the games binaries and outputs all the scripts, room data, etc... In a readable form. And the scummvm documentation and source code was invaluable.
But in this case, the fire could’ve started from a lightning bolt or a single cigarette, instead statistics chose a cable spark.
When Roger Bannister broke the 4 minute mile, he also had pacers.
Back in the day (1998), when it was very much not a thing, I remember 4 supposedly different, very professional (for the time) climate denial sites popping up on a search, all of which if you looked at the raw html code, were obviously from the same web page company.

And I was enlightened.
Will you be at FOSDEM 2020? Would be nice to see a presentation and the actual hardware. https://fosdem.org/2020/
> If you have shoes that give you such a boost, is it doping?

Definitely not, as doping is about drugs. It may be cheating though.
I'm travelling Japan. This morning I took one of the last Shinkansen from Tokyo to Kanazawa. Even here the rain and the wind is scary.
I imagine that the funding behind climate changed believers is dwarfed by the funding behind climate change deniers, primarily because we've been a fossil-fuel driven economy for about a century [0], and because it's a lot easier to sell fossil fuel products for a profit than it is to persuade a funder about climate change. But I don't know the empirical data, and could be wrong.

[0] 'The Prize', Yergin
There was even talk about a possible tsunami, just in case all that water from above was not enough yet.

JMA has it as two earthquakes about ten minutes apart. Link to the first one:
http://www.jma.go.jp/en/quake/20191012092552393-12182205.htm...
None of the changes reviewed in the article are what we need from a "pro" device. Some of these are:

- a real browser with a fully functional ad blocker like uBlock origin

- the ability to see MAC addresses for network troubleshooting

- a VOIP app that alerts reliably to voice calls and text messages and that doesn't get killed when backgrounded

- an SD card slot for expandable and transferable storage

- an extremely low-latency analog audio interface

- full USB C support
I tried it out but it just copied the first H1.

I love the idea tho !
I use HN as a link aggregator almost exclusively. My ritual in the morning is to check the "new" tab all the way back to where the links (and their order) start getting familiar. I do this a few more times during the day. Rarely read the comments. Upvote links to math/tech books that I find to be great. For "fun times" I prefer 4chan and youtube.
MIT Creates World's First Psychopath AI by Feeding It Reddit Violent Content
Great to see 1 Bligh St, Sydney in the list. It's a fantastic building on the inside with the central attrium going right to the roof.

While a lot of people seem to hate it, I actually like 1 William St in Brisbane.
There are many possible representations of real numbers which could in theory be used in programming languages.

For instance, you could represent them as functions which given a natural number produces a rational approximation – say f(n) should be a rational number closed than 1/2ⁿ to the number you represent (Cauchy sequences). Then addition of two numbers f and g, would be[0] the function (f+g)(n) ≔ f(n) + g(n), where + denotes rational summation on the left-hand side.

Or you could have a function which given a rational number input produces a boolean which tells you if the real number is less than the input. (Dedekind cuts)

No mainstream language has real numbers as a primitive[2]. In fact, not many languages have even arbitrary integers as a primitive type. But many mainstream languages have functions as first class objects, and therefore there is nothing stopping you from using them to represent real numbers.

Not all of these representations are created equal. For instance if you wanted to represent real numbers as a function which gives you the n-th digit in the decimal expansions, you cannot implement addition. This because you would have to look arbitrarily far into the digits of each number to decide even the first digit.[1]

Someone is bound say "Oh, but that is just computable numbers and there are only countably many of those". This is true if you accept classical logic. In constructive mathematics (which is most relevant to computer science), however, one can only prove that there is a surjection from the natural numbers (but there is no constructive bijection). In fact it is consistent to assume all real numbers are computable.

[0]: Most likely, you want (f+g)(n) ≔ f(n+1) + g(n+1) to get a close enough approximation, but this is a technicality.

[1]: Imagine 0.00000⋯ + 0.99999⋯. At any point later the first number could become non-zero and the first digit would be 1. Or the second number could become smaller than 9 and the result would have to have first digit 0. No way to tell what the result would be without looking at infinitely many digits.

[2]: I know of at least one, non-mainstream, language which had built-in support for real numbers. It is called RealPCF – and I am not sure it was even implemented on a computer, or if it was just a theoretical construct.
I'm not surprised with the London result - they seem the fastest walkers to me.
"Jane got black out drunk around strangers and then she--"

"Wait before you say anything more, that seems like a poor choice, but go on"

"How dare you! Victim shaming is not ok!!"
No, walking sucks everywhere. I live in Annapolis which was designed in the 1600s and is not designed for cars: https://images.app.goo.gl/5zQ8QnR5EPEJggYJ6. It’s great when the weather is nice. But trudging uphill holding a kid or lots of groceries in 90 degree weather is less pleasant than driving straight up to an Applebee’s.
Why not make these "AI" merely driver assists/fallbacks, rather than actually taking over from the driver? That way, we can leverage the advantages of both humans and computers; namely, that computers are vigilant and never lose focus, but people are flexible and can easily react to new situations.

I'm thinking about stuff like Automatic Emergency Braking, lane-keeping (but only if you start drifting without signalling, or if there's another car in the way), driver inattention alerts (seat rumbles if you start to zone out), blind spot warnings as lights on the mirrors, impending stop ahead warnings, etc.

Notably, rudimentary versions of many of these already exist in new cars today. Going forward, just improve them, with better sensors and data, until the day comes that full self driving is a real possibility.
Been of the same thought myself. I see tons of pro-nuke Republicans waiting for the other side to show up.

Meanwhile the Dems are off cancelling all of the waste repository projects (yucca mountain) and then turning around and complaining about all of the dangerous radioactive waste sitting around the country.

This isn't a Burger King.
It is best to treat the linked paper (Fibers under the magnifying glass) as a review of some implementations of fibers and not a repudiation of fibers in general. In particular, for this paper to apply to golang, several things would need to change :

Memory footprint : It says fiber user stack is 1 MB and so fibers have comparable memory footprint to threads. This is not true for goroutines which typically use a 4K stack.

Context switching overhead : gives numbers for architecture, but goroutines do not use the expensive switching instructions listed in the paper. Instead golang basically saves just the PC, SP and DX registers, significantly reducing the overhead.

Dangers of N:M model : The dangers mentioned of corrupting memory etc is specific to C++ libraries and do not apply to golang.

Dangers of the 1:N model do not apply to goroutines either.

My conclusion from the paper is as follows : Fibers are bound to fail as an OS feature, or as a library. To make fibers work you need to do what golang does i.e. make it part of the language with compiler support to reduce the context switching overhead and the memory footprint. You will however, pay a price in higher FFI cost. That may be a tradeoff which may or may not work for you, depending on the nature of your application.
If a group of people is allowed to consistently get away with not paying their taxes, then fairly quickly, just by the operation of the monetary system, they will be the only people with any money.

The real question is, are these really the people you want in control?
> You're forgetting about networks' and data centres' energy requirements.

No, I'm literally counting those requirements. Hence routers + server (+100% for overhead, like cooling).

> A recent report estimates that in a worst case scenario by 2025, digital technologies may amount to 7% of global carbon emissions.

Why do you trust that report? The numbers don't even make sense; just as an example, dividing the watched VoD time by the consumed VoD data, you get 24Mb/s, yet they say on the same row, "Average Bitrate : 3 Mbps". That's a 8x difference!
Interesting. A good book is very efficient at teaching you how to think in that particular language, rather than translating the ideas you have in another language into the new language. How do you learn that with your method? It sounds to me that it would require a long time programming in the new language to come to the same realisations by yourself.
Yes, NASA was funded to collect the actual data until Trump arrived. The facts don’t care if you don’t like them and they don’t go away if you cover your eyes like a child and pretend they’re not there.
You can build a Lisp to stay close to the metal with zero-cost abstractions. Most people drawn to Lisp are wanting productivity instead of max performance. Besides, the commercial Lisps and fastest in FOSS are really fast.

There was a systems type of Lisp called PreScheme that was closer to what you're envisioning. Carp also aims at no-GC, real-time use. Finally, ZL was C/C++ implemented in Scheme with both their advantages compiled to C. Although done for ABI research, I've always encouraged something like that to be done for production use with tools to automatically make C and C++ library bindings.

https://en.wikipedia.org/wiki/Scheme_48

https://github.com/carp-lang/Carp

http://zl-lang.org/
Maybe for keeping a safe distance without having to eyeball it, or for avoiding the fumes.
They did at some point in the past. Large portions of the US manufacturing and textile sector disappeared because people opted for the cheaper imported items. I don’t see any reason to assume they would be willing to pay more for labor now either.
https://www.youtube.com/watch?v=SRYtn0j5ccA
Great time to switch to Firefox if you haven't already. https://www.mozilla.org/en-US/firefox/new/

And before you even begin to complain about it being "too slow", "slower than Chrome", <other statement of the month>, tell us that after you're running Chrome without an ad-blocker.

And even if it really is still slower by some miracle - this is a community containing world-class software engineers. Donate some of your time to bring it up to speed. Pun intended.
But not on a large scale. If a terrorist finds a security hole, he controls all the cars.
Are you perhaps using "liberal ideology" in a way that's different than what I'm used to? It seems that Blizzard's decisions were made in service of Capitalism which is a belief system that I associate more with conservative rather than liberal ideology.
Quickbooks and1 (844)-464-8848 Pos Helpline Number
Fix Errors with QuickBooks customer Service Phone Number:

It is traditional for QuickBooks users to face a number of the performance and different errors thanks to numerous causes in automatic data processing system. we have a tendency to perceive however annoying it's which is why our QuickBooks Payroll Support number is functioning twenty four hours of the day so you ne'er stand still in any error or issue. If you're trying to find QuickBooks customer service to urge the solutionto these errors and issues, you'll simply contact with QuickBooks Error Support number for fast facilitate with technical specialists.

24/7 Support with QuickBooks Support Phone Number:

It is attainable for each user to urge 24/7 support services with on-line technical specialists with QuickBooks support number. If you're looking for QuickBooks error support solutions with specialists, you only got to dial QuickBooks customer support number and that they can instantly solve your queries.

Contact QuickBooks 2019 Support number

Whether you're facing performance errors otherwise you have gotten bother to upgrade to the newest version of QuickBooks, you'll get facilitate with QuickBooks 2019 Support number currently. Whenever you dial QuickBooks 2018 technical support number, they're going to instantly solve your queries. By exploitation QuickBooks 2019 Support number, it's attainable for each user to urge obviate all the errors and issues during this accounting package.
Couldn't you say the exact same thing about regular exercise? And it has minimal side effects, unlike this medication.
Yes. I generally believe that CO2 causes problems -- although not, perhaps, to the extent claimed by some.

Smart energy companies that produce less CO2 are definitely funding the other side. The Natural Gas folks, for instance, generate less CO2 than the coal companies (per BTU) and so, naturally, they're fueling the protest fires. Nuclear emits hardly any CO2 and so they're very anti-CO2. And certainly the wind and solar companies have everything to gain by sticking it to the fossil fuelers.

Here's one link, perhaps biased, but still informative.
https://www.forbes.com/sites/michaelshellenberger/2019/03/28...
> The goal (at first) is dealing slightly better with the average predictable situation than the average human driver.

The average human driver is terrible at driving. The goal should be higher; i.e., to be slightly better than the top 10% of human drivers. One of those skills will be refusing to drive when the weather is too bad.
You don't get to choose which state you belong to as chattel.
Eh, I agree, BUT... lets not pretend that is immediately viable, either. Severely restricting license access in a country with often (varying by city) terrible public transit seems to be a recipe for disaster.

Your comment quips as if state officials have their finger over the button of restricting licenses, but choose not to merely for lack of care. It is far, far more complicated than you give it credit for. Or so, I imagine.

As HN sometimes forgets, the world exists beyond the lines of SF. Some places have terrible public transport.
I haven't heard of any anecdotes in the form of a big new breakthrough being a HelloWorld in opencv, and I think that any such cases can be more readily blamed on the media and bloggers inflating the actual research papers or results than actual scientists and engineers. But let's say you have experienced such episodes.

So now what, what is your point, what is your goal, what is your vision for this field? What would you have happened better? To just complain about it? Should they stop working on self-driving cars? Should they stop sending press-releases, should they stop selling cars with this functionality, what is it that you want? Do you want them to be paid less? I actually don't understand. What would be your best scenario for this field that would be better than what is going on right now (that big players and many of the brightest (and yes well-paid) data scientists are working on making a safe self-driving car a reality, while many investors are believing in it and are voting with their dollars)?
Those CC licences are all about copyright. The article is mostly about privacy and data protection. If I take a photograph of another person I can give away my copyright but I can't give away the other person's privacy rights. If that person lives in the EU probably even they can't give away their privacy rights: permission to use personal data is revocable according to the GDPR, I think, in most cases.

I wonder of any of the people whose photographs are in the database have moved to the EU and whether that makes any difference.
Of all the elements you mention, the most deadly is the inability to speak out about the problems. The first step in improving anything is to acknowledge the areas that need work.
You're taking a company's statement, that avoids any mention of money, economic interests, or China, at face value?

I hear your point, but what would a smoking gun look like?

An email or recorded conversation from the CCP about the actions they would take if Blizzard didn't keep the ban in place?

That positive confirmation bar seems unreasonably high.
What's ridiculous about a scientific consensus? It's a trend in the publication of scientific facts. Show me a better way of unearthing what the data is showing than extrapolating from publications of hundreds of independent research. Especially when you follow it with a steam of unfounded speculations.
Https doesn’t guarantee that. Someone could manipulate the content on the host.
The other thing is that winners don't experience reality.

Success doesn't teach you anything. It just makes your life easier and this ease can give people false confidence.
This is absolutely incredible!! Inspiring and awe inspiring. This is art and more. Thank you for sharing!
> I don't think Phoenix will ever be able to do better than about 80% of Rails's productivity.

I haven't used Elixir/Phoenix myself, but my main issue with Ruby on Rails was how much of long-term productivity was sacrificed for short-term productivity gains.

In other words, what made it extremely easy to create the first version of the application with Rails, also made it very hard to maintain and scale it later on.

Therefore, I would consider it a win, if 20% decrease in short-term productivity provided an equal increase in long-term productivity, which is much harder to measure.
answer is in the guide and is quite interesting.

so, lisp development came in two phases: formal phase -- that's where original 1960 paper described lisp from simple axioms and built on them -- and implementation phase -- formal step is of no use for us because it didn't have numbers, error handling, i/o, etc.

argument here is that the formal phase might be the most important phase, but that the second phase usually takes longer and is more practical. so what if one delays the second phase for as long as possible? what could be discovered and be useful for the implementation phase? that's the raison d'etre of bel i think.

i very much like it :)
I think we need to convince everyone to watch the Bill Gates documentary on Netflix. It's a not-so-subtle pitch to save the world with a gen 4 nuclear power plant that uses all that old nuclear waste as its fuel. So it's clean nuclear energy which is designed to be impossible to melt down and it literally eats the pollution from previous generation nuclear plants.
I don't know what exactly qualifies as "climate denial", so I'm not even sure which group that is. Everybody who doesn't 100% agree with policies that are suggested and refer to "climate change" as their argument?

Global-Warming Skeptics would fit the bill much better, and doesn't have that bitter taste of sounding insanely propaganda-esque, but I guess it also doesn't have the same bang.
I imagine I could go to FOSDEM again yeah.
Yes, and you're going to get down voted below the fold.

But it's historical dangerous to say "well ALL the good scientists and government scientists think X is true. Anyone who disagrees is on the take."

That means you Galileo.
Motor doping is the term for hiding a small electric motor in race bikes. So doping could apply to situations outside of using drugs to enhance your body.
The facts are that nobody knows how climate works and there is no proof that humanity controls climate. The facts are that there is a large propaganda machine in the media using dirty tactics (e.g. a mentally ill child) to spread fearmongering and doomsday bullcrap. The facts are that there is big money behind this climate religion that has nothing to do with helping the environment (reality check: carbon dioxide is a benign gas and not a pollutant).
It may not change people's lives directly (unless you're an astrobiologist), but it would absolutely change our lives indirectly-- the effects on the future of space exploration and the ongoing human conversation would be dramatic. Ultimately no one's mind is likely to be changed about much of import - such as religious beliefs - but at the very least it will mean we approach Mars missions differently.
> The notion that people should hide who they are and what matters to them except as it's compatible with profit maximization is stridently political.

Yet that's exactly what most major publishers have been doing with their crackdown on toxicity.

We've created these "safe spaces" where anything that could be interpreted as even remotely controversial is off-limits and ban-worthy because profit maximation is the only actual goal for a company like Blizzard.
Thanks microcolonel! (Love your nickname btw, the idle task in the Serenity kernel is called the "colonel" process :))

Obviously I really dig this GUI style as well. It might seem petty, but part of what motivates me to work on a browser is wanting to build one that doesn't cede control over things like button appearance to the web. Not to mention greater invasions like allowing sites access to desktop notifications, and other things that should have ended up in a WHATWG trash can.
Yes, and it’s going to Thailand and Vietnam and India, where the cost of inputs is cheapest (including dealing with government, the costs of which are going up in China).