skysight-inc/HackerNews huggingface dataset:
lol. I think the resurgence of interest in constructionist mathematics via Homotopy Type Theory will lead to better proofs ( since all proofs in HoTT are like programs and can be computationally verified in a straightforward way ).
I also don't like the idea of having to create Microsoft account just to access a notebook, so if it turns out that is required for run access, then the other option is to self-host it instead. The problem with local is that if you have no experience with programming, or are on ipad, etc. etc. etc. having to start by going to terminal, installing jupyter is kind of drag. But I agree that local should be an option, and there needs to be a notebook that starts with how to do it, and then have a link to that notebook at the top of all other notebooks.
Show HN: Waveform – Take Your Programmer Art to the Next Level
$2/month or $6/year.

http://www.jollyrogertelco.com/

You can pick a specific chatbot: http://www.jollyrogertelco.com/pick-a-robot
However, there are many domains in which this kind of "semantic quibbling" is helpful. Propaganda is a good example. The success of a given "pitch" might well depend upon understanding the distinction at issue here. It might be a mistake to confuse the two, or it might be to one's advantage to exploit the conflation.
I bought an HP50g, new, just a few years ago after my 48 died. I believe that they have a new one called the Prime that's still in production.

My 50g is an excellent machine.
... and here we have one of the largest problems with the federated model of decentralization. Who wants to be in a province when they could wait for an account in Rome?

Throw in a DHT and a key pair for every user and you could fully divorce account ID from instance.
Thanks a lot for the feedback. This definitely is not meant to replace or more appropriately serve learners than the methods you mentioned. Like I said it would be at most an addition to more established studying approaches, and in many cases (for mature men) just a fun thing to do/have. Cheers
Why are they rushing things?

Wouldn't it be better to wait a week to meet a public defender for a day instead of having 20 minutes with one?
Not sure why you're being downvoted. The video actually explains the ABC conjecture, which the article really doesn't.

Also, the second-highest comment in this thread right now is one explaining this conjecture.
For the rest of the sentence... I was clearly referring to the question of why someone would use a library for base64 versus the built-in function. Not getting involved in the anti-js internet pitchfork mob.
This article is much like the US rather than the UK history where we had a separate, home grown path. I think I am the last generation to have a legendary calculator in the Casio FX 82A. Nowadays computers have taken over.
It's not a lack of execute-only segment but of a read-only, no-execute segment I'm talking about. x86 has had support for that for exactly as long as it has supported no-execute, which the second LOAD segment is marked with (i.e. the one that .data goes in).

Platform support is irrelevant, systems not supporting the access flags simply gives you more access. E.g. running a modern Linux on pre-Athlon 64 CPUs will just cause all readable pages to be executable as well.
I love C but this whole thread highlights a lot of the criticism of it. Everyone's right based on some standard or switch, and everyone's wrong for the same reason.
Not to defend the ad industry, but I don't think these are equivalent. YouTube ads don't block content so much as they delay it, much like inline ads.

The equivalent YouTube ad would be if it started playing and didn't pause the video you're trying to watch.
The thing that leaps out at me is that People spend $134 when ordering online and $155 in-store. That simple stat shouts a huge amount about the changes coming. That's 15% revenue, and I expect it is almost entirely impulse purchases, much of which will be high fat high sugar content.

But losing 15% revenue is huge.

I also would ask where the joined up services are - I mean imagine we all shared some domestic services for our houses in a street.

Maid service, (vaguely) communal eating (certainly communal food prep), the same plumber and boiler services, the same x y z

I think that handing over that part of my life for someone else to think about is attractive. And it is not really on radar.

I just wonder if it is possible
What no Nazis? Can't have an imageboard without Nazis. Then you have the Nazi furries...
Or rather he's intelligent enough to understand that the real world does not function in the way of abstract equilibrium pricing models.
Introduction to machine learning using k-NN and Airbnb data
Especially given the use of generic, meaningless phrases such as "is sometimes taken advantage of because of his trusting nature". Generated profile can even be self-contradictory (I posted mine in another comment - it said both that I'm "extremely negative and pessimistic" as well as "a generally positive individual"). Someone is jumping the AI bandwagon...
I like the fast.ai forums http://forums.fast.ai also.

Would be nice to see use of cluttered mnist instead of coco as an initial toy example for teaching https://github.com/kevinjliang/tf-Faster-RCNN/blob/master/RE...
On the flip side, Alice could have Alice@alice.com thanks to federation. There isn't all that nice software for it yet, but that could be be an attractive option. It protects you from an external instance dying and links your user clearly to your other web presence.
My bad, my favorite wasn't on youtube, but infoq (thanks to them) https://www.infoq.com/presentations/power-144-chip

then https://www.youtube.com/results?search_query=chuck+moore+ga1...

https://www.youtube.com/watch?v=odBjuSCX8jE

and Kalny's videos https://www.youtube.com/watch?v=KSTjQA-iz4w
Definitely not a fan of the web client. In my case, I lucked out, the TTRSS app I use on my Windows Mobile phone was universal... It's excellent on desktop too. I never use the web interface.
Sometimes having secrets about who you are saves lives.

Being a gay in uae, being a jew in ww2 germany were probably secrets that would save lives. To less extreme, hiding ones political views in a population with opposite political view could make lives easier and fairer.
Your post is loaded with all kinds of dog whistle politics terms that make it hard to take you seriously.
So are soft-boiled eggs. Similarly, I can get that anywhere.
Consider Ionic for Your Next App
I've been using Google and Wolfram Alpha for these things over the years, but it has always irked me that I'm sending this info to a third-party, to run through their services that I have no way to read or improve the code, and knowing that these things are only available to me if I'm online. I was really happy when I found out the DuckDuckGo Instant Answers modules' source code is open.

It's been on my list of things that I will almost definitely never take the time to actually work on, but I wished what I had was (A) a browser extension or GNOME extension that incorporates an offline version of all the DuckDuckHack modules, and (B) the same thing in an open source mobile app. (This kind of thing could just as easily live in a command line app, though, and I'd be super happy if a project maintainer incorporated them into something like GNU Units.) I looked into it, especially for (B), but I realized that the DuckDuckHack code depends on Perl.
There are people out there that believe that sort of thing:

http://www.nationalreview.com/article/417997/professor-if-yo...
Thanks a lot for the suggestions! I'm not quite catching what you mean by color-marking algorithm types... would you be willing to email me and chat about it? I think it sounds cool. You can reach me at levi ..at.. coderscoloringbook.com
Sure, but other services using it will. And the login.gov account will be a handy new primary key for relating disparate databases across government resources.
They were dying long before smartphones. Cheap Casio calculators happened. I have a little $15 Casio scientific calculator and it has been all that I've needed for college and professional work. But it can take integrals, derivatives and has a general newtonian solver. It covers everything except matrices. Those are miserable to do on any calculator so I'm not missing much.

In all my life I've only ever seen two HP RPN calculators.
One belonged to my high-school chem teacher, the other to a real estate agent. If there were a $30 RPN calculator with similar functions, I would use it.

Edit: 18 years later and they still make it, https://www.casio.com/products/calculators/fraction-and-scie...

Edit2: Looks like the most readily available RPN calculators are the HP 35S ($55) and HP 12C ($50).
The other thing to keep in mind is that idiosyncratic norms and conventions pop up that are products of how people use the platform, and these have a way of turning problems into non-problems.

Maybe the network will just evolve to value interactions that aren't centered around brand pushing. Maybe it will let the rest of the social ecosystem take care of that and meanwhile mastodon will do it's own thing.

Or maybe a mastodon instance will seek to distinguish itself by providing this kind of verification and become the de-facto instance for verified brands. (There's already a mastodon that explicitly courts business brands.) Maybe we'll even discover that we just don't value such a thing that much, when it occurs on a network structured to make it easily separable from the rest of social activity.

All of which is not to say we should waive away the problem, only that it need not be a conversation-stopper when it comes to the question of whether mastodon has offers "enough" value in its current form.
Just remember - if you don't want your data packed up and shipped off for marketing purposes, don't apply for a loan from Earnest :)
You and your family also don't exist in a vacuum - you benefit from the society you seem content to watch crumble around you so "your" money (a government created instrument) you made at a job that wouldn't exist without the society around you and using services falling into disrepair and rot because you're dumb enough to conflate hoarding wealth with reading.
I try to only use capabilities that are common to all languages. Some basic math, basic conditionals, and maybe poking a file or memory address somewhere. I don't give a enough of a crap to get excited for new but short-lived features anymore.
Is that an appropriate comparison though?
Saw the links you posted, thank you.
Thanks for the suggestions! I've marked them in my notes. Graph coloring algorithms seems like a no-brainer and I really like the idea of state machines. Cheers
Particularly when you flush cookies and data on the browser session closing
Kiwix - most people are too conditioned to think that search has to happen online and don't even realize what is possible offline.

Entire web archives such as the entire dump of wikipedia and stackexchange (including media and indexes
for search) can be stored locally. The missing piece is Google level search quality on the local machine. Given that brute force substring search can process Gigabytes in seconds nowadays. If you have enterprise grade server hardware things are reaching 1000GB/s. At this rate, there is no reason to think in a couple years local search of all known human knowledge can't happen on a local device at Google level result quality.

For anyone interested in the search space look into whats possible today in local offline search.
Didn't Amazon say North America, not United States?
Not everyone has the time, inclination, or ability to read an obstetrics textbook to get the "Correct" answer (which by the way there are several "major" textbooks and they actually vary amongst themselves in the details of certain things)

How would you address that in your content? We would get lots of info from our doctors, nurses, and techs and then on the car ride home my wife (a graduate of biology, nursing, and medicine) would say "that's not how I learned it!"
Sure, with event sourcing there is another level of difference between commands, query, events. But the similarity is there.
RFCs point both ways. Documenting decisions is a positive management trait. Otherwise you can easily end up with a mess that no one takes responsibility for.

Management decisions and associated rules will happen regardless of documentation. It is better to have a paper trail.
Can't ethically perform trials on humans if you can accidentally and easily give them cancer.
I don't understand it either, but I've learnt to mostly ignore downvotes.
Care to specify which terms?
I have grown very fond of Jolly Rodger Telcom (http://www.jollyrogertelco.com/). I will have to check Lenny out.
I'm sure Amazon would be happy to sponsor a little league team. Sponsoring a city in the same way is to then be responsible for people who don't even work for you. It's much better for Amazon to stake its flag in a city that is self reliant, but also fertile for new blood.

Microsoft and Boeing anchor Seattle next to Amazon, that makes Seattle a very stable and fertile place. If Amazon moved to, say, St. Louis? What else is there to balance it out? Budweiser?
That's not google reminding you of privacy settings (in fact if you want to change those this menu is highly impractical with a lot of nesting). This is google making you agree with their T&C to go any further.
For groups, people just tend to pin hashtags at this point. Glitch.social added a feature to pin a column from a search and it looks like most instances have added it now, too. Also, there are a some instances that tend to loosely target certain themes/subjects.

I totally agree that it is a bit barebones at the moment and could use real groups and other social features. The fact that admins of different instances can hack on their servers separately might promote third party features being created and merged.
Before getting too deep in to this, how do we know it had anything to do with injecting bytecode? It's not clear that's what the Struts bug was about.
Como isso funciona
Eu quero saber como isso funciona!
Build Your Own 2.5x Super Macro Rig for $230
That's the sort of low-quality insult that isn't really welcome here, but I'll dignify it by pointing out that Warren Buffet is among those calling for higher taxation of rich people.
Programs in C and C++ can still execute data as code with buffer overflows. They're not a panacea either.
oh man even worse this guy used to work in regulation for the government as part of the Consumer Financial Protection Bureau. Such a clear case of "regulatory capture", or the process where former employees of regulatory agencies leave to go reveal all their thinking and decision making tactics to the highest bidder.
It's so fast. More websites should strip down their size to favor speed.
I'm glad to hear it! You sound you'd make a great "beta tester" for this book. If you want to send me some colored-in pages with feedback I'd be happy to put you down for a free book once it's ready! Email me at levi at coderscoloringbook.com and let me know =)
Huh, nevermind, you would be right:

https://electrek.co/2016/07/26/tesla-upgrade-software-limite...

That's a bit silly. I suppose in someways it is nice for the consumer that they have the 60kwh version if they're basically selling it close to a loss with the hope that you'll pay for the battery upgrade, but obviously it begs the question why the 75 model can't just be the same price.
This. Other than it being a hosted solution, perhaps?
It's not easy to believe, but it would be a quick billion for every credit reporting company if all Americans froze their credit.
I had a HP-67, then a 41CV which I loved. Then I moved on to the 95LX, 100LX and 12C. Today it's a 12C emulator on my iPhone that I mostly use.

I grew up on RPN, and have always considered knowing it as a "strategic" advantage.
I can see a future for apps and systems like this. Non-profits volunteer rescue. But 911 operators go through some pretty intense training on staying calm and dealing with emotions during calls. It's nice to think that anyone can jump in and help, but in reality that isn't such a good idea. For instance a 911 operator would more than likely be better equipped to handle the mother thinking about heading to the attic to escape the raising waters. Not just talking the mother out of it, but handling the aftermath if not. The other thing is a system like that needs to be fault tolerant of a dispatcher signing off, and be able to filter out bogus calls.
Not sure I understand. Both are an overlay blocking content. I suspect Google would still punish an interstitial overlay with a countdown timer that dismissed it. If you don't click, YouTube sometimes makes you watch 30+ seconds of ads.

Here's Google's post about it: https://webmasters.googleblog.com/2016/08/helping-users-easi...
I'm hearing this quite a bit. I'm definitely considering releasing a separate set of colored-in posters/book. Thanks!
I would say it was the tight integration of the TI8* into the classroom that did it. Everyone's first scientific calculator was more or less required by some course.
Two paragraphs that highlight the potential source of the problem in the sublinked article:

> Despite mathematics being a universal language, culture clash could be getting in the way, says Kim. “In Japan people are pretty used to long, technical discussions by the lecturer that require a lot of concentration,” he says. “In America or England we expect much more interaction, pointed questions coming from the audience, at least some level of heated debate.”

> There is a growing consensus that Mochizuki has over-engineered his work, contributing to the confusion. “Most of the large theories that he builds are not essential. He could have written things in a much more streamlined way,” says Voloch.

This is a problem in a lot of technical fields but also in writing in general. It's always easier to write 1000 words to say something than 100 to say it well.
LOL why bother with a calculator? 16 ÷ 8 easy! I always think of RPN as somewhat akin to using VIM (editor), once you learn it, it becomes unconscious, automatic. I for one don't see how the RPN form relies "on a more extensive cook".
As a cyclist I shudder at the thought of motorcyclists ruining the trails, making noise and generally trashing the place.

My hill walking dad curses the mountain bikers and their damage to the terrain - leave nothing but footprints, take nothing but memories.
There is a Mozilla bug from last February [https://bugzilla.mozilla.org/show_bug.cgi?id=1336740] that proposes that MDN document that particular TypedObject API, since it was experimentally implemented by Firefox. Florian Scholz of Mozilla then commented:

> The TypedObject proposal predates ES2015 and the yearly release model ECMAScript is on now. That said, the Firefox experimental implementation is not based on current standards work. I'm not sure how useful it is to further advertise or to document it in this case.

Lars T. Hansen of Mozilla added:

> IMO it's premature to document TypedObjects. I think TypedObjects are coming back, but initially to support WebAssembly's interaction with JS, and I would expect the TypedObjects' form to be slightly different from what we have now, more suited to that purpose.

So we may look forward to an eventual revised TC39 proposal for TypedObject, one that explicitly considers interoperability with WebAssembly. But that will probably take a long time. Hopefully someone will write a strawman proposal/polyfill soon.
>The idea of a connected and collected story has obviously visited and abandoned its writer again and again in the course of composition.

Sounds like my attempts at answering complex interview questions in 20 seconds before the recruiter tunes out.
Was this comment really necessary? Couldn't you just address the OP, versus unrealistic sarcasm?
I agree, Nevada is able to provide the largest tax abatements which is probably going to be the deciding factor (helped recruit GigaFactory, Las Vegas Raiders etc). 300 days of sunshine, cheap real state, low cost of living and close proximity to 15 ski resorts, plus 45 minute flights to Seattle/Silicon Valley.
How does this sort of conspiracy theory make any sense in this context? Or even in general?

If they are making so much money, why would they end the program?
Thanks a lot! Can I ask, would you buy it for educational purposes or just to have for fun? Thanks!
I mostly code in JavaScript.

Try to use FP most of the time, but sometimes a little mutation seems easier to grasp.
Well, there's also nonconvex optimization, which is not exactly easy. On the other hand, "just use Adam" mostly works...
https://www.reddit.com/r/programming/comments/6z6kje/half_of...
Ok, take all that wealth and we would spend it in one year on health care.

What do we do year two?
Even if that were true, why would that be relevant for deciding between two cities in the same state?
Physics student here. I write a lot of python scripts/notebooks, which tend to be very imperative in style. They're usually just one-off programs, and there's little in them to be abstracted out. I rarely drop into C, as numba+scipy is usually fast enough.

Other than that, I use Mathematica quite a bit for playing around with ideas. I've tried sympy, and I hoped to switch to it but it's just not as fluid and integrated.

If I'm coding for fun I tend to come back to FP and OO, I'll use either Haskell, Python or CL. I've been meaning to make something using Rust for a while. I'm planning on building a fermentation chamber (and perhaps a kegerator depending on my budget) for homebrewing at some point over the next year; I'm thinking that I might use Rust for the temperature controller.
The First Unix Port
That is a big point of contention. One side says we already have equality of opportunity, and that the current state of things is a result of a normal distribution in skills/motivations/abilities in the population.

The other turns that around and says no we don't because "structural racism/sexism/classism/etc".

So, they argue against each-other because one sees the current inequality of outcome as a consequence of some sort of "biased" fairness in opportunity. And since the other side disputes the existence of that bias, they think that what's being advocated is pure equality, irrespective of any distribution of skills/talents/etc.

It's an impasse, and we'll never get passed it until we start agreeing and quantifying the possibility that there are differences between sexes/races/cultures/ages. Only then can we correct for any supposed structural biases. It's a touchy topic, and one only need look at the type of controversy The Bell Curve book caused to understand the incredible difficulty that we face trying to conclusively resolve this scientifically.
DM-42 seems to also feature multiline display (I'm kinda assuming that it will be showing the stack?), so that advantage is mostly negated there?
You might be right, but human knowledge is also expanding, of course. The question is: will it expand faster than hardware capabilities?

Anyway, I wish we'd see more search and NLP related posts here on HN. It deserves far more attention than it gets.
Say No to Suicide Public License
Or this one for search: https://imgur.com/a/gwrjX
For those unwilling to click through, I.F. is Ivan Fesenko. Among other things, he wrote this article about Mochizuki's work:

http://inference-review.com/article/fukugen
The program entry point is actually _start (which does some setup and later calls main()) so for even more extreme TA befuddlement, write a program that doesn't even call main()!
White noise generators (aka static), there's e.g. an open source android app ("chroma doze" - named for adjustable freq distr by colour bars), or a fan works too.

I need quiet to concentrate, but curiously find the background conversation of a busy cafe just as good as absolute silence - and far better than people whispering, or eating apples, crisps or celery in an otherwise quiet area... Celery