skysight-inc/HackerNews huggingface dataset:
> the unnameable reals, which are almost every real

Is there a definition you have in mind for "unnameable"? If you mean definable [0][1], then this is independent of ZFC.

The "standard" argument for this is flawed, and indeed there are models where every real is definable. [2]

[0] "x is definable if there exists a first order formula with one free variable P such that x is the unique real number with P(x) true"
[1] https://en.wikipedia.org/wiki/Definable_real_number#Definabi...
[2] https://mathoverflow.net/questions/44102/is-the-analysis-as-...
You will have to (and should) look up EVE online yourself, there are litteral books written about it. (check amazon, you can buy 2 History books about EVE.)

Eve is an online game. That means servers and game clients that connect to them.
That also means, if the company shuts down, the game is gone.
Enter: Server emulators.
If a working game server exists in the public domain, someone could run it and run the game client connecting to this server and still play the game.
The dollar is surging. This is who gets helped and hurt by its newfound strength
I like their SSDs, and haven't had any Samsung ram modules fail, but yeah, for anything else, I avoid the brand.
Ooo that pricing is much better for indie hacking, thanks for explaining!
I can't agree with all of this. We have multiplatform open source DJ software for free, anywhere selling tracks gives you DRM-free files, there's lots of online record pools, Soundcloud/Bandcamp/etc. have massive amounts of free downloads, and if it comes to it tools for copying music from Youtube/Spotify/Tidal/etc. are not hard to find or use.

It probably took more effort for Girl Talk and 2 Many DJs to obtain their source material then it would for an artist to do similar now.
Default behavior for Windows applications (since 3.x, I think). Alt-Space brings up the Window menu.

Some odd-ball apps will replace it with their own menu, but few apps go to the effort to override the default shortcut it, even if they otherwise hide it.
You sound like a great boss to work for lol.
Mi parolas Esperanton kaj mi rekomendas uzu la librojn Teach Yourself Esperanto kaj la novajn Enjoy Esperanto kaj Complete Esperanto de Tim Owen, kaj na Lernu.net kaj Duolingo.
It's just riddled with vulnerabilities but most of them are now well known and mitigated.

OpenID was meant to be the successor but popularity wise SAML is still the champion with enterprises.

SCIM doesn't really have a successor afaik. Azure AD I think doesn't do password sync, I am not sure who twisted Okta's hands to get this implemented.
The markets aren’t going to value Apple like Tesla just because they enter the same industry. Tesla has an earning multiple right now of 99.52x compared to Apple’s 25.3x.

Adding another 4 billion in profits when it already makes around $19.44B is not going to get the market to value its stock higher anymore than Disney adding streaming helped it to be worth the multiple that Netflix was.

But the market can stay irrational longer than most people can stay solvent
>I didn’t grow up around anyone particularly handy

I grew up in a similar household. Fortunately I was the handyman for my family. I never had tools but I used to improvise. I also used to fix some of my hot wheel toy cars and I longed for a soldering iron and pliers.

Now I really wished I could learn in a more formal way on how to repair and maintain things. I have severe anxiety dealing with people and the attitude and workmanship of some of the repairmen makes my anxiety worse.
Interesting. So when you see talk about aiding those whose lives were destroyed in the present war in Europe or facing disasters like floods, is that your stance as well, that somebody is pushing another of their causes down your throat?

We can pick and choose, but let's not act like bias is not involved.
I wonder how many people in your position smell something rotten, but instead of trying to contact the "real Connor" just delete/ignore all the messages because they don't want to be part of even a bigger scam. (What if everyone is in on it, and they're trying to scam you somehow?).
I got a MacBook Air 2020 with 128GB storage to use mostly for browsing and light dev and that quickly filled up. It's like the OS tries to obsolete the machine as quickly as possible. The biggest annoyance is Finder telling me most of the storage is used by "Other".
Bash nowadays is developed in git, which is nice. Good luck finding incremental changes, though:

https://git.savannah.gnu.org/cgit/bash.git/commit/?id=74091d...

https://git.savannah.gnu.org/cgit/bash.git/commit/?id=8868ed...

https://git.savannah.gnu.org/cgit/bash.git/commit/?id=d233b4...

(to be fair there are a few smaller patchsets beside these huge dumps; and it does have a good documentation and changelog file). This alone was enough to push me towards fish for my interactive shell needs.
Ukraine is a proxy in a proxy war. Ukraine would have no capability to do this, but USA would.
That's a very interesting idea. I however don't know about anything in that space, but I would like to take this opportunity to share that the astrology that people are exposed to in the West, e.g. "Oh, you are a Virgo?! You must be <characteristic>" is considered wildly inaccurate and superficial in contrast to jyotish (Hindu astrology). It's fine if you still think Hindu astrology is woo-woo, but it much richer in depth than just one's "sun sign".
Some people mentioned that the translation/conversation can feel pretty off. But there is a much more fundamental problem here. If you want to be fluent, you need to spend hundreds of hours speaking the language. It is really difficult to speak for hours to a machine that doesn't express any emotions and is not excited about anything.

Humans, when speaking the language, connect to other humans through emotions and feelings. That is what gets us going. That is what keeps the conversation interesting (even for intermediate students).

This is the same reason why ads from Apple always show how family meets, or a kid scores a goal in a match and not just simply says "1.8GHz, 4GB ram" that only speaks to our neocortex.

That's why unless computers pass the Turing test, it is unlikely this will "enable people to talk their way to fluency".

I do agree though it is a cool tech.
For some people here everything is about how crypto is bad.
>> I can take a copy of linux...

> We all know this already, thanks...

I would not be so eager to advertize my ignorance of such simple language devices. Are you sure you want to play that stupid? It's not usually the best way to show how on top of things you are and how much your opinions matter and how seriously everyone else should take your reasoning and arguments.

Anyway...

Patended customizations are irrelevant.

If the open part of a risc-v cpu or platform may or may not be the entire end-user product, so what?

So there is one open brick and a useful product needs 10 bricks and some of those other bricks don't exist in an open form yet. So what? It in no way invalidates the value of attaining any given one of the bricks.

Sooner or later, if not already, now that some parts exist, someone will tackle the next part and the next part.

It is exactly "that simple" by far.
Yes, factories train many of their workers.

High skill positions often have vocational training, like welding or machining. Assembly work is learned on the job.
Who would have guessed 15 years ago that we would be staring at our smartphone screens for at least 5 hours a day and be completely dependent on this technology?
"There are reasons to prefer equal/same age relationships, but we shouldn't clutch our pearls when a boss dates a secretary"

Boss A dumps his menopausal spouse and dates a young secretary. An evolutionary psychiatrist says "He evolved to do that! Dating a younger woman increases his reproductive opportunity."

Meanwhile, Boss B stays faithful to his wife. An Evolutionary psychiatrist says "he evolved to do that! Women increase their reproductive success by looking for mates that are monogomous, because monogomous mates will stick around and keep their children safe, so men evolved to exhibit monogomy so as to be chosen by women for reproductive opportunities"

Boss C would rather not date and has no kids. Evolutionary psychiatrist "He evolved to do this! Or rather specifically, he evolved to run around in the evolutionary environment prowling for mates, so since he's not in that environment but a modern city it's not surprising he doesn't want kids or sex, his genes were only selected to date and mate in the evolutionary environment."

So basically these explanations are about as scientific as saying "God did it" over and over, since there is no way to prove or disprove them as the claims is tailored to any conceivable fact pattern.

So people should be wary of the line of reasoning you presented in your post, since whatever it is it isn't scientific.
Yes, but an exclusive romantic relationship is not the only context people have sex.

Romance itself is not sex, nor sex romance. Just because that's historically been a very popular and socially accepted method does not mean it is today.

The entire purpose of doing studies like this is to learn something new. The more assumptions we make, the fewer opportunities we have to learn.
Do you have a recommendation for a home hobbyist fume extractor?
You'd think it would be the ideal candidate for nft integrations but seems their experiment with minting kill certificates on the tezos chain was short lived...

https://thestackreport.xyz/dashboards/tezos/contracts/KT1WQ1...
> along with the other axioms the the theory is derived from

Axioms are trivially provable in any system. Unless you mean prove them without using them, in which case you're actually talking about a system where they aren't axioms.
This is funny. Cloudflare ddos systems were named:
Gatekeeper, gatesetter, gatebot, floodgate, gatewatch :)
I see this all the time, and I honestly do not get it. As someone that has ported a game written in C++ for Windows to Linux... its not that hard. It took me 2 days, about 4 hours of work total, and most of the ports I had to make were because I'm an obstinate developer and didn't use the std lib functions that would handle the OS wrapping for me.

Now, I've never ported an app to mobile, and that may be entirely different. However, and this may be an unpopular opinion, I don't want developers building an app that's meant to be used on a mobile device and a desktop. They're 2 separate ways of using a computer and they should be treated as such.

When I think of desktop apps like Photoshop, Outlook, Word, Chrome, and Da Vinci Resolve, they all look and behave very differently than their mobile counterparts (if they have one). If you want to develop for mobile and desktop, then you need to invest the time to make it a good experience on both. I hate desktop apps that have been mobile-ified to support mobile-first design. Design a proper UI and UX for the platform you're targeting. Otherwise don't bother "supporting" a platform you never test, intend to test, or design specifically for.
This reminds me of a quote from one of my favorite short stories, "The dollar was strong and jobs were plentiful, so when the factory in town announced they were hiring, hundreds of people applied. John was one of the lucky few who got a job. The hours were long and the work was hard, but John was grateful to have a job that paid well. With the extra money, he was able to buy his family a new house."
Oh, no new news. At first it seemed this was going to be "Apple cancels car project". But no.
Just because it's cynical doesn't mean it's right either.
4 that i know of. It was my employer not me personally.
I know it probably feels a bit hopeless now but trust me.

If you learn to build things, provide value, you will have 100s of recruiters reaching out to you and you will mostly be rejecting offers for a change :)

I have no doubt reading about you and seeing this comment in a few years you will be more than set!
This is a strawman level definition of "work"
I still see some companies posting "remote" positions and yet have mandatory 1-2 week bonding exercises per year and the language used makes it sound like a a job perk. Immediate back button for me.
It's a bit more complicated for the other projects I guess. We never know for sure if the budget is correct or too inflated to satisfy certain interest groups. We don't even know if it is necessary to do X at this moment. Of course we can probably blindly trust the engineers who certified on the reports (because civil engineers are true engineers while software engineers are not?).
People use the infotainment in cars almost as much as the actual driving interface. It's not all that weird!
A commodity is something by definition that is easily substitutable and you have to compete on price. Apple products are anything but a “commodity”. This is kinda Econ 101.
Global menus (Mac like) make sense on small screens, local menus (Windows like) make sense on larger screens.

Thankfully, on KDE Plasma you can choose either of them.
Not everyone wants to/can use Conda. Especially when simplest tasks like "renaming" an env are impossible on Conda!
Correct. But Russia's hope was that this would change as Germany got colder.

They were probably right.
Speaking of python performance, I recently benchmarked "numpy vs js" matrix multiplication performance, and was surprised to find js significantly outperforming numpy. For multiplying two 512x512 matrices:

python
numpy: ~3.30ms
numpy with numba: ~2.90ms

node
tfjs: ~1.00ms
gpu.js: ~4.00ms
ndarray: ~118.00ms
vanilla loop: ~138.00ms
mathjs: ~1876.00ms

browser
tfjs webgpu: ~.16ms
tfjs webgl: ~.76ms
tfjs wasm: ~2.51ms
gpu.js: ~6.00ms
tfjs cpu: ~244.65ms
mathjs: ~3469.00ms

c
accelerate.h: ~.06ms

Source here: https://github.com/raphaelrk/matrix-mul-test
One secondary reason for the dash choice is speed.

The dash shell has been reported to be four times faster than bash.

That definitely impacts boot time. POSIX compliance is not the only benefit.
The isp doesn't have to be in the same country though. During the Arab spring some hacktavist groups provided dialup connections iirc

https://www.theguardian.com/technology/2011/jul/07/telecomix...
I bought at least 5 or 6 LG linear inverter compressor refrigerators since 2019 and they are all going great, with zero noise.

I think they had issues with their initial models, but they may have improved them. I mainly stick to LG appliances from Costco. But I also avoid getting appliances with fancy features like see through doors and crap. I don’t even get ice dispensers, just the ice bucket inside the freezer works.
Ask HN: WTF why can’t me and friend SMS
So my friend and I cannot sms each other - he doesn’t receive and I don’t receive sms…

T-Mobile vs Verizon (but here is the crazy part I’ve had multiple carriers over the years - and lit today we still can’t sms…

And I’ve worked in the cell industry - but wtf?

Why can’t our phones text — AND IT BEEN FROM MULTIPLE PHONE NUMBERS

(No, neither of us has blocked one-another!)

Anyone have some hints?
Intel Unveils 'Raptor Lake' 13th Gen Core CPUs with Overclockable Chips to Start
This makes no sense. Without the gas, Russia loses leverage and there would be no dependence of Russian hydrocarbons. Germany always could buy more expensive gas from Ukraine and USA, and now they have no other choice.
Tesla is more like Samsung. Decent hardware and subpar software and user interfaces.
Thats not what I was saying at all. I don't prefer the outsourcing of pollution.
If he's bidding on jobs, he's not exactly a union welder. He's a small business owner and in that case I agree things can definitely go south for various reasons.
It's going to take nothing short of massive legal action to get any sort of competitive compatibility like that. As much as I wish for that to happen my hopes aren't very high. So until then I'll keep chugging along on whatever open solutions I can, hoping that my small contribution to network effects will help steer things down the line.
Try something like disk inventory X. It's a life saver.
It will continue. The dollar is rising because people need American stuff, not in spite of it. So long as Europe doesn’t have Russian gas, the rest of the world will be competing over a much smaller pool of energy in the form of LNG meaning it’s just much more expensive to do manufacturing.

It’s not black and white but I would expect energy burdens to outweigh labor burdens for a good long while.
Why would you “imagine that” when CarPlay already supports third party app? Every Apple platform supports third party apps.
Porting a large-scale windows desktop app to linux takes engineer years.
I dont disagree. I hope that adequate environmental regulations persist and those improvements in efficiency are realized.
I think this argument presupposes that denying resourcing for the 10 will definitely improve the success of the 5.

Personal side note; I’ve tended to find that exceptional people are more productive with the resources given. So I find it hard to believe the inverse would also be true.
This is still an argument for maintenance, not an argument against capitalism. Maintenance and capitalism aren't diametrically opposed.
Yup, being an enormous time sink it's one of my major gripes with the game.

I guess it is also what makes it one of the most hardcore games in existence... Right next to OGame
Every thing, yes, but the things aren't what make math interesting.

It's the way those things relate to each other that is so interesting. The patterns. The connections.

It's the same with this discussion about infinity. The real substance in most of this article isn't infinity: it's set theory. Infinity is just being used as the hook to grab your attention.
It's exactly how the Russians would play an excuse to escalate. Russian gas is going nowhere in Europe for decades this is clear. So they lost nothing but now they can blame the west.
Why was John one of the lucky few; if jobs were plentiful?
>Methane is a significant greenhouse gas and I just don't see an attack that results in a large methane release being approved by the current administration.

You have a much higher standards of the current administration than I do. I haven't noticed any significant morality in the office of the POTUS since I've been alive. Carter was the last even halfway decent president we've had.

Especially when you are aware that the US military is the single largest consumer of petroleum products on the planet and it gets a bigger budget every single year.
There is two parts to this problem. Certain data needs to be made public and has to be truthful.

On the other hand anybody should be able to make their own opinion of what is the value of the company based on the data. Everybody who sells will want to increase the "official" valuation and everybody who buys will want to do as cheap as possible. Everybody is free to try to sell at any price they want and everybody should be free to decide not to buy it.

There are certain exceptions... but stock exchange I think should not be one of them.
Because you don't get RSUs on the start date, you get them as they vest over years.

If the stock goes up 10x in 4 years, then your grant on year 4 is still 100k, not 10x that.
Claims the Mariupol theatre airstrike was the responsibility of Ukraine's Azov Regiment rather than Russian forces.

"speak truth to power"...

Ya, about that...

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

https://en.wikipedia.org/wiki/Max_Blumenthal#Russia_and_Ukra...

https://www.newstatesman.com/world/europe/ukraine/2022/05/fa...
Isn't this the same modus as the North Korea scams that we've seen a few times before ? We've seen similar stories on HN and there was a darknet diaries episode about this too.
What benefit would NFTs provide over storing item ownership in a database, as games usually do?
Directly in Russian interest as it's the country that is looking for an excuse to escalate.
How many multiple phone numbers?

What area codes?
How to make a point-and-shoot camera in 1961
Compare their sales growth to other car makers. Compare their profit margins to other car makers.
The only leverage left to Russia is nukes.
Humble is not a word that comes to mind when thinking of Brian. Epic-troll is maybe a better one. Now he has pivoted to crypto-coin pumper.
The linked study is interesting:

>Application of the passive approach as a non-mechanical method is an effective technique to tackle high energy consumption as well as diminishing the destructive effects of buildings on the environment. Using passive cooling can lead to peak load reduction as well as peak load offset, diminishing the interior temperature fluctuation, maintaining indoor air temperature in a comfortable range which consequently reduces fossil fuel usage as well as decrease the greenhouse gas emission. In this study, using passive approach from the economic point of view was discussed. The competition between cost saving (owing to applying passive methods) and added cost (owing to the initial investment, maintenance and operation cost) can specify the usefulness and effectiveness of using passive techniques. In this regard, special points such as building function, ventilation requirements, sensible and latent heat gains, the ability of any technique to save energy, geographical location, user financial ability, initial investment, maintenance and operation cost, regional climate data should be taken into account. Literature review affirmed that owing to applying passive approaches in building, energy consumption is diminished by 8%–70% (using external shading), 37% (utilizing cool colored paints roof), 25% (Creating green space), 7.88% (construction of the prismatic building), 32%–100% (using vegetation-based wall), 50% (using PCM-base wall), 33% (incorporation of insulation into the wall), 10%–20% (building equipped with solar chimney), 25% (using radiative cooling system). From the economic viewpoint, it was found that through finding optimal passive approaches, life-cycle cost saving reached 52%.

Vernacular architecture is taught in 101 courses, but my experience in arch schools / grad programs in North America is they're too divorced from building science. Apart from checking LEED boxes / certification, it's risky / hard to justify remixing vernacular elements outside of prestige projects with big budget that can afford to do the modelling to spit out confident operating costs. Maybe when the software improves.
In the context of that day it meant Germany not approving Nord Stream 2, which is what happened. He didn't mean blowing it up.
Maybe they could do a guide on English apostrophes next.
> The folder path is: Macintosh SSD/Users/[yourHome]/Library/Containers/Photos/Data/Library/Application Support/Photos Desktop

Certainly isn't a ~/Library/Containers/Photos/Data/Library/Application Support/Photos Desktop in my home.
How do you build modern electronics for a 30-50 year lifespan? What parts do you use?

I happen to know that the Ford EEC-IV engine control module of the 1980s was designed for a 30-year lifespan. Which it delivered; many 1980s vehicles are still running with it. But newer electronics won't last that long. Line sizes are too small, and minor effects such as electromigration cause wear-out.
Since 1977 California has had the California Tax Postponement Program to protect low income seniors from the economy. If you're a low income senior and own your house in California you can defer property taxes indefinitely so that no matter what happens to housing prices you'll never feel pressured to move. Several states have something similar (eg. NJ senior freeze) but I think California is the most aggressive.

Prop 13 is wholly unnecessary. It could be removed entirely overnight and grandma wouldn't need to pay a dime.