skysight-inc/HackerNews huggingface dataset:
Just a minor correction, even though I agree with your point: the Soviet Union is no longer a thing, despite Putins wishes to the contrary :)
2/3 of those examples had no requirements for cross platform and still chose it anyways. Additionally all 3 of those examples decided to take what they already had with native and decided to rewrite it because of the benefits.

I’m saying the “gap” between Flutter and native in this case is much much much smaller than you seem to think it is. Quite a bit has changed there in the past year or two.

That isn’t my opinion but that was the result of many major and very competent teams coming to that conclusion and putting their money where their mouth is in order to substantiate the claim.
But I'm talking about stuff that can be solved with very easy mathematics. Using nothing more than +-*/
I'm in favour of opening up platforms and interoperability, but not the GDPR. Maybe in this case, "an enemy is an enemy of a friend".
“The technology they’re working on poses the gravest of dangers.”

Or, rather, its been actively marketed by Altman as doing so, as part of his effort to buy influence with government to restrict competition.

The simplest explanation for the conflict is that it doesn’t, and that OpenAI internally has allocated resources based on reality rather than it’s public propaganda, and the team whose internal turf was built around that propaganda left in a huff.
Exactly, and I explain why. If you want to argue they don't, I would be thankful if you exposed the error in my reasoning.
Yes, exactly because it is just text continuation. It is being integrated into systems and used as a tool as if it is much, much more than text continuation. That is the danger. I've been using Copilot frequently lately, and it's startling just how often it is completely wrong despite being confidently presented as completely right.
Consuming Mercury would give you a 2x car sheet metal thick full dyson sphere made of iron.

Earth, Mars and Venus each have about 10x the iron of Mercury. The asteroid belt is inconsequential.

If you consume all the iron core planets, you have about 5 cubic centimeter of iron to play with for each square centimeter of dyson sphere area.

There's a lot of unknowns for the gas giants, particularly what % of them contains iron, but Jupiter /might/ have as much as 100x earth heavy elements (including iron), but these would be at its core, and its not totally clear how you would extract them.

I think the key question is what sort of stresses you expect the sphere to be under, and thereby what materials and tensile strengths are required. It would not surprise me if the stress is basically nil (in theory you could orbit a sphere made of iron dust?) or totally infeasible for iron.
You can search for a specific name on appstore and get mostly a screen of spam. I'm not sure where you see the quality difference.
Europeans were still having uproars over paintings of fully clothed women in the 19th century: https://en.m.wikipedia.org/wiki/Portrait_of_Madame_X

The reason you can't post an anatomy tutorial is unrelated though. That's because YouTube is cheap. They don't want to spend the effort to try to differentiate an art tutorial from more problematic content.
> You also need men to actually hold any land

*and women
From the same author, I can recommend "Daemon", "Freedom" and "Delta-V" (the first book). Just stay away from "Delta-V" book 2. :)
I Lol'ed at the naming.
Counterpoint: unless the value siphon effectively steals opportunity cost options from you 25 years before you are born.

It takes real ignorant psychopathy to blame victims of the greatest crime in history.
They didn't get acquired but did hire one member of the team as per this post:

https://cyan.com/2022/10/31/olttfor/
I'm going to say a strong no to that. The programming parts are fine, but on a quick skim, the mathematics is written in a way they will likely find very confusing unless they already know calculus and leave them thinking they are bad at maths whereas actually the author is just not really trying to explain the maths to someone who doesn't already know it.

For example look at the diagram on[1]. It has unlabled axes of a shaded L-shaped box with a curve going through it and then it is followed by a bunch of equations where he derives the formula for integration by parts using a set of parametric equations with multiple substitutions etc. I know what integration by parts is and how it works really well. This is possibly the most confusing way you could possibly derive the formula and/or explain it, and this diagram really adds absolutely nothing unless you already know and understand the concept. If you have seen the exceptional diagrams and illustrations and clarity of explanation in a book like "Calculus" by James Stewart the contrast is so stark it really jumps out.

The normal way of explaining integration by parts starts the way the author does (with the product rule for derivitives) and shows a few examples of taking the derivitive of things using the product rule so you get an intuition for what the form of the resulting antiderivitive looks like. You then go through the derivation of the formula for integration by parts by using the product rule for derivitives, integrating both sides and splitting the resulting integral[2]. Its very clear and easy to follow. And if they want to actually help the student to do this they teach something like the tabular/"DI" method so the student isn't tearing their hair out getting the signs mixed up when integrating by parts multiple times.

[1] https://jverzani.github.io/CalculusWithJuliaNotes.jl/integra...

[2] My own notes on this derivation which I took when learning this are here. Note that this isn't me really trying to explain it to a beginner - it's just my personal notes but it's still a lot easier to follow than the example given https://publish.obsidian.md/uncarved/3+Resources/Public/Inte...
Totally this! In the UK many landlords only have one or a few properties and it would be obvious which tenant is bad mouthing you. In some cases there are laws against "revenge evictions" but I don't know how much people would be willing to get into a shitty situation and trust arguing about those laws just to leave a review.
"developing brains" is too specific.

I'm in my 50s. I've been online since I was a teenager.

In the last few years I found that I have to work places where I cannot connect. No wifi, no smartphone, no hotspot. Otherwise I check out and play on the internet.

If you look around, you'll see plenty of adults who, as soon as something gets boring, pull out their phone.

Correction: for many of those adults the phone is always in their hand; it does not need to be pulled out.
In Ireland, always https://www.HowMuchRent.com for tenant reviews, viewing landlord/tenant court cases and tracking advertised rental prices
Works where archive.ph is blocked:

https://www.msn.com/en-us/money/careersandeducation/want-to-...

https://assets.msn.com/content/view/v2/Detail/en-in/BB1mxkPA
When we say “drone” we often think of aircraft, but there are done ships and drone vehicles too.

The Ukrainian drone boats have been very successfully waging an asymmetric war in the Black Sea.

Drone ground vehicle development is mostly around demining, logistics and casualty evacuation. But there have been some old tanks laden with explosives used as breaches.
Detonating a single nuke for test when you think there's a chance it'd ignite the atmosphere and kill the entire world makes it unethical to contribute on it.

I too don't think OpenAI will ever create an actual AI ("AGI"), but they think they might, and that one might kill humanity; trying to achieve it makes every person working at OpenAI just as reprehensible as those who put the nuclear sword of Damocles over us.
Openwashing
Thank you for reminding me of LPFP!
Out of curiosity, have you tried Idris? It would tick at least boxes 2 and 4, while possibly being a little bit more geared towards general programming.
It's not just an implementation detail. In the 80s there was a big event known as the S&L crisis (https://en.wikipedia.org/wiki/Savings_and_loan_crisis), where an interest rate spike which was not adequately shielded led a substantial fraction of all US mortgage lenders to fail.
> try to fund these things by taxing successful workers instead of capital owners

The capital will just flee to other places if they do that. In fact it already does.

But I agree, UBI will never work. It will just generate inflation and drive prices up, like the Biden Administration's America Rescue Plan did by giving away $1400 checks to people.
> First I’ll point out it would already be a dream come true for extending our AI doom timelines if the only people who can actually do AI research without fear of being extradited to a bounty-friendly nation is to work in a government lab.

Yeah, the problem with AI doomers is that they let fantastic baseless estimates of p(doom) drown out much more imminent risks, such as AI asymmetry facilitating tyranny, which is an immediate, near-term, high-probability risk.
Smart pricing! I like how it is free up to 10 clients and very useful then by then the cost is insignificant if you have 11+ clients.
how does one divorce the belief that technology can be a force for good from the reality that the gatekeepers are so committed to being the most evil they can be
Right, get rid of their 2nd largest market, at size ~⅔ of the US one. Yes, that will definitely show the EU who's the boss. /s
> Or, rather, its been actively marketed by Altman as doing so, as part of his effort to buy influence with government to restrict competition.

I mean, maybe sama is also doing so.

But you're ignoring the many people who have been warning of these dangers for years, some before OpenAI even existed, and many with no part of OpenAI and no monetary incentive.

To describe everything as "Altman is marketing this as dangerous" is to completely ignore the majority of researchers ringing alarm bells.
Clarification, ESR didn't originate the jargon file. He edited and published an edition of it, but he wasn't the first to do so.

"The Story of Mel" and "Sussman Attains Enlightenment" are stories I come back to every so often.

There's similar stuff here: http://www.thecodelesscode.com/contents

I sure hope the jargon file isn't the pinnacle. Not because of any problem with it, I just hope we will surpass a collection last majorly edited 30 years ago.
Works where archive.ph is blocked:

https://web.archive.org/web/20240518153751if_/https://www.ny...
The mentioned Hawking radiation is quite weak, weaker than we can currently measure, that's true. But for smalller black holes in the lab or for a black holes in our solar system (planet 9). It is very much possible (in the future) to detect the radiation and gain insights from it, maybe even within this century.

I would direct you to the holographic principle and the AdS/CFT correspondence. Because current theory suggest that the information that falls into a black hole is not lost and can be recovered (resolving the information paradox). Similar to as we can deduce the inner workings of the sun, from the information it emits, we could be able to deduce such information from hawking radiation in case of black holes.
> For example late fees are illegal in California and you can basically get a pro se judgment easy peasy if a landlord even attempts to get you to sign a lease with a late fee clause, let alone collect one.

Having actually gone through this process in small claims court in California, I will say that your miles may vary. I completely won my case except for recovering the fifty dollar late fee (written into the lease) that I paid because rent was once a day late. The judge said it seemed "reasonable" and didn't listen to me talk about California "liquidated damages" language on the subject, which is the supposed law that makes late fees illegal.

Fact is, most places I've rented from have had late fees, and recovering them sounds like a huge crapshoot at best.
You're just repeating that it's bad without any argument.

Numpy's syntax is the same as MATLAB's.

Both MATLAB and Julia also use dynamic typing, though it is true Julia does have support for ad-hoc static typing through annotations in a way that is stricter than Python's.

Numpy does provide all the traditional floating-point types.
The thesis is that mortgages are not primarily a service a bank provides to a homeowner. They are a financial product that banks sell to institutional investors (as an example) that want a guaranteed cashflow decades into the future.

Of course, a multibillion dollar pension fund does not want to directly write John Doe a mortgage and deal with him. Their business is giving money to pensioners, not selling mortgages. They would rather buy a bundle of thousands of mortgages at once and outsource the hassle of taking the payments to someone else.

The bundling and administration of mortgages is akin to a manufacturing process for electronic flow meters. The customer just cares about seeing a number go up, and pension funds just want to see money hit their accounts.

Since a great way of turning a bunch of cash upfront into a larger amount of cash over decades is through mortgages, banks unfortunately have to find actual people and help them buy a house.
> * If "AI" is actually intelligent, then it's no worse a threat than any living being known to man.

That's not true, because you don't address the degree of intelligence or the
scale that computers can achieve.

Even if all we were able to do is to create human-intelligence-equivalent AIs, but we were able to create, say, a billion on command, I'd say we have a major threat.
What? No, that is laughable. What would be career ending would be the massive reduction of income within Apple. That would end careers, and quickly change enough minds that they would change policies.
Did you try math?
You can shallowly cover miles and miles of math. And extend it every day or month or whatever works for you, forever.
1001 Representations of Syntax with Binding (2021)
Pay or Okay is reasonable to some extent (depending on the amount).

Do European countries hold themselves and the local companies to the same standards, respect their citizens and their privacy rights?

I remember a French institution could not buy our product, because they had a contract with a local manufacturer. They explained to us that they are obliged to buy from this company, or otherwise go through a complicated process of explaining to the government AND the company why that company doesn’t meet their needs. Sounded absurd! They had to sort of get the permission of the competitor company!
I thought the weird thing about mortgages is it is new money that expands the money supply.
Baffles me that this company has (or had) the smartest people in the industry who understand the workings of their product better than anyone and then you go read their charter where they sagely talk about ethically ushering in AGI like it's nothing.

The whole drama with this infighting about safety feels like a terrible good cop bad cop routine.
That can't actually be the way it works. You can't say "sign this or we *take away something you're already legally entitled to". It has to have been something people agreed to beforehand, to at least some extent.

In any case, Sama's tweet says he is cancelling this practice and anyone affected by it can contact him to get their equity back.
Either http://deadmanssnitch.com/ or if you have an existing solution for posting metrics, alert on missing data.
Discussed recently here, if you missed it: https://news.ycombinator.com/item?id=40393121
Works where archive.ph is blocked:

https://web.archive.org/web/20240519000951/https://www.nytim...
Yeah sure. Apple continue presence in Russia, paying fines and taxes there and comply with every murderous dictatorship demand. Like censoring political apps 2 years into full scale war.

Yet they'll pull out of EU. Sure.
I always scratch my head about articles that lump Meta, Apple, and Google together when it comes to regulations. They all have different problems that require different solutions.

Apple - consumers give the company for hardware which is locked into a closed ecosystem. Apple extracts extra revenue by enforcing this closed ecosystem. There can be no competition other than not purchasing their hardware in the first place.

Google - consumers sometimes give them money (for both hardware and services) which Google then uses to push their other products to the detriment of their competitors. Due to Google's size, the competition is at a massive disadvantage. Also, given that most consumers don't give them money, Google needs to make money off of their consumers and the most profitable method is to monetize PII.

Meta - consumers basically never give them money (excluding Oculus) so Meta needs to make money off of their consumers. The most profitable method is to monetize PII.

I have a little more sympathy for Google and Meta's situation as the EU wants them to maintain their free services while simultaneously reducing their ability to monetize their most valuable asset, consumers' PII (note that PII ultimately belongs to the consumer but it's still the thing that the companies use to make money). There needs to be some sort of happy medium here when people want something without paying for it but also don't want what's valuable about them being a user - their PII - to be monetized.

To be clear, these multi billion/trillion dollar companies don't need anyone defending them. However, it would be interesting to see what the EU's position would be if Meta started as an EU company.
I feel the same. The GDPR appears super difficult to comply with, even impossible in some cases, and very restricting.

I just hope negative effects of (in my opinion) overregulation wont hurt the EUs economy too badly, but that wont be visible for another couple of decades
> I remember a French institution could not buy our product, because they had a contract with a local manufacturer.

I doubt this is a EU thing. It's due to exclusive contracts/licenses. This happens everywhere?
I did apply to around 30 job openings, and the market at the moment is 31 job openings. I did not try to contact people working in the companies I applied for, I have the bad feeling it would make things worst
Waxolotl – A small language that compiles to WebAssembly text format
I am half /s, half dead serious. The sarcastic half is me playing along with AGI singularity maximalists like Sama.

The other half is me dead scared that he is right. LLMs/GPTs != cryptocurrency. There are actual use cases other than money laundering. If you are paying attention, then the insane scaling in capabilities should have us all dumbfounded. I agree with Linus Torvalds: "just" predicting the next token is not an insult, that's mostly what we are all doing.

Human productivity/the global economy has been growing at an exponential rate[0] since the industrial revolution. In our lifetimes we have ridden the close-to-vertical part, and if GPTs continue to scale, then it will continue to near-vertical. This will be near-post-scarcity society. Capitalism will soon have become so successful that it will make itself obsolete. Are we ready for that, politically? Most of our ruling a-holes maintain power via scarcity, how will they react?

Culling might not be an action, just an apathy. The transition is going to suck as the poors now will also have taken advantage of that hockey stick of asymmetric warfare aka "productivity" via things like ML powered kill drones. This tech is happening now, in 2024-25, in Ukraine.

We are at a crossroads, more than when horse-driven carriages turned horseless. The humans are the horses now, and they will not be happy.

We really should have worked out global civility by now, given the risks of truly global destabilization.

[0] https://ourworldindata.org/grapher/global-gdp-over-the-long-...
Oh awesome, thanks so much, didn't see this
What's the crime? Mortgages? I'm not following you. Some generational wealth theft somehow?
Even if there is no information given away there is an address published so the landlord and probably government can guess who you are.
I wish there could be added a signature to GDPR export, that can be validated.

This way you can transfer data to a new platform and the new platform can trust that the information is not manipulated.

Let me and a couple of friends move out of Facebook and bring all our prior interactions with us.

(The signature should be invalid after example one month to avoid the value of data breaches, with periodic signature key release)
Ask HN: Why are people so mean in the open source community? (about xz again)
Browsing the xz repo in GitHub and checking the recent entries in the Issues tab, I just found this entry:

https://github.com/tukaani-project/xz/issues/121

The person wasn't able to compile the project and he starts by being mean when he asks for help:

- "it shouldn't be this hard"
- "the INSTALL file being a TLDR nightmare"
- complaining about the compilation steps.

I know Larhzu went through a lot in the past but facing again those comments are too much.
I appreciate his polite comment to the issue but I would appreciate if he can put people like that in their place like thesamesam did.
> Some often overlooked fact is, that Apple decides at will who is allowed to publish apps via AppStore and who is not.

Overlooked? It's the key issue the EU is bringing up around appstores isn't it?
The call for AI safety has existed since before we broke through the Turing test with LLMs. And I personally wouldn’t call things like code generation or content-generated learning experiences for advanced topics “basic”. Not to mention where we’re headed with multimodal integration.

Many have argued for safety for decades. They’ve predicted and built the AI trajectory, they’ve been right, and we should listen.

> If one accepts that the impact of truly intelligent machines is likely to be profound, and that there is at least a small probability of this happening in the foreseeable future, it is only prudent to try to prepare for this in advance. If we wait until it seems very likely that intelligent machines will soon appear, it will be too late to thoroughly discuss and contemplate the issues involved.
~ Co-Founder of Deepmind, 2008
https://www.vetta.org/documents/Machine_Super_Intelligence.p...
I’m an Apple fan and I keep hundreds of thousands of dollars in Apple stock, and I still hope we at least get side loading out of all this. I do not believe this would be in any way detrimental to Apple - most people don’t give a shit. But for me and others like me it’d be pretty neat to do on my iPhone and iPad what I can already do on my Mac: install my own software that is not arbitrarily time limited.
> A mortgage has a quirky little subcomponent called a Mortgage Servicing Right (MSR). Every month, it needs to collect money from the borrower and send that money… somewhere. This implies, minimally, a mailbox where you can send checks, someone to open the mail, and a phone number with a CS representative who can answer questions like “What is my current balance?” and “Did you get the last check I sent you?”

Like, seriously? Sending bits of paper through the post to make payment? Having to call someone up instead of logging in to your mortgage account online?
Excellent news. US auto can clearly build EV's, what is required is to do so for the mass market, rather than the luxury segment which is Tesla's core audience. Biden's adoption of the Great Wall of Tariffs will help protect the likes of GM further, so that they can continue to iterate and produce better, more affordable vehicles for the American consumer