skysight-inc/HackerNews huggingface dataset:
> It looks like one of the ways they do this is by letting you define functions that only use typed variables which is something I would like to see make its way back to CPython someday (that is optionally enforcing typing in modules and getting some performance gains out of it).

This is already how Cython and MYPYC work. You add standard PEP-484 type annotations, and they use that to infer where code can be compiled to native instructions.

https://cython.readthedocs.io/en/latest/src/tutorial/pure.ht...
I literally said that other interests hold outsized power. Not sure what your goal is here.
I suppose I shouldn't kick up dust here, because I left EDA programming...

But man, EDA programing is not one of those things you can just take a 6-week bootcamp and start hacking away on. Typically, you eat raman for 5-7 years to get a Ph.D., then you spend 5-10 years as a newb making your chops. And nobody takes you seriously until you've done the "cursus honorarium" of working for Synopsys, Cadence, and one or two chip companies.

Virtually every problem is NP-Complete, and the problem size is doubling every few years because of Moore's law. You need to learn circuit theory, computational geometry, optimization, transmission line theory---and you've got to keep up with all the cool programming techniques, like lock-free programming--because you are working on next-generation sized programs using this generation's computers.

What I'm trying to say is that its like a 20-year journey to be able to write this kind of software. And now, you've got to compete against....free?

I agree schools need access to these tools, but if we are going to make Chip Fabrication a national priority, we'll need to spend money not just on subsidies to billion-dollar companies, but we also need ensure that there is a solid pipeline of skilled and trained people to make the whole thing work.

Cut the schools a check big enough for them to buy the tools they need at a price which is commensurate with the expertise it takes to build them.
Who knows, maybe the product is stable and wildly successful.
You ran FastAPI app proper server like Uvicorn?
crypto in and of itself is a really cool and valuable tool. the hype bubble around it and subsequent power/environmental consequences are not good - but the tech is cool and should be appreciated. blockchain is also a great tool for the right usecases (distributed ledger)
There's also fireflies.ai
> Yet somehow we're going to hand over power to AI such that it destroys us.

Because it will create shareholder value. Until it doesn't.
Extended support is very difficult to provide in a way that fits into the expectations we have for robustness, app compatibility and security beyond the lack of incomplete patches. For example, it would be easiest for us to move the Pixel 4a (5G) and Pixel 5 to Android 14 QPR2 to avoid having a separate legacy Android 14 QPR1 branch where we need to apply backported AOSP patches which sometimes don't apply cleanly. However, the Pixel 4a (5G) and Pixel 5 do not officially supported Android 14 QPR2 but yet had a bunch of changes related to it done to their repositories. We also build the vendor image ourselves rather than using a prebuilt one, so it always gets built with the latest SELinux policies, HALs, etc. available in AOSP. Quarterly releases are now trunk-based so it's similar to the major yearly releases. Moving Pixel 4a (5G) and Pixel 5 to Android 14 QPR2 is entirely possible. We could revert the QPR2 changes for them and use a QPR1 vendor build. The issue is that we know there are going to be regressions, and we do not want to ship dozens of serious bugs to users which we then have to invest substantial time in resolving. It's all time taken away from our focus on privacy features, security features, trying to have perfect app compatibility beyond apps forbidding using a non-Google-certified OS, etc.

We're very happy that support increased to 5 years for 6th generation devices and then 7 years for 8th generation devices because we will no longer feel the need to do harm reduction via extended support. It will save us a huge amount of time and concern about people continuing to use these insecure devices.

7 years for a phone that's used as a main personal phone is a long time. Most people aren't going to use it that long, particularly a flagship phone. It mostly benefits people buying it used. It would be quite strange to buy a Pixel 8 Pro and use it for all 7 years. The audience for using a phone that long is probably going to buy a cheaper phone. The main benefit is to someone buying a used device where it still has 4 years of support after someone replaces it after 3 years. We aren't a fan of people unable to afford new phones getting insecure used devices. This is a big step towards that not happening anymore. 7 years is longer than iPhones have been getting full support updating them to the new major OS releases with full security patches.

We worry a lot that we're encouraging people to keep using insecure devices by providing extended support but we feel we have to provide it with how many people are clearly still using the end-of-life devices. However, how much of the amount of people still using them is because they think they are fine due to continued GrapheneOS support? This bothers us.
> AGI, which to me would imply emotions and consciousness

no, what the "doomsayers" are warning about doesn't imply either.

> we're going to hand over power to AI such that it destroys us.

We're not going to notice something get much smarter than us, or those with power won't care in the name of falsely believing it's increasing their own power (VC).

Recursive intelligence improvement with a mainline into the beliefs of every single human in power will be able to, on the millisecond scale, subtly influence all of humanity in ways we are too dumb to comprehend in furthering its original goals.
There’s a lot you can do with ‘separation of responsibilities’.
> Do you expect everyone to read every line of code to understand every commit?

Do you expect everyone to read every commit? I get the impression you have the wrong focus.
Because it will help us against our adversaries.
I have read 5 and whatever is available on 6. I am good friends with a reviewer for the technical section.

IPCC is a “governmental” report that is driven by political and big money interests. The tech section is nothing close to a honest, blind review of science that exists.

If you take IPCC as a gospel of climate science, you, sir, are naive about the workings of the real world where money interacts.
> FWIW, a friend of mine (and not "a friend of mine")

What? Do you mean a coworker or something as compared to a friend?
> Whenever the Mexican economy recovers, criminality tends to recede.

Or could it be that whenever criminality recedes, the Mexican economy recovers?
You're correct that it was my position at one point, but it was around 4 years ago and a lot has changed. We did used to say iPhones were more secure from 2014-2019 but it started shifting in 2020 and then especially in 2021-2022 as AOSP, Pixels and GrapheneOS got to the point where we were confident what we provide is better overall for security. It's the same for privacy now overall, but there are areas where iOS does better on privacy and we're prioritizing fixing that by doing better than iOS in those areas such as clipboard privacy where Android is still weaker.
Very true. But, at least if the government is democratic, then the public has (at least in theory, maybe not so much in practice) the ability to vote for one that will direct the money in the direction the public would like the money to go. When it's a private individual, the public cannot do this. You could have the entire country disagreeing with what Philanthropist X donates their money to, and it doesn't matter. There is no way to stop him.
> The assumption made here is that relative velocity is the only method that would redshift light.

Not in our actual model of the universe, no. The redshift of light is determined by the spacetime geometry and the worldlines of the emitter and receiver. That is a general formula that works in any spacetime.

> Gravitational redshift is a thing

Not for the universe as a whole, no. Gravitational redshift is only meaningful in certain kinds of spacetimes, namely stationary spacetimes (which, roughly speaking, describe objects that either don't change with time at all, or which are periodic, like a rotating planet or star). The spacetime that describes our universe as a whole is not stationary and there is no meaningful concept of gravitational redshift.

> our model of gravity is incomplete

In the sense that we do not have a quantum theory of gravity, yes. But that does not affect anything under discussion here. Our current theory of gravity, GR, works fine for treating the expansion of the universe and whether or not it is accelerating.
True in theory, but in practice the tax increase can act as a collusion signal for the entire industry to raise prices all at once.

Arguably food price inflation has been like this. Clearly the market can withstand it if everyone moves together.

All this is not to say that taxes should never be increased of course.
If it stops being sustainable, I'll change my policy. I'm willing to change. I'm always revisiting my policies / listing / amenities / etc.
Right with you there. We are going to cause the universe to implode tomorrow afternoon if we don't rewrite everything in Rust though.
trying to wrap my head around how this would be enforced.

what if 51% of your server duties are handling API requests for your SAAS or some bullshit product, and 49% is crypto? is your electric bill crypto related or is that just something you do with idle power?

or you start a company that builds battery storage to accumulate energy off-peak for some admirable "green purposes" - meanwhile another company (that you own) is a customer of this and uses power from that storage facility "free of charge" since it is a humble research project.

so many ways to loophole this.

power is power, if you are paying for it you should be able to use it how you please. considering marijuana is federally illegal, shouldn't power for grow operations be treated the same way? it's a slippery slope.

if they want to disincentivize crypto they need to do something about the tragic state of the us dollar.
They're smoking $.

It is blatantly obvious that most people aboard the e/acc train can hardly hide their love of making money. Marc Andreessen owns, what, a $177 million compound? Unfortunately, after many years of nerdy idealism, Silicon Valley ended up with many corrupted to the same NYC Wall St. hedonism.
The genie is out of the bottle, you can't just undo the last year of progress and knowledge. Even if the US took this drastic step, there will be other countries that will push forward. Or private interests. Or well-funded terrorist organizations. Etc, etc, you get the point. Much better, in my opinion, to stay ahead of the curve and tackle whatever issues head-on rather than burying your head in the sand, hoping for the best, and pulling out the surprised Pikachu face when someone else inevitably pushes state of the art forward.
Cool, I use cactus js for the comments too until I find something that doesn’t require Javascript.
No, I don't record myself directly. I usually use it together with a HDMI capture module to record meetings. My work only allows recording Teams meetings to Microsoft Stream which has really crap quality and we can't download from it so I can't edit them, and we can't install any software like OBS directly on our laptops.

Sometimes I need to archive trainings for later use. So I use the HDMI out to record it from another computer. Then I can edit the video to make it more to the point, add some on-screen popups etc. Then I share those on MS Stream (because unfortunately that is the platform we have to use despite it being crap).

It's a bit of a workaround but it does the job. The cheap Aliexpress HDMI dongle does the job admirably, it gets really really hot but it survives the day :)

But green screen yeah no never tried that, sorry.
The internet was TINY in 2004 compared to today.
it’s shocking that product mix wasn’t slide on reporting

but marketing selects for positivity not objectivity

the facts and only the facts that support what they do
Unfortunately we use Telegram because we're hip™ (also because the UX is 100x better).
Ask HN: What does a neighborhood network look like?
It can happen any time there is a mix shift in the underlying quantity of the subgroups. It's just that random changes in quantities are not likely to be studied or reported. It's easy to generate manually though.
> why don't you add an extra tax on ... yachts

They tried that, back in November 1991.

https://en.wikipedia.org/wiki/Luxury_tax#United_States

It covered more than just yachts, but the biggest loser was the yacht industry, which saw sales plummet:

[quoting wikipedia]: The federal government estimated that it would raise $9 billion in excess revenues over the following five-year period. However, only two years after its imposition, in August 1993, at the behest of the luxury yacht industry, President Bill Clinton and Congress eliminated the "luxury tax" citing a loss in jobs.[6]

Atwood, Liz. "Boat dealers predict sales increase Luxury tax repeal helps ANNE ARUNDEL COUNTY BUSINESS". baltimoresun.com. Retrieved 23 August 2019.

[end wikipedia quote]

It turns out that luxuries are just that, luxuries, and the rich were more than willing to "do without" yet another yacht (or other luxury good) while the tax was on the books, and the tax never netted the "budget gains" its proponents predicted it would net, due to sales of all the taxed goods dropping off precipitously.
Your airtight logic astounds me.
Also, they are already taxing crypto transactions. (They are treated like stocks in the USA)
Obsidian's own file format might have merit, but posting it as an "open file format", "created to provide (...) interoperability, and extensibility to data created with infinite canvas apps"... and then publishing 1.0 without consulting with anybody else... is rather egregious, I think.

I agree with you that posting Obsidian's spec to start the conversation would have been welcome, but this is not what they did.
> no artist can hold the honor of having invented generic “photography”

That’s entirely beside the point. Copyright still applies to photographs, and training has been occurring on copyright-protected photographs.

> It’s a failure mode

It seems like maybe you didn’t fully parse what I said there, which wasn’t about reproducing works closely enough to violate copyright, it was about the broad goal of AI, which absolutely is to train on fixations (in Copyright parlance) and be able to produce mashup results that mimic the inputs as closely as possible without breaking the law. Because the goals here and the design intent here are to skirt the legal lines, it’s not at all surprising that sometimes we will cross it, whether it counts specifically as overfitting or not. When the broad design goal combined with users and prompts seeking specific outcomes is riding the line between mimicking style and clear copying, we’re basically priming the overall system to live in a legal gray area.

This is outside the question of whether consuming copyrighted training material is legal, regardless of whether any reproductions occur. Watching copyrighted movies is not legal, I don’t have to share them with anyone else. Why should AI training that consumes copyrighted material even be legal in the first place? (Maybe it’s not.)
The “luxury car” label gets applied to anything that isn’t aggressively cost cut IMO. True excessive luxury cars do exist, but the label is basically meaningless at this point.
This will push it offshore, which is still a win for US consumers.
> corporate tax increases will just get passed on to consumers...

Like how the corporate tax decreases in 2018 got passed on to consumers...right? Don't we all remember the big deflation in the past 6 years? And all that money was totally not used for stock buybacks and what not, right?
Taxing profits is similar (but not identical) to taxing all investment returns. From the company’s perspective, it reduces the value of domestic corporations to investors (thus advantaging foreign corporations). From the individual’s perspective, it reduces investment incomes (including those funding retirement accounts). In this way, it is passed on.

From another point of view, individuals (are supposed to) react to taxes by reducing 'luxury' spending, but businesses don't enjoy luxuries, only their investors do.
I pay my cleaners to make sure the home is clean. Simple as that.
> I honestly cannot understand why crypto exists

https://en.wikipedia.org/wiki/Hyperinflation_in_Venezuela

https://en.wikipedia.org/wiki/Hyperinflation_in_Zimbabwe

https://www.usinflationcalculator.com
Fortunately real world employers usually don't have to hire on the spot.
How about any private jet with a politician on board?
A win for Proof-of-Stake?
You would have to come up with an explanation for such drifting to be occurring across the entire visible universe in precisely the same way, across billions and billions of light years.
It's absurd to tax something that can so easily migrate to a different country. Of course, crypto mining is absolute wasteful crap. But this tax doesn't decrease the global crypto mining rate: all it does it shift the mining to a different country. And: unlike a lot of industries and heavy manufacturing, the local impact of a crypto mine is very one-sidedly positive—large amounts of cash injecting into the surrounding economy, particularly the energy sector and everyone who works in or profits from it.

I do agree that (this type of) crypto mining is a sad waste of resources, and globally suboptimal for the world economy. But there's more to rationality and to morality than making performative gestures against bad things.
https://archive.is/8FFkP
> A billionaire pays $1 less taxes for every $5 they donate. So as long as charities are >20% as effective as government, the public is better off with a $5 charitable donation than collecting the $1 in taxes.

Only if the public's good is aligned with where the donation is going.
Do you think the current amount of energy in the universe is 0? If not, how was it created?
It's a code of conduct of UK reporting even if it occurs outside the UK: "the UK press reporting standards discourage reporting suicide methods"
We live in a world where proven maniacs (e.g. Putin) have access to an arsenal of nuclear weapons that can essentially make the earth uninhabitable for all humans. That's a very real possibility (with no ifs and buts and maybes) that exists now and we have learned to live with it. Yet somehow the hypothetical scenario of a human exterminator super-intelligent AI is getting all the coverage.
What's your score in Firefox with extensions disabled?
> The problem is how can you protect honest charities and prevent these shenanigans?

Get rid of tax deductions.
Think it though. If you could make more money long term while using cheaper ingredients or similar cost saving measure then what's to stop you from doing that without the tax increase?
He's specifically proposing a ban lol
> galaxies further away are moving faster than that

No, you have it backwards. Accelerating expansion means, roughly speaking, that we see galaxies further away moving away slower than a "uniform" expansion would predict. Remember that we are seeing galaxies further away as they were a longer period of time ago--so "accelerating expansion" means the universe was expanding slower then, when the light was emitted, than it is now.

Actually, though, we don't observe the distance to a galaxy directly. We infer it from other observations. The actual observed quantities are redshift, brightness, and angular size, and the relationship between those three observed quantities is what tells us the expansion history of the universe.
The secretary problem only applies if you have to reject candidates before you’ve interviewed them all. Specifically it’s formulated as each candidate needs to be either accepted or rejected immediately after their interview.

That situation obviously doesn’t apply if you’re interviewing many candidates on the same day and comparing them to each other. As a result to optimal strategy for the secretary problem also doesn’t apply.
> 30% excise tax on electricity costs associated with crypto mining

Curious how you measure that electrons are flowing towards silicon calculating hash functions but only hash functions where the output is not used 99.99% of the time but once in a while goes into a bitcoin block.
The U.S. government (federal and state) spend more than $10T annually. By comparison, the top 1% wealthy Americans combined donate about 1% of that amount ($100B) annually.

Furthermore, government spending is ostensibly in the hands of the people via our elected representatives. It took me about 15 seconds to Google the San Francisco city budget and see that the city plans to spend $200M(!) on the city's public library this year.

We are not at the mercy of rich people we don't control. Instead, we are at the mercy of the people we elect, who we do control. As things should be.

Sadly, we just don't seem to care very much as a populace. Government budget breakdowns don't make headlines, whereas information about the spending habits of the rich tend to capture our imaginations.

It's also worth nothing that in his prime Bill Gates was not the philanthropist he is today. He "retired" into it. I'm not sure why people have expected Musk, Bezos, etc. to do in their primes what Bill Gates is doing in his retirement.
Are we arguing over the difficulty of loading soap and pressing a button? Yes, it would be possible for the cleaner to do it, and I don't negatively review a guest who doesn't. But it makes things much easier if the cleaner can simply unload upon arrival... and once again, helps keep pests at bay. My property is in the woods and it can be a challenge.
That just sounds like hell.

The densest cubicles I used (just before the open office fad took over) were, IIRC, 6 by 9 feet. The company previous had 9x9 cubicles but shrunk them to pack more people in. The 9x9 cubicles were actually quite nice as long as you didn't have a building column in the middle of yours.
Definitely charge an extra tax if you're using Ruby...
Isn't it still a win for the economy if the production that would have been wasted on yachts is instead invested to further increase productivity?
there's central box(es) that look like this that connects nearby homes: https://i.imgur.com/W2L7Nz3.png

Fiber often go to these boxes and then copper to your home, and Comcast like to lie to you and tell you fiber goes to your home
We're going to provide other network location providers including local ones. The existing ones aren't up to our standards which is why we didn't simply bundle them. In theory, we could also support toggling on the less privacy SUPL mode which leaks your location to the SUPL server but can get location without GNSS satellite reception.
In many cases, US jurisdiction does not end at its borders, and they can’t outlaw crypto entirely (yet). You get done what you can get done, even if it pushes the externality to a country without the appetite to tackle it. That’s their power grid’s problem.