skysight-inc/HackerNews huggingface dataset:
Right, in a really, really ideal society, you wouldn't need to keep this kind of thing secret.

I understand salaries are already public in Norway. Why shouldn't they be? Unless you can't justify your earnings, for some reason.

I understand the 'big brother!' response to this kind of thing, I'm also squeamish about it. It does rely on a government that is trustworthy and accountable. But I don't think secrecy, paranoia, etc, is beneficial, compared to more openness.
Given that the alternatives to legal alcohol are well known, I’d imagine they feel fine about it.
Outer Wilds - Explore a solar system. Time loops.
Disco Elysium - Explore a city in a dying world. Extremely active inner dialogue.
Stardew Valley - Build your farm. Help the local community.
Opus Magnum - Puzzle game where you manufacture different alchemical compounds (secretly a programming game)
Are there any good third party clients? Does Apple allow that?
I cannot imagine how upsetting and stressful this would be, especially to individuals depending on work visas to lawfully remain in the country. Severance is some small solace, but wow. Shameful.
What really floors me is their lyric integration.

Initially I though “oh cool neat”, and although I never noticed inaccuracies, I was willing to let it to, lyric listings aren’t always 100% accurate anyway, especially for older underground stuff of people who have indecipherable vocals at times (Mike IX Williams for example)

However as time passed I noticed in a ton of the songs I was listening to, the lyrics would be missing entire verses, hooks, choruses or in occasion show the lyrics to a 100% unrelated song. There were also blatant typos, that looked like someone was quickly typing the lyrics on their phone and didn’t check to read and bad autocorrects or anything.
I keep hearing about the concept of a Lichtenstein Stiftung, some sort of trust that “owns” itself but that you can still control indirectly using a trustee. But it feels like one doesn’t actually “own” whatever is in the trust, and it’s unclear how distributions are taxed in North America.
This communicates a different thing to me.

This reminds me that thanks to credit/debit cards and IT, supermarket chains, banks and corporation have a detailed information on what I buy.

And we have no idea how they use this information. We may only assume and I don't think we would be happy if we would found out.

Not that I want the government to know too.
The context doesn't change the definition of encryption.

> It is more likely that you are trying to weaponize the words for your own designs.

Please point to where I have weaponized a word because on its face that accusation doesn't make any sense. I have not decided encryption means unencrypted. I have doggedly insisted words be used appropriately and even went so far as to give an example of mischaracterization of E2EE where I would call someone out.
Depends the Minecraft store has a ton of story driven content
>Revolution of Dignity

More like Revolution of Installing Puppet Government by western nations.
Even when it may appear that a human brain "generated something from nothing" (that is: you completely fail to account from where it could have possibly derived its output), you can always fall back to "genetic memory". Even a newborn has a lot going on that was "pre-programmed" by genetics, like a form of hardcoded training. :p
Delaware company and then all team members get set up as contractors in their country of residence. If they are in the EU they can contract from where they are from but live within the EU - more flexibility. But putting people on payroll has a huge overhead - better compensate employees to pay a local book keeper to invoice and process their payroll. Encourage people who have not contracted to research what contractor fee covers their salary. It will be tricky to compare apples to oranges when it comes to salaries, not just because of different rates in different places, but because salaries are quoted differently and have different insurances. Where I'm from there's a compulsory payment from employer to the employees pension fund of choice. Salaries are quoted to include this payment. And on and on ... very different across countries. Contractor fee "normalizes" this and places some burden on employees to research what their USD contractor fee is. Ask people to invoice a week ahead of international transfer and transfer 1-2 business days before month's end. This will result in monthly salaries being paid out on time.
Can u name the company?
Currently no problem with foreign currencies at local banks.

Though I keep a significant portion in crypto hard wallets anyway.
That would push up the price of meat for everyone.

(Really, HN? Voting down something that is 101 microeconomics to negative scores without one single argument?)
I understand that Donbas may be a western region from where you are standing, but it's an eastern region of Ukraine.
NAV is an Extremely well run org.

I believe in the system and I believe Norwegian state will do the right thing

Case in point - look at the tech platform docs for NAVs tech teams - https://nais.io/
I studied at a school outside of Rennes. I always enjoyed going for walks in the countryside. I remember one day walking on a gravel road and hearing a loud engine and then seeing a 1969ish Ford Mustang crest a hill. It reminded me of home (America).
Local community maybe, national politics, probably not.

If your country is a member of NATO, i'm pretty sure there are a few countries right this moment, that consider your soldiers on their land as an occupation.

I live in slovenia, and even we have soldiers in places like syria , and I'm pretty sure none of the locals want us there... now we, the occupying force of country X, complain about someone else doing the same to country Y.
Multithreading does not require multiple processors, it has existed since long before SMP was a thing.
Can debuggers go backward?? If I had access to that, I would probably use it a lot more... I don't think there are any Python debuggers with that capability.
I’m a vegetarian because of environmental (and more recently, ethical) reasons. I’m an enormous advocate of reducing the quantity of animal products that the world uses.

This is definitely not a “great thing”. There are much less invasive ways to influence behavior and nudge consumers to consume fewer harmful products. Like simply using product-specific taxes or labeling requirements. Or targeting the producers directly.

We don’t need to increase government surveillance, ever.
What's the worst a store can do to you, what's the worst a government can do to you?

Don't make me confirm Godwin's law about democratically elected government.
Thanks for the feedback. Did you generally encounter any bigger issues with this setup or would you do it again for the next company?

Also, where in the US did you incorporate? Delaware?
Coinbase tried to recruit me last summer. I politely told the recruiter that I felt it was all bubble speculation mania. Also the amount of equity sold by the CFO at the public listing indicated little confidence in the long term prospects.

I guess I was right? Not trying to brag or anything. Just a tip to everyone job hunting I guess. Watch what executives do (not what they say). Well, and human history of speculative bubbles.

I didn't think it was a coincidence Coinbase did a direct listing rather than an IPO, since an IPO has a waiting period for insiders to sell. I think insiders knew they had a limited window of cheap money froth.
Gas station bathrooms weren't always gross. They used to be kept pristine
Man-made Viking-era cave discovered in Iceland
TL;DR: A previously unknown man-made cave from the Viking era has been excavated in Iceland. Man-made caves in the region were first found in 2018, but the latest discovery was a much larger cave connected to the wider cave system. The cave may have served as a stall for cattle and horses.

https://www.heritagedaily.com/2022/05/man-made-viking-era-cave-discovered-in-iceland/143731
That sounds weird. I would expect a 500k donation (and probably much less) to give you access to the nationality.
> She admitted they were quite good, but there were no "bellies" (a particularly repellent portion of the dish).

I mean for, you, maybe. But throughout the eastern US, clams in all sort are not an obscure food item. Steamed clams are a common preparation (which is famously referenced in one of thr most memeified Simpsons scenes) and that is served as the whole clam not just the “strip”.

Also HoJos was pretty much responsible for popularizing the strip only variation throughout the US.

https://newengland.com/today/food/main-dishes/fish-seafood/f...

Whole fried clams may not be popular outside of the Northeast, they’re not exactly obscure.

As for HoJo style strips, it’s not like you can’t just get a fucking box in any supermarket freezer aisle. These are a Midwest food more than a New Hampshire food. Your secretary was humoring your “insistence”.

Looking at the other comments, it’s amusing how this post has pretty much drawn out the xenophobic middle American rubes of HN.
https://news.ycombinator.com/item?id=31596034
Being independent doesn't work, but you should strive to become dependent only on parties that can be expected to be reasonably rational.

A democratic country is expected to be more rational than an autocratic one. The EU was naive in trusting Russia.
Yeah but pay many thousands per year for filing taxes etc and spend years to dissolve. Along with all the personal liability as director.

UG is a massive scam in that sense, definitely not what’s advertised.
Macron?
Using GDB’s reverse execution requires you to already be pretty sure where the bug you are looking for is, and then recording a very short portion of the program, preferably just 10k instructions or so. Recording for a whole second could easily take 15 minutes. But it does work well, within those limitations.
> Presumably, we're both talking about e.g. Ada SPARK, Alloy, TLA+, etc.

It's quite difficult to look at systems like Dafny or {J,C}BMC, in particular, and say "they can only show a _specification_ is sound, but not the _implementation_.", since those systems are definitely saying something about the implementation.

Regarding "soundness", I think you're confused about terminology. I have no idea what it would mean for a spec to be bug-free; that seems equivalent to saying that a program is bug-free. Specs can have bugs for the same reason that implementations can have bugs.

Anyways, "sound" has a well-understood meaning that is quite different from the one you're imposing. Soundness is a property of the entire system, not of individual formulas (specifications). A formal system/tool is sound if the system only admits proofs of a formula F whenever F is valid in the semantics.

> But OP has not said they are in any of these industries, and I don't think it's incumbent on me to be exhaustive in listing them when it's not core to OP's question.

You're missing the point, which are the ellipses.

OP's question is "are formal methods worth it for me?"

The appropriate answer has NOTHING to do with the type of code that OP is writing or their application domain. AWS components are not safety-critical in the sense of aircraft or automotive software, and they run on commodity hardware. Ditto for financial systems. But formal methods are applied successfully in both contexts.

Again, I've used hand-rolled formal methods for Django apps as part of our deploy process and it's definitely saved us headaches.

The implementation effort took very little time. A weekend and then a bit of ad hoc follow-up work. The rise of amazing parsers, really good implementation languages for this sort of code (scala, F#, ocaml), and fantastic SMT solvers (particularly string constraint solving) means that what used to require a "huge investment" can now be done in a weekend hackathon. Hardware is also making formal methods a cheaper prospect. Lately I've been playing with a small cluster of 64 core processors during off-hours and the amount of brute force search you can do in a weekend is pretty incredible.

Formal Methods are often cheap and easy to implement, but they do have a high up-front human capital cost/learning curve. You need to know how to coalesce a class of bugs into a mathematical description. And then how to check that mathematical description against code by hacking together parsers, AST rewrites, and SMT solvers. The idea that this takes months or years of even weeks of time is pretty dated. A learned hand can get a lot done in a weekend.
Ah yes, the meat people eat definitely has more impact than the oil Norway produces.

You don't get to dectiate what people eat, imagine the other side, you are not eating enough meat, we will tax vegetables more in your purchases.
I was wondering...

Do this name changes change that people refer to landmarks in their day to day speech?

At least nearby, there are some places and companies that people still use their original name, even years after renaming.

For example as a foreigner I still occasionally refer to Mexico's capital as DF, instead of CDMX/Ciudad de México. And I've heard Costa Ricans still refer to their local airline as Lacsa instead of Avianca.
Seems like they have to do a lot of work to increase the relevance of the search results.

Query "ahrefs founder name"

Yep: https://yep.com/web?q=ahrefs+founder+name

Google: https://www.google.com/search?q=ahrefs+founder+name

The expected result is Ahrefs about page but Yep is not even close and I agree with some HN comments Google results are worse today because of tools like Ahrefs, not sure I would trust their search engine. I would rather stay with kagi.com/google.com
Touchscreen should be off in your pocket.
I’m a little surprised there’s no references to the gnu coreutil yes source. I love speculation as much as the next guy but a lot of it could be satisfied by reading the source code. It’s fascinating that the BSD code is linked but not the primary subject!

Source for yes which does all the buffer malarkey:
https://github.com/coreutils/coreutils/blob/master/src/yes.c

Source for the actual output:
https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_pla...
KDE's efforts to clean up styling and polish rough edges over the last few years has put it in a really good spot.
Sweden is similar - you can't buy a beer with > 3.5% alcohol. Subjectively, they improved the quality of these 2.1% / 3.5% beers. It was piss some 10 years ago.

Higher percentage, "normal" alcoholic products are sold in government-run Systembolaget[1]. And there's almost no cash in Sweden.

[1] https://en.wikipedia.org/wiki/Systembolaget
A few years ago I rented a house for 3000₺. Now I'm paying 4800₺ which is dirt cheap. If I were to rent it again, I probably wouldn't find it under 7000₺.

Real estate prices are somewhat proportional.

It's profitable if thought in terms of Turkish Lira. But when corrected for inflation, not really.
DRR, destructor resource release. At least that's the relevant part to me...
If looking at % of the whole, and not the amount, Coinbase looks to be the winner here?

https://companiesmarketcap.com/coinbase/marketcap/

https://companiesmarketcap.com/facebook/marketcap/
Man... failure of PCI Switching (e.g. Advanced Switching Interface (ASI)) to materialize is still a huge sadness to me. It's a shock to me how node-bound computing still is. Faster ethernet is finally semi-available, but it feels like there haven't been any real leaps or changes.
It's good they let you run Linux on the Desktop.
Yes. I meant to say that I don't see right now how Russia will stop the war, even if it is depleted of active soldiers and other things.
He was funding a Pro-Trump, Anti-Hillary Clinton troll campaign [1], which drew a lot of controversy, as the early Oculus VR audience (developers and technologists) were demographically opposed to that type of ideology.

I think he was fired because he was generating a lot of negative press/attention for what was at that time a burgeoning VR project dependent on adoption by a crowd that largely wasn't a fan of his political leanings...basically office politics.

But...he was fired with a $100 million severance [2], so it's not much of a pity situation.

1 - https://www.theatlantic.com/technology/archive/2016/09/reven...

2- https://www.fastcompany.com/90266150/zuck-pressured-facebook...
Thankfully, you're wrong - cash still exists.
It is insanely cool, and fun. For sure it would be a different type of fun with a color screen, and not all to the benefit.

For one thing, they’re somewhat expensive for little toys: $179. I bet a megacorp making 10 million at a time could do it more cheaply, but Panic seems to be doing it in batches of thousands. A backlit color screen would boost that cost. Then they’d need a bigger battery to provide the same life (~8 hours playtime), which would increase cost and maybe size.

Then yes, while the games would be cooler in some ways, they’d also take more time to develop. One nice thing about Playdate gameplay so far is that it feels very pure: just a few controls and an interesting puzzle. They’ve distilled the fun down to as simple an experience as they can.
If we make these mice strong, smart, and immortal enough, we may convince them to find anti-aging drugs for humans as well!
The point isn't explicitly connecting the cash purchase directly to you. The point is there are plenty of ways to attach payment methods directly to you and once that's happened anything else related to you can allow inference of further purchase data.

For example, store POS system tracks nearby MAC addresses (simplest to do, very archaic). You always have your phone on you. Game Over. Even if you pay cash, if you've ever paid with a bank card connected to your identity next to that phone a logical inference can be made that the cash transaction XYZ is related to pseudonymous ID ABC if phone P's identifier was present at time of purchase.

That's what the entire point of things like Google Wallet/Pay is. Another means of directly attaching payment methods to your ID. Once that bank card is connected to you all transactions for that card from any source is also connected to you. From that every ID present at time of purchase is one step removed from you.

And so it goes...
It doesn’t look like this will stop supermarkets from tracking people, this will just require them to share that information with the government, so this tracking will be in addition to the existing tracking, not replacing it. I would say that’s objectively worse.
Just went through this. I ended up setting up as a contractor sending invoices quoted in the contract USD monthly number. I had to be careful to ensure I was covering all fees, including my coworking space rent and book keeper. They agreed to cover any future travel expenses though, which makes sense but better clarify it up front.
Yea, I wouldn’t call it a replacement. It acts as a GDB debugging target; basically you connect a GDB process to rr and GDB controls rr for you. (To confuse things further, the “rr replay” command starts both rr and GDB for you, so it can be difficult to see the seams.)
I love the sarcastic tone --- it's delightful! Please keep doing that.

My point is that Alibaba is not selling counterfeit scallops. What you wrote did not contradict the comment to which you were responding.
Look at the % change compared to the total market cap..

https://companiesmarketcap.com/tesla/marketcap/

https://companiesmarketcap.com/facebook/marketcap/

https://companiesmarketcap.com/coinbase/marketcap/

Coinbase seems to still be the "winner" here.
Elon Musk says Tesla’s fake robot might be ready by September 30th
OP means the "card issuing bank" knows only the total amount spent, not the individual items cost.
How to use Tasker to block spam phone calls from a certain area code on Android
Masa Son lost $70bn in a single day during the dotcom bubble, which I believe was a record until recently when some crypto guy lost more.
If you're an Alfred user (and I think you "should" be), try creating a web search keyword for https://music.apple.com/us/search?term={query} . When it's triggered it will open up search in the app rather than your browser. I find this much more usable than directly opening and using the app.
I disagree, the people being exploited are being exploited by other Indians, there is a power dynamic which may not purely be about caste membership, but is related to a group of managers who understand power, and other groups of workers who don’t understand or don’t want to risk standing up for their legal rights, and in ever case that I was aware of the managers were ‘higher’ caste and the workers were ‘lower’ caste than the managers.
But, I’ll let others continue the conversation from here.
DNA methylation is not a technique that can be applied. It is a biological system present in your cells silencing expression of genes that are not useful for a cells current behavior. Differently differentiated cells have different "genes methylated" and thus inactivated which govern their behavior and potential for further sub-differentiation.
Indiscriminately "reversing methylation" would probably lead to a lot of "cancering".
There are plenty of good suggestions about jurisdictions, but I'd say that's not the only thing you should pay attention to

What you should check is what's the best way for each person to own their share in the company. Straight ownership might have some issues. Having each one have a company that then owns the parent company might be a way. Or having a company own your company then the founders own the parent company.
Heightened dream recall ability linked to increased creativity, connectivity
I'm Asian. The authors of the paper are Asian. But this:

> “a possible explanation may be that Asians have a greater tendency to live in collective societies and are perhaps more likely to emphasize group dynamics rather than individual prowess”

sounds racist AF
Norway is also really not a fan of cash, so they’re doing all they can to phase it out, especially during the pandemic.
> Unlike Ukrainians, the Syrians can't meaningfully fight back because Turkey is in NATO, so their forces have absolute safe harbor.

NATO won't protect Turkey if they are the aggressors. NATO is a defensive alliance.
Would make it hard to use a horse, mule or ox in that case
I am indeed another European and I do know about the issues with being a "US person". Many banks and brokers will simply immediately close your existing account or not allow you to open one.

However, are you sure that simply by owning a US company you become a US person? Because according to my understanding if you don't live in the US (and don't spend more than 4 months / year there) you wouldn't actually be tax resident in the US and therefore also not be a "US person".
I mean Coinbase has been telling people who they are for years - no one should be surprised.

I think we should be more surprised that anyone wants to work for Coinbase, Tesla, etc.
If you always carry your change with you and spend it whenever possible, your coin quantity will remain pocketable.

You gotta be committed enough to hand over a twenty dollar bill alongside a quarter, when paying a $19.17 bill for example. Rather than take in 83 cents you take in 8 (and score a dollar.)
Now you are tracked by both private entities and the state.

I don't want to be tracked by anyone, without my explicit consent, which I should be able to withdraw anytime.
That's a reasonable stance as long as you believe that no change will ever happen. Neither peaceful change from within, nor violent from outside.