jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Uber is willing to adjust its pricing and has the infrastructure to do so in realtime. A taxi driver is rarely unwilling to go to these underserved neighbourhoods point blank - just unwilling to go for the standard NYC (or wherever) per-mile fare. Which is set down in law for good reason, but the result is a market failure.

Uber has the capability to just charge 2x the price if you want a ride to a bad neighbourhood, and I'd expect to see them doing that sooner or later. It's clearly worse than what's theoretically legally required (equal service to everyone, cab driver must take you anywhere within the city limits), and it's worse than what you get with the regulated service where I live (in Europe). But it sounds like it might be better than what getting a taxi in the US is like in practice.
you seriously asking me this? the issue at stake is not being invited solely on the basis of one's sex. Discrimination based on sex is prohibited by law
Wouldn't Microsoft be a better example of a developer holding "too much" power over Apple? I'm sure Jobs didn't enjoy having Gates' face leering down on him on stage, promising to keep developing Office for Mac.
The user is a woman: standard UX testing, only you're forced to confront your own preconceptions for having assumed it would be otherwise.
As soon as I get a certain amount of clients, I'll cut this off. I'm not interested in drinking professionally.
> However, Calculus of Constructions doesn't have inductive constructions, without which it's very hard to formalize interesting mathematics in it.

Inductive types is something I've wondered about for a couple of weeks.

I know it's possible to simulate inductive types in some formalisms, then add them as a conservative extension. I think this is how HOL-Light works - inductive types aren't in the logical kernel, but they can be added without any new axioms.

To what extent is this possible in the Calculus of Constructions without inductive types?

Wiedijk has pointed out that it's impossible to prove "0 =/= 1" in plain CoC. Is this related?

One of the original CiC papers can be read here:

Frank Pfenning, Christine Paulin-Mohring, "Inductively Defined Types in the Calculus of Constructions", http://repository.cmu.edu/cgi/viewcontent.cgi?article=2907&c...

It makes some claims about what can't be proven in plain CoC that I don't know the justifications for.
> We are incredibly lucky that their is one open platform out there: the web.

The web is great, but it isn't a full platform. You can't have a web-based device driver, or VPN, or secure email, or ssh server. You can't replace your web browser with a web-based web browser. There are things that are just not possible on the web, but that people still need to be able to do. And the people who make those things should not be sharecroppers either.
In all things, including moderation.
Its hosted on Github - https://github.com/jessehorne/jessehorne.github.io

Doing a dig on *.github.io shows github.fastly.net so probably thats why you're seeing that.
Just reading the responses here - am I the only person who has zero problem using a trackpad and keyboard with my hands for >=8 hours a day? Maybe it's that I'm not a designer and so the precision of my motions isn't such that I'd experience problems like this. I think the only problem I've ever had was back when I tried using a Microsoft Natural keyboard, and my hands were sore after an hour.

Also, good for her, finding a solution that works well for her, strange though it seems at first blush. I like her work, too.
Trump alone, maybe not. He doesn't want to do the hard work that goes into becoming a dictator. Dictators come to power very often through legitimate means and deft political work. It's not like all dictatorships come to life through violent means. It's not the case. It's going back to a democracy that HAS to be violent.

Also, if the GOP controlled both chambers of Congress, the odds that Joe Biden would be sworn in on the 21st would be very slim. There is your dictatorship. You might say that we would essentially become a parliamentary system, but I don't think that's what we were GOING for.
Because this is the Internet and the angry mob often doesn't understand how the real world works, and the cognitive load of dealing with that angry mob when said things don't go the way they've naively imagined it _must_ is exhausting.
In Western countries, certain species of animals are regularly culled because of infections they spread to livestock.

https://www.theguardian.com/environment/2020/sep/07/badger-c...
Agreed. Look at Australia. Struggling like a worm on a hook against China blocking their imports.

How Australia goes is how the rest of the world goes.
Because awk and bc are UNIX programs that precede bash and are part of any POSIX certified UNIX, whereas bash is not.

https://pubs.opengroup.org/onlinepubs/9699919799/
Any one know a node alternative to GA? Matomo is great, but for something like GA, node would be best option for handling large amount of http requests.
The quote and plus search operators are your friends for that last third. I don't think Bing tailors its search results as aggressively as Google does, so you sometimes have to be more explicit with domain-specific searches.
No, that would be 3k of 1.5 million. They would have tried the password '123456' on all of the accounts.

EDIT: I just looked at the dataset and about half of them list NULL as the password. ~3000/748,495 = ~.4%
It's the same Paul Butler that posted about A/B testing a CV http://paulbutler.org/archives/experiment-in-testing-my-resu...
We have an impending energy crisis and we're dreaming about taking our lazy asses around in flying car?! Jesus, instead of solving grid lock with fantasy of everybody flying to work (I'm sure the sky will be cluttered if it's really affordable to fly, so there goes solving your problem) why don't we concentrate on creating an efficient public transit system, something that would save us fossil fuel and help with traffic.
The Pragmatic Programmer: http://pragprog.com/titles/tpp/the-pragmatic-programmer

Code Complete: http://cc2e.com/

Introduction to Algorithms (google that one, it's hard to find a good link)

Domain Driven Design: http://domaindrivendesign.org/books/evans_2003

Design Patterns: Elements of Reusable Object-Oriented Software

The term "web development" doesn't mean much. There is web design. There is application development. When the two mix, there is web application development. Any kind of application development is hard, and simply knowing a language or two isn't going to make you a good application developer any more than knowing english will make you Stephen King. (IMO)
I'm not a flash developer myself, so I can't really help out, but I have seen quite a few demos where the page loads a flash applet that can connect to the user's webcam. See these two sites for more info:

http://blog.vamapaull.com/?p=355

http://kevinmusselman.com/blog/2009/02/access-webcam-with-fl...
It's not less than 1%. Look at the chart. 3k out of 188k
If you're interested: Russia is missing because we've got one very similar social network[1][2] that's got arguably more features and arrived to the market a year or so earlier than facebook got its russian localization.

[1] http://vk.com

[2] http://en.wikipedia.org/wiki/Vkontakte
www.libox.com - works great, no limit.
where "Recently Closed" = "Closed, but Not Yet Fully Deployed"
That sounds like an excellent use-case for armies of flying nano-bots. Well, what are we waiting for?
I think if you are a lawful citizen, appear with a lawyer and make the case public - you won't worth the effort anyway.
Accepting unwanted money from someone can have serious consequences in many cases. In some cases it is illegal - for example, accepting certain types of political donations.

In cases where you've been sent unwanted money your obligation is typically to return it, but that specific type of use-case is often not considered when people design things. If you end up in a situation where anyone can send you money and you can't return it, you're in big trouble because the sender might be causing you to unintentionally get involved in a violation of the law and leave you without any method to undo it.
Like others have said, the numbers aren't comparable between manufacturers.

Here's a neat video where they use an electron microscope to actually compare the transistor sizes for Intel 14nm and AMD 7nm: https://www.youtube.com/watch?v=1kQUXpZpLXI
> There are 250 million units of mobilecoin, and majority of them are owned by the founders. Only 37.5 million have been distributed.

more of the same cryptocurrency themes:

1. decentralization for Thee and not for Me

2. regulated by math.... aaand the developers' / founders enormous, unaccountable and unilateral leverage over liquidity.
Thanks for that! Been doing a lot of Postgres work but first time seeing that slide deck.
I have been using Duo more for audio calls lately and the call quality has been excellent. Compared to WhatsApp its much much better which often times can mimic the sound quality of a regular phone call. Ive tested in the US and with my family in India, where the connection isnt the greatest
Real wafers have the chip patterning going to the edge and this can results and often does in partial dies.

There is no reason not too so this and the edges are also often used for calibration and (potentially) destructive testing.

The only area of the wafer that will not be exposed is the notch, it’s always on one side of the circle and it’s used for moving the wafer around, this is why you often see wafers with one of the sides cut off giving it the flat tire shape.
Avoid for now if you use django-cachalot; one of the monkey patches is broken in Django 3.2.
would be interesting to compare to the Samsung Galaxy S (android phone) which has a 4" super amoled screen, Samsung claims theirs is better as contrast ratios etc are more important than the extra few pixels, but then again, of course they would say that.
You're half right.

It is just good design, but it is good, well optimized for search engines design. It's one thing to design a good page layout and write good content, but it's a whole different beast to really look at a how a spider is crawling your site or what people are actually searching for and optimizing for that.

For example, if I wrote a really good, useful article about how to lose weight, but in doing research came to find out that people search for "weight loss" 5 times more than "how to lose weight", then it would be beneficial to both my site and to searchers for me to retool my content to match the high volume keyword to target the largest amount of searchers possible.

Without proper research, I would never have known to do something like that. The articles fundamental knowledge remains the same, I just am getting it in front of more people who care.

Additionally, things like proper linking structure and content hierarchy is somewhat comparable to things like database architecture. You could toss everything into a mess of tables with random columns and call it a day, or you can sit down and really map things out in a logical and efficient way not only for performance but also for usability.
Yeah, I guess that's true.

I still reckon the parent poster should seek out a hackerspace or similar, so he can spend those nights 1 through 6 debugging his game instead of the hardware...
Oh, I know how to do this.

It'd just be nice to have a clear, concise guide to point to every time something like this comes up.

There's two parts: there is the strategy itself. And then there's everything that surrounds it: what a generic strategy looks like, how to test it, how to operate it, how to build risk models, etc. There's probably more work to the second part than the first.
Would you mind to name a few "better equipped competitors" with a) resolution higher than iPhone 4 b) IPS matrix?
Within a reasonable degree of certainty, John Perkins is mentally unstable.
>Google was based on a couple of brilliant ideas (Page rank, text-only ads, massive parallel implementation on cheap hardware) but none of those ideas were original with Larry or Sergey.

Wow. I didn't think someone would claim that Page rank was not an original idea of Larry and Sergey. It generally helps when you are writing a myth busting article to not invent your own.
the arabs do well, africans don't, who knows what will happen to the afghans?
As a recent grad working at Google, it's probably a lot like being a janitor at NASA. Some really cool stuff is going on there, but you're still just a janitor.

Google has a couple interesting projects, but most people are doing the grunt work associated with keeping a large corporation running.
Yes, and all Comcast sufferers in the US.
I suggest restoring the original title of the article, which is "Three thousand reasons to choose your reading carefully". The purpose of preventing titles from beginning with numbers is to get rid of things like "10 things you need to know as an entrepreneur", but in this case the number refers to the number of books, so the pattern has overmatched.
Awesome compilation! Thanks for the link. I randomly went on a chiptune binge on YouTube a week ago to see what I could find. I made a submission [1] of a video (Black Light Machine [2]) I found because I thought the visualization was really interesting, and the music was really well composed. It's a fascinating genre of music. One of the original sources where I discovered it was
on Linus Akesson's website [3].

[1] https://news.ycombinator.com/item?id=8873614

[2] https://www.youtube.com/watch?v=ik8Bv8KMk7E

[3] http://www.linusakesson.net/
That's because the inheritance in abstract algebra is so bloody obvious. At least when I studied math, it was the first subject in which the template was:

Let's define something, and consider what we can figure out about it.

Now let's add another property, and see what we can figure out.

Now let's add yet another property, and see what happens.

Etc.

One winds up familiar with the whole progression group --> abelian group (although not much time is spent on that one) --> ring --> integral domain --> unique factorization domain --> principal ideal domain --> Euclidean domain --> field.
$150 billion in cash says otherwise.

Apple could step in at $1.5 or $2 billion, at twice the valuation, and the deal would be theirs most likely.

If not, then for the same price tag, they could just launch their own network.
I use a WASD keyboard with brown switches. Love it. You can customize your colors and layout too. I went with an all black with blank keys. Looks really nice.

http://www.wasdkeyboards.com/
> HTML5 actually standardizes a lot of features that Microsoft implemented years ago - shadows, gradients, glows, embeddable fonts, opacity, etc

Embeddable fonts are CSS, which is orhogonal to HTML5. Shadows and gradients are in <canvas> 2D context, but the well-known ones are also CSS properties, not HTML5.

SVG is based on VML. Microsoft proposed it to W3C (http://www.w3.org/TR/NOTE-VML), and W3C developed it further until it became SVG.

Microsoft's shadows, gradients and opactiy were based on DirectX filters with own horrible syntax, that didn't even tokenize according to CSS syntax. It couldn't be accepted in original form. Current syntax has been mostly invented by Apple (but gradients have been deemed too ugly as well, and spec went with Mozilla's syntax).

Microsoft's APIs may have been first, but they're not pretty. PPK calls IE-derived drag'n'drop API a "fucking disaster": http://www.quirksmode.org/blog/archives/2009/09/the_html5_dr...

Sadly, lots of Microsoft's and Netscape's Browser War-era inventions are in HTML5 only because lots/high-profile websites rely on them.
Here's the Youtube channel link: http://www.youtube.com/user/JamesBurkeWeb

Big thanks to the OP for sharing, though my productivity is about to nose dive.
Guessing no, because of the Node.js plugin architecture ("need to call into C or C++?", "full access to the filesystem"). Really only the UI seems to be done in WebKit.
Is it absurd? My leap seems smaller and more logical than the alternative. The technical fact is that each of these features exist, and are used daily.

A device which does not have a hardware cutoff switch, which you've allowed to listen for it's own prompts ("Hey Siri, etc") can listen to you. So far we're all speaking "current knowns". Nothing about that is conspiracy.

The trust part is "storage of data received" and "use of that data". Sure it probably does not today - but will the terms of service change tomorrow?

An example parallel are Alexa devices listening, and accidentally storing whole convos.
Yes. I think he has done a ton of damage and set computing back at least a cumulative decade. But it's also better that he does something decent with his money. Both can be true.
> Yes, monarchy in it's original/natural form is horrific. It's essentially a dictatorship, no different. But I'd money and a ceremonial role can grease the wheels for a peaceful transition is that so bad?

Not saying its bad, just saying they wont do it. Theyre already rich beyond imagining- sadism and abuse are rampant, and the public doesnt seem to care.

Like seriously, how much cash will it take to convince the saudis to go ceremonial? Meanwhile another gay person is hung and a dissident is assassinated. That all said .. seems to be what the region “wants” - displeasure isnt high enough yet for regular folk to demand change.

In arabic there is a saying “the people earn the ruler they deserve”.

Beyond the short term moral qualm .. its just a step in the development of these countries - it could - and i was - worse. Better wiser days will come.
True, and with $1M you could have a serious discussion with CDPR about licensing the bits you want.
It's unnecessary with AssemblyScript due to AS is just subset of TypeScript and can transpile to ordinal idiomtic javascript. Also AS already uses binaryen under the hood and can produce asm.js via --jsFile, -j command line.
I don’t know whether you’re just making a statement or you weren’t aware, but this is about consensus in the technical sense; which is a case in which it is often necessary.

Social consensus is a whole different kettle of fish.

Predictive markets don’t need consensus, because they can be wrong. We have certain correctness expectations for other systems, and for those, reconciliation/fixing-it-after-the-fact can be more pain and effort than it’s worth.
> Just specify URL and let your build tool download library there.

All build tools let you do just that. Many companies set up internal mirrors and encourage/force employees not to use Maven central and third party repositories. In fact, Maven central will blacklist IPs that generate too much traffic.
> None of that is true for the 16 bit era.

It surely was, if you were attending Assembly, Breakout or any variant of them.

You seemed to only have lived through game consoles.
>It simultaneously reminds me of both George Bush's classic "You're either with us or against us", and of the old joke, "There are 10 kinds of people in the world, those who understand binary and those who don't". All three are superficially correct but utterly useless and needlessly divisive statements.

Not a very good comparison. "You're either with us or against us" was not a 'superficially true' statement, it's a false dilemma.

http://en.wikipedia.org/wiki/Youre_either_with_us,_or_agains...
I don't think the premise is bad, but we're pretty good about separating REAL consequences from contrived ones.

Example:

Several years ago, I put a $100 bill in five different envelopes (w/ no return address)... all addressed to a guy I really, really dislike. I gave the envelopes to my housekeeper and told her that every week, we'd measure my weight and compare it to the previous week. If I didn't lose weight during the week, she was to mail one of those envelopes. It worked for 2 weeks, but then I gained 1/2 lb during the 3rd week and I pleaded until she handed over my envelopes.

I think there might be a workable hack here, but it takes courage to make the consequences real and irrevocable.
It's hard to say. If a new development means 80% of the local population have to move somewhere farther away from jobs, then yes, an empty lot would be better. You assume the empty lot is a zero but it's just somewhere on the scale. It is easy to imagine a scenario where a development provides negative impact to the poor in that community. An empty lot isn't the floor. It's just a place to measure from.
Without knowing what his next project is, maybe I'm mis-reading the statement; but I took that as more of a condemnation against the web than against Javascript specifically.
Thanks, bduerst. We'll follow up over email. We do support batch queries by uploading spreadsheets.
Are you kidding me? that's what you call concrete evidence? aside from the FBI and the media repeating what the government says there is no evidence.

So please don't pretend this Echo chamber does prove something.It doesn't.There is absolutely no evidence NK did it.

At least during the WMDs madness,the Bush government tried to make a case.Now they don't even bother.Why would they? with people like you,they just have to point fingers at a country and say "let's go get them".
A Google evangelist recommends following the example of a site which pushes its page menu through uncrawlable JavaScript. I'm disappointed.

And did they just reach a high rating with their front page (which is not impressive considering the tremendous backlinking they must have), or are all their pages and all the terms on all their pages ranking equally well?
Sounds very interesting. Can you point to a paper in the area?
2 or 3 char names are great in my opinion. Think about how recognizable pg is around here.
For the record, I'm not trying to start a silly argument about philosophies or whatever, I'm just making an observation that many people who are not techies don't really care if you're using a guy in tights or a movie about coffee.

FWIW, my company already offers these same services, (in addition to many other). These days, you'd be foolish not to, since it requires such a trivial skillset (as far as webdevs go anyways).

I did mention that I liked the domain name. I just wasn't all that impressed with the quality of the demo (both in terms of pizzazz and code quality).
I didn't know what the hell was going on. I got a message a couple hours ago saying that Skype had crashed. Not that it couldn't connect or anything, but a "Unhandled Exception blew the sucker up. Feel free to totally fail to load this in Visual Studio" message.

I didn't try to restart it, since I very rarely use it anyway, but I did find it quite odd since I've never seen that happen to Skype.
Cops can be very intimidating, especially for people who do not know their rights.
Yes, Google wave incorporated that as part of it's platform which would be cool for building Google Wave apps since it's already baked in. For other programs though, it seems like it would just be a matter of persisting the undo data. This data could also be source controlled allowing you to peer into the process of developers before you and gain a better understanding of the code. Keeping all your history in Photoshop would also be awesome. I wonder why apps don't do that more often. It seems like such an obvious and kick-ass feature.
When I read that sentence, I felt like I did the last time I ran out of sex.
honestly, you're right. It was just my initial reaction and the first words to come to mind when I wrote the title in my haste to get it out.
lol, well the slow motion trainwrecks are, in my experience, about a quarter of that. But it's still enough for a comfortable life, especially if you have a side hustle or you're self-teaching stuff that will help your resume.
> It felt ancient back then too!

Sir, the politically correct term today is..vintage.
Well, Python did set up a standard - pyproject.toml. And it's what poetry uses. It's just, uh, "light".
I don't think there's such a thing. Life is hard.