skysight-inc/HackerNews huggingface dataset:
When I was taking a tour in Sweden, they showed me a neighborhood in Stockholm (I forget the name) and said “that’s the apartments of the richest Swedes, but they don’t live there, all the richest Swedes live outside Sweden”.
The bugginess of the nouveau driver has been an accepted fact since time immemorial. Hence the reason for Torvalds' middle finger on the subject. Nvidia is slowly coming around but the arc of history isn't treating it well.
Tensor-based computing, as you put it, is linear algebra, and it can be simulated on a turing machine quite easily, but this has really no relevance in terms of practical use. Maybe you are thinking of von-Neumann architectures? But there is no escaping the fact that tensorflow and similar algorithms have nothing special about them that requres a different computational paradigm...
I'm not proposing a practical system, I'm asserting that such a system is reasonable to exist. Unless, of course, you can prove there are fundamental issues that preclude it. The imperfect nature of international law and institutions is not such an issue, but again a way stick one's head in the sand and abstract the real world away: "see, human institutions are always corrupted, so let's circumvent them and algorithmically dictate our worldview that rejects money laundry is a real problem". What could possibly go wrong?
You “could” teach a high school student all aspects of medicine, but it’s going to take so long for them to build the groundwork that by the time they can meaningfully contribute, you’d never make the return on investment. This is actually how medical training was done in the years prior to the Flexner report.

From what I can tell in this exchange is that you have an innate distrust of credentialing, because you think because there is some excess therefore the entire system is wasteful. I’d argue that this is the DunningKruger effect in action.

And claiming that 20% of cellular bio is unnecessary is a silly metric when in the US 70% is passing... I don’t think that logical conclusion applies.

Yes we have more tools to look up information that we have forgotten, but as another poster here says “we aren’t bootstrapping the search each time”. If there’s something we’ve forgotten, it’s much more effective knowing where to start the search.

I agree there’s a lot wrong with our current training paradigm; the cost of medical school education is #1 with several terrible downstream effects.

However, there are no shortcuts. You have to put in the time to master the material, else you are doing your patients a disservice.
I feel like even if we had a 70% tax rate here in the US, our government services (nyc subways, for one) would still be deplorable. Maybe the Swedes could run our country better? :)
Don't mean to be an inner-solar-system-centric, but we all have to respect the economics of deltaVee. I'll grant you that if we're harvesting reaction mass from the Oort, it may become moot, provided we have some way to accelerate it to high velocity. Solar thermal probably isn't practical, there probably aren't practical concentrations of fuel for fusion and certainly not fission. I wonder if Mercury has relatively easily mined fissile material?
They appear to be using Discourse, which appears to have copied phpBB/Vbulletin's decision to do the same thing for the past 20 years.
But how can you morally justify taking 70% of someone’s income at threat of violence?
housing prices are definitely influenced by supply. and homelessness is definitely driven by housing prices. so, yea.

I think it’s more likely that mental illness and addiction are bigger factors, along with an absence of good interventions and an abuse of the prison system. Statistics showing a majority of American homeless people are either mentally ill, addicted to drugs, or both certainly support that view over yours, and reveals the deep complexity of solving the problem. You can’t just shove someone from the streets into a house and call it a day, they need far more support than that.
Same here. I care about privacy. But in this case I'm willing to trade that for contribution to medical research.

Am I being too optimistic?
You also get a lower clock rate from running scalar code on many cores at once. Use of the 512-bit unit only makes the coefficient different.

That said, the biggest mystery in this article is why you'd ever want to remove all whitespace from text. Why is that useful?
A fascinating read, and a fair bit of intellectual humility in the conclusion: “To beat a network effect, you may start at point A, but you’re going to be successful only by steering to some distant point B, which will always be a related market. And you may not know exactly where point B is until you’ve gone through several rounds of innovation.”
Only if the mass extinctions happen fast/regularly enough.

We don’t really know how long it takes for intelligence to evolve, or how long a interstellar civilisation to develop, since we only have one example of the former and zero of the latter.
The Verified CakeML Compiler Back End [pdf]
Binary-coded decimal formats have more or less already lived and died (both fixed and floating point). They still have areas of applicability, but this idea is very much not a new one - x86 used to have native BCD support, but it was taken out in amd64 IIRC.
> how potentially complex it can be

Welp, time to go back to BASIC everyone. Or Go

Powerful tools can be complex, who would have thought
I don't think it is that serious yet but hopefully in time we will need to create ITU region 4, https://en.wikipedia.org/wiki/ITU_Region . The link back to Earth is relatively narrow beam width and it's doubtful a simple dish/feed setup has significant sidebands and even then at only a couple frequencies (probably ~7-8 GHz and ~2 GHz).
It seems strange to me that so much focus of tax is on labor (directly taking a chunk of what people 'earn' by actually working), vs tax on capital gains and profits (what some people 'earn' simply by doing nothing).

I use the term 'earn' loosely, because IMHO, the amount of money people manage to direct their way is a result of a complex 'business model', and many other factors - I think it's way too simplistic to say that someone's gross income is 'theirs', and that taxes are taking 'their' money.
With hardware acceleration enabled?
You’re not being paid at the same rate though.

Someone working a corporate job is probably getting subsidized health insurance and at least 15 days paid time off.

A self employed consultant will also have to pay an extra 6.2% social security tax and 1.8% Medicare tax that your employer pays.

You also have the risk of not getting clients and even if by some miracle starting out you can get steady work to fill out the time, you still have to spend time promoting yourself.
Ah, thanks for the correction.

I don't currently have a license, so out of curiosity is 0.3 == 3/10 in wolfram?
Windows has supported landscape/portrait switching since forever, I think it was already there in windows XP almost two decades ago, if not it was in 7 for sure (and it's in 10 since I use it right now).

I wasn't trying to make a comparison to Windows, or start an OS war. I'm not sure why you even brought up Windows, since this discussion is about HelenOS.

But for what it's worth, Macs have supported portrait mode since 1989†, back when Microsoft was still pushing Windows 2.

† https://everymac.com/monitors/apple/classic_monitors/specs/a...
What's more surprising is that so little is on consumption.
This is to testify to the general public about a great herbal doctor who saved my wife from Fibroid, His name is Dr. Uduehi. My wife suffered fibroid with pelvic pain and heavy menstrual bleeding for 6 years and with miscarriages. I couldn't bear the pain and sufferings my wife was passing through so I have to confide in a friend about our predicaments, she gave me doctor Uduehi's contact and I did contacted him and after she took his medication she became cured and sound. The fibroid gone, no pelvic pain and menstrual bleeding anymore. You can reach him through: uduehiherbalcare@gmail.com phone/WhatsaPP: +2347084878384
I've never seen anything say that a sports stadium doesn't add value in the sense that it drives in tourism and dollars into local business. You are probably referring to whether giving them subsidies to build the stadium is worthwhile. That's a completely different question.
Indeed.

I'm wishing for a "dumb" social networking company, where the people who run it are idiots and I don't have to worry about this kind of invasive engineering (I long ago deleted my Facebook).

There's always twitter, I suppose.
We don't yet, but we're considering it. If you email me (dan at windmill dot engineering) I'd love to hear more of how you use it.
I don't think it's possible to be too optimistic. Naivety could be an issue though.
Which is an anecdote that means exactly nothing. For example all the richest apartments and houses in London and Sydney are often owned by people who live outside the respective country. There's nothing in your story that indicates tax rate is the reason for the behaviour.
It's a marginal rate, no?
> If you go around memorising addresses then you are doing IT wrong in general. So many things depend on DNS (not just A records) that punching in IPs by default is a bad habit.

If you are debugging network connectivity, then I have a tough time believing it’s possible without typing in a few network addresses.
Show HN: Bounded Bits
Seriously amazing work. Formally verified compiler for a functional language down, with support for exceptions, GC, bignums, ... down to 5 different architectures, including x86 and ARM. Carried out in HOL4.
They could add “--ignore-gpu-blacklist” to their .desktop entry for Chrome.
What do you mean by violence?

Also, those extremely wealthy people are free to leave that country and not pay the tax rate. As long as they have enough advance notice, it's like a contract that they've entered into. The threat is if they don't hold up their end of the bargain.
That's a funny, very accurate point. I would absolutely pay 10c to have a service automatically bypass Google's CAPTCHA for me every time I encounter one.
oooooh, stays steady with the boat pitching/rolling
It's a lot like skaffold. Main improvements (for now):
) a better UI that keeps errors on-screen. Check out our demo video: https://www.youtube.com/watch?v=MGeUUmdtdKA
) fast_build allows you to do iterative container builds

If you use skaffold for local dev, a Tiltfile will take 10 minutes to write. Email me at dan at windmill dot engineering and we can pair to get you going. You're the user who would benefit from Tilt immediately.
The smartest people from my high school went to the flagship state school. The State school was essentially the ceiling of where our high school graduates went.

High school graduates from my school were simply not competitive (on paper) against the students applying to elite institutions.

One student had scored a 1600 out of a 1600 on their SAT, but was denied admissions to one of the ivies. They instead went to one of our state schools.

My high school is quite terrible and I don’t think any parent that has money would send their children to such places.

As mentioned, in the more well-funded schools, they regularly send their graduates to the most elite colleges including HYPS.

The ability level between the smartest person from high school and the students graduating from the well-funded high school isn’t anything huge. They’re probably of equal ability, yet one sends their graduates to elite places and the other doesn’t.
Not 70% of someone's income, just 70% of only the portion of any single person's income over $10,000,000 per year. Morally justified the same way all taxes are justified.
I have near zero faith in singularity benefits (if it ever happens). The more people have the less they see.
When it can make many lives much better and a single life not significantly worse, its an easy choice.
Show HN: IKEA Stock Checker
Homesless people don't eat much at restaurants and usually they are bad for business. They are an entire different issue. Housing alone won't bring them back in the econommy
think i'll spend 70% on ammunition with a focus on keeping socialism away instead.
Jokes on them, I have electrical tape on my camera lens. Something I learned from Facebook's CEO, ironically.
Sure, why not? I've seen friends assist their parents many times.
Hi Chris,

Out of interest, may we ask - How do you reconcile your carbon emission research against other ecological considerations?
Does your group use a preexisting model to map externalities / run simulations?

Many thanks
(Apologies for taking the conversation out of scope slightly)
What's interesting from a political science perspective from the U.S. is that Ronal Reagan believed that the tax on labor should be less than the tax on capital. The U.S. has shifted very much rightward on this issue in the last 40 years.
> Internally, NT handles have the first two bits cleared, and the rest are an index into a handle table that is allocated sequentially (handles look like 0x4, 0x8, 0xc, 0x10, etc.) When allocating a new handle, NT doesn't strictly reuse the lowest unused value like Linux/Unix, but it seems to prefer to reuse handles rather than expanding the handle table, so handle values are reused often.

This is a valid criticism of the implementation, but the major consideration is that this property is not baked into the API. In Unix, the next fd allocated must be the lowest fd number available. Applications rely on this property. An implementation is constrained in that it cannot allocate randomly to attempt to avoid reuse problems. The NT API does not have this problem.

> an NT file object that was opened in synchronous mode can't be changed to asynchronous mode. This can make it annoying to write programs and libraries that work with arbitrary handles, since even if all your handles are asynchronous, handles created out of your control might not be.

This is a good criticism of the NT API. I agree. A newly designed API probably shouldn't attach synchronicity to a property of a handle, but instead to individual operations.

> This combined with the fact that asynchronous handles can act like synchronous handles for various reasons (eg. NTFS compression/encryption, resource contention in the cache manager,)

IMO, this is an implementation flaw in the internal implementation of the NTFS filesystem on NT. For exactly the reasons you go on to describe — it means the async API operation cannot be trusted to be async. If I were designing this today, such an implementation would be a violation of API invariants.

> So we could stand to learn some lessons from NT, but Linux IO isn't "worse in every way."

Sure. Linux AIO is only worse most ways, and needs a thorough treatment like you've given here to really dive into the details. I think "Linux AIO is worse" is still the accurate one sentence summary.
There are lots of arguments against taxing consumption, but one of them is that in a capitalist system where growth is necessary, taxing consumption is risky. It's like disincentivizing the exact behavior you need to keep the whole system running.
The same way we morally justify taxing people to pave highways: it helps.

Also, you misspoke, it's not 70% of someone's income, it's 70% of income over $10 million. The first $10 million isn't being seized, you'll find it's quite comfortable to live on.
I would assume a lot of that is due to California's initiative process allowing its residents to put more school bonds on ballots, both locally and statewide. Georgia's initiative process only allows amendments and repeals for existing laws, and only for cities and counties.
Recent discussion about a software developer's take on living in Sweden https://news.ycombinator.com/item?id=18799643 and one Swedes opinion of the high tax rate https://news.ycombinator.com/item?id=18800067.

That discussion was mostly focused on taxpayer funded healthcare, but a few Swedes estimate that half the population feels that the high tax rate is not fine.
Nope. Just chose to not use services that suck yourself. It's easy.

Ok let’s test your hypothesis.

Camera noise

Right, I’m tagging you in this group photo and uploading it. Where’s your choice now?
I recall reading that you could make P2P connections work behind a NAT by having an external server route the connections initially. Is this not true, or does it only work in some circumstances?
Those people don't 'do nothing'.
Most have worked hard, denied immediate gratification, saved and invested.
They did their hard work log ago.
If you include payroll tax and employer payroll tax (as this example does), then the US has been quite close to a 70% rate in recent years. When the top marginal income tax rate was 39.6, once you add the FICA and Medicare on both sides of about 15%, you are within reach.

Meanwhile, actually rich people are not paying FICA, or Medicare, or even income tax. Capital gains and dividends are taxed at far far lower rates.
And who would you say are the people doing nothing while earning capital gains and profits?
Yeah. It simply means investment. Same could go for most of the well off cities in the US.
I think you're taking it a little too far when you say this has nothing to do with the bible. There are also verses instructing people to kill, rape, and enslave foreigners. As with most topics, there's enough in the bible to support whichever side you prefer.
We're a small team and we're all responsible for the same end goal. If one of us isn't pulling the weight, it's the responsibility of the others to rectify that. I don't believe the solution is to ignore the situation and "worry about myself." Especially when the resources we're spending on this employee can be better spent on someone more productive.
More representative of the opportunity space (or lack of) in the USA that the majority face.

Keep in mind Georgia isn't any whiter than California (the prototypical 'not really America's Boogeyman)
Here's a little weekend project I put together after finding it frustrating to plan IKEA trips. It basically generates a shopping list with item locations and notifies you if there are quantity issues.

The code is pretty hacky and there are most definitely bugs. But maybe you'll find it useful.
On a related (and more fundamental) note, why do we base tax rates on the first derivative of wealth (i.e. income) and not wealth itself?

What would happen if we set tax brackets based on net worth? E.g. any income that raises a person's net worth over $1,000,000 is taxed at %X?
> Alexandria Ocasio-Cortez recently suggested raising the top tax rate to 70 percent in order to raise money to fund climate change investments. Conservatives were dismayed by the proposal while liberals and leftists generally defended the proposal by pointing to the fact that top tax rates in the US were once 91 percent and by pointing to tax scholarship that says rates that high (or even higher) are optimal.

Income != Wealth

We should just tax wealth directly. We already do it for real estate (ie property taxes).

Modern technology and finance makes taxing the average daily balance of bank accounts and stock/ETF/mutual fund holdings doable. If you tax the entity that is holding those assets across the board, you don’t even have to worry about tax shelters or pass through corps. They’ll have no choice but to pass on their hit upstream.

It’s the ultimate progressive tax as the destitute have nothing and pay nothing.
Well no the rate that you tax someone at is part of the moral discussion. It’s easy to argue that forcing people to pay for basic services is justifiable. But it’s not so easy when you are taking such a high percentage of their money.
theft is never morally justified.
People who inherit fortunes, for one.
Former Scandinavia resident here (Oslo).

There are some very strong reasons why this works in the region and not elsewhere.

1) The country has a small and closely connected population. Policy makers have a very close dialogue with their populace. It helps ensure that people see the benefit of their taxes.

2) They’re socially and similarly well educated and adjusted. When people are raised with similar values, it’s much easier for them to come to consensus, in this example, on how to spend tax revenue.

3) The wealthy upper class don’t need much salary, they’re already rich and taxed more on capital gains. So a 70% income tax actually helps protect their place in society.

The ‘Sweden has it, we should too’ is really weak honestly. We can learn a lot from them but ours is a very different situation.
a blockchain doesn't uniquely add that - there are cryptographic constructs that prevent that sort of attack, such as (I believe, I'm not a cryptographer) merkle trees that enforce a causal ordering. Really, the cost of a blockchain massively outweighs the value it brings to the table. The only instance where a blockchain is needed is where you need a tamper-proof distributed consensus between untrusted parties.
Tax on consumption hurts poor people. The 1$ sales tax on soap worth X$ hurts me much less than someone making minimum wage.
In what way is this a worthy comment? You think it in any way efficacious for a country to impose a 70% tax rate to buy ammunition?
From the article: "...70 percent marginal tax rate and it kicks in, not at $10 million like AOC proposes, but at around $98,000"
Yeah the same story can be said about downtown Boston.
> It's worse than this. Nvidia does not merely not provide open source drivers, they actively preclude work on Nouveau.

If the noveau developers had true hacker spirit, they would move nouveau development into the darknet.
Wealth can be concealed. Income passes hands. You can “see” the transfer.
So Chromium should direct these users to the right place and close their ticket.
Taxes aren't theft.

And, really? Theft is never morally justified? Never ever?
Considering what has happened in many socialist countries there is also the possibility that millions of people are murdered.
It makes the government much more powerful. Imagine if Trump had 5x the power he has now.
Like sales tax or some other form? They're usually regressive taxes.
I'd love to see people spending >$1,000 on a new iPhone "for the camera", only to cover it with electrical tape.

This sounds like something out of Silicon Valley.