skysight-inc/HackerNews huggingface dataset:
I’ve written about this at some length, but long story short: type modeling and semantic checking is intimately connected to the language semantics, so aside from very simple “look at the properties of the underlying nodes, derive properties of the current node”, it is hard to present any generic approach. In fact, there are many possible way to approach modeling types even with the exact same semantics, leading to different trade offs (just compare different C compilers and you’ll see!).

So this is actually harder to do that it might seem. The best advice I have is to contribute to a compiler or two and understand their semantic checking model.
How the Universe Made the Elements in the Periodic Table
I went all in on Google home, with the little pucks and also screens littered around my house. My wife and I have both noticed over the last couple of years that their usefulness seems to have diminished a lot. They used to seem much "smarter." Now, basically, they can tell me the time, set a timer, play music with like 65% accuracy in playing what I want, and tell me the weather outside. It's possible that they were always this bad and the novelty wore off, but it seems like the service just degraded.

I assumed that both Amazon and Google were underwhelmed by how much actual revenue these kinds of devices produced, so they were starving the backend services.

Now it looks like both companies are hoping that Generative AI is going to make them more valuable [0]

[0] https://www.cnbc.com/2023/08/01/google-reshuffles-assistant-...
Something like 5% of the population are insane. No need to figure out any behavior once you factor that in.
As funny as your comment is, I believe you're both correct. If we actually had a functioning Congress, and not the clown circus we currently do, they could actually be getting things done. But the people that actually understand these problems aren't normally morally bankrupt enough to make it into Congress.
I just can't get excited over most trending submissions here on HN for the exact same reason over the last 2 years. This current advancement of AI doesn't feel like such a "new frontier" as other advancements in tech at their early adopter phase. The internet (the closest tech invention of similar magnitude imo) had an atleast decade long "wild west" before all the big players we know entrenched themselves with monopolies and legislation.

With AI we barely begun and yet the cards are already dealt.
You can edit titles after submitting. Also add a (2008)
Unlike China, the US has prioritized decentralized growth for centuries.

Throughout the Midwest, there are excellent research universities, large industrial manufacturers, and smart hardworking people.

It would be folly to try and relocate existing expertise into a concentrated area already struggling with crowding.
Except then, like safari, the size of your blocklist is limited by what the browser allows. Manifest V3 versions of extensions like uBlock Origin will be less effective at blocking ads and trackers.
They used to have plenty of chip plants in Silicon Valley. There's also tons of toxic waste to cleanup[1]. Maybe they should open these plants in the Mojave desert in places like Trona or near the Salton Sea that are already screwed environmentally. The problem is smart people who make a lot of money have to want to live nearby to physical stuff there.

[1] https://qz.com/1017181/silicon-valley-pollution-there-are-mo...
(2008)

Now we have government not just listening to what you say, and noting who hears it; now they're telling companies which posts can be propagated and which must be suppressed.
I sold my car more than a year ago now and I’ve been using an E-bike as a replacement. I work from home so I didn’t really need a car that often and can coordinate with my wife when I need to use the family vehicle. It hasn’t been too bad and we can always rely on Uber if something comes down to it. We live close to stores and it’s more convenient to use the bike than a car when we need to go get a few things. For instance, I can park right next to the entrance of all the stores.

I think he bikes can be a great replacement for a car for certain scenarios and city layout. I live in the Des Moines, Iowa Metropolitan area where we have a large bike trail infrastructure that I can use to get around the metropolitan area
Yes! Definitely check with a doctor. Restasis might be an option.
Canadian here. Sadly, it's common practice around these parts for buyer agents to completely ignore listings that don't have a selling agent attached; it's their form of industry protectionism.

As a result you end up losing out on a large surface area of buyers who rely on their buying agent to find properties, which puts you at a disadvantage.
> Its also fantastic for rubberducking

Given that the gold standard for rubberducking neither knows nor communicates anything, this is an easy win.
Why do they assume that the ice wall would be in the south and not the north?
> 501(c)(3) tax-exemptions apply to entities that are organized and operated exclusively for religious, charitable, scientific, literary or educational purposes, for testing for public safety, to foster national or international amateur sports competition, or for the prevention of cruelty to children or animals.

Signal foundation is a non-profit 501(c)(3). It is literally and legally a charity.
The sweat equity of 3 years and dozens of prototypes only contributes to 5% of the product's success. Marketing will drive 95% of the return.
Yesterday was trying to test some GPTs and was having the same, with multiple browsers. At the end, opened it in safari, then followed the link opening the iOS chatgpt client, and it worked and became available to my other chatgpt instances.

But something is broken there. At least right now.
I do almost all the grocery shopping for our family of 4 with a Rad Runner Plus with a large basket and bag.

I love that bike. Even as someone pretty comfortable getting around on a 'regular' bike, having that extra power just makes it a really easy choice for more trips compared to the car. If it's hot out, it is so much nicer to hop on the bike and get an instant breeze compared to a hot stuffy car. If it's cold out, I can really layer up and not worry about sweating because I overdressed. I just use the motor more.

Edit: I'll add that like many things in life, it doesn't have to be all or nothing. We still have an automobile that we use, but the bike has replaced a lot of car trips. For some people a bike might not replace as many. Some might be able to ditch the car entirely. But it all helps!
But if we think algebra is too hard on our kids, there is nothing we can do.
There is an old saying that quantity is a quality on its own.

Having more targets than the enemy has missiles is Usually a recipe for success
nah, that’s not true at all. have a look at ‘rich-text’[1] which allows for transforms on metadata in a separate stream from the main content. it’s the same basic algo used for OT on plain text.

(i was the cto at a startup which used this to create a multi-user text editor with rich text support in 2015ish)

1: https://github.com/ottypes/rich-text
31. Context is king.
An easy bet is buying from a good existing bike company like Specialized. High end ebikes from Gazelle and Riese and Muller are also good. Avoid low end generic and drop shipped Chinese imports unless you really have no budget but you might have issues and you won't have support for repairs.
> If you're writing a Python implementation and have a question, this may not answer it.

Depends on the question. If your question is, say, "how should I implement the built-in types", yes, the language reference won't answer that question. But if your question is "what does my implementation have to do to count as an implementation of the Python language", then yes, the language reference does answer that question--since the language reference is what defines the Python language.

To me that is a "specification" of the Python language. It's not a specification of the implementation of the language, but why should that be required for something to be considered a language specification? The whole point is to specify what is required to define the language without specifying every detail of the implementation.
I’m assuming that this represents a massive pivot into LLM assistants and these jobs were in support of the legacy system which will be deprecated soon.
> I ask: are we stuck as a monoculture, not making new, interesting things, but simply replicating older ones?

Probably, but I hope not (or at least not for long).

I think it's normal for people to want to retell stories (see the way we pass jokes around like viruses, or the oral tradition, or the million "re-imaginings" of classics). I also think that inclination has been weaponized and turned against us. Producers -- movie, music, or other -- push or are pushed to maximize gain while minimizing risk. And what feels better than nostalgia? What feels better than a story that doesn't challenge you, doesn't prompt any sort of introspection, or hell, any inspection at all?

I think it's a symptom of the push for profit over all else. I do think we ache for new things, but the ship of monoculture is a big one and takes a long time to steer. A lot of momentum is behind where we're at and it's going to take a lot to get away.
What do you mean by "good"? Quality, versatility, speed, price?
Hydrogen and gas turbines are proven ways to store large amounts of energy and turn it back into electricity.
What hardware adapters are you using?
Yet the commute is a full ten trips a week you can eliminate. People aren’t running errands 10x a week. The clear roads and clear skies early in the pandemic showed us what this would look like if more people worked remotely.
They do exist. When I sold in NYC a few years ago, I paid 2.5% all in. When I bought, I used the same broker and got a 2/3 buyer's commission rebated to me at closing. It was a decent chunk of money and helped me pay the closing costs. I recommended it to all my friends and several got the rebates as well.

There are a bunch of these brokers now.
Riese & Mueller are great if you can afford them.

You pay through the nose, but they're not really built like bicycles. You should be comparing to mopeds (or cars!), not muscle-powered two-wheelers. Do make sure to get the high-speed model, though; there's not a lot of use for the strengthened components if you're limited to regular bicycling speeds.
Yup. This is my gut to where LLMs will really explode. Let them augment data just a bit, train on improved data, augment more, train again - etcetc. If we take things slow i suspect in the long run it'll be really beneficial to multiple paradigms.

I know people say training bots on bot data is bad, but A: it's happening anyway, and B: it can't be worse than the actual garbage they get trained on in a lot of cases anyway.. can it?
I'd rather not imagine living in Dover if you don't mind
I’ve got about six Echo devices that I use basically as speakers, timers, grocery lists, weather radios, and some home control (lights and thermostats). I haven’t explored new features or asked it general questions in a while, but what I do use them for, I would miss.

It’s become second nature to say “Alexa, seven minute timer” while I’m cooking. Or “Alexa, add soy sauce to the shopping list” when I open the fridge and pull out an almost empty bottle.
It's a Mac app. It may have an iOS version, but I don't use that.

What it does is put a small countdown window[1] on my screen that is always on top and counting down. It's easy to start another "pomodoro" with a quick click or key combo.

Will it work for everyone? Doubtful.

Did it stick/work for me? Yep.

I don't think the iOS version would work for me, as it always being in my view seems to be the key for me.

1. Screenshot of the window on the original link at https://apps.apple.com/us/app/smart-countdown-timer/id141070...
Python's semantics do not have a standards document or specification. It's based on its reference implementation (CPython) and different variations of Python even have different semantics (Jython, IronPython, PyPy).

The library is documented, and the syntax is also documented, but the semantics themselves are not.
It's the Library of Babel again; infinite options are worse than useless, because you don't know which ones matter.
This is obviously a prototype and not a production vehicle, so issues like this aren't unexpected.

That said, I cannot wrap my head around some of these engineering decisions. It does seem like the engineers are fundamentally misunderstanding the problem itself, and this truck simply isn't engineered to work as a truck.

If car grade parts are really being used, that is wildly inappropriate and unsafe, for a vehicle that needs to control two orders of magnitude more weight down the road.

That said, it could actually be revolutionary to move some car tech into the truck space, if done properly with heavy duty parts. For example, an independent suspension can make the ride much smoother.... which could result in less driver fatigue, and less damage to cargo.

For example, traditionally nobody would ever consider a dual wishbone independent suspension for an offroad vehicle, but, many modern purpose engineered offroad vehicles such as the VW Touareg and Porsche Cayenne have proven themselves capable offroad (including winning many famous offroad competitions) with four wheel independent suspension. It is in no way a "car suspension," but a purpose engineered offroad truck dual wishbone suspension, and it works excellent. "Old timers" will dismiss these vehicles as just a lazy attempt to sell passengers cars as offroad vehicles to customers that never go offroad anyway, but the real world reliability and performance shows that to be an incorrect perspective.
Solutions in search of a problem.
Is taking an ebike really that efficient if its going to be stolen? I kid.. because I have one. But I take 3 locks with me when I need to leave it unattended...
I was surprised when I went to the US and had to pay taxes on everything I bought. On a logical level, I know I pay sales tax in Europe too, but it’s all integrated into the price tag of items so on a more psychological level it doesn’t really feel like the tax is there. Compare that to the US where you pick up a few items in a store, mentally add up an approximate price you have to pay and the cashier asks for significantly more. I’ve also noticed some products sold internationally will have very similar prices in the US and EU, probably because the company wants to hit some certain price for marketing reasons, but the EU price has the taxes included in it.
It's good that the batteries are many times smaller than electric cars and trucks. I still have a problem with the accounting being focused on what the consumer directly experiences rather than the full lifecycle of the vehicle (manufacturing, logistics of vehicle and spare parts, and disposal) but I don't think it changes the conclusions much except maybe a minor edit to the ranking by kilometer-people per ton of CO2e emitted when compared to other forms of transportation.

I did the math on my 2000s Jeep and I would need to drive it for about 20,000 miles (5 years of usage in my case) in order just to emit the same as the production of a single Model S battery, not including building the rest of the car and bringing it to the consumer. I think we could do a lot better to emphasize buying used cars/bikes/everything especially if we reorient the accounting to reflect the emissions that consumers are typically insulated from. Frontloading our emissions kind of defeats the purpose of Nordhaus-style climate economics accounting...
I bike to work and don't mind my commute. I have to be in the office but even if I don't have in person (lab) work that day I still come in since the rest of the team is here. As long as you don't have a terrible office culture (I haven't had this experience in my career) or a long car commute its not so bad. I have done a longer car commute and it sucks.
You will need to dive in, hit road blocks, fail and regroup to learn sales. Books/ courses can give you motivation, but you will learn most of the art through "the school of hard knocks."
> the efficacy of a dirty bomb

Surprisingly low. Dirty bombs are much more bang than they are sting. Definitely would leave people with cancer, but exceptionally short range and most would be the manufacturers. It's difficult to get enough radioactive material and distribute is in a large enough area with a conventional weapon (talking terrorist size not MOAB). There is a reason why despite a lot of missing USSR nuclear material no dirty bomb has ever been set off. Great tool of fear, but not as effective at harm. Not saying it is safe, but rather not as deadly as you might presume. It's also just significantly harder to manufacture, very high risk, expensive, and makes it far easier for you to get caught before detonating the device. That also contributes to their lack of use.
Right. People keep treating ChatGPT like Google Search, expecting to OUTPUT facts. In reality it’s actually better as a Calculator For Words.

In the same way that with a calculator, if you put bullshit in you will get bullshit out. In many cases you need to INPUT facts. This is automated with things like RAG.

I think this is why ChatGPT is extending deeply into RAG, because it matches more closely how users are expecting the tool to work.
In my rapidly-approaching-20 years of python development, I have butted heads with the GIL countless times. Are your web apps single-threaded? Have you looked at scaling your service? Or do you use a web framework that handles that for you behind the scenes?
> What would happen if they just got rid of those properties and shifted just one third of that budget to subsidize such things as internet access to various underserved areas? That's over $500 billion PER YEAR.

No, it’s not 500B per year. Just as a sanity check we aren’t spending more than twice as much on empty buildings than the Air Force.

Also, the US government has heavily subsidized broadband rollouts, arguing about profits while ignoring subsidies is silly. If we’ve learned anything over the last 30 years of broadband subsidies is handing them more money won’t solve the problem.
Chinese don’t have labor laws. It makes it easy to suppress wages, curtail benefits and have extremely stressful conditions in the name of “nation building”.

All big cities in the US are heavily democratic and most have fairly solid Union representation. You could partner with unions and universities to achieve those goals. But most corporations and unions look at each other in adversarial terms not collaborative. So, until that mindset changes you have the flyover state job creation. Those are the only places where corporations can get the labor price points and control they desire.

Either way there is no way the west is going to be able to match Chinese prices with existing labor laws.

I’m not advocating against unions.
I’m saying the west needs to add tariffs on Chinese goods to account for disparity in labor laws and protect its workforce.
> The damage is so deep that it feels irreversible at this point, like the US will be doomed to cars and traffic forever.

There's lots of energy to change things, but you need to find the right city. It will still take 50 years to even approach the level of Amsterdam, but here in Boston I live car-free and the bike infrastructure is getting better every year. Right now the problem is density: solving the car problem ultimately means building dense housing.
Because musicians haven't been hurt badly enough already by big tech
It's very difficult for users to make these decisions in an informed way, for either websites or extensions. The browser highly distrusts websites by default and doesn't give users many options to change that. Plus most people have some notion of how trustworthy 'the internet' is and act accordingly.

This isn't the case for extensions and I think it's become clear over the years it can't be fixed with various trust knobs so they're left with fiddling with the capabilities/trying to fix the overly permissive design.
San diego coastal neighborhoods are fine. I saw a lot of bikes and cargo ebikes going to the ralphs in pacific beach. The whole greater mission bay area seems pretty idyllic from a biking perspective tbh.
What does a salmon have in common with a man on a bicycle?

They are both Pareto-efficient. Here's a chart of cost of transport (calories/gram/km) vs weight (kg) comparing a salmon vs a bicycle vs a jet fighter etc: https://www.bike.nyc/wp-content/uploads/2017/04/efficiency-g...
Our big thing we used them for at my place is vision assistance items. My gf is vision impaired, and it's much easier for it to read things to her, turn on lights etc. It sounds stupid and small, but it really helps her.
> Ironically, wireless networks are still very much like the original "you've got a piece of wire and everyone yells into it after listening for a short period of time" mechanism.

Maybe not that ironically since Ethernet derives from ALOHANet, the wireless network connecting Hawaiian schools. Early Ethernet was basically ALOHANet piped over a wire instead of radio waves just like cable tv for a while was just broadcast TV over wires instead of radio waves. https://en.wikipedia.org/wiki/ALOHAnet
if this is what passes for 'academic rigour, journalistic flair'

> Their batteries make them heavier than a traditional car, and draw heavily on the extraction of rare earth elements

i think your academy is a diploma mill

quoting https://www.sneci.com/blog/are-rare-earths-an-issue-in-the-p... which actually does have something resembling academic rigor

> 15 years ago, the first hybrid vehicles, notably the Toyota Prius and the Honda, were equipped with NiMH (Nickel Metal Hydride) batteries whose negative electrode (anode) was made of a lanthanum-pentanickel alloy (LaNi₅).

> These batteries in the first generation of hybrid vehicles contained about ten kilos of lanthanum, which is a rare earth.

> However, today this battery technology has been replaced by the family of lithium-ion (Li-ion) batteries with much higher performance.

> While some Toyota hybrids sold in Europe are still equipped with NiMH batteries, the vast majority of hybrid and electric vehicles today are equipped with Li-ion batteries… which do not contain rare earths.

> Of course, they contain lithium, cobalt and nickel, but as mentioned above, these metals are not rare earths and do not pose the same problems.

most of the rest of the article explains why rare earths are a red herring and the historical background on why people were concerned about them 15 years ago

> In short, rare earths are not rare at all, the world’s reserves are large, well distributed in the 5 continents and no shortage is to be feared for a long time.
Comparable as what?

3.10 and 3.9 are perfectly mechanically comparable (meaning one can write a program to deterministically compare them and return their relative order), just not with default numeric ordering (then again they're not numbers, they are composite values that are comprised by numbers) or naive string based ordering.

If we wanted trivially comparable with regular numeric ordering we could have incremental numbers as versions. 1, 2, 3, ...

And if we wanted string ordering (as with usual filesystem listing sorting with no extra flags to treat as numbers), we could have fixed length padded parts: 00001.00045.

Not sure if the latter is used, but some software does use the first.