skysight-inc/HackerNews huggingface dataset:
Why does forcing work? To me it seems flawed (which obviously means I don't understand it fully).

For diagonalization argument: 1) Assume every real can be assigned a natural number. 2) Do a bunch of steps that essentially find a new real that differs from any real you have listed from step 1. 3) Conclude that either your steps are flawed, or your initial assumption is wrong 4). Because your steps aren't flawed then your initial assumption (that every real can map to a natural number) is flawed.

That all makes sense to me. Forcing seems broken though:
1) Capture of list/set of all real numbers 2) Do a bunch of steps that essentially find a new real that differs from any real you have listed from step 1. 3) Conclude that either your steps are flawed, or your initial assumption is wrong 4). Because your steps aren't flawed then your initial assumption (that you can produce a list of every real number) is flawed.

Now you're left in an odd situation. Didn't you just conclude that it's impossible to have a set of all real numbers? Which isn't what you're trying to prove at all.
It's probably for the best that billionaires draw the line at Twitter rants, rather than... other things that money could buy.
Ever heard of a bump key? It's easy to break into a home in a country with relatively low corruption. One might even say easier. It just comes down to whether you have one person corrupt enough to use it. A locked door is nothing more than a social contract. Door is locked means do not come in. Tell that to the person with a bump key.
Why in hell would societies start by nurturing the sexes differently if they weren’t different to start.
I know that lots of girls are mechanically inclined, but in average they aren’t.
14 years and thousands of dollars of robots, mindstorms and all kind of stuff that my daughter is not into technical stuff, no matter how much I tried to avoid the barbies and make up stuff. And she is like most, but not all the friends her age.
We need to make sure that girls that want to do stuff that usually is more associated with boys are free to pursue their interests in equal conditions. But extrapolating this to “we need to have parity in all those predominantly masculine professions(of course, only the well paid).
> We opted for 3D designs over 2D

Still recovering from the Balmer Windows Metro era where he seemingly banned the use of more than 2 colours in the whole of Windows
Does it store any of the user's financial data that they input?
> $30k isn't cheap imo, the average person would need to take out a loan to go buy an EV.

$30K is cheaper than the average new car being sold right now by quite a bit, and most consumers get a loan to buy those. It seems more than a little bit strange to complain about a $30K EV being expensive when the average new car buyer is taking out a $40K loan for a gasoline car.

> Outside of big cities infrastructure doesn't exist.

Outside the big cities everyone has a garage. People also regularly overestimate how much they drive. The average American drives about 30 miles a day, you need to be in the top 1-2% of daily drivers[0] for range to be an issue, especially if you can charge at work.

> Also hauling stuff in an EV, which is where most of the emissions are, isn't even close to feasible yet.

Bulk freight by road is a stupid way to organize a society. Don't make semi-trucks green, use trains. They're far more efficient, have cheaper and longer lasting infrastructure, and are trivial electrify. Semi truck transit represents a massive handout to the semi truck industry in the form of unpaid road maintenance[1], we should stop that.

For smaller inner-city transit, we're getting very close. EV pickup trucks are already coming out, I would expect cargo vans to show up soon.

> Maintain maybe... own not really https://www.caranddriver.com/shopping-advice/a32494027/ev-vs...

I said that it was simpler to maintain and you replied with a link about it whether or not it is cheaper. Those are different words that mean different things.

Yes, EVs are not yet universally cheaper than ICE cars for all use patterns, but that appears to be almost entirely a factor of the purchase price, which is dropping year over year. EVs are lower maintenance (the link you provided backs this up), and cheaper to operate per mile than gasoline cars (your link also shows this). Given how quickly EVs have dropped in up front purchase price, I think we're really close to EVs being a no-brainer decision for most consumers.

> Personally, I have zero desire to sell my gas vehicle which will be perfectly fine for the next 5 years to drop 30k on an EV that won't be able to do as much.

I hope gasoline gets expensive enough and EVs get cheap enough to change your mind.

0 - https://www.solarjourneyusa.com/EVdistanceAnalysis.php

1 - Estimates range from 60 to 120 billion dollars per year. This includes congestion, accidents, and most importantly road damage. The wear that a vehicle causes to a road is proportional to the per-axle weight raised to the fourth power, which means that virtually all damage to public roads are caused by semi trucks and semi trucks alone.
There was a lot of attempts, Glamorous Toolkit is exploring one alternative approach now. But the basic concept seems to be very solid. Think of the code base as the fractal system you want to explore. Then the browser provides several well-placed views with increasing zoom levels. It is hard to beat it. When you explore, for example, senders of a given message, you jump to another position in the fractal that conceptually looks similar. And you need to keep track to do not lose orientation. Exploring a classical source file is like moving in fractal on a fixed zoom level.
> I really didn’t expect that, which I think was probably due to crude stereotypes Californians like to spread about Texas.

Portland likes to spread crude stereotypes about Californians just the same. When I visited San Diego I was truly surprised at how nice everyone was. Outside of Hawaii, it was the nicest encounter I'd had with large groups of people ever.

Some of the folks I encountered in Sacramento, SF, and San Jose definitely lived up to their alleged reputation though... they were not so nice.
Metaprogramming in Scala 3: Inline – Let's talk about Scala 3
Any app that uses Facebook SDK, of which there are thousands. Zoom only removed it in March 2020, after it was raised as a privacy issue. they are a massive, publicly traded company, and they were fine with keeping it in their codebase, until enough people complained.
> nothing in your comment leads me to believe you’re not a diehard, Qanon-believing, Trump-loving, lizard-people-are-actually-a-thing kinda person…which is kinda my point.

And my point is that you're upset that you can't assume everything you'd like to about me from a paragraph that I wrote. Twitter is tribal warfare.
Hmm, this sounds like the kind of thing that could happen if you have a huge percentage value in an expense or tax input by mistake, or something along those lines that could create an immediate bankruptcy scenario. If you double-check everything though and think there is a more sinister issue at play, I'd be happy to look into it and/or help troubleshoot.
I loose no sleep if these products go paid only and facebook loses its influence massively and with it their ability to censor and manipulate information and our elections.
European cities should start banning cars regardless of what they're powered with, they do not fit into their older cities and they make everything worse. They should double down on public transit, and push cars out to where they provide more benefit than drawback.
Title should've been "Why Richard Branson's flight matters to Richard Branson."

Conan summed it up nicely...

"I dream of a day when space travel is available not only to billionaires, but to any person with a net worth of over $500 million."

[1] https://twitter.com/ConanOBrien/status/1415372778358951936
If I heard this, I would think that those words are coming either from a sociopath or from a very socially inept person who read a self-help book. There are probably cultural differences in how it's perceived but it sounds so fake, forced and manipulative that it would make me put my defences up immediately.
Classics and Religious texts suggest that stoning is an appropriate punishment for premarital sex, that bloodletting is a good cure for just about anything, that the earth is the center of the universe… I will take my chances with imperfect science.
Not the parent, but my objection to that would be that your feelings are yours to handle, not me. And for this kind of request, saying that you feel disappointed because I don't have time to finish the tickets will definitely backfire, with a "you should adjust your expectations", and using emotion talk in this context will immediately frame the talk as manipulative.
I think it's more about being open minded to strange uses. Maybe 3% of strange pure math ends up being used for something bigger? But since nobody knows what it'll be, it's good to be curious about all sorts of nonsense. Riemannian geometry was OBVIOUSLY absurd useless pure math sophistry, but then it turned out we lived in it. I think a lot of the work on modular forms and elliptic curves has come across that way too, despite the crypto intersection. The general idea is that, even if it's been a century or two, it's too soon to tell if something is useless, that's solid. And formalization of infinity has been useful in some practical exploration of proof systems used by humans. It might be the future of programming, who knows?
How delightfully ironic that this article cannot be read without agreeing to tracking (cookies), or having to pay for a membership. In the European Union this would be illegal.
The creator had a thread on the raspberry pi subreddit.

https://old.reddit.com/r/raspberry_pi/comments/oeytjm/my_ras...
That's so great--when you do 100 submissions, you're sure to get some really bad reviewer who is just trying to improve their metrics. We had to take out a bunch of functionality to get it approved... didn't want to spend time fighting up the chain and the upper folks don't even care.
What about in-process COM? Is that still too slow compared to the C API, or does it have other issues?
Others have addressed why it matters (or doesn't matter) when viewed from outside mathematics. But within mathematics, unsolved problems usually matter for two reasons:

(1) When lots of really smart people spend lots of time trying to solve something, and fail to do so, it becomes even more interesting for other smart people. A well-known example is the Collatz Conjecture[0] which, by most accounts is a meaningless problem, but endlessly fascinates many for its renowned difficulty.

(2) In mathematics, you often stumble upon problems that are equivalent to other problems. If X is difficult to solve so you give up and go work on Y, only to find out that Y as a problem is basically the same to X, or they have some other intimate relationship, and it makes X that much more tantalizing. A common example for computer scientists is the whole class of NP complete problems[1] for which we don't know if there exists a polytime algorithm to decide. Every time we discover a new problem that lives in the realm of NP-complete, the P vs NP problem gets a little more tantalizing.

[0] https://en.wikipedia.org/wiki/Collatz_conjecture

[1] https://en.wikipedia.org/wiki/NP-completeness
California breaks 1 GW energy storage milestone
No history actually tells you that only 1% of produced maths is useful. You only see the good stuff not the ugly stuff.
I actually have a draft open in gmail that i was meaning to send to you, so ill post it here instead :)

I saw your initial release of this many months ago, tried it out, was like, ok thats kinda cool, put it down.

But then recently i needed to do some serious life financial planning, remembered your tool, searched for the HN post and gave it a real go.... and WOW. Im so impressed. It does exactly what i need; give me a semi-realistic long term plan of finances, retirement, how much house i can afford, effect of jobs, stocks, etc. Being able to play around with scenarios like "what if one of us didnt work for a few years?" really easily. I probably could do all this stuff on a spreadsheet, but the fiddly details of things like inflation, raises, tax, etc are incredibly tedious to model. theres a lot of near term budgeting type apps etc out there, but there was no other product i found that works so well for long term macro stuff. So its well worth the premium subscription fee to me, on a time saved basis alone.

The UI/X is mostly great(ill email you some minor suggestions :) ), and your development velocity is really impressive.

Perhaps the total market for a tool like this is niche, but hopefully it turns into a profitable enough endeavor for you so you can keep working on it forever :)
Lack of accountability on results is the hallmark of progressivism. As long as the intentions were good, outcomes don't seem to matter.
Full Stack Engineer – Aven
Nothing is masked in that? It sounds to me pretty straightforward. The issue with that is content - the attempt to make you work late without good reason. There is no way to phrase the above to make it sounds good.

At least it sounds honest. The reason for late work is emotional (as often is) rather then rational reaction to unexpected business need.
Safari Zero-Day Used in Malicious LinkedIn Campaign
Fair points.

But where do you think that $19billion came from?

Looking forward to the downvote :-)
> and are sold to poor people the same way lottery tickets are.

Crypto has never been heavily marketed to poor people. They don't have the capital to buy in at any meaningful scale. The lottery ticket appeal is that you might win $10k or $1m off of a $1 or $2 ticket. There is no mass scale marketing effort pushing $1/$2 of Bitcoin or Dogecoin to poor people with that con-pitch. To this day poor people have barely any stake in the crypto world. For crypto, the lottery players are the small contingent of middle class persons that bother with it (which still isn't very many).

Actual lottery tickets on the other hand, are prominently marketed to poor people all over the place, front and center in many common stores.

Walk into an average convenience store or liquor store, you're telling me they have a large display of dozens of cryptos with updating price quotes appealing to poor people about how big the prizes are and how they can win a million dollars with a $2 ticket? Nope.
I was a Marxist for a long time. A well read one, and I can tell you that definitely there’s something that we could call “cultural Marxism” .
At least 11 of the 20 largest companies by market cap have a major office if not headquarters in the region. It's a business and money center... And that's besides great weather, history, and things to do in CA.

I couldn't imagine an entrepreneur being successful without meeting people in person.
Operating Kubernetes Clusters and Application Safety
Anytime a manager/boss brings up "needing to work as a team" as a reason to stay late is a subtle threat of losing your job if you don't do OT.
I'm not sure you gain much by moving the forward secrecy to a weekly or session based level, and I think you lose a lot in terms of simplicity.

It is simpler to design and analyze if it applies at every message. It's a design for the best case. No longer need to make judgement calls on if 1 week is enough, or maybe 2, or maybe some middle ground.
I remember your site from the earlier thread, and the experience is so much smoother now. I'm definitely going to start sharing it out since it seems like a very usable tool. I like how you broke out the different types of investments because a lot of other tools tend to have awkward configurations.

The only other feedback I have is for the pricing screens to upgrade if you could list the payment options paypal, etc to manage subscriptions. I've been burned a couple times when smaller creators self manage subscriptions, and I had to email and wait for them to manually adjust the subscription.
To add to that, the retargeting setup is mostly the job of the advertiser / agency, so it's not Facebook's fault when it's badly implemented. The advertiser often doesn't notice, because even terrible retargeting will usually perform really well.
> I was taught there is countably and uncountably infinite. Integers are countably infinite because the number of integers between any two numbers if finite. Real numbers are uncountably infinite because there are infinite numbers between any two real numbers.

This is unsound: a set is countable if there's a mapping that assigns an integer to each element of that set. There are an infinite number of rational numbers between any pair of rational numbers, but you can pretty easily construct a mapping between integers and rationals. Imagine representing a rational x/y as a point on the plane, and draw a square spiral around the origin. Every rational number lays on that spiral, and there's a unique "shortest arc-length of the spiral from the origin" for each rational.
The way it currently works is: when a new user onboards and creates a plan, enters some data, and experiments with the app, plan data and results are kept on the client side and not transmitted. Calculations are performed in the browser, and data disappears on refresh. If the user upgrades to Premium, they are then presented with a choice of several data persistence options, including Cloud Storage, LocalStorage Only, and Manual Import/Export. Plan data is only stored server-side if the user enables that option.
The question is are they doing it because it’s not cost effective and they don’t have the infrastructure to compete, or because of an internal agreement not to intrude on each others turf?
Isn't "very special time and place for community, energy and excitement" a function of your age, more than anything else?

Everybody experiences their special unique unrepeatable time and place. It doesn't matter which decade they lived, or where. For me, it was the early 90s in post-communist Czechoslovakia. Also, "hard to understand if you weren't there".

Free pizza and beer might not hold the same sway they did 10 years ago. You cannot step into the same river twice, etc.
Over the last 18 months I have been working to get that back. I remind myself at the end of the day that what I did was productive and useful and so far that has worked well.

I realized that it is really easy to fall into the "but what if..." trap but doing so is not spending enough time in the present moment.
I might have misread the comment. I was under the assumption that a business deal went wrong, and that the programmer never ceded ownership of the source code to begin with.
Ofcourse, preventing is better than healing. But if you happen to make a deal and the other party turns out to be illegally selling something that's yours, than it is better to be able to enforce that deal.
And when you put it in context with the next sentence “It has to be balanced with other human rights." it's obvious to Germans, because that's "Praktische Konkordanz", which is absolute dogma in German constitutional law.
So many attack on capitalism ITT. I wish we could have rational discussion about whatever word problem while at the same time not trash the idea of private ownership, competitive markets and investment for profit.

Mind you, every successful country today runs on a MIXED economic system, and communism (or anarchy for that matter) failed every time it was tried.
"a fraction of the cost" is an understatement.

By using a 100% reusable vehicle and the cheapest fuel available the aspirational launch cost of starship is $2M.

Even Apples to Oranges it will be an order of magnitude cheaper than the current paradigm of $35M per Falcon9 launch. When you further consider it has 10x the payload capacity, this experiment gets really exciting.
Because it's the same size. I can show it's the same size because I can just change the labels on the sets (label change of elements doesn't change group size) and go back and forth. In this case, 0 is the sandwich, and all the nonnegative numbers get relabelled down by one. Going back, sandwiches become 0 and you add one to nonnegative numbers. So they've got to be the same size, if I can go back and forth and everything just gets a new label and I don't miss anything.
Folks pretending to be outraged that their (not even local since they don't live in said cities) billion dollar corporate Chili's burned to the ground is really the fakest kind of false equivalence. The answer is no, it is a tired and boring talking point.
Wouldn’t happen in France where most contracts specify that anything you do, even tangentially related to your work, belongs to the company.
You can create a bijection between that set and the set of natural numbers, defined by the function f:

0 <-> sandwich

1 <-> 0

...

n+1 <-> n

By definition, if you can biject two sets, they have the same cardinality.
I didn’t say they were comparable to the Sierra Nevada or coastal ranges, was merely trying to understand your “trapped in a flat plane of existence” line.

If we want to go for some real good skiing, Utah or Colorado are short flights and will likely have much better & more consistent snow than CA has for the past decade :)
I'd love to come back, but the problem isn't with the city, it's the political situation.

Who wants to start a company or a business if the local government can arbitrarily shut down your office for several months? Who wants to live in a city that could shut down bars, restaurants, and theaters for a year. I'd rather make my own decisions based on my personal health situation. For several months a vaccinated individual and business owner could not consensually do business without a face mask. Where is the science in that?

Things might be different if there were no other options, but the US is a big place. There is a lot of competition, and life is too short to sacrifice years of your life for the whims of some bureaucrat. Ironically this is the same reason I moved to San Francisco in the first place; it was a place where diverse people and cultures had the freedom to express themselves.
Spot on comment. It distills many books on leadership in one sentence. Thank you.
I agree: Cultural Marxism is a far-right antisemitic conspiracy theory which claims Western Marxism as the basis of continuing academic and intellectual efforts to subvert Western culture.

If that's not what you mean, I'd kindly suggest not using that terminology, as that's the common definition of the term. There's no hard definition you'll be able to tease from someone who claims cultural Marxism is a threat to the west.
I'm not sure if this is present in other software. The video conferencing tools i use only allow for one participant sharing their screen at a time, which leads to switching between participants sharing their screens, scheduling when to show what, wasting time in between etc.
Maybe its too much to ask of people's internet connections, but two people looking at each other's screens simultaneously should be an option.
A few states have similar laws to California, but the majority (even weighted by the number of programmers) do not.

If I'm the maintainer of an open-source repo, there's no way I'm willing to risk accepting contributions from someone with an IP assignment clause unless their employer disclaims ownership explicitly and in writing. (I'm currently subject to an IP assignment clause but I had the option to "safelist" existing projects when I signed it.) Just not worth the potential headache.
> While "man flu" is a popular term for men getting excuses to complain and play on a computer during a minor infection

I always find it funny how we're supposed to be in an age of fighting sexism but the rise of bizarre gendered stereotypes like this — to the point where articles are getting written about them as if they're real phenomenon! — is baffling. Imagine articles about "woman flu" for the (also stereotypically common) phenomenon of women constantly being sick.