skysight-inc/HackerNews huggingface dataset:
> One hint for what is important: Do the tasks you avoid most

There's a recently re-posted link to PG's Procrastination article[1], which argues against this:

> That's the sense in which the most impressive people I know are all procrastinators. They're type-C procrastinators: they put off working on small stuff to work on big stuff.

It all boils down as to why you avoid those tasks. Is it because you don't care about them, or because you dread their difficulty? If it's the former, maybe (it depends!) you can keep putting them off.

[1] http://paulgraham.com/procrastination.html
The Podcast used to be free.
That's all we needed to know - your primary motivation is not the max salary you can get. On that note, more power to you, I truly believe you're more likely to lead a happy life than most people.

But you're really not in a good position to advocate for open salaries - you're an outlier. Most people deeply, deeply, deeply care about their salaries. It's what gets them out of the bed in the morning, it's what makes their partners respect them, it's what might perhaps provide for private schooling for their kids, etc. Most importantly, it's what makes them feel good about themselves. Yes, those are all wrong reasons, and yes, that's how most people are wired [1].

You'll notice that people who work in academia, military, government jobs, etc all have one thing in common - they are ok with not being able to make more than their peers. They get their happiness from other things in life. But the majority of people out there will happily go the extra mile to get an extra bump in their salary. Open salaries don't allow that - everyone is treated the same, everyone works the same, everyone's output is the same, everyone makes the same salary.

If it sounds familiar to communism, it is - where I was born, everyone's salary was also the same and there was nothing you could do about it. It worked great for people in academia and military (and, coincidentally or not, those are generally the strengths of a communist regime), and it demoralized most people working in other parts of economy where there was supposed to be some competition in the market (which again, coincidentally or not, are the weaknesses of a communist regime). Notably, you won't find a lot of salary transparency in more evolved communist regimes like China, and that perfectly correlated with their economic growth.

[1] Side note: I might sound like I am wired the same way, but I actually took a 6x reduction in salary about 10 years ago and have stayed much below my previous level ever since. Life was incredibly comfortable back then, but I am happier now.
No.

The commission charged by apple is not a payment processing fee. It's a platform licensing fee, as has been common practice in the industry since day 1.

What this means is that the companies are allowed to use a separate company to charge users, and now they are required to manage refunds, etc themselves in line with local laws and the apple license.

Now they also have to manually track everything and pay apple the appropriate 15-30% licensing fee.
Switching from macOS to Pop_OS
Seems like it was fixed pretty quickly?
not the same as a car leaving the factory without a brakepad.

not even in the same ballpark.

not even on the same continent, for that matter.
Cloudflare stock is cheap right now too.
yeah, this is within Tesla's normal QC parameters. they've had roofs fall off, they've had cars catch fire while parked, they even had a car which caught fire while self-driving in the middle of the night with nobody in it.

just goofy bullshit. the discussion in this thread will end up on Elon sooner or later, but the thing to realize is that Tesla the company needs it that way.

electric vehicles will definitely replace the ICE, but Tesla's not going to be Google when that happens. it'll be Alta Vista or even Minitel. buying one of these cars is just a much bigger QC gamble than it shoild be.
FileCoin is a storage token and more of a utility coin rather than a value store.

It's really not in practice. 99% of the value is from speculation.
Moxie Marlinspike had a good take on this, specifically about NFTs being a blockchain with a web link to the “asset”. Whoever controls the server (or DNS) controls the “asset”. If I was to seriously entertain the notion of NFTs I’d at least want my token to be a hash of the “asset” in question (or hashes, computed with differing algos, in case of collisions). Anything else is a non starter. We’re one hilarious hack away from some $50m NFT being turned into a collage of dicks.
> Since Tesla no longer has a media relations department, The Drive was unable to reach out to the automaker for comment.

This makes them look really unprofessional, despite how cool Elon thinks it is.
Perhaps the laser is cheap and the loss of a plane is expensive? I guess it’s purely defensive it’s not like they are firing back
I understand the parallel. I accept that sometimes, whether it's Monet or anime, people aren't trying to be realistic. What I want to know is, why should we believe that to be the case here?
Nordic countries also have a different culture and values than we do (not better, not worse, but different). This is normal that subjects that are taboo in one area are not taboo in another area, and things that work for one culture may not necessarily work out for our culture.

There's a very specific culture in the US that favors income opaqueness, and it's not necessarily employer based. My sister in law is very uncomfortable having us know that she makes 70k a year for whatever reason. I know real life stories of people who make 150k in low cost of living area and people around them treating them like they can afford to pay for their dinner when they hang out because they make so much more then them.

We live in a society that has MUCH more pay inequality than a lot of other 1st world countries and we are a society that heavily values income and wealth over other social signals, and because of that money has become a sore subject.

Then you add the job situations where if you make a lot more than other people (maybe you literally deserve it because of the value you bring to the company) it can be an uncomfortable situation if peers find out because now the company has to justify why person X is worth more than Y without insulting them, risking a lawsuit, or making them leave.

To be clear, I am vastly for pay transparency for many reasons (especially minority and gender equality) but let's not pretend like it can just be airlifted into America's culture just because it works in other countries.
Not true at all. All camera makers take years (some times 5 or more) to update their sensors to newer versions.

And while feature updates like better EVFs or better video specs are a bit more frequent, they aren't yearly. Probably closer to 3 years for most brands other than Sony.
I actually understood your article about the lambda cube much better. Also, very nice formatting and clean design, very readable on my phone.
I know, we agree i think your entire article including the first links just sparked the same feelings as they did in you. Good job honestly!
Take a big breath, you are not necesserily doing something "wrong". It's probably that you haven't understood the full story behind those big salaries, plus you could do some thing better (doesn't mean you're wrong atm).

Some salaries are in really expensive cities. Some are fake salaries. Some people have landed great salaries by a combination of luck, being at the right place at the right time, plus good networking. Some people fake their way into high paying jobs (as in: managing to pass the interview stage without actually having the skills) and then work their asses off to cover ground.

On the other end, maybe you are not fit enough for such jobs and one would need much more info to give you helpfull feedback. Eg, send a job listing you would like to land and analyze were you lack.

But whatever the answer (other people may help in this comment section) never but never think that what a person is paid is 100% reflective of their value or the value they provide to a company. Many are paid less than what they are worth, many are paid more.
Ultimately employers are likely to place greater value on your acquired experience and ability to `get the job done'. Ensuring your knowledge remains currently viable might help ensure your future. HN can help in that regard.
OP here. I think this is completely correct. And I ended up using the same system as you -- plain text in Vim. For me, it's super low-friction and I see it all the time, so it's easy to make it habitual.
I have worked in several organisations where I have needed to be dynamic, dropping some tasks I am currently working on to take up something that is more business critical. I create a task list to keep track of anything that needs to be done, some tasks may have several sub-tasks. I add notes for each task, to remind myself of where I was in each task before I leave it to move on to something else (or before I forget). As each task or sub-task gets it gets set as finished removed / a strike through (depends on the tool being used for the list).

The list is only to remind me of what needs to be done, I will often change the order of the list depending on the changing priorities of the business I am working in. I found I need a list as trying to juggle all the tasks in my queue became too difficult and often would require some time to rediscover where I had finished off on a task before I was asked to change to something of higher priority (e.g. migrating a machine to a different version on Linux where a predecessor has not documented the build, compared to an outage on a service in production (sometimes diagnosing an issue in an outage generates tasks to be done on other machines to prevent future issues, the notes will record the relevant commands etc that will need to be run when performing that task).

I will add that I would not live my life based on the the task list, it is merly a tool to aid me as my brain gets focused on other things :D
Most of the less abstract parts of this research (generic and polymorphic types w/ variance, ADT structs/unions, even type functions) are in most modern languages (Scala, TypeScript, C++20, Kotlin, Swift, Go). Rust even has affine types

The more abstract parts like dependent types are really complicated and even unintuitive to use. See: issues with Rust’s borrow checker, or Haskell being so confusing.

Earlier languages like C and Java are mostly legacy code, they use libraries in legacy code, or they’re for developers familiar with them.

Untyped scripting languages are fine for scripts. Honestly idk why developers write big libraries in untyped languages like JavaScript and Python.

The main case where advanced formal methods are particularly useful is proving program correctness. And AFAIK this stuff is used by industry, although you don’t hear about it as much. The thing is, most programs either don’t “need” to be proved, or they’re way too big.
Your `Sum` is actually a `Pair` as well :). Should be:
```
Sum A B = (C : *) -> (A -> C) -> (B -> C) -> C
```

Note that in the calculus of constructions you can do these Church encodings of datatypes but you cannot derive an induction principle for these (only non-dependent folds). For example you cannot write a `snd` for the `Sigma` above.

As you allude to, you need a more expressive type system to derive induction principles (for example "Self types") for lambda encodings.
This is incredibly detailed. Really neat.
But if somebody can't be bothered to make the first 8 chapters any good... you see my point? There's a lot of brilliant, talented authors out there who pour out their lives and souls trying to make great work.
It would be hard to do aliasing without losing or gaining energy wouldn't it?
> I can always go to another team, or go at it myself, if the pay isn't what I want.

In industries that have tenure-based pay, you often cannot do this because you reduce your pay when you switch companies because you reset your tenure.

What you’re describing is an uncommon scenario (at least in the US) where within a given industry some employers are paying for tenure and others are paying for performance. This is uncommon because pay for performance tends to win out because it attracts the best talent, at least in highly paid fields. Pay for tenure probably results in higher average pay across a role but lower pay for the top performers.
Awesome!, thank you, I needed this!
In order of increasing risk:

- Join FAANG at L7+, or L6 and wait a couple years for your grant to hopefully appreciate.

- Join a pre-IPO (2-3 years out) unicorn as a rank-and-file senior engineer.

- Join an earlier stage startup.
There is literally no evidence who planted the pipe bombs. I am quite willing to accept evidence if there were any.

If you drove past a gas station while it was being robbed would you consider that evidence as to your guilt in association of the robbery? It may cause the police to look into you, but it wouldn't be sufficient to find you guilty.

That is why nobody involved with the riot has been arrested for planting pipe bombs.
I'm not sure about the performance model 3 and it's brake pads but you can get performance break pads that sound like that. Even ones that sqeak at low speed.

Ferodo DS2500 if you want a set for yourself. Drive to the track, track and home again without issues.
Why the leading ;?
>The price of lithium is soaring, up 280% since Jan. 2021, and establishing a domestic supply of lithium has become the modern-day version of oil security. But today, the U.S. is far behind, with only 1% of global lithium being mined and processed in the U.S., according to the U.S. Geological Survey.

>More than 80% of the world’s raw lithium is mined in Australia, Chile, and China. And China controls more than half of the world’s lithium processing and refining and has three-fourths of the lithium-ion battery megafactories in the world, according to the International Energy Agency.
The only reason why Tesla hates dealerships is because they don't want to pay them, full stop. All those horrors can also happen without dealerships, see above.

Tesla wants people to pay the sticker price without being able to haggle and wants to keep all the profits for itself.

VW can deliver EVs for a similar price even with a dealership network. Although, they also started to block haggling by demanding customers to place their orders online via their car configurator. As long as you sell it as innovation, people will jump on it, even if this innovation is costing them more money.
Whoa.

Äxzällänt Äxikyushn!

:-)
I find it hard to learn programming if I'm not intrinsically motivated. As another person mentioned, the learning curve is immense and it takes a lot of time to get a productive state.

Here's what I'd recommend:

* If you could build anything, what would you build? Have a clear vision and make sure it excites you. It could be an app, it could be a game, it could be the next GPT-3, it could be a calculator. Whatever the case, this is your north star & what you should work towards

* Forget about tutorials, focus on your building vision

* Seriously, don't overthink it - just start building

* Start small. Break it down into layers and tackle each step as you get there (eg. first I will create a webpage, then I will figure out how to share it with my friend, then I will make the webpage do something, then I will make it look pretty, etc.)

* When you get stuck, Google the problem. Don't think anyone's judging you, literally ALL 100 million developers before you Googled "javascript how to add another item to the end of an array"

* If you get stuck, have the mentality that GIVEN ENOUGH TIME you will find a solution to the problem

* Programming is a creative endeavour. If you don't know how to move forward, step away and take a break. You'll likely come back with 100 more ideas to try

* Focus on your vision. Work towards building it. I promise in a few weeks you'll be amazed at what you've managed to build
That the initial C++ was a complete hogdepodge mess, accepting every stupid proposal, and only after several years with proper standardized community proposals, it became Modern C++. Still a mess but better and almost readable.
I think it’s a number of things.

Interchangeable lens cameras now all have video features and increasingly most of the improvements are in that area. When SLRs are used for video the mirror needs to be flipped up and auto-focus system that is used for photos can’t be used, so the camera need another one on the sensor. In this case the mirror is redundant and the viewfinder can’t be used.

Tracking of fast moving subject is difficult with a SLR, the SLR cannot see the image in viewfinder mode only a focus module can, which likely only has a few hundred focus points (or less) and those points often don’t reach the edge of the frame. Additionally mirrorless cameras are able track a subject eye using AI and keep that in focus. A SLR cannot do this in the viewfinder mode as the focus sensor does not have nearly enough resolution to recognise small item like an eye or to know that it is an eye.

Burst shooting is also difficult on a SLR, for each shot the mirror needs to flip up and down and the focus module use a brief period to change focus. Canon is/was the leader in sports photography cameras. The highest end Canon SLR camera can do 16fps with autofocus, but 20fps with the mirror up. The Sony a1 (mirrorless) can do 30fps. These fast shooting rates are only possible with mirrorless cameras.
What really is the mark of a pro photographer, is composition, and control of light.

My wife is a far better photographer than I am. We could be standing next to each other, shooting the same subject. When people look at my photos, they go “That’s great!”, but when they look at hers, they forget all about mine.
That is not true. Cloudflare's ToS prohibits serving video files via their CDN regardless of whether they're cached or not.
I won't comment about the gold rush aspects of crypto right now because they're pretty obvious but regarding the PoW algorithm of Monero, I think that's its fatal flaw long term. Any coin that doesn't have a huge moat of ASIC miners backing it up is vulnerable to attack. You can't attack bitcoin without coordinating existing miners but any coin that can be mined with general CPUs could be attacked by govts or corps which have access to large general compute resources.
> ... but the real problem of the skeptics is that they can't let go of their fiat.

>But the response of skeptics will always be "but I have to convert my fiat money".

Here's a thought experiment for you. Your mother/father/neighbour's entire wealth is converted, at no cost to them, into BTC/ETH/whatever. What is their reaction?

Is it, 'thank god we didn't have to pay those conversion fees!'

I think not.
Not true, if own a certain percentage of the stock of a company you can auction of its assets and keep the money.
I thought so too but apparently only a select few universities have profitable sports programs. For most universities it’s a cost.
I thought CSS was generated by JS these days? Apparently it was too difficult to remain its own thing.
The situation on x11 isn't too different - there's basically only metacity, kwin, and openbox in the stacking WM world, plus a thousand tiling WMs.

In wayland there's additionally KWinFT, hikari, and wayfire. Although neither of them are comparable to the classic Windows/Mac WMs.
I would very much like a fiber-optic web weaved my way, unfortunately most of us are stuck with asymmetric lines from Comcast and Spectrum.
So Naval submarines patrolling waters protecting submarine cables is taxpayers funding tech giants and telcos private security!
> for the last few years, Coinbase put out the names of coins they were thinking to list, but never did. I analyzed those coins - and found they did even better than the ones that made it, and the VC-backed ones didn’t show any of the same underperformance.

This is implying a causal relationship that may be misleading. Is it that coins invested in by VCs underperform? Or is it that fraudulent or scammy coins are more likely to seek out VC investment?

Or worse, is it that rug-pulling scammers are both more likely to seek out VC and list on Coinbase to take as much money as they can and run?
There is no future in third party analytics because any "blockchain" that is globally adopted and used for more than shitcoin speculation will be zero knowledge
We're not talking about the nuclear family in opposition to single parents or blended families. We're talking about it in opposition to extended and clan families. Which is why I explicitly mentioned extended ("broader") families and communities. Obviously having a mom and a dad is good.

Come on dude, use context clues.
The people who rediscovered the texts certainly thought they had found something new and astonishing. It wasn't, oh that ptolemy, he's old hat. Aristotle became the centerpiece of philosophy.

Usefulness to daily life is a whole other different metric, and not what gp asked.
Gunks up the emissions equipment
To-do lists are useful to an extent, but I’ve found making things time-bound to be the way to go. I wrote an article about this a couple of years back and I’m still using this approach with slight modifications along with a weekly planning session on Sundays: https://www.lostbookofsales.com/why-to-do-lists-often-stink-...
One day I would appreciate to know where that perfect C++ world of yours exist in real world.

I guess I need to catch up with some Twilight Zone episodes.
But don't you use some physical system then? Setting a post-it, putting bills in a stack in sight, opening a tab and not closing it etc. to alert you of something?

I mean i'm impressed if you can do everything stream-of-consciousness, but i also own both a company and have a family and could probably get away without lists when i was 22 without such distractions, but now i need to do at least 10+ things everyday, i can't remember all of that.

I would love to simplify my life but it doesn't seem feasible..
Some build techniques simply concatenate scripts instead of transpiling etc. And there is no telling how the previous script ended (or not). I seem to remember this is done to mitigate some issues that can arise from poorly written scripts that come before this one.
Can you cite a human culture where individuals do not compare their accomplishments/compensation/etc with others?
MLPerf Inference Benchmark Suite