skysight-inc/HackerNews huggingface dataset:
ICE vehicles conquered the world with abysmal efficiencies, they were around 10-15% when they already ruled the roads and the world. That is after we drill for oil, ship it, refine it, distribute it. Even today, manufacturers boast about engines with 40% efficiency in ideal conditions, which still translates to a meager 20-30% in real world driving.

Looking at efficiency alone is not enough.

> They're simply so much less expensive

Not yet they aren't. The upfront cost of an EV still makes it more expensive than an ICE vehicle. Also, they batteries are guaranteed to degrade, so the used market has very bad prices for EVs. At some point, they will probably be less expensive for most automobiles, but hydrogen can still play a part in trucking, trains, planes, boats and specialty operations.

Only about 64% of oil is used for transportation [1] and out of that, only about 50% for automobiles and light trucks [2] (even though for light trucks, motorcycles and other applications, EVs are not going to win probably). So BEVs could replace about 30% of all oil usage. The rest of 70% is up for grabs, so why not pursue hydrogen investment as a possible alternative?

https://www.eia.gov/energyexplained/oil-and-petroleum-produc...

https://www.eia.gov/energyexplained/use-of-energy/transporta...
I'd hope developers learning Git are a little more capable than literal children.
I'm 54, and I reinvented my career 3 times so far. Every single time, I was over 30 yo. Let's start focusing your interest on something you are passionate about and move to an area where you can learn faster.
Being mid-30s is a fantastic time for your career development, so believe in yourself and start learning something you care about today.
Ask HN: Where to find real voices without noise?
Hi HN! I need real US-English speaker voices with no background noise to train a TTS system. Where do you get them, are they licensed?
If you want to see how far this idea can go in an artistic set up, take a look at Golan Levin's work.

As a side effect, you'll find about people working in similar instalations.
> Simply flip the digits over the decimal point, so 0.14159 become integer 95141

This sounds similar to an interesting (and often counter-intuitive) way of writing down numbers called 'p-adic numbers' (although that terminology usually requires 'p' to be prime; in your case you'd want the '10-adic' numbers, since you're using base-10)

See e.g. https://en.wikipedia.org/wiki/P-adic_number (here's a video specifically about 10-adic numbers https://www.youtube.com/watch?v=XXRwlo_MHnI )
Even a natural language search needs revenue. Bing has ads, a natlang search will also have them embedded in the response.
Whenever a company has got a "Python" tag, there's a "Pyth" tag right before that, I assume that's a typo?
- In Our Time (https://www.bbc.co.uk/programmes/b006qykl) - nearly 1,000 episodes since the late 90s, covering history, science and literature. Different expert panel every week with some amazing reoccurring guests (Ian Stewart, Martin Palmer, Mary Beard, Angie Hobbs, Paul Cartledge, Caroline Crawford).
I had one running as an ESX server for a long time. Back then, this was the cheapest path to 8 cores and was ideal for carving up into smaller VMs. The 8 core/32M specs were what was the most you could put on a personal 'free' box.
“Flip around the decimal”… you haven’t accounted for irrational numbers. The reals are not countably infinite.

Even if they were, pi is not between zero and one, so would not appear in your list.

The rest of your argument is difficult to parse. If you’re interested in this kind of stuff though, I’d really recommend picking some good books on set theory and maybe number theory. Set theory in particular will cover a lot of what you’re talking about.
To be honest, it represents that to me too... it's just not the facet of Linux that occurred to me when I thought about OP's dream.
I'd guess, many people wouldn't commute more than 1h to work every day. So, I'd say, "remote" is everything out of that range.
> What changes Google is a competitor in search, Microsoft, that integrates natural language into a search engine without as much concern for showing ads or linking users through to websites.

It seems the real risk to Google is Microsoft integrating some future version of ChatGPT into all their products so that less people go to any search site. Maybe the best search product is the one that is right where you're working and Microsoft owns a lot of that area already. Why leave Office or Excel or Teams to go look something up if you can just do it in-app? It doesn't lend itself to be easily monetized by ads, but Microsoft probably doesn't need to worry about that like Google does.
Some cultures count the nine months in the womb. So you are nine months old on your date of birth.
I'm also interested in Azure's FPGA instance capacity which is a comparable counterpart to Google's TPU AFAIK.

From what I know, Google has a large number of TPU units (not sure about the exact numbers, but I would assume this would exceed 5 digits?) and also has the luxury of sharing TPU instances with products that operate one of the largest models on the planet, namely search and ads. So Google has some advantages on flexibility of resource allocation if it really wants to prioritize AI stuffs.
Practically speaking, anything mainstream that I actually use. And the "still" qualifier there is the problem. That number should be growing, not shrinking.
No mention of who is taking full responsibility for the situation!

Edit: The CEO takes full "accountability" instead, further down the original announcement[0]

[0]: https://web.archive.org/web/20230123124201/https://newsroom....
Are the 12k people all software engineers?
Surely this is easier in every IDE which has a history window?
if you have to count on your fingers just use your thumb to mark each finger bone.

4 fingers 3 bones each, there is twelve right there. now use your other hand the same way as the 10's(12 in base 10) digit. now you can count to 100(144 in base 10) on your fingers. see, much better than base a

Babylonian sheepherders did something similar but 12 on one hand and 5 on the other to end up with 60, which is why you see twelve and 60 show up in time measurement.
Yea it’s the kind of thing you deliberately don’t want to see changed. Never had an issue. Now, if my DW would stop playing songs I’ve heard hundreds of times, that would be appreciated!
>But there are uncountably many finite collections of symbols

How do you mean? Because there are uncountably many symbols? I'm not really sure what a symbol means in this context.
Randomly/weirdly, I also 1) Have 2 HP12cs on my desk; 2) Used them first in my finance career and now in tech; 3) Have Hunter as a surname.

If you used to work in algorithmic trading and you are British then this would be truly weird.
I suspect there is a strong element of “it depends”. If your company needs to grow rapidly to capitalize on an opportunity, having a process that makes hiring this slow doesn’t work. If on the other hand playing the long game is viable, like maybe with a lifestyle type company, this approach is far better. The problem with the pandemic was that it suggested there was a new and big opportunity that made it hard for companies to distinguish the right approach.
Google has been at the forefront AI for years, decades maybe. Do azure even have tpus? It's reasonable to assume Google have close to the best ML compute resources out of probably everyone in the world.
The most recent thing I've done is make my phone a whole lot less distracting. I used this guide:

https://whatifididnt.com/blog/iphone-dumb-phone/

I kept one of my note taking tools, voice memos, and bank apps. I still haven't reinstalled a web browser or email. It's been a little over a week.

I wasn't on HN all weekend, where normally I would have been checking it throughout the day. It not being at my finger tips has been positive so far.
And then how do you update it when there is a new feature or fix? Just remember to occasionally at random check if the random CSS you copy pasted has changed? How do you check if it's changed, go find any commits to look at the diff and compare?

Copy pasting random CSS around is why, as an example, a project I work on has multiple subtly different shades of blues, why margins and paddings are not consistent even on the same page, etc.

Sounds like a lot of work compared to npm update.
Hopefully it is and finally someone has developed a competing weapon to the US's facebook, google, etc.
I don't think that is a good comparison. Fossil fuel is a carbon sink. Extracting methane from fossil fuels in the ground releases the carbon from the sink and into the atmosphere. If synthesizing methane from hydrogen grabs carbon that is already present, it is carbon neutral.
Mecurial isn't superior to git, it's simpler. The stuff that people tend to "criticize" git for is useful complexity. Although, I suppose most of these features are available via extension now?
Interestingly enough, the source for this post talks only about the number of podcasts, not the number of creators.

I'm not sure if we should be worried. 2020 and 2021 seem like outliers. While the number of new podcasts is below 2019 levels (roughly at 2018), there's still plenty of new episodes. Still below 2020/2021 but above 2019, so I think nothing bad is happening
I’ve been following along Whisper.com’s incredible progress.

It is a high quality piece of software which performs better on its intended hardware than any other implementation. It can easily be embedded anywhere. This is truly remarkable. A big shoutout to Georgi for this.

We need to remind ourselves that a part of him is choosing to give this away by open sourcing it. And he has gone through a lot of effort to make it easy to use and understand (just look at the documentation). Georgi to me, personifies every open-source author who put in their sweat and toil towards something that benefits our entire community.

Thank you Georgi. Salut, my friend!
Hmm, that's an interesting idea: two different kind of (integer) cores (big and small) sharing an FPU...
rogue wave? What the survivors told us?
12.184B in revenue for 2022 and they are still cutting headcount, another tech company who could not care less about it's employees.
Try not to burn bridges, even if you're determined never to deal with anyone from your former employer ever again. Just say it was time for a change, or you want to expand your experiences; something generic that won't cause any issues.
Mercurial's branch management makes more sense. If you want to know which branch a commit originated from in git, good luck.

Many things in git, are frankly anti-patterns in any other sane versioning system - comitting partial changesets because of the index? gross. Rewriting history and force pushing? absolutely insane.

The fact that I don't have to "grok" mercurial like you need to git is actually a plus. Mercurial can do everything that git does (and more: check out changeset evolution in mercurial, it blows anything you can do with git rebase out of the water) and it doesn't require Ph.D. level knowledge in directed acyclic graphs to do it either.
Vim can do this with the following plugin: https://github.com/tpope/vim-surround

I exclusively use the visual mode commands though, because I find the normal-mode commands confusing.
Is OpenAI remotely close to being profitable?

The MS deal suggests not so I don’t think it’s fair to compare to Google’s hesitancy.

I think we’re conflating a proof of concept tool and marketing strategy with a viable commercial product, time will tell.

Time will tell whether the pro subscriptions are a viable monetization strategy.
This was bound to happen as the percentage of people who have podcasts approached 100.
in the other article here the deepmind guy mentioned they might release the bot once it's able to cite its sources which makes total sense
AC fails to exist, in its normal form, in constructive or intuitionistic formulations of math. This post appeals to that sort of mathematics and thus correctly identifies that it wouldn’t make sense there.

There are weaker forms of AC which do exist, though. And formulations of math where AC is necessary and obvious, but doesn’t really imply the same thing as classical AC. But these formulations of math are very unlike the classical one we normally enjoy.

For instance, they often disallow the construction of the Reals altogether.
Solution: publish every private key after, say, one week.

I believe there are point-to-point protocols that publish every private key after the recipient receives the message, but I don't see how it generalizes to publish-subscribe.
Google products are falling apart

-Maps has gotten noticeably worse over the last year, I switched to Apple maps

-Chat/Hangouts etc... is a total cluster of confusion. iMessage + Signal covers that fine

-Search is almost purely ads or gamified quora

I switched search to Neeva by default, backup with Kagi, worst case for content search is google: [query] + [site:[website]]

Neeva gives really nice ChatGPT-like results on most search queries with references to sources, then followed by ad free search results. I'm very pleased with it after only a few days.
no. there's no way I'm disabling my spell checker.

there's nothing wrong with static analysis
Less of a problem with LFS, but it's simple, functional, and you can store whatever large files without any worry.

<I am a git user, who prefers it to anything>
I got asked to do a survey when I opened the Spotify app last week. All the questions were of a "What would you do if this price rise happened?" and most of the varieties had the family plan going to £20.99.

I don't know what they are smoking to think that they're worth more than a Netflix subscription. Video > audio. If they put the family plan price up I'll cancel it and use Prime Music or something.
I hear you and am right with you—-I recently spent the weekend trimming out Safari on my iPad from 500 tabs (mostly from HN articles) down to 20, and I’m already back up to about 75. And yep, super-frustrating to feel like there’s all these cool ideas and projects and sites out there and all I’m doing is reading and marking them for later.

One thing that helped was accepting that bookmarking it was just a way of putting it down for now, and that I always have the option to come back to it. That doesn’t happen often, but pruning back all those tabs did remind me of a couple things I’d marked that I wound up doing things with. And then on a regular basis I’ll run into a problem and think, “Wait, I think I marked a site in Raindrop about this…aha! There it is.” So storing those marks (as long as they’re searchable!) still has benefit without immediate action, which helps me not leave them open (although I’m still wrestling with it…).

Meanwhile, the act of browsing all those interesting reads and looking at those projects is beneficial in its own right even if I do nothing else but read and bookmark. By reading and absorbing all those different ideas, I make it far more likely that when I’m working on projects at work or talking with other people, my brain will pull those random articles together and make a connection or a reference that’s useful.

A friend of mine likes to call herself the “corporate bumblebee”, gathering bits from one project and connecting it to other projects like a bumblebee spreading pollen. Think of reading HN as being a tech bumblebee: you’re gathering the pollen that you can later give to other people.
I add it to the Chrome reading list. That satisfies me enough to close the tab. Next time I have some free time I just pick a random article from the list and read it. A lot of the time I'm no longer excited about it anyway.
As I recall mailmap was at one time somewhat spottily supported by GitHub, but I believe they have since removed all of that support.
The Spotify app constantly frustrates me and I miss the old Google Play Music app.

- I listened to 5 minutes of one episode of a podcast once, decided it wasn't for me and stopped, but ever since then I have an entire pane on my homepage dedicated to my apparent love for that podcast.

- The first 4 sections of the homepage recommend me exactly the same things - I have the last 6 albums I listened to at the top, then "Jump back in", then "Recently played" and then "Recommended for today". There's no "here's some stuff you haven't listened to lately". I regularly enjoy an album, burn myself out on it (because it's always presented to me), don't listen to it for a week and then completely forget about it because Spotify never mentions it again.

- The queuing functionality is horrible. There's way to add a new album to the end of the current queue. That means I have to consciously realise that I'm listening to the last song of an album and then queue up what I want to listen to next. It regularly gets confused especially if I connect it to a Bluetooth device mid-album, and will sometime decide to truncate my queue, chopping off the last few songs of an album or repeating a middle few songs that I've already listened to.

How can such a simple concept (listen to music) get so many basics so wrong and have such glaring bugs?
You can't flip irrationals over the decimal the way you described, because their decimals have infinitely many non-repeating values. You would end up with an infinite sequence of numbers, not a real number.
Electricity. It doesn't leak from cables.

Now: we need to get away from solutions that involve pressurised gas being piped or transported around the world. =)
More here: https://news.ycombinator.com/item?id=34482904

It’s in-house. I wasn’t happy with anything we tried, and honestly it wasn’t as bad as I thought it was going to be.
"I used to be a lawyer but now work in IT", "I'm reporting and escalating your non cooperativeness right now"
Have a look at Fall of Civililzations as well - I think you'd like it. 3h deep dives into fallen societies of history.
Spotify to Cut 6% of Workforce
Would you still consider it that way, if sex trafficking was much more prevalent? (BTW, it's probably more prevalent than you think)
The paper covers that. They only test to a finite size, but the models that fail can't generalize significantly beyond the size of explicit examples they were trained on.

Formally transformers should be capable of modeling it with the right weights, but they show good evidence those weights can't be learned with gradient descent. Whereas a neural turing machine or stack machine can learn them with gradient descent.
> This is a standard component of LCA databases and puts the ESOI in the 50-100 range for the first generation of batteries. Subsequent generations are higher.

Yes that's the number I found WITHOUT accounting for mining the materials... Just manufacturing the battery.

> Electrolysers also require mining, as do fuel cells, as does any source of heat for reverse gas shift or similar.

Yes but there's far less of those materials required than the sheer amount of battery cells being produced for automobiles.

> Hydrogen (or rather hydrogen derived molecules) are a viable method of seasonal storage, but that doesn't mean most of the hype doesn't exist to greenwash gas or that your talking points aren't propaganda.

Greenwash gas? The whole point of hydrogen is to create it using renewable sources of energy... The whole problem with renewables is storing the energy since they don't produce reliable baseline energy. Hydrogen accomplishes that.
The actual statement by Ek contains: "I take full accountability for the moves that got us here today."

Interestingly, responsibility is usually used as a get-out-of-jail-free phrase, while accountability literally means that you will take consequences. Maybe I'm just reading too much into the literal meaning of otherwise similar words.
Parasitic Twin
Point still stands, and importantly, Dow and DuPont merged in 2015.
I also compulsively[?] bookmark things to get to them "later" but I think this is just something that stems from how ephemeral the web can be. I've started trying to regularly send my massive set of bookmarked links to a selfhosted ArchiveBox instance to preserve the content. Haven't figured out search yet, but I'm looking at Yacy and possibly Elastic. I cobsider it a personal knowledge base. It's reassuring to know that the feeling of "oh, I saw this! or read about that!" or "yes there was this project posted that solved this problem..." and know you can find it again with very little effort even if the original has long vanished.

As for coping with ADHD in general... the tack I'm taking lately is to just embrace the mundane. "Mundane excellence" is kind of the mantra. I'll do outrageous things to avoid the mundane business of everyday life and work, but it causes a lot of problems and discomfort. But it actually tends to feel rewarding to engage with it over avoiding it. The whole frustrating "thing I put off for months just took ten minutes at 5% effort to just do"... I don't know. It all remains a challenge, despite medication.
That's awesome. I've been using similar product previously, but these were either prohibitively expensive, or self-hosted.

Keeping the link for later, thanks :)
Anybody looking for information not filtered through science journalism wouldn't go wrong checking out the Twitter threads of two of the researchers:

https://twitter.com/KristerVasshus/status/161523653168960716...

https://twitter.com/Kristel_Zilmer/status/161546218260654080...

I also recommend Jackson Crawford's video on the subject as well:

https://www.youtube.com/watch?v=X_m2xcoU9Q0

He also had an in-depth interview with Krister Vasshus on his Patreon which will probably be on his You-Tube channel eventually.
File locking exists for LFS, which you could argue is the main place you'd need it... if you want to "lock down" other files, there's ways to handle that in the process, eg. pull requests
For your second point, there's a Time Capsule playlist with content you haven't recently listened to.
Totally agree. I apply this to my end of day too - leaving myself a solved task with an easy entry point to start with makes it easy to continue that productivity between days even.
I don't know if it meets your definition of lightweight, but Obsidian does this. https://obsidian.md
If you're using lfs for cad, it has file locking
The app is terrible. No consistent route for the "back" button - constantly doesn't do what I expect. No clear way to find a history of songs you'd played before. App notifications for new podcast episodes never take you to that episode. In patchy wifi/4g it takes forever to start or search, rather than finding local results first.
I got downpayment from a company with about $100M revenue. Not sure if it qualifies for big corp. I normally do custom product development from scratch and it takes about a year of work in average. There is no way I would sit for a year without getting paid. Normally we would write a contract that among the other things specs stages and what is delivered for each stage. Each stage is paid upfront so first one qualifies as a downpayment. Obviously if by the time I am to start stage N it is not prepaid I would simply inform client and will not start working and the whole contract timeline shifts. But it is all in the contract and frankly had never happened. I've always got paid on time and had / have good relations with my clients.

But I normally develop software for companies whose main business is not software per se but they need software to conduct their business.