skysight-inc/HackerNews huggingface dataset:
The axiom of choice is not really about assigning names to objects using finite strings of symbols. In this example, you take R, remove countably infinitely many elements, and end up with a set with uncountably many elements. From a set theoretic perspective, it is not any more difficult or unintuitive to select an element from this set using AoC than it would be for R. When we use AoC, we are not really assigning a name to anything or doing any computation. We merely claim that a function exists which returns some element from the set. AoC doesn't compute or describe this function.
Google has been slow because they can’t figure out how to release this without destroying their business model.

It’s very hard to be commercially successful with an innovation when it attacks the cash cow side of your business. It can be done, but it creates a lot of internal conflict and incentives to wait, to gimp the innovation, or to try to bolt it on to the cash cow to mitigate the damage.

I have no doubt Google could be a leader in the LLM space. . . But are they willing to destroy their own moat and take a serious revenue hit to do so?
https://www.fundedlist.com

Making about 1200/month right now.
It's a weekly list of companies that were funded in the last 7 days with founder/ceo contact information.

I use a mix of scraping and manual validation to make the list and currently doing cold emails to sell. I'm not truly a developer or a marketer, so learning a lot while attempting to make this work.

It seems to be valuable to different types of agencies -- recruiting, design, web etc.
One command I use that I haven't seen anyone mention so far is git apply. I use this to stage or edit diff hunks before committing. Basically, at least in vim, I can highlight part of the diff (along with the diff header) and pipe it to the git apply command with the --cached and --recount flags to stage or unstage changes.

This, at least in my opinion, is easier to use than the -p flag for git add or git reset, and provides much finer grained control over staging and unstaging compared to those commands.
Moving into training was the best decision I ever made for my consulting career. Better pay, better scheduling, and no bug reports!

About 3/4 of my work is going onsite to companies, and teaching 10-20 people Python. I currently offer a bunch of courses, from "Python for non-programmers" to advanced Python workshops. These range in length from 90 minutes (what I call "microcourses") to 4-day sessions.

The other 1/4 (which I'm working to grow) is an array of online courses, with much overlapping content from my corporate training.
If there is a threat to Google, it's not that ChatGPT beats them on technology, even if it does. 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 may not kill Google, and Google may become more profitable, but it will be fundamentally different.
Hydrogen is a much smaller molecule, so it leaks out of much smaller holes. It leeches into metals and causes hydrogen embrittlement. It is about 1/3 the energy density per volume of natural gas.
Understanding Feedback Loops
Listening is growing steadily but is podcast production?
I wish you all the success with your grants and crowdfunding. We disagree with the feasibility of ssb as a platform, but either one of us trying to sway each other from their position may prove to be a foolish errand. Fair winds.
Yea I mostly agree. It’s really hard to compare a lot of countries.
It’s so hard to talk about this without being labelled a “vaccine denier”.

We all knew the initially claimed protection rates were overstated, it was acknowledged as a limitation in the initial study protocol but ignored by politicians and media.

For the validation trials, due to the time / resource requirements (we didn’t have PCR capacity) testing for seroconversion/positivity was only done on symptomatic patients and not at a routine time interval. This type of testing is well known to result in overestimating treatment effects (you’re missing all the people who didn’t self declare symptoms and get tested by not having strictly adhered testing intervals) and there’s zero doubt “94% protection” was an overestimate (even by the original Pfizer study authors). By how much, we’re not sure, and we absolutely needed something in a time of uncertainty and it was the right decision at the time given available resources and pandemic pressures.

As evidence has accumulated, we’re realizing the vaccine effects and COVID mortality (particularly post Delta) are vastly overstated.

I have not seen a CT chest with the “cardboard lung” appearance of COVID-19 pneumonia or ECMO patients since December/Jan 2022, and I was reporting inpatient chest imaging in the largest ECMO center in Ontario at multiple points during the pandemic.

The “sniff test”, suggested things were changing (like population drift with a ML model). And the issue with the vaccine rollout is we went back to “science based medicine” rather than the currently accept “evidence based medicine” where lab tests like neutralization assays were being extrapolated into clinical outcomes. Medicine moved away from this type of reasoning for a reason, you really need to look at higher level outcomes to know what’s actually going on. You can rationalize many treatments on a scientific level (as was done for anti malarial drugs at some point) but it usually ends up invalid.

What’s being proven true now, is that we overestimated both COVID mortality due to confounding effects of co-admission (how many inpatients are there BECAUSE of COVID not with it) as well as the effectiveness of vaccines, particularly at later stages in the pandemic. They probably worked well for COVID 1.0 up to Delta at preventing serious illness but that quickly dropped.

I don’t buy the evidence to support current vaccination recommendations with the bivalent (esp. young and healthy), and you can see many institutions have dropped that requirement (only the initial 2 dose series was ever mandatory at my place)
These kinds of non-constructive results are almost always present when you invoke choice (when it's actually relevant), and this is a well-known example of the non-intuitiveness of choice. If you don't like this, you're probably a constructivist and may also disagree with the law of the excluded middle. A classic quote/joke on the topic:

"The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"
Well it's not like HN is a council of Vulcans debating logic all day, we're all as human as the next guy.
If I recall properly, at the time I was "building maths from the ground up (aka axioms)", I was very uncomfortable with THE axioms: this mixing between discret/finite concepts/objects and infinite concepts/objects was too easy for my taste.
I've always called BS on the math community for this. Let's talk about real numbers between. 0 and 1 (because we can map all of them to this range anyway). I can (count) enumerate all of them. Simply flip the digits over the decimal point, so 0.14159 become integer 95141. Done. Now you ask where pi sits? It's infinitely far down the list of integers. It's position is as precise as your definition.

We can extend this to (I forget the terminology) enumerate the numbers that can be named, by converting the names to integers. Now pi has several location in this mapping, as do a lot of real numbers.

Infinite sets are interesting, but I've never been convinced that there are more reals than integers. It seems plausible but I don't think pi not mapping to a specific integer in the above scheme invalidates the mapping.
i don't, but it all seems to work out anyways
Distractions usually happen when you’re not satisfied with the other things in front of you. Of course nothing is black and white, but that’s what I’ve found.

I wrote a book on ADHD that quite a few HN users enjoyed: https://adhdpro.xyz/
I walk to the office now and run back. Solves the can’t shower at the office issue too as walking won’t make me all sweaty even if I walk fast. The time I lose compared to the subway is just 15min and I arrive alert and sometimes had a really good idea already that I can pounce on as soon as I get there.

I also hope the high amount of Zone one Training I get for free will help my ultra running but I would still do it just for lifestyle reasons.
Yeah we seem to have had hit our industry peak in November 2021.
You just input the name of those persons on the spotify search and you find the podcasts?
I think I see your point, but let me please interject that your proposal contains itself some hostility.

> which solutions are really helpful in reducing CO2.

There, you have already decided that lowering the amount of CO2 should be our concern, but should it?

I say: let's collect facts and count numbers and compare which solutions are really helpful in enhancing the quality of our life.
Ezoic
Do you accept commissions? For example, if I want an F1 driver sculpted?
Better Neovim Marks
Check out, https://rectangleapp.com/ this might be what you are looking for.
"Know your customer" ... these are jobs on the internet, building the internet, for users on the internet. And because the internet is global.
In regards to recent layoffs, the largest wall in Cheese Station N says:

Change Happens -- They Keep Moving The Cheese
Anticipate Change -- Get Ready For The Cheese To Move
Monitor Change -- Smell The Cheese Often So You Know When It Is Getting Old
Adapt To Change Quickly -- The Quicker You Let Go Of Old Cheese, The Sooner You Can Enjoy New Cheese
Change -- Move With The Cheese
Enjoy Change! -- Savor The Adventure And Enjoy The Taste Of New Cheese!
Be Ready To Change Quickly And Enjoy It Again -- They Keep Moving The Cheese.
Getting to One Million Users as a One-Woman Dev [video]
But we still generalize it to bigger and bigger without seeing matching brace problems of all sizes we can handle.

In the paper I don't think they are looking for perfect, but they show which models can't seem to learn significantly beyond the size of examples they explicitly saw.
I can't wrap my head around how much lithium or other rare earth metals will need to be mined to transition entirely to solar, wind, and electric cars. What countries are these mined in? What percentage of the US grid is from wind or solar? Like 10%?
The University of Manitoba (War)Gaming Club and Win-Games
> Throwing energy away is counterproductive, and Energy-to-Hydrogen-to-Energy throws away lots of it.

The current process needs 55kWh of electricity to produce 15kWh of electricity on the other end. Not very efficient at all.
> would it be possible to use this tool to make automatic mask for editing in something like GIMP

probably but GIMP plugins are not something I've looked into

> REPL

already done. just type `aimg` and you're good to go

> GUI

GUIs add a lot of complexity. Can your file manager do thumbnails and quick previews?
The original post has a terrible title. It's no surprise the post has been glossed over, which was likely Spotify's intention with that milquetoast title.
I'm sort of confused -- so Google has had this amazing, breakthrough chat tech but just didn't feel like making it available?

I asked ChatGPT and it had this to say:

> is google's LaMDA available to the public? how does it compare to chatGPT in quality?

> Google's LaMDA (Language Model for Dialogue Applications) is not currently available to the public. However, it has been used in a number of Google's products, such as Google Assistant and Google Meet's "smart compose" feature. It is not clear how it compares in quality to ChatGPT, as the models have different training data and architectures, and are used for different purposes. However, LaMDA is specifically designed for dialogue generation, while GPT-3 is a more general-purpose language model.

Assuming ChatGPT isn't lying to me, if that's the best Google could do with the tech, at the very best they suffer from an absolutely devestating lack of ambition and creativity in their application of the tech. (Or perhaps they're just moving very slow.)

Anyway, hopefully all this does motivate Google to do some impressive things.
I could not get the first cell to run.

ERROR: pip's dependency resolver does not currently take into account all the packages that are installed. This behaviour is the source of the following dependency conflicts.
tensorflow 2.9.2 requires protobuf<3.20,>=3.9.2, but you have protobuf 3.20.3 which is incompatible.
tensorboard 2.9.1 requires protobuf<3.20,>=3.9.2, but you have protobuf 3.20.3 which is incompatible.
I like the thousander chant but I only have regular laptop speakers. What do you recommend to really "get" the song? What would I hear beyond those super low basses?
Bypassing GPT-Zero's ChatGPT Detection Program – Gonzo Knows
> Road tear and wear grows exponentially with weight

I thought something like 90%+ of road wear and tear was due to tractor trailers, dump trucks, and other massive vehicles. Meanwhile cars were a rounding error. Do EVs change that?
Why was Sims 2 disappointing to you? I remember it being received well, and I loved that the Sims could finally age and die. I don't see many people who were disappointed in Sims 2 unlike 3 and 4.
The argument here seems to rely on a natural language intuition, or perhaps even a physical or computational intuition, about what it mean to "choose" something from a collection.

However, remember that the axiom of choice is technically a statement about the existence of certain functions, specifically functions that map from any set of non-empty sets to elements of those sets. Whether or not the existence of those functions says something about the possibility of "choosing" is more of a terminological question about how to connect informal natural language to mathematics than it is a substantive mathematical question.

Turning to the mathematical question itself, it seems to me that the author's intuitions fare poorly. The author argues that we apparently cannot "choose" an element from a set that contains only numbers that are not finitely describable. But the mathematical question is about the existence of a mapping function, and it seems that whether or not the numbers in each set are finitely describable is irrelevant to this question:

Consider the function f(x) = x + 1. This function is defined for all real numbers x. It maps each real number to another real number. Note that the domain of the function includes even those real numbers that are not finitely describable. The meaning of the function itself is nevertheless clear and the function is easy to write down. The fact that the domain of the function includes indescribable numbers is not relevant to the question of whether such a function exists mathematically.
No, and you can't learn git in an afternoon either. Here's a very very simple scenario. You and I are working on a fork of a project. You make a branch and push it. I want to update an unrelated branch with the changes from the fork, so I follow [0] (note all of the various adjustments in the comments), and suddenly git switch doesn't work for your branch anymore.

Git has dozens of failure modes like this where the behaviour is completely unintuitive unless you understand the internals of git.

[0] https://stackoverflow.com/questions/7244321/how-do-i-update-...
I think spectacle app can help. https://github.com/eczarny/spectacle
Forget 'netcode' - that came from people who don't know about game development. A good networked game will be made to work well at a foundation level. There is no such thing as 'netcode'. It isn't like a shader that has it's own language and is sectioned off from the rest of the program.
Why code lines still should not exceed 79 characters
I feel for you. Change is hard. Many times we don't even realize how something can replace us until it does.
> Google has been slow because they can’t figure out how to release this without destroying their business model.

You can still display ads. My bet would be that they equally have not figured out how to make it reliable.
I never really understood the argument that OpenAI has some technology that Google does not have. That's just not true. The opposite is much more true. And Google's LaMDA is even older than ChatGPT.

Google has to be a long way off monetizing what they have though. If Google was in a position to roll out AI soon I can't imagine why they'd be getting rid of 12,000 people who they know can pass their hiring criteria. They would put some of those engineers to work integrating the AI code into Google's products. Unless Google's AI is so good it can integrate itself I suppose.

The fact they're letting 12,000 people go shows they don't have profitable work for those people. That alone should tell us something about the position of Google's AI strategy right now.
Or perhaps it's the innovator's dilemma. Why would they voluntarily cannibalise their ad business by offering a chat interface that means users don't have to visit websites?
A Tombstone in a signed log is not the same as "marking an entry as deleted", it's replacing an entry with something that contains enough data to maintain log integrity. E.g. "this tombstone replaces an object that had the hash XYZ".

The problem that remains is that for everyone who doesn't follow the tombstoning request and keeps the old value, they can still "prove" that what they claim was the original value is correct because its signed, unless you do more complex stuff with non-repudiation constructions etc.
The only places where buildings go up in value is where the building has been grandfathered in and is no longer able to be built in accordance with modern zoning rules.
If you sort this set after you apply your transformation, what's the number that comes right after pi?
The direct sum decomposition you mention doesn't always happen, as you can see in some of the examples in the calculator. It is closer to happening when \gamma is zero, and if \gamma is zero and we switch from integer coefficient to field coefficients, then it always happens!
I only check during the morning while my adderall is kicking in and I don't go past the first page. This allows me to go as deep as I want and do some exploring still, but with limits. It's just taken practice over the years because I could easily burn through hundreds of pages on reddit / hn easily.
I wish everything had ECC, but sadly it does not. I do, however, have code on Pi based servers to allocate a few MB of random size every once in a while, give it a random value, and check it in a bit, to catch the worst always present errors. I've never seen it catch anything though, and would be very surprised if it did.
I think in some ways its the scale of the problems Google X / Other Bets / Alphabet went after being rather hyperbolic.

Apple / Microsoft just take what they are good at to move into adjacent spaces in consumer/office tech. Apple has made some failed forays into corporate while Microsoft has not done terrible well in consumer other than gaming and maintaining their existing Windows base.

I wonder if Apple leaks about stupid stuff we never see like their car and their AR is just to put other less well disciplined firms onto the trail of expensive dead ends.

If you think of automakers and their "concept car" approach in which they present beautiful improbable vehicles they never ship..
Apple seems to LEAK "concept cars" they never ever preview, while Google goes all-in trying to actually ship a "concept car" no one wants, like Google glass.

Apple is the result of judicious application of the word "no".
Google looks like a lot of "yes" with weak knees that quickly turn into "no".

I still don't understand what Google's strategy is in almost any space - messaging, social, home automation, audio, AR/VR, other than "yes... actually, no".
I can confirm, the 28C actually shows the 4 (viewable) registries of the stack, numbered on the left as:

4:

3:

2:

1:

So, if you input 4 [ENTER], 3 [ENTER], 2 [ENTER], 1 [ENTER] you have:

4:4

3:3

2:2

1:1

But if you input 4 [ENTER], 3 [ENTER], 2 [ENTER], 1 you have:

3:4

2:3

1:2

1

if you then press +, you get 3 in both cases, which is the sum of the bottom two lines in the display.

Those are either the same as the "old" x and y registers or the sum of last input and the bottom register, same as the old x.
The Russian-Linked Payment Processors Feeding the Crypto-Conomy
Emulators just run the BIOS ROM you give them. You'll get different UIs depending on which BIOS version you have.
Some good history-related podcasts that I recommend:

History of Rome

Revolutions

History of Japan

And the podcast-like YouTube video series “Computer History Museum Oral Histories”.
Show HN: Notion Standup -Get daily reports to your email of your tasks on Notion
Get daily reports to different channels and stay updated with your tasks on Notion
Same, the PS had a better CD player than windows did. Hell, I don't think I had a CD-ROM in my PC when we first got a PS, but that might just be my memory failing after 30 years.
I've never had an issue with Spotifys ux
I think it is mostly people who are invested ($$$) in Lithium batteries who are so loud. It is honestly annoying.

Hydrogen (also including power-to-gas, e-fuels, Ammonia) is the only technology of its kind that we have; a way of storing energy compactly and long term, and also be able to transport it relatively easy.

It is also the only solution to have carbon-neutral aviation, and many industrial processes can also not be easily electrified.
Makes sense. As an old fart, covid was the last straw and I pulled the plug. I would assume this would open up jobs at the bottom as well as people moved to fill the positions old farts (and near old farts) are leaving behind. But it’s curious if there are more low end positions than people willing to fill them. If the shortage is real, there’s going to be a lot of scut work positions that remain open. And that’ll remove more of the magic of travel - having to keep your own room clean, etc, make your bed…

I’m a bit of a cynic. I thought in tech “old people taking their knowledge out the door” was considered a good thing. “About damn time…”
Hydrogen is just a "mobile" energy storage... but a really hard one to deal with, actually so hard it may be not worth it (too dangerous, and not long term enough) in the end. See Sabine H. video about it, I am sure she'll show you things about hydrogen storage you did not think about).

Ofc, we are talking about the "lowest green-house gas produced" hydrogen (hydro/solar/wind/nuclear).

That said Japan is maybe one of the only countries in the world serious and rigorous enough to pull that off.
"Should" is a loaded word that I won't address, but commonly "work from home" is the term used when you're still located near the office, vs. "remote" which is where you're nowhere near an office.
2 in 3 People Say the Most Painful Thing They Could Lose Is Stored Digitally
> Ostroff helped shape Spotify's podcast business...

If that means that they're paddling back on shoving that podcast bullshit into your face and return to focusing on music streaming, then there's at least a silver lining. Reading how podcasts have higher "engagement" that's probably wishful thinking though.