skysight-inc/HackerNews huggingface dataset:
As the author notes, Leslie Lamport makes much of the same point, but more rigorously. You can find it in many of his writings, e.g. http://lamport.azurewebsites.net/pubs/state-machine.pdf

Lamport's TLA+ makes this formal. It is a language based on simple mathematics + some temporal logic for reasoning about discrete systems (software, hardware) as well as hybrid discrete-continuous systems, and is increasingly used in industy to lower the cost of software development (Amazon, Microsoft, Oracle and others). The idea of directly representing the relationships between abstractions and their implementation is the organizing principle of TLA+. For example, no program in any programming language (at least not in its runnable portion) can directly express Quicksort, as even though its specification (https://en.wikipedia.org/wiki/Quicksort) is complete, none of its steps is deterministic enough to be conveyed to a computer; the best a programming language can do is describe one particular implementation (/realization/refinement) of Quicksort. In TLA+, you can specify Quicksort itself precisely, and then show that a particular sorting program is indeed an implementation of Quicksort.
Web and Mobile Application Development Company
https://www.2basetechnologies.com
Not just more concise; less error prone.

A reasonably large number of the bugs I encounter relate to the order or number of formatting arguments not matching the slots in the format string. It's pretty hard to make that kind of mistake with an fstring.
> developers were able to build incredible open worlds with hours of dialog and tons of possibilities worth 100s of hours of gameplay on a single pay model

This is not a defence of the current state of the industry, but let's not get too rosy with our nostalgia glasses.

As the content increased and fidelity improved, production costs skyrocketed. The majority of games failed commercially. A commercial failure with a big production budget could (and regularly did) easily destroy a studio. Even a pretty big multi-title studio. The churn and carnage was dramatic.

Then with an alternative distribution and the availability of tools, the race-to-the-bottom pricing was on. Further increasing the pressure on production.

There were always games being released on the single pay model, but it was never a good risk profile for investors. That profile is almost suicidal when the investment is $200m vs $10m.

There is still a healthy single pay tranche to the industry: indie games. And not coincidentally, production costs of a 'triple-I' game are not that dissimilar to the production costs of an average publisher-funded game 20 years ago.
well see now thats mail fraud
That is certainly the suspicion. In the end, like gravity, reality always wins.
Binance is airdropping 9M Stellar Lumens
European Commission fined Qualcomm €242M for abusing its market dominance
Ask HN: Are peer to peer marketplaces required to charge Sales Tax?
I'm having trouble finding the answer to this on Google and I couldn't get any answers on Quora, so I thought I might ask this question on HN.

If I start an online marketplace for people to buy and sell goods online (All second-hand goods, almost all sold for less than they were purchased for) is it still necessary to charge sales tax on the sale of these items. If it is neccesary, is my marketplace responsible for charging and collecting sales tax or can I leave the responsibility to collect sales tax to the seller?
I second that book. Got a pre-release digital copy a couple of years back and its awesome. Physical copy is on my desk. I should make time to re-read it :)
Subdividing tiles can be more important than everything else: knowing in which tile a point lies is a fundamental operation for a spatial indexing system and it has to be very easy and efficient.
I actually do this with my programmable keyboards! There's some images on the site if you browse around :)

https://www.gboards.ca/product/gergo-kit
Yes, technically the person or company who is shipping with UPS (or FedEx for that matter) can redirect shipments. Sometimes it's expensive, sometimes not so much. Regular folks receiving do not have as much control.

I've never done it personally but when I worked at Polk Audio way back in the day they had a special application that interfaced with UPS and they could reroute things already in route. I don't know what the limits are, etc, but seems doable.

Having said that I doubt they'll do it once it's out the door.
I disagree. A fake referer is easily checked: Is my link really on the frontpage? If so: all good. If not: it's getting suspicious.
You need to change your constitution!
«Medium» – The First Decentralized ISP in Russia
Genes code for different things. Bonobo's look more like humans. I have always thought that Orang Utans were the most human-like of the Apes behaviourally, probably followed by Gorillas.
In general, the point is better made with analytical thinking, rather than math specifically, but if you end up in a place where you need the math, it is important to recognize that. Cryptography is perhaps the starkest example, but math also comes into play in reasoning about concurrency, and in determining if your proposed architecture will perform adequately.
>You'd probably learn a lot more about me by watching me walk from my office to the parking lot.

well I don't really expect the newspaper that I read to watch me walk from my place of work to the parking lot. In fact I don't want them to watch me at all because I don't expect newspapers to be in the surveillance business.

When I buy a newspaper at a store the guy behind the counter doesn't follow me three blocks to figure out how I drink my coffee at the coffeeshop, yet curiously enough this is how the internet works, everyhwere
Since it's more a matter of Joint Renew Review healing, Platelet-Rich Plasma PRP therapy seems like the most common sense and obvious mode of attack. PRP works on the meniscus in an entirely different way than surgery. This non-invasive procedure essentially allows your body to heal itself, by using your own platelets re-injected back into the area of injury.

By delivering to the damaged meniscus an extra dose of what it needs the most. your platelets, the meniscus is able to begin healing on its own. How it does this is nothing short of amazing. Platelets stimulate growth factors, which are a necessary part in the healing and regeneration process. By inciting an inflammatory response, PRP boosts an immediate immune response-the growth factors. After this stage, fibroblasts enter the picture and begin depositing collagen, the framework of regeneration. The collagen cells than mature into healthy, robust tissue. So instead of removing the injured meniscus, like in surgery, PRP heals the injured tissue, while also creating new, structurally sound tissue.

https://healthscrutiny.com/joint-renew-reviews/
I've been on trains in 6 different countries. (n=1 etc.) They all are either very expensive (compared to buses, in some cases even compared to planes). Often they are subsidied on top.
The problems we're solving when building software happen simultaneously at different levels. Some are best solved by prototyping. Others are best solved on a whiteboard. The trick is correctly identifying the problems, and then knowing which layer they belong to. If you try to code up a prototype for a design problem, you'll most likely waste a lot of time and not reach any useful conclusions in the end (or end up shipping the broken thing). If you try to whiteboard a coding problem, you can get stuck forever drawing things, with no result to show for it.

In my experience, the problem levels go differently than one could naively expect. Data structures, abstractions, module interfaces - all problems dealing directly with code - are best solved first on a whiteboard, where evaluating and iterating through them is cheap and effective. User interfaces, user experience, usefulness of a part of a program - things dealing with business and user needs - are best solved through prototypes, because you can't reasonably think through them on paper, you have to have a working thing to play with.
You seriously review every single transaction on all of your credit cards?

How many lifetime hours do you think you've spent doing this , and how much money have you saved?
Find another way to handle those issues.

If there's another way, it would lead to the same privacy concerns.

why your reason is worth paying the high price of betraying every user's browsing path to every server

First explain why it's a) betrayal b) a high price.

a proper session cookie

This again could lead to privacy concerns.
You can also get good results by dithering images and using the default bitmap importer packaged with KiCad! I posted a link to some images below, been using the technique for a while now. Not as sexy as full colour but it works with damn near all fabs.

https://www.gboards.ca/product/gergo-kit
Citizenship is an absurd requirement IMO, there are greencard holders that live and work for decades in the US without going through the onerous and expensive process of obtaining citizenship.
Correct. Now, I highly doubt they'd do it, but Amazon could take some action such as banning you from their services until you return the item. At which point do you want to own the item more than using Amazon? Could be a tough choice for some.

Though I still don't think they'd do that.
That's my gameplan :)
N26 now highest valued German startup
> I have no idea who he's talking about

This comment buried below: https://news.ycombinator.com/item?id=20467750

points to this repo "A javascript client for libra": https://github.com/perfectmak/libra-core

@perfectmak is in Lagos.
Sparsity isn't an issue, the are plenty of people in boswash. The issue is sprawl and suburbanization. Pre-WW2 US was much better for trains, despite having fewer people in the same overall area - just better concentrated.
Oh you've probably not heard of Non-Stop environments for example:

https://en.wikipedia.org/wiki/Tandem_Computers#Tandem_NonSto...
> In places where jobs are being lost and no one works people band together for crime more than innovation. The common goal being additional money.

Because they're being thrown into poverty with no way out.

The problem is not ennui.

> If you look at the wealthiest

Yeah sure, but UBI isn't going to make everyone multimillionaires.
Yet another extremely compelling reason to simply disable all javascript (and other active content) by default.
Cool, thanks for sharing. So is your micro-service architecture you described in your article for the 2 engineers or the 40? Asking because 40+ doubling to 80+ seems like a great fit for Micro-services, but 2 people, eh, not so much, IMO.
> I’m not going to entertain any counter arguments that Amazon deserves this (...)

> I just think it’s amazing how frail people’s morality is, how it goes out the window when certain conditions are met.

The condition in this case being you dismissing large parts of that morality because they are supposedly "orthogonal" (to you).

Of course it's going to seem frail to you, if you decide beforehand you will ignore any reasoning behind a moral position.

I'm willing to say it, I don't care about their loss because they are a huge multi national corporation that makes billions. Not a person, but one of those weird gigantic business machines that share our planet now. That's such an incredibly huge power differential between you and another entity, anyone pretending they apply the same moral reasoning to both is truly deluding themselves.

BTW, deluding yourself is for instance, anthropomorphizing an entity made of paper and laws, to "be a good sport" or not. Ridiculous, what does that even mean? You realize this makes about as much sense as being angry at your coffee machine if it breaks? Yes it happens, yes people do it, but no it's not to be taken seriously.

But ultimately what it comes down to is whether Amazon is legally required to fulfill these orders. Because you can give a corporation a legal code, but not a moral code.

If they are not, then that's fine, it's not like the customers had a specific right to buy a $13k camera for $100.

But really you just wrote this to feel good about yourself?

> I just think it’s amazing how frail people’s morality is, how it goes out the window when certain conditions are met.

But you're better than that, aren't you? Not being like most people. And just had to tell us about it
Why though?!

It frustrates me that the industry have to rely on fans / foreign distributors / bootleg to get an audience out of Japan. Leaves so much money on the table.

I would be more than happy to pay Eiichiro Oda and his team for an english .pdf of the latest One Piece delivered to my inbox the second it comes out.
How to Choose the Perfect Shower Faucet?
Shifting the Narrative: Decentralizing a Crypto Payment Solution
PowerShell 7.0 Preview 2
There's some non-trivial math behind the methods for defining and selecting well-formed data.
Should you be a resident to invest in a fund that purchases US real estate? The US has always been open to foreign investment.
Even without OSGi there are plugins allowing so called package names shadowing and, as a consequence, for multiple versions of the same dependency coexist in the same classpath. Rust, though, have this as a part of the language. This is a whole new level of user (or developer in that case) experience.
That sounds incredibly broken and seems to remove all incentives from reporting theft.

Given that a working justice system is what seperates capitalism from anarchy, how is this allowed to happen in America?
Yeah, big players with brand value like Google or FB do not dabble with porn or other socially unacceptable content. At all.
Most exhanges ask for KYC, so the BTC wallet would still be attached to your ID.

You need to do that with individuals, which is much harder, especially for a high amount of money.

Not saying this is impossible, but it's no as simple as it used to be.
Any relational database is based on set theory - I quite often if I am doing a more complex query will draw it out as a set diagram so I know what I am doing.
Mocking the DOM for a Node.js Environment
If I was going to write a post like this anyway (I was), why would I not use affiliate links? How do they take away from the value of the post?
Why would anyone expect porno sites to track users less than The NY Times (for example) does? I mean, it's not like they're your friends.
An Apollo Spacecraft Computer Is Brought Back to Life
I'm wondering why you felt the need to link to a definition of a word you used?
Dining in Paris is a land mine for exactly the reasons stated in this article. You can’t really pop into a random restaurant in Paris and expect a good meal. I’ve been burned too many times in the past that every visit to Paris and France involves days and weeks of research for food that is better than mediocre. (Paris is usually the cheapest way to get to Europe which is why I go so often)

Maybe it’s the proliferation of tourist traps. Maybe it’s stubbornness of sticking to the same old cuisine. It does feel like visiting a gastronomical museum.
Knowing someone who works there and wants something done badly enough to go through the internal procurement process is one way.
As someone who recognizes himself as beginner programmer, i do not consider the borrow checker as my major issue with the language. Heck, i haven't even reached that issue.

Everytime that I have turned away from Rust, despite trying half a dozen times is due to its super busy and alien looking syntax. I just can't parse the code.
Wow! Great job! This would be awesome to use together with apollo-client.
I really wish the train network was working better Europe-wide. Maybe there should be a EU train company that integrates the national ones. The network should be able to substitute as many flights as possible.

Right now, even buying tickets or just getting information can be hard, and let's not start with all the local discount cards that you need to use to make it worthwhile.
> explicitly for the purpose of understanding user behaviour.

Just to be clear, for porn sites that means who likes what sorts of porn.
He probably meant resident.
Even for loop variables like I and J and using x, y and z for dimensions ?
>The analogy of comparing the brain to a stadium of people cheering made it really easy to understand Neuralink's aims.

The problem we have is that we have no idea about the language they are speaking.
Most people don't have a problem with bad behavior if it's justified.

A good portion of my income goes to pay taxes, yet Amazon hardly pays anything comparatively. If they actually paid proportionate taxes maybe my tax rate wouldn't be so high. Getting a good deal through an error is only stealing back some value that was already stolen from me.

It's not the best justification, but I could come up with a dozen more. The play field is so drastically tilted towards the big players that almost everyone at some point feels like they were cheated by the system, and so people don't feel bad cheating the system.
So if I have the means and want to live in both the US and Spain I'm not allowed? Now that seems like a ridiculous concept.

Citizenship is an outdated concept, and not one I really agree with.
Zoom Vulnerability
Coinbase tells you if top holders are buying or selling a crypto asset
Sure. But unless you go balls to the wall about it, you're always being "peeped on" when you're online.
For me, the hugs thing about f-strings was that invalid string format characters become a compile time error (SyntaxError).

print('I do not get executed :)')
f'{!}'

File "stefco.py", line 2
f'{!}'
^
SyntaxError: f-string: empty expression not allowed

This has the pleasing characteristic of eliminating an entire class of bug. :)
Brussels has international high speed trains to London, Paris, Amsterdam, Cologne.
> Following that logic, every datapoint is a privacy concern

I think it's a reasonable login when we're talking about data points sent implicitly. In my ideal world the website just gets the resource identifier, and browser cares for the rest.
I remember that in late 90's, NonStop was marketed as having some ludicrous (7?) number of nines of uptime, but not 100%.
This wasn't arson, it was an attack. Some news reports the fuel was used on people. Sounds so far like mental illness, so perhaps 'attack'

Seems probably 30 dead.
>It would be much more healthy to have zoning laid out at the state or regional level, but regional level governments don’t even really exist in the American context, and only a few cities in America have continued annexing suburban areas into the 21st century.

Not just zoning, soooooo much shit would be better done at the regional level because it would allow the urban areas to do what they think is best for them without pissing off the rural areas (or needing their approval) and vise versa.
Opportunities Emerged After Shutting Down Shipitwise
speaking of captchas..

try solving them in chrome, and in firefox on different network and device afterwards.

In firefox i am constantly getting annoying slow ones that fetch new images after marking one.

In chrome i get piss easy fast static ones.
FaceApp Now Owns Access to More Than 150M People's Faces and Names
The sentiment, as expressed by Goethe adequately explains this human condition: “From desire I rush to satisfaction; from satisfaction I leap to desire“.

It’s a strong theme in Schopenhauer’s (and also therefore Nietzsche’s) writing. But I’ve found it most practically dealt with by Buddhism.
Sorry, are you serious or is this sarcasm? Facebook has shown in the recent months that they try to obtain data about users in every possible way. Collecting and comparing the IP address is the simplest exercise in the book. This, of course, is probably sold as "making your account more secure".

It's incredible that on a site like HN people truly seem to believe that "incognito mode" equals some sort of anonymity and that there is such as thing like goodwill of Ad companies and that they won't take whatever data that is served on a silver plate (like the IP address).

And you know what's really troublesome? One's sexual preferences are unlikely to change by a lot. Once captured by tracking companies, it's in your profile. Doesn't matter if you prevent tracking later on.
This sounds like a question for a tax lawyer. You won't be able to get a conclusive answer here, to be honest.

What if you get audited down the line? Are you going to refer them to a HN answer?
> 5. Use the tor browser for browsing porn (or any site you really do not want associated with your IP).

And in case the FBI or whatever is running your Tor entry guard, hit it via nested VPN chains.
Agreed with the comment below, the ball is firmly in your mobile provider's court. The contract will almost certainly state that service can be withdrawn at any time on their sole discretion for any suspected breaches; if you're tethering on a contract that doesn't allow it, they're well within their rights (which you've agreed to by accepting the contract) to block your service until you comply or close your account completely. You have no recourse in this situation according to their T&Cs.

They don't need to prove it and they have no obligation to give you your money back, either. Be careful.
The hearings were pretty interesting. Marcus's response to whether people banned on facebook can use libra ... "I don't know".

Also fun to hear the phrase "there's bitcoin, then there's shitcoin" from congress.
Details from other outlets are much more lurid:

A man shouted “Die!” as he sprayed a flammable liquid all over an animation studio in Japan on Thursday and set the building on fire, killing up to 26 people, authorities said.

“We have received protests against our company, not a few of them if not on a daily basis. There were murder emails including those which said ‘die,’” he told broadcaster NHK.

https://www.washingtonpost.com/world/asia_pacific/suspected-...
Try using Grace [1]. It is available for Windows, Mac, and Linux.

[1] http://commonmusic.sourceforge.net/
WebMaster
I'm a bit dumbfounded about the number of casualties. It must have been a very dreadful attack. Very troubling.
It’s difficult not to see the potential for divine retribution in this. Facebook, alongside Google, spearhead the “privacy is dead consumers, all your data are mine” assertion.

But someone dares to share FB’s data? Release the wolves.

Until/unless the actual docs emerge, we can only surmise that there’s a few ‘interesting’ gems in there - hence FB’s attentiveness to preventing dissemination.

I hope they are published irrespective of content. If we as individuals have no say in Facebook’s surveillance of us, there’s a modicum of comfort in knowing we can surveil it.

Reap as you sow Mr Zuckerberg.

—-
EDIT: fixed grammar.
No. Do all that. (Maybe). Still resources are limited. Still if you had another $x billion you could save more lives. Still you have to weigh stuff like the cost of a hip replacement saving pain for old people against a long shot treatment for a terminally ill child. You can always do more. Someone has to miss out. Who? Why?

There's no way around it.

There can't be.
Image Collage Widget
That's still ironical.

if their claims are valid or not is absolutely unrelated to the irony of that situation though.

Did anyone imply that if the content is 'ironical' we shouldn't write it or discuss it?
Gothenburg to Stockholm is longer and takes 3 hours by train, and that is with a train from 1990. That is of course the prime route in Sweden, but it still isn't fast.
Suggest a slack only meeting once a week. Then when they f up you can at least reference your earlier slack comment.