skysight-inc/HackerNews huggingface dataset:
ESA and Ariane Group are two very different things. Ariane Group's main investor is the French state (61%). The French state wants a high-powered solid rocket booster for its ICBMs, and a sovereign and reliable means of launching large intelligence satellites.
It couldn't care less about reusability.
ESA is the equivalent of NASA and has no commercial activity, but subsidizes part of the Ariane program.
Ariane group would rather be like a state own Lockheed Martin Space. Private investors interested in profitability and civil activities are in the minority at Ariane Group

There is no race between ESA, NASA and Roscomos.
The Russians and the French are not going to abandon their rockets and entrust their nuclear deterrent and early warning system to SpaceX.
> won't a Starship competitor be a bit overkill for most payloads?

No, for the same reason trucks aren’t overkill for horses in logistics. Unit costs, lead time, orbital flexibility: there isn’t a market for Ariane 6 left.

Even ArianeSpace’s CEO admits Ariane 6 is obsolete and that Europe needs “a reusable heavy launcher” [1].

[1] https://www.illdefined.space/arianespace-the-only-fish-in-th...
You will need to first demonstrate that actual copying took place. And that what copying that did take place was actually illegal or infringing.

As we're seeing in court, that's a very interesting question. It turns out that the answers are very counter-intuitive to many.
The author might have confused a few things, I don't think direnv and Nix are related. I've used direnv for years without touching Nix.
Any career in fundamental research is more or less like that. From what I've seen personally, academics and government labs are the two biggest places you can find the most open ended roles. Each comes with their own caveats, of course.
Feedback de la conférence AI Engineer World's Fair
Le nouvel épisode du podcast IA pas que la Data est dédié à l'une des plus grandes conférences autour de l'intelligence artificielle : la AI Engineer World's Fair, qui s'est tenue à San Francisco du 24 au 27 juin dernier.

Au programme de cet épisode :

Introduction et contexte de la conférence
Discord : un chatbot avec des défis de sécurité
Les défis de l'évaluation et du testing des modèles de langage
L'engouement pour les solutions RAG
La librairie Outlines : structurer les résultats des modèles de langage
L'extraction d'informations structurées
Les limites et le contrôle des résultats
Les agents : définition et mise en production
Les risques de dépendance et de dette technique
L'importance de l'expertise et de la valeur ajoutée

Bonne écoute > https://iapasqueladata.transistor.fm/episodes/10-retour-sur-...
So if China tries to take Taiwan by military force, how do you think it will end?
I think it would be, in the long term, more cost effective for ESA to contract two or three private European rocket start-ups, like RFA, to build such reusable launch vehicles. To create some competition in price and development speed. Arianespace (ArianeGroup) seems to be "old space" by now, similar to ULA or Boeing in the US.
> you take the lock in your insert function, you insert an item, you give the lock back

yeah but what if "you insert an item" is literally hundreds of lines, and there are 3 layers of api functions below you? What if you need to to take other locks for example to apply backpressure / flush out data on the layers below?

> Code that looks like what you describe, "implementing something that requires calling a function", tends to deadlock or be wrong

It happens. What you do is you work hard until it's fixed.

I've digged into the filesystem layer of Linux for a while. Going through all the locking rules and making sure your fs is in line with them, that's not a lot of fun. Maybe you should tell the Linux filesystem people how to do it instead?

https://docs.kernel.org/filesystems/locking.html

> Even if the code is initially correct, inevitably someone will refactor it without realizing a lock is taken and break it.

Yup, and if there's a practical means to improve the situation with static type systems that is a net benefit, I'm all for it.
Not available in my location: "There was a problem providing access to protected content."

Please let me know if someone has a mirror/alternate link.
Judge dismisses lawsuit over GitHub Copilot coding assistant
Looking good ! Go Copilot !
> seems like for the cost to be lower you would be wanting to fit as much as possible thus impacting how often it is being launched

Starlink alone will fill Starship’s most-ambitious deployment schedules for years. That gives plenty of piggyback capacity to swamp the market with.
> everything is equal (talent, biology, etc)

But everything is non-equal. Best of the best have everything aligned in the same direction (family, wealth, genetics...). Even the "sacrifice" does not hurt, because that is just the way they do it.

Believe in "Great sacrifice" does not work in long term, and just builds resentment over time. People who promote it are usually drug addicts and broken in their personal lives!
So you are knowingly helping Samsung spy on your neighbor. Have you thought about the ethics of what you are doing.

Anyway while I would not call the original accusation of the TV using any open WIFI automatically out of the question this experiment provides little evidence of that. It's hardly unthinkable that your neighbor or someone using their TV just clicked OK on some prompts to make them go away and thereby selecting the first network in the list. It's also not unthinkable that your neighbor wanted to use some functionality that requires an internet connection to setup and just didn't pay attention to the WIFI network selection.
Second Variety
I suspect that you don't really need to fill all the seats of a reusable 737 before it's cheaper to fly than a single-use Cessna.
Looking at the geopolitical situation both next door and across the pond the answer is a yes.

Also keeping the expertise and the people is a critical factor.
Indeed, people keep telling Kotlin was a way out of the lawsuit, while forgetting Kotlin, Gradle, Android Studio, and whole whole Android SDK run on Java / JVM.

Even with ART, Kotlin withouth the richness of the Java ecosystem at Maven Central is worthless, hence why after the whole Kotlin push, now ART is modular and updated to more recent versions, currently Java 17 LTS. Via Play Store updates from Android 12 onwards.

Kotlin was pushed by a couple of folks with managment powers, given the team marriage with JetBrains, and a way to push common interests with Android tooling.
In truth, it's really hard to judge if someone is a self-starter, creative or able to follow basic directions just based on a resume. Giving them a basic coding take-home (and I mean basic, 30-60 minutes should be more than enough) is a good way to see if: they just grabbed stackoverflow answers, chatgpt solutions, actually wrote any documentation or tests.

I agree as a candidate it can be demoralizing, but thats the exchange usually - prove you can do the job (or something close to it) and you get hired for it. It's just that your job isn't street sweeping or generalized labor -- and it's helpful to know if you're going to be the type who: Couldn't write leftpad without a library, would depend on leftpad as a library, or would understand the implications of using a library like leftpad and rely solely on trusted functions like isEven instead.

Yes, you're a programmer, you will get libraries in your day job - but as your hiring manager, I don't have the time to tell you you won't have access to most of the ones you're familiar with because we're doing real-time or large-scale compute or javascript widgets on embedded devices - I just wanna see you do as asked.

If you decline - I've seen what I needed.
There is no one size fits all formula. For simple RAG, a search query (vector, keyword, SQL, etc) works to build a context.

For more complex questions or research, a knowledge graph can be beneficial. I wrote an article[1] earlier this year that used graph path traversal to build a context.

The goal was to build a short narrative about English history from 500 - 1000 using Wikipedia articles. Vector similarity alone won't bring back good results. This article used a cypher graph path query that jumped multiple hops through concepts of interest. Those articles on that path were then brought in as the context.

[1] https://neuml.hashnode.dev/advanced-rag-with-graph-path-trav...
If you want to have (legit) "Designed for Windows" and similar certification, you need to have an option to disable "fast boot" as well as option to enable it.

The fast boot involves skipping a bunch of slower pathways using saved knowledge of minimal set of devices to bring up to boot the OS in happy path, and only reset to "slow path" if it fails.

In fast boot, you're often unable to hit the button to enter the menu and at most get to it through windows "reboot to firmware" option.
I was able to do the primitive

long double result = 0.0;

while (...) {

if (json[head] == '.') ...

result *= 10; result += json[head] - '0';

}

in a constexpr function with no problem :)
> more cost effective for ESA to contract two or three private European rocket start-ups, like RFA, to build such reusable launch vehicles

That would trigger politically-impossible lay-offs in France.
https://fuglede.github.io/llama.ttf/
> because sugar drinks have a strictly personal impact.

Not in this case, as the UK's NHS is tax-payer funded.
> 6-10 years from now Ariane Next/SALTO will aims replicate Falcon 9 efficiency and the design will be very similar: reusable, RP-1/LOX, Prometheus engine is similar reusable open cycle engine as Merlin with lots of 3D printed parts.

1. Ariane Next will use a Methalox first stage and a Hydrolox 2nd stage[1], not Kerolox (RP-1).

2. Given how long it took to get Ariane 6 to the launch pad, and its similarities to Ariane 5, 6-10 year is very optimistic.

---

1. From what I understand, this is due to political wrangling. Germany wanted to make the engines for the 2nd stage. IMO SpaceX's approach of using the same engine everywhere is superior.
What is it always?
You could make similar arguments for basically any product, doesn't seem worth it to get every product certified though.

Also, didn't the 737max pass certifications?
> never chose to participate in European initiatives

That's not true, Russian Federation did "participate in European initiatives"

> refused to accept loss of their special privileges and fought back against opening Russia up to the world

And how would that look like? Russia was widely open up to the world up and until 2014. It's more open to the world today that you care to admit.

It would be interesting to read Kozyrev directly if you've got a link, though.

> done more to support people who tried to steer Russia towards freedom

How would that even look like!?

> The door to Europe was open to you

That's false, it was never open. Just take a look what Turkey is doing now. They've spent decades on reading EU's cucumber party regulations and now they've got semi-dictatorship and no longer admissible because they frankly gave up some time around 2015.

And Turkey is an easy case compared to Russia. It's in NATO, not as big, does not have its own nukes, etc, etc.

That was never an option.

> You only had to take a step.

How would that even look like!??

You're talking all the time about Russia refusing some simple steps and not opening enough, but absolutely sounds like these "it's not you it's me" excuses from the friend zone to any Russian. Russians are not stupid as to not being to tell a relationship from a friend zone.

EU is officially declaring that it now has the optimal size, perhaps even too big, but definitely only accepting small countries such as maybe Montenegro in the future. So that is no go from the day one. The path that you are confidently showing as available just does not exist and it never did. Russians didn't even expect it. But there should be some framework dealing with Russian existence on the edge of Europe, and such framework was notoriously absent. We didn't even have short trips visa waiver in 2010. So when 2014 come, there was no carrot that EU could threaten to take away, and Russians are famously imprevious to sticks.

So no Erasmus, and the only back packing option available is in the military camouflage.

Too late for that stuff, anyway. No go win that war that you can't shut up about being winning.
It was the Plan 9 refugees that rejected C++ and came up with Go, and then they were surprised most C++ folks couldn't care less about Go.

https://commandcenter.blogspot.com/2012/06/less-is-exponenti...
> Why is it a race instead of being of public and international importance to have an alternative to a for profit company?

It’s not a meaningful alternative. The comparison to a Yugo is apt: it’s more expensive and less capable, with its sole advantage being it’s made in Europe and so will get European launches. But anyone launching on it is structurally disadvantaged against a competitor (or peer) who launches on SpaceX.
> “The launch cost is almost 2x the cost of Falcon 9.”

This actually seems quite reasonable considering the Ariane 6 is a non-reusable, low-volume design.
Until $1B runs out? Tuition is like $70k per year, so $1B should be enough to cover 3300 students for four years.
a rare smart take on HN, hats off
Avoidant behaviour does not solve the actual problem. To each their own, but I think trying to address the issue and learn from it to better deal with these situations in the future is much more constructive than to abandon or limit all future coworker interaction. Throwing out the baby with the bathwater.
you also have no way of verifying that the youtube video is telling you to do the right thing. even if it works, it still could not be up to code so suddenly you have expensive changes when you have to sell your house.

same with chatgpt. when i ask it to do things i know a lot about, i am often time shocked how bad the code is that it generates and often does different stuff. makes me wonder about the code that i ask it to generate to do things i dont know about. haha.
Yeah well, this is Guattari's Chaosmosis

https://www.researchgate.net/publication/314482391_Chaosmic_...
Battle of the Semantics – GraphRag vs. Embeddings
My own business model is to create Things That Don't Exist Yet. This (typically bespoke work) is actually the majority of work in any era I think. For me, copyright doesn't do much, it mostly gets in the way.

If you pass the law tomorrow -all else being equal- my profits would stay equal or go up somewhat.
Elon Musk on voting fraud: Mail-in and drop box ballots should not be allowed
Falcon’s costs are a fiction.

SpaceX benefits from massive taxpayer support and uses facilities built by the military and NASA.

It’s not a like for like comparison especially give SpaceX keeping its books private and giving no clear public indication of how reusable its rockets really are or their refurb cost.

Given Musks history of creative accounting quoting their PR numbers, the ones they pitch congress, as facts is naive in the extreme.
The US has been an unreliable partner since Bush Jr. became the president. Every 4 years, there is a real risk that things will go wrong.
I agree with you, but hey, money is useless to you after you die, so if you’re super wealthy why not spend 0.001% of your wealth on something with a very small but non-zero chance of working
Research suggests that aspartame increases the risk of:

-certain types of cancer, including lymphoma, leukemia, urinary tract tumors, and neurological tumors

-type 2 diabetes

-preterm delivery

-toxicity in the kidneys

-toxic liver disease

-harmful changes to the salivary glands

Your "completely safe without question" additive, sir
Hmm - I must have got an obvious one where the drowning child started flailing his arms desperately trying to stay above water, splashing a lot, which isn't what people do according to the description.
...well the Ariane 6 is already in the category of "heavy lift vehicle" at up to 22 tons payload. I'm wondering how much of a market there is in the end for a super-heavy lifter like Starship. But I guess we'll see soon.
> Ariane is one generation behind SpaceX, but that still puts them on second place.

The first doesn't imply the second.

Ariane 6 is behind:

* ULA's Vulcan

* SpaceX's F9/FH

* SpaceX's Starship (who knows when it'll start launching payloads)

* Blue Origin's New Glenn (supposed to be launched in September)

in terms of raw performance as well as $/kg.

There are also a number of other rockets like RocketLab's Neutron and Relativity's Terran R that seem like they'll outcompete Ariane 6.

The medium/heavy lift market is getting much more crowded than it has been in the past.
Interesting. It sounds like there are two parts to this:

a) Product sense becoming more important i.e. talking to users and figuring out what they want and how to build it rather than the pure ability of using code to make the computer do something

b) Having the machine but no idea how to repair/augment it only gets you so far. Like you might be able to run a lawn care business but if your lawnmower breaks and you can't repair it your business is dead.

Is that about right?
> seems quite reasonable considering the Ariane 6 is a non-reusable, low-volume design

It’s after subsidies [1]. Actual costs are 4 to 6x Falcon 9, and that’s comparing actual costs today for Falcon 9 to projected costs in the future for Ariane 6.

[1] https://www.space.com/europe-ariane-6-rocket-debut-launch
Some work they are known for:

Sharon Goldberg: Attacking the Network Time Protocol: https://eprint.iacr.org/2015/1020

Miro Haller: MEGA: Malleable Encryption Goes Awry: https://mega-awry.io/

Nadia Heninger: Mining your Ps and Qs: https://factorable.net/

Dan Shumow: On the Possibility of a Back Door in the NIST SP800-90 Dual EC PRNG: https://rump2007.cr.yp.to/15-shumow.pdf

Marc Stevens: MD5 considered harmful today: https://www.win.tue.nl/hashclash/rogue-ca/

Adam Suhl: On the Possibility of a Backdoor in the Micali-Schnorr Generator: https://eprint.iacr.org/2023/440
These poor people don’t understand the wonders of YOLO
And that’s before we start counting in China and, soon, possibly, India.

Ariana 6 might be the stupidest civil aerospace project in the world after Boeing’s Starliner.
Sharon Goldberg is active in the research areas of Internet Security, such as BGP and such.

Nadia Heningner is active in cryptography and network security, I first heard about her from her work on factorable.net.

Marc Stevens has been attacking cryptographic hash implementations for ages and has done profound work, see shattered.io although before that he was attacking MD5 I believe.
AFAIU, 3600$ is also a price for "raw RAM" that will be used by your common database via sys calls and not via a "usable API operated by someone else"
Can We Reach 700Hz by Overclocking This Old CRT Monitor? [video]
so sounds like your take is the "it doesn't replace the humans, but augments them" argument, right?
Arguably at most third place, since partly reusable New Glenn (Blue Origin) is already planned to launch in a few months, currently September. Though lower stage reuse might only happen later.
That's sad. That makes your piece of paper worth even less, in my opinion. How is that different from a degree mill. By the way I have my piece of paper but what I value (and what my colleagues value) is my understanding
I think there's a difference between a mathematical proof and legal proof. The mathematical proof would be "show that it never copies a code snippet verbatim", and you of course cannot prove that by example.

Legal proof is I think different (not a lawyer). They're more pragmatic. If, observing a lot of cases where it does not verbatim copy, and, if an expert provides a reasonable argument as to why it is unlikely to verbatim copy, that is enough legal proof for a judge to conclude that the output is not identical enough to the developers copyrighted code.
Makes sense.

For your startup, check out HSBC as well then - a lot of SVB and FRB staff specialized in tech commercial banking switched there as well.

Also maybe try and find where your former SVB banker with whom you had a relationship went - they could help with the transition and give you the care needed.
> Also, rocket science is just Newtonian physics.

Spoken like a true software engineer ;)
Yeah I've tried a few times, but never as an actual project - mostly just to see if I could make something that actually runs.

But when something didn't work I instantly ran into the issue of not knowing if I did something wrong or if the code was bad lol
I would say it's the job of the people making python to select or provide a better solution than the current one
Is it a good fit for people who dont use (or like) Facebook and Instagram?
> And that’s before we start counting in China

China is... weird.

Most of the rockets they launch are small hypergolic rockets (Long March 2-4) with clear ICBM heritage. Which are multiple generations "behind" Ariane 6.

They do have some more modern cryogenic rockets, but they can't seem to scale those operationally. Presumably it'll happen eventually. But who knows when that'll be.
If single-payer healthcare means that I have to now monitor my
- city
- county
- state
- federal
entities to see if they will be levying individual food taxes... I don't know - I don't want to have to do that. That is just making life even more exhausting than it already is.
So your gripe is with the type of state intervention?

Non-sugary foods and drinks are already heavily subsidized - like all agriculture - and that's something necessary to maintain food security. People still choose the unhealthy stuff.
I think the car analogy is interesting because I'd say 90+% of drivers don't really know how the engine works besides gasoline being burned to make the car move lol.
Yea it’s like having a personal helper/apprentice, it’s very useful but you can’t alwa rely 100% on it.
For any European? Thats fantastic. Let that ego maniac and putin's admirer chase latest and shiniest, we all will learn from his success and failures.

We (US vs Europe) are not racing nor competing in this in any way, we just need to put out payload up there too. We desperately need our own skillset though, with Trump or similar breed potentially at power across the pond US will become more hostile towards Europe and let russia roll over Ukraine and maybe further, absolutely no doubt there.
Not really, but European countries launch military payloads and other strategic stuff like Galileo satellites and communication satellites.

All are friends with NATO, but that does not exclude spying and all kinds of shenanigans. US spies non-Five Eye countries mercilessly. They get caught sometimes. Like the systematic wiretapping trough Danish cables from 2012-2014.
File size is easy to compare, so you at least know that the full file got sycned.
Hashes is a bigger issue with AWS in general, as you only get an ETag from S3 which is the MD5 of a file for Puts, but not for multiparts - and also dependent on the multipart size. So you cant really check the file for hash equality easily.

The good news is that with S3 over HTTP you should not really run into byte flip issues.

The sync server does not need any file system storage, it processes all uploads in memory and only ever buffers 5MB per worker for multipart uploads.

rclone looks like a good alternative, but without the focus on fast iterations for e.g. daily backups of huge buckets.
Many pools do not allow them, likely for this reason.
Since it is facebook I'm going to guess no.