skysight-inc/HackerNews huggingface dataset:
I was always under the impression that the lack of air conditioning in these vehicles had less to do with budget constraints and more with process constraints. If they're driving mailbox to mailbox, they'll likely want to keep their window down, and they frequently need to get in and out of the vehicle to deliver packages. Wouldn't that lead to a lot of dissipation of cooled air?
Bingo. My barista opinion is that every Nespresso tastes like a Cafe Americano a-la Keurig. You can buy a $4 bag of Cafe Bustelo (pre-ground) and get both better tasting and cheaper espresso. If anyone in this thread is considering a Nespresso/Keurig, I'd highly recommend they consider a similarly-priced espresso machine for multiple reasons. Compared to ESE (easy serve espresso), Nespresso is the Juicero of coffee.
Confirmed by the verge: https://www.theverge.com/2024/9/12/24242439/openai-o1-model-...
I made a powerful HTML5 Offline app a long time ago, for some technical requirements (and cool-sounding user) that would be challenging, no matter what stack was used.

Then I was in an interview, where some junior openly sneered at me, for not using a recent popular RDD framework for it.

Part of the problem, even for highly experienced people, is that even the good jobs usually have "technical interview" gatekeeping that's not very enlightened.

(Yes, no matter what framework or stack you're using, I've probably done related things before, and I can pick it up quickly. No, a Leetcode hazing won't tell you how I think, nor what I can do, and it just seems like you're jerking off.)
yes, because this is still glorified autocomplete
This can cause GC to become "bursty."

BeamVM languages complete side step this problem all together.
>If you're enough of an expert to critically judge the output, you're probably just as well off doing the reasoning yourself.

Thought requires energy. A lot of it. Humans are for more efficient in this regard than LLMs, but then a bicycle is also much more efficient than a race car. I've found that even when they are hilariously wrong about something, simply the directionality of the line of reasoning can be enough to usefully accelerate my own thought.
People don't buy Nespresso for the taste, they buy it for the convenience. If it was actually a superior method of serving coffee, then everyone would use it. Alas.
New Amazon trucks are built by Rivian.
This is very cool - website is down for me now but looking at their Instagram post looks like an E61 group head, and espresso-only functionality (no steaming) which simplifies thing a ton. Looks like this would pair really well with a Nanofoamer for people who like milk drinks. I'm definitely tempted!
I Spent the Night in a Former Coast Guard Station. You Can, Too
Name one last mile delivery company that doesn't have a purpose built van supplier? Amazon is getting Rivian to build theirs (after trying buying off the shelf)[1]. UPS uses a ford chassis but custom body work[2]. Fedex is perhaps the closest as they work with many manufacturers, but they have their vehicles custom built for them[3].

[1] https://www.aboutamazon.com/news/transportation/everything-y...

[2] https://www.reddit.com/r/Trucks/comments/ppo5tu/what_model_a...

[3] https://trucksauthority.com/who-makes-fedex-trucks/
The prices on some of the hand pumps are wild to me. I feel like if I'm going to go the hand pump route, then I shouldn't be paying the same price as a Gaggia Classic Pro.
Well, in my head DI at this point requires the magic bits. Otherwise it is (as you say) just constructor args.
Rapamycin and related rapalogs will be far better than metformin at inhibiting mTORC1, and at a low and intermittent dose of 4-6 mg ONCE per week are quite safe. Best paper I know of now is Kaeberlein et al 2023:

https://pubmed.ncbi.nlm.nih.gov/37191826/
>We believe that a hidden chain of thought presents a unique opportunity for monitoring models. Assuming it is faithful and legible, the hidden chain of thought allows us to "read the mind" of the model and understand its thought process. For example, in the future we may wish to monitor the chain of thought for signs of manipulating the user. However, for this to work the model must have freedom to express its thoughts in unaltered form, so we cannot train any policy compliance or user preferences onto the chain of thought. We also do not want to make an unaligned chain of thought directly visible to users.

>Therefore, after weighing multiple factors including user experience, competitive advantage, and the option to pursue the chain of thought monitoring, we have decided not to show the raw chains of thought to users. We acknowledge this decision has disadvantages. We strive to partially make up for it by teaching the model to reproduce any useful ideas from the chain of thought in the answer. For the o1 model series we show a model-generated summary of the chain of thought.

So, let's recap. We went from:

- Weights-available research prototype with full scientific documentation (GPT-2)

- Commercial-scale model with API access only, full scientific documentation (GPT-3)

- Even bigger API-only model, tuned for chain-of-thought reasoning, minimal documentation on the implementation (GPT-4, 4v, 4o)

- An API-only model tuned to generate unedited chain-of-thought, which will not be shown to the user, even though it'd be really useful to have (o1)
How is this any different from the Grumman Long Life Vehicle it replaces? It worked well last time.
I think the suits used by the ISS look better.
> there are dozens of Mayan languages spoken in the Yucatán to this day

Both facts can coexist. Mayan people ruled over other several smaller cultures. Former slaves adopt the cultural habits of their rulers, sometimes for a lot of time after the ruler has gone. Afroamericans in USA that descend from slaves still use the English, as their language. Think about it.
Possibly government surplus: https://www.gsaauctions.gov/auctions/home

Although I suspect since the transition will take a long time, the "retired" vehicles will be kept for spare parts where the old vehicles are still being used, and many will still be kept just in case.
They are testing "ordinary" vans as well. They purchased 6 Canoo vans[0] for testing and announced plan to buy 9000 Ford E-Transit vehicles[1] earlier this year.

[0] https://www.press.canoo.com/press-release/canoo-reaches-agre...

[1] https://media.ford.com/content/fordmedia/fna/us/en/news/2024...
Diabetes causes rupturing of small blood vessels, which has been seen in eyes and feet.
It would follow that the same is happening in the brain and an anti-diabetic medicine would directly improve brain longevity in affected individuals.

*I am not a doctor, but also I can correlate data without bias.
Ultrasound device shows promise for treating chronic pain
That looks like something I'll get.

I have a very primitive old iron (and a gun, which I seldom have a use for).
> ghcup and cabal sandboxing

Would you recommend using cabal or stack to package Haskell components in a Yocto layer, for sandboxed, reproducible, cross-compiled builds that are independent of host toolchains?
> Iran’s alleged reliance on criminals rather than covert operatives underscored an alarming evolution in tactics

It might be new for the Iranian regime, but it's very old in general. For example it jogs my personal memory of a 1989 fiction book:

> "Oh, no. The Cetegandan Embassy is sub-contracting my assassination now? I suppose it makes sense. Galeni said they were understaffed. But do you realize—" he rose and began to pace in his agitation, "this means I could be attacked again from any quarter. Anywhere, any time. By totally un-personally-motivated strangers."

> "A security nightmare," she agreed.

-- Brothers in Arms by Lois McMaster Bujold
I have 2 vision engineering Mantis and I have yet to see a video system that can rival it to work under it, no lag, “real” 3D vision (you can move your head to see behind magnified objects). The only things I miss sometimes is more magnification and a camera port to take pictures/ videos. As per soldering iron I could write a book, I had Hakko, Pace, Metcal, Weller, Ersa and to me the best experience is with JBC although the tips might not last if you’re not careful.
Yes. The easiest way to tell is the soldering "tip" is much more than a tip. It's a cartridge. [1]

[1] https://hackaday.com/2024/09/12/review-ifixits-fixhub-may-be...
They want to be able to buy the exact same vehicles for the next 40 or 50 years.
If there's a high premium, then one might want to wait for a year or two for the premium to vanish.
As others have said, LLMs still require engineers to produce quality output. LLMs do, however, make those engineers that use them much more productive. If this trend continues, I could see a scenario where an individual engineer could build a customized version of, say, Salesforce in a month or two. If that happens, you could make a solid case that companies paying $1mm+ per year for 12 different SaaS tools should just bring that in house. The upshot is you may still be writing software, but instead of building SaaS at Salesforce, you'll be working for their former customers or maybe as some sort of contractor.
> Can we really expect people to be constantly "on" and aware of their emotional impact on others?

We can expect that of ourselves. It's a skill that can be learned and practiced.

“Between stimulus and response there is a space. In that space is our power to choose our response. In our response lies our growth and our freedom.”
-- Viktor Frankl

I've found that a meditation practice allows me to find that space more easily in real life situations. At the very least, you'll know when you're being "amygdala hijacked" (per the article).
This is confusing causation and correlation. The most influential startups change the way people think because their offering was so innovative. The change in perception is a effect of success. Why should changing the way someone thinks be prioritized over a product offering?
Because solar and wind renewables are intermitent, and the factual reality of energy prices and grid stability in every fucking place of earth that went all in into renewables trumps the all the wishful thinking of the the rent seeking renewable energy industry.

The reality nowadays is that for every single GW of renewable capacity generation you forcibly have to have another GW of dispatchable generation, usually natural gas, it is also inescapable that renewables, especially solar, displace baseload generation, reducing its ROI while not eliminating its fixed costs, making energy as a whole more expensive.

Most people have no fucking idea of how electric power generation and distribution and are easy to be mistified with bullshit accounting concepts such as LCOE. But what matter is the total SYSTEM-WIDE cost of energy.

And there is not a single place in the world where widespread adoption of intermitent non-dispatchable power sources haven't absurdly increased the final costs of electricity for the customers.

Of course, lots of people are making a lot of money out of that, a lot of talking heads have their careers based on that and they will say otherwise. So, just move to germany, california, UK or south Australia, enjoy your expensive electric bills, and stop worrying and learn to love increasingly frequent blackouts.

It is not that intermitent renewables are useless and can't be a part of the grid under some constraints. Also, if you have enough hydro-power potential, go ahead. But otherwise, unless you come up with a magic storage solution, solar and wind can't replace nuclear and thermal more than for a small percentage. And while we are at that, solar in a northern european country is a particularly dumb idea.
https://archive.ph/rfQ7W
Not only do I think that's a pipe dream... I think it's technically impossible... I mean, diff has to show also what happened before whatever change took place. How do they expect not to see what was replaced? Or maybe I just don't understand what they mean by "changes since their last review".
When I last looked into Lean, I was highly unimpressed, even for doing math proofs. There's no way I'd invest into as a general-purpose language.

Idris at least does state that they what people building real programs with it and don't want it to just be a research language.

For dependent types, I myself am skeptical about languages trying to continuously push more and more stuff into types. I am not certain that such efforts are a net positive on writing good software. By their very definition, the more typed a language gets, the less programs it can represents. That obviously reduces buggy programs, but it also reduces non-buggy programs that you can implement. Highly typed languages force more and more effort into pre-compile time and you will often find yourself trying to fit a problem into the chains of the type system.

Rather, I think reasonably multi-paradigm languages like F# are the sweet spot. Just enough strict typing and functional core to get you going for most of your program, but then it allows classes and imperative programming when those paradigms are appropriate.

I think the way to go to write better software is better tooling and ergonomics. I don't think type systems are going to magically save us.
Here ya go!

https://wiki.freecad.org/Frequently_asked_questions

https://www.freecad.org/features.php
If you have a chance to see Memoria by Apichatpong Weerasethakul, you definitely should. Tilda Swinton plays a woman with this condition.

https://en.wikipedia.org/wiki/Memoria_(2021_film)
Well, you still only have to try one other password. If you get locked out after one password attempt and nobody knows that you use dvorak, your defense works, but if you have three attempts, you can also add colemak to your list of things to try ;)
Does `lxml` match `etree` in the table?
I use one of these https://www.dualit.com/products/ecopress-aluminium-capsule-r...

It separates the aluminium pod and the coffee grounds so you can recycle the former and compost the latter.
When I click on the image, it expands to full res, 1713x16392.3
I don't see how Austria-Hungary could be seen as a proto EU, unless you mean that they couldn't agree on many things and had muddy compromises on authority and autonomy. How it could have created lasting peace is beyond me. Germany was its natural, but more powerful ally, and France, England and Russia were sworn enemies of Germany, and didn't seem to care for the double monarchy. It had very little credit in world affairs, so how could it have swayed the whole continent?

Also: we're not on the cusp of WW3.
Many are offshoring now, PwC just had a massive layoff announcement yesterday as well
This is great. I've been wondering how we will revert back to an agrarian society! You know, beating our swords into plowshares; more leisure time, visiting with good people, getting to know their thoughts hopes and dreams, playing music together, taking time contemplating the vastness and beauty of the universe. We're about to come full circle; back to Eden. It all makes sense now.
There was certainly an art to being able to get your jokes in at just the right time. A few seconds(messages) later and it's just not funny, so type fast!
Will these not roll over easily?
I find the turnaround time of the Flair a good thing. Firstly it makes a nice 5-10 minute ritual first thing in the morning, especially when combined with a hand grinder. And secondly it is just enough effort that it prevents me from drinking too much espresso which I absolutely would do if I had a more automated process.
Landmark. Wild. Beautiful. The singularity is nigh.
I'm not really paying Nestle though.

I buy aftermarket cups (10 for 2 euro 50, less than half the price of their own cups!) and the machine is made by Krups. I use those same cups at work because they removed all the coffee machines and put nespressos in place of them. The reason was that the machine coffee was so horrible everyone started bringing their own nespresso machine (they had a really good deal at the time). So now they just provide those in the office. The company I work for is too cheap to pay for coffee for us.

But for me it wouldn't work to do it manually. My house is a huge mess most of the time and messing with grinds etc requires more space.
FYI, there's a "Save ChatGPT as PDF" Chrome extension [1].

I wouldn't use on a ChatGPT for Business subscription (it may be against your company's policies to export anything), but very convenient for personal use.

https://chromewebstore.google.com/detail/save-chatgpt-as-pdf...
Moronic destruction of the ecosystems, followed by endless war for the remaining resources. The usual suspects.

People have consistently shoot themselves in the foot with droughts after removing the forest for a few generations. Is happening right now in several parts of the planet.
Nespresso cups (even the aftermarket ones these days) are aluminium, not plastic.
I believe they are more worried about someone asking for instructions for baking a cake, and getting a dangerous recipe from the wrong "cookbook". They want the hallucinations to be safe.
Click on it for full resolution
This is very cool!

Sidetrack: the website mentions "driving espresso innovation forwards". Is this a thing? I love coffee but mostly just use a french press or a moka pot (which are more "great old school tech" than "innovation")
"decelerates aging clock" implies slowing down processes of decreasing health, not just living longer in a frail state at the end. In particular if you click the link, the first thing it says is:

• Metformin prevents brain atrophy, elevating cognitive function in aged male primates
• Metformin slows the pace of aging across diverse male primate tissues
• Metformin counterparts neuronal aging, delivering geroprotection via Nrf2 in male primates

It doesn't even say you'd live longer. If I could get something that doesn't extend my life at all, just keeps my brain fresher into my old age, I would jump on that as well.
A whole lot of automation is limited not by what could be automated, but what one can automate within a given budget.

When I was coding in the 90s, I was in a team that replaced function calls into new and exciting interactions with other computers which, using a queuing system, would do the computation and return the answer back. We'd have a project of having someone serialize the C data structures that were used on both sides into something that would be compatible, and could be inspected in the middle.

Today we call all of that a web service, the serialization would take a minute to code, and be doable by anyone. My entire team would be out of work! And yet, today we have more people writing code than ever.

When one accountant can do the work of 10 accountants, the price of the task lowers, but a lot of people that before couldn't afford accounting now can. And the same 10 accountaings from before can just do more work, and get paid about the same.

As far as software, we are getting paid A LOT more than in the early 90s. We are just doing things that back then would be impossible to pay for, our just outright impossible to do due to lack of compute capacity.
In the past I charged $100k/year per client for something similar
> Noisy and fuel-inefficient (9 mpg), the Grummans are costly to maintain.

> Environmentalists were outraged when DeJoy announced that 90% of the next-gen vehicles in the first order would be gas-powered.

I was gonna say they environmentalists were wrong for this, if the new trucks get significantly better mpg performance that's still a big win.

But apparently with the AC running the new trucks still only get 9mpg.[1][2]

[1] https://earthjustice.org/press/2022/message-delivered-usps-c....
[2] https://arstechnica.com/cars/2022/02/the-epa-and-white-house...
In general if hallucination ratio is 2% can't it be reduced to 0.04% by running twice or sth like this. I think they should try establishing the facts from different angles and this probably would work fine to minimize hallucinations. But if this was that simple somebody would already do it...
None have huge windows like this. Are the tasks that different?
As a (former) owner of a dogshit soldering iron, I think it makes sense. People with weaker irons struggle to work with unleaded solder and tend to write it off entirely mostly because of their equipment. If you have an appropriately hot iron, both types of solder will generally behave the same which makes it a bit of a no-brainer to use non-toxic solder.

That being said - leaded solder is easier to work with regardless of what iron you use. It's very easy to fix mistakes and even wicks up without a trace on most PCBs. I personally don't use it, but I think it's easy to see how people will blame their solder before their iron.
The purpose of post-prediction explanations would be to increase confidence of a practitioner to use said inference.

It’s a disconnect between finding a real life “AI” and trying to find something which works and you can have a form of trust with.
https://www.govplanet.com/?h=
I’m still very skeptical. I think we’re at this point due to pressure, the failing old fleet, and lawsuits.

But I’m glad this is happening. I remember all the discussions around it but have never seen one in person so I had no idea what the status was.

To know they’re out there is great. I can’t wait until they get to my area. And I’d like to hear an update after carriers have really lived with them for a year and really know the flaws and benefits inside and out.

I’ll miss the old Grumman LLVs though. They are the post office to me, being there basically all my life. Such an unmistakeable symbol. But it’s time has come.
Absolutely not unless you are fighting serious obesity. In contrast, I can imagine low dose intermittent mTORC1 inhibition as generally advantageous over a much wider population of individuals 50 years and older.
I’ve always appreciated their drop-in replacement support. It’s so nice to just change an import and move on. I’ve used it on multiple legacy projects with great success- never a single compatibility issue. Great project!
Pandoc does this very well.
It's not bad, many real espressos I buy in local coffee shops for a euro (This is Spain, things are cheap) are worse.
Alibre Atom3d? I too have failed at freecad, and am a fusion360 exile. The old school "purchase your software" lifetime license model and the fact that I've not needed the "advanced 3d modeling" feature of Design pro for my 3d printing/etc needs has kept me fairly happy with it. They have a free/hobbyist version, but I just paid them for the basic atom3d (when it went on sale??) a while back.
The moat is expanding from use count, also the moat is to lead and advance faster than anyone can catch up, you will always have the best mode with the best infrastructure and low limits.
This is true. Shifting a populations life expectancy up to suspend biological aging would be a panic moment for most governments that are tied to huge benefit systems based on age. Good luck changing the retirement age, again.
> Survival instinct is deeply hard wired into all animals, including humans.

Survive and reproduce...

So if/when one has the reproduction bit out that of the way, the survival bit as such may not seem to be quite as vital.

You know your genes are going to survive, meaning you don't personally have to. Which is the whole point of evolution, right?
Any word on whether this has enhanced Japanese support? They announced Japanese-specific models a while back that were never released.
They expel the Hydrazine(N2H4) fuel out of a spherical Ti tank by inflating a rubber balloon that involve Teflon inside the tank using helium supply. I guess N2H4 was potent enough to degrade even those space age materials.

1: https://ntrs.nasa.gov/api/citations/19810001583/downloads/19...
I think the underlying flaw here is that pointing your eyes at a virtual keyboard in space to type passwords is just a poor input method. Take away the VR headset and do the same thing and the flaw still exists.

Now I want to make a keyboard where you shine a laser pointer at the key you want to press, and your cat jumping up is what actually triggers the button press.