skysight-inc/HackerNews huggingface dataset:
Quick note, a lot of the broader things you mention are exactly the case, ex. prioritizing backwards compatibility and ABI stability at all costs was a big kerfuffle around Swift 3/4 and publicly documented. ex. limited use initially

Broad note: there's something off with the approach, in general. ex. we're not trying to find the interpretation that's most favorable to them, just a likely one. Ex. It assumes perfect future knowledge to allow objectively correct decisions on sequencing at any point in the project lifecycle. ex. Entirely possible they had automated testing on this but it turns out the #s go deep red anytime anyone adds operator overloading anyway in Apple-bunded frameworks.

Simple note: As a burned out ex-bigco: Someone got wedded to operator overriding and it was an attractive CS problem where "I can fix it...or at least, I can fix it in enough cases" was a silent thought in a lot of ICs heads

That's a guess, but somewhat informed in that this was "fixed"/"addressed" and a recognized issue several years ago, and I watched two big drives at it with two different Apple people taking lead on patching/commenting on it publicly
Will it work from airplanes?
I'm suspicious about the truth of this claim. I don't think bidirectional typechecking is the problem in itself: the problem trying to do type inference when you have some extremely flexible operator overloading, subtyping, and literal syntax features. It's these "expressive" features which have made type inference in Swift far more computationally complex, not type inference itself.

And certainly not bidirectional type inference; the author of this post's definition of this concept isn't even right (bidirectional typing refers to having a distinction between typing judgements which are used to infer types and those which are used to restrict types, not moving bidirectionally between parent nodes & child nodes). I don't know if the mistake comes from the post author or Chris Lattner, and I don't know if the word "bidirectional" is relevant to Swift's typing; I don't know if Swift has a formal description of its type system or that formal description is bidirectional or not.

EDIT: watching the video the Chris Lattner quote comes from, it appears the mistake about the word "bidirectional" is his. Bidirectional type systems are an improvement over ordinary type systems in exactly the direction he desires: they distinguish which direction typing judgements can be used (to infer or check types), whereas normal formal descriptions of type systems don't make this distinction, causing the problems he describes. "Bottom up" type checking is just a specific pattern of bidirectional type checking.

Regardless, the problem with Swift is that a literal can have any of an unbound arity of types which implement a certain protocol, all of which have supertypes and subtypes, and the set of possibilities grows combinatorially because of these language features.

cf: https://arxiv.org/abs/1908.05839
A ruined castle was an excellent material source for constructing other buildings. That's why they tended to disappear if reasonably accessible.
> Doesn't change the fact that he didn't build shit. He brought money

Nope. Can’t speak for the other companies, but he was in the design room and on the factory floor making changes at SpaceX.
funny to see this pop up here, this thing sorta blew up today...
If there was just the right overload hiding somewhere, it wouldn't be an error and it would take a similar amount of time. This is just the easiest way to show off the problem, which is how long it takes to check.
Awesome work Elixir & Erlang Devs! <3
Cannot wait for the "no types" excuse to go away for mass adoption of Elixir!
Keep up the great progress.
It’s not, actually, any more than any other language. That was Guido’s original plan, but show a page of modern Python code to someone who’s never seen it before and they’ll run screaming. There is a minimal subset where you can say it reads like pseudocode, but that’s a very limited subset, and, like AppleScript, you have to have a fair amount of knowledge to be able to write it fluently.
Yes, I've never written a line of Swift, but these cases don't seem to be of the usual variety that cause Hindley-Milner to blow up. It seems like the Swift compiler source is available, and these test cases are small. This is encouragement for someone to spend a small amount of time digging into this, just for the curiosity of it. And I mean, just something like, fire it up in the debugger, start the compiler on one of these test cases, interrupt the when it looks like it is "hung", but before it times out. Step through the code a bit, to identify the handful of functions that that we're looping through, and then report out what you find, and your best guess, the algorithm is implemented correctly and is hopelessly intractable, or "hey, didn't we already check down this branch previously?". I'll give you my next upvote on HN.

https://static.aminer.org/pdf/20170130/pdfs/popl/o8rbwxmj6h2...

https://github.com/apple/swift
I'm not sure I would draw the same conclusion, stricter requirements on typing is less cumbersome these days with better auto complete and LLMs
It is gross in general, but it's especially offputting on a product that is otherwise sorta likable and cute. Like it's one thing if a hotel website does it because you expect them to be scummy anyway (not ideal but that's how it is). But this site could have easily not seemed scummy just by removing the greedy stuff.
Are you talking ‘ethical fair trade’? Because there’s definitely reputable and properly audited designations in this space (edit: namely the green and blue Fairtrade International and Rainforest Alliance, all the imitation marks are junk)
> One of the interesting tradeoffs in programming languages is compile speed vs everything else.

Yes, but I don't think that compile speed has really been pushed aggressively enough to properly weigh this tradeoff. For me, compilation speed is the #1 most important priority. Static type checking is #2, significantly below #1 and everything else I consider low priority.

Nothing breaks my flow like waiting for compilation. With a sufficiently fast compiler (and Go is not fast enough for me), you can run it on every keystroke and get realtime feedback on your code. Now that I have had this experience for a while, I have completely lost interest in any language that cannot provide it no matter how nice their other features are.
I only wish for more powerful Chromebook - like 32GB or even 64GB of RAM, 3-4TB of SSD - maybe proper accelerated GPU, maybe discrete one.
Translated, the merge of both OS is happening.
> A silicon foam cover is a must have.

Funny, I'm the opposite.

I was excited to try it because it seems so much more hygienic -- you can wipe it down and the foam won't degrade. But I quickly discovered that it got all clammy and sticky on my skin, and then humidity would build up and fog up the lenses. What! Kind of the same way swim goggles fog up.

Whereas the regular foam padding is... perfectly fine. No sweating, no fog, no humidity, nothing, because enough air seems to pass through and nothing is suffocating your skin.

And I'm not even a sweaty person or anything, not at all. And I'm just reclining watching movies, it's not even for movement. But the silicone layer over the foam just creates this airtight (enough) seal which is just bad all around.
Semi-related question: Why did the ML people choose Python and make it so intertwined with ML? It seems like a bad choice because it's slow and bad at integrating with hardware, the actual hardcore ML stuff gets offloaded to C, which creates a weird system with two languages and a weird build step to achieve one thing. If I knew nothing about the ecosystem of available libraries and was asked to pick a language to use for ML, Python would be fairly low down the list.

Is it just because it's easy, somebody picked it a while ago, made something influential, and now everybody uses it because everybody uses it?
Like the T-14 we have seen so much of. Or the cope cages. Or the Iranian drones they had to buy. Or ...

> TASS

Which is of course the Russian's most unbiased news source.
Wow, this is a big announcement for sure. Not much details but I'll definitely following chromium's code review system[1] closer now (Large parts of ChromeOS are developed in the chromium monorepo).

[1] https://chromium-review.googlesource.com/q/status:open+-is:w...
>>how is the intracellular space denser than the extracellular?

Gemini:
```
Yes, the intracellular space is denser than the extracellular space:

Here's why:

Packing: Cells are packed with molecules like proteins, carbohydrates, and nucleic acids. These molecules take up a significant amount of space within the cell, leaving little room for just water.
Solutes: The intracellular space contains a higher concentration of dissolved molecules (solutes) compared to the extracellular space. This contributes to a higher density.
Extracellular Matrix: The extracellular space, on the other hand, contains a looser network of connective tissues and fluids like interstitial fluid. This allows for more space between molecules, resulting in a lower density.

```

>>Still, trying to really figure out what the 'intention' was all those billions of years ago is hard

With this logic you'll need another billion of years to randomly figure it out. I'd rather focus on how/efficiently does such position contribute to a specific current experimental methodology or results.
Or they want to work at a small startup and have the technical skills, but don't necessarily want to manage people, work insane hours, and meet with customers and potential hires instead of building the product.
I remember growing up I watched a documentary on telekinesis.
It concluded that people with high amounts of iron on their blood could move items from distance
I told my colleagues to do me a favor: if I'm ever let go for any reason, please terminate all my access immediately and diligently. It's for my protection just as much as theirs. If I can't get in, they can't blame me if something goes wrong down the road.
Instead of a church, how about 383k followers on YouTube? Joe Grand is flamboyantly that level of hacker, and that's the currency of today. In the GP's story theres no bitcoin wallet at the end of the rainbow, but that kind of knowledge is out there for those who look. It's even gamified at http://microcorruption.com. It won't be mainstream, but there's always going to be a culture of hackers that know how things actually work. the existence of stack overflow/ChatGPT programmers is the field widening, not the core shrinking.

Joe Grand and $3M of Bitcoin: https://youtu.be/o5IySpAkThg
Simpler than "treat people how they look and act, update your assumptions if corrected"?

This system can break down for some trans people (although I bet most make excessive effort to present as their preferred gender), but it also breaks down for effeminate males and masculine women (and I bet this is the larger category). Despite these difficulties, it's worked for literally all of history until people started pretending they don't know how pronouns work. Test it yourself by taking a look at Lynn's picture and asking which pronouns you'd use.

I'm not sure how invoking genetics simplifies anything. Have you had your sex chromosomes checked? I haven't, and triple-X and KS are often undiagnosed! I'd hate to have to update my drivers license to "unclassified" in my 30s.
I was an early (first 5) dev at a company now valued north of $5B

I have seen only a few hundred k so far while both founders have bought over $30m of real estate and who knows what else...
Not only that, but part of the plaintiff's case is that pistachio is generally a listed ingredient among competitor's products, even so-called "discount brands."
Its also impossible, even the "amazing" solution will be found to have holes once it hits the real world, the sooner you can get some real feedback for what you're building the easier it is to course correct and move towards the real user needs.
For this individual, it's a little late to close the barn door.
Please stop pointing at energy consumption as negative.

Energy consumption has led to all the prosperity humanity enjoys.

We should use more to do more, which we are doing with AI.

We need cleaner sources though. You know what will help incentivize more investment in clean energy??? More energy use.
Some more from the author a few days ago: https://news.ycombinator.com/item?id=40633856
Globalstar. Reading their recent investor filings with the SEC has been a fun read.

https://investors.globalstar.com/sec-filings/sec-filing/10-k...
https://investors.globalstar.com/sec-filings/sec-filing/10-q...

In short:

- Apple is essentially Globalstar's largest customer, with over 50+% of revenue from them alone. All other segments are a drop in the hat in comparison.

- Apple was so far in bed with Globalstar that they actually got GSAT to drop an entire next generation product line instead for Apple's service needs.

On the second point -- Globalstar offered a "satellite hotspot" service called the Sat-Fi. The second-gen Sat-Fi had launched and only stayed in service for a couple years before it was killed with basically little to no warning or fanfare. Their "duplex" service offering still remains today, but with a very small amount of subscribers. (Duplex to them is their ancient satphones - voice and 'data' dialup calls at up to 9600 baud. They don't make Duplex hardware anymore and are winding out the Duplex service by increasing prices so as to force customers away. Current pricing is $100/mo for 120 minutes or $200/month for unlimited voice. It's a raw deal. Gen2 got us about 72kbps over the air, but RIP.)

More wild in the 10K is this gem -- Apple has up to 85% of Globalstar's total system capacity.

"We are the operator for certain satellite-enabled services offered by Apple Inc. ("Partner") (the “Services”) pursuant to the agreement (the “Service Agreement”) and certain related ancillary agreements (such agreements, together with the Service Agreement, the “Service Agreements”). The Service Agreements generally require us to allocate network capacity to support the Services, which launched in November 2022, and Partner to enable Band 53/n53 for use in cellular-enabled devices designated by Partner for use with the Services."

"We retain 15% of network capacity to support our existing and future Duplex, SPOT and IoT subscribers. This capacity can support a substantial increase in our own subscriber base, particularly following recent and planned investments in our space and ground segments. The retained satellite capacity can be used by us directly or through additional wholesale arrangements."
talk about an incredibly weak signal. seems to me that you’re primarily filtering for personality, not responsibility (which is your prerogative, of course).

for instance “can’t do their job without using other people’s time throughout the day” is a loaded comment that really just indicates how you view working with others.
Thank you!

Yes, Flink Stateful Functions were a first experiment to build a system for the use cases we have here. Specifically in Virtual Objects you can see that legacy.

With Stateful Functions, we quickly realized that we needed something built for transactions, while Flink is built for analytics. That manifests in many ways, maybe most obviously in the latency: Transactional durability takes seconds in Flink (checkpoint interval) and milliseconds in Restate.

Also, we could give Restate a very different dev ex, more compatible with modern app development. Flink comes from a data engineering side, very different set of integrations, tools, etc.
No details on why the Android stack is somehow more magical for AI? ... Or did they just fire all the ChromeOS devs and need to share resources with Android now? Why not Fuscia for something new?
I assume YouTube's core metric is watch time and so building features that reduce watch time is a no go.

Not really related, but I thought of this. I used to work on a popular search engine. Our main metric started out as number of searches and number of results clicked on. That made sense as we were working on increasing the number of relevant results. Eventually we had to pivot the opposite direction because we wanted people to find the best result the fastest, which means less searches and less clicks on results. Kind of interesting how a core metric can flip like that.

I could see YouTube potentially making lower watch time a goal if they make the experience of finding useful information so slow that people go elsewhere.
I agree that the USA can't invade everywhere, no matter how much the hawks insist.

That said, "Any more"?

Russia is much less of a threat to you now than the USSR was between invading Poland and the fall of the Soviet Union and end of the Warsaw Pact. China and the USSR are why the US didn't win in Vietnam or North Korea, and you've had all those decades of fun with Cuba (including that time Castro offered to send some election monitors to help the US).

In general, the US does well as a team player, but isn't so good when it tries to be a loner. Looking over the Wikipedia list, of the wars you've won without allies, have been against very small, weak, opponents:

• United States invasion of Panama, 1989–1990 (but only if you don't count the Panamanian Opposition as an ally)

• The Tanker War is listed, but the full page for that war says the US was supporting Iraq at the time

• 1986 bombing of Libya

• 1923 Posey War, the main page for which… well, 2 casualties in total, so if that's a war then what are school shootings? https://en.wikipedia.org/wiki/Posey_War

• United States occupation of the Dominican Republic (1916–1924)

There were plenty of solitary successes before that, but even the end of that last one was a century ago now. The successes, like WW2, the USA was one country amongst many.

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

> Russia invaded Ukraine and besides sending billions in aid, we haven't done anything militarily.

An analyst I follow says this is deliberate, based on the US worldview: https://www.youtube.com/watch?v=CxZ402BMSs8

> The attacks against Israel went unprovoked and we've got all we can handle with the anti-Israeli protests going on here on our own soil - let alone trying to send troops to any of these hotspots.

Israel and the various Palestinian armed groups have been provoking each other for as long as I've been reading news. This doesn't justify any given example of bad judgement on either side, but they've definitely been provoking each other. And you're really not got all you can handle for the anti-Israeli protests, protests are a police action at most, not military.

I can't see the US forces being able to do much to help in the current Israel-Palestine mess, though, no matter what next step you think is the most important for peace in that area — given the politics, the only lever the US can pull on at this point is how many weapons they're willing to sell to Israel… and Israel has a huge weapons industry, about 10% of the global export market.

> China has been sabre rattling about taking over Taiwan and all we can manage at this point are sternly worded memos.

Yes, but that's also basically what's been going on since the Chinese Communist Revolution in 1949, which resulted in the retreat of the Republic of China government to… Taiwan (fun fact: guess which of the two Chinas had a permanent seat in the United Nations Security Council from 1949–1971).
You did, although I have no idea if OP is an affiliate of YC (IANAL but maybe you could argue the public API is a form of sublicensing the data?):

> By uploading any User Content you hereby grant and will grant Y Combinator and its affiliated companies a nonexclusive, worldwide, royalty free, fully paid up, transferable, sublicensable, perpetual, irrevocable license to copy, display, upload, perform, distribute, store, modify and otherwise use your User Content for any Y Combinator-related purpose in any form, medium or technology now known or later developed.
I’m not sure about lockdown mode, but the advantage of pair locking is that the lock (say, your MacBook) can be left at home and isn’t currently with you, so no matter what, it will be locked. Lockdown mode might not work under certain coercion conditions.
Cool, congrats on launching! Could this replace Jobrunr?
I just spent hours looking at formal methods and had decided to learn Isabelle/HOL, then this article !
I Built a Tool to Improve Startup Ideation
My name is Leigh, and I'm a software engineer from Dublin, Ireland.

I'm developing a tool designed to help entrepreneurs generate startup ideas more efficiently. This tool takes real-world problems and equips users with resources to brainstorm solutions and develop innovative ideas.

I would greatly appreciate your feedback on the concept and the brainstorming tool itself. Do you think this is something you would find useful in the future? any features you think would be useful ? is it not useful due to something else ?

Thank you for your time. Here is the MVP: https://problem-base-webapp.vercel.app/
Make sure all that value stays in one place and doesn't benefit too many people.
Making Foosbar: the (unverifiably but plausibly) best foosball robot [video]
Yes but you only have a single index containing the UUIDs instead of duplicated everywhere that is using it as a foreign key relation. Those indexes quickly become explosive in relations like e.g. m2m tables.
The market can stay irrational longer than you can stay solvent.

There’s a new cash cow in town called AI No ones interested in crypto anymore. That ship has sailed.
Deanna Troi
Good luck proving it!
You can, but depending on the justice system in your area, you might not want to.
Thanks, I feel a little better about the situation. I pushed pretty hard for the equity. One of the founders knew me and sought me out, so I leveraged that a bit. When I signed on, the plan was to raise a new round within a 2 months, which would be accompanied by a bump. But for reasons not worth getting into, we waited about 9 months. I padded my bank account in preparation, and I'm just about to tap into savings, which I really want to avoid.

I just told them I need around 200 to be comfortable. And that's the truth. Response was good, and they can't match that now, but they will. I'm working for good people I trust. And we are building some pretty awesome tech that are much needed in our industry.
Massive difference exist between GPLv2 (Git) vs AGPLv3 (Twenty).

You're comparing apples and oranges.

Google documents well why they forbid AGPL https://opensource.google/documentation/reference/using/agpl...
Right, I'm saying the premise can be applied so widely it falls flat, for me at least.
I haven't seen those, but it wouldn't surprise me.
> I think it's generally considered a Western in a sci-fi setting.

This is how I think of it as well. I actually don't really consider it science fiction, it just uses the scenery. Although I equally wouldn't say anyone who calls it "science fiction" is wrong.

That brings up another thing: I think a story can be science fiction without involving anything futuristic or space-related at all.
A fast hot code swap of a module is a more important feature in my opinion, but it is somehow even harder to find these days than a fast compilation speed language.

But ideally I want both.
Will always remember my visit to The Old Wellington pub in Manchester. It was built in 1552 and is the oldest building in the city.
This is why I asked at the start of the thread. We *need* 128bit numbers to make the uniqueness work across loads of systems (like a distributed/federated type thing)