skysight-inc/HackerNews huggingface dataset:
The Collatz conjecture is saying that the programmed algorithm will eventually terminate and return true. Here the compiler optimized the code to always return true. Therefore the author jokingly assumed that the compiler must have proven the Collatz conjecture and the authors should be rewarded a million dollars.

In reality, the reason is that out of the two outcomes: true or infinite loop, the infinite loop violates the standard, and therefore, the result must be true. Another way to see it is that the only way for the code to be valid is if the programmer knows that the Collatz conjecture is true, and the compiler trusts the programmer, saying that the compiler knows the answer to the Collatz conjecture is a kind of circular reasoning.

There are other issues here: the numbers are bounded (a 128 bits integer), but the conjecture is not. And no million dollar prize have been assigned to this problem (it is not one of the millenium problems). Also, an infinite loop is not a result, it is actually the textbook example of an undecidable problem.
Only E2EE data that matches known CSAM hashes, and only when 30 matches have been found, and only the “visual derivative” of those images.
> we will block ad targeting based on the age, gender, or interests of people under 18

Sounds like I should adjust the age on my Google profile.
My memory is that the computer you wanted always cost 4-5k, but you could get a machine at 2-3k that was okay, but with lower performance.
SpaceX probably has several rough-draft plans for mopping up dangerous orbiting debris sitting in a filing cabinet somewhere.

BUT - So long as SpaceX avoids being seen as "at fault", any Kessler sh*t-storms that occur are likely to prove huge opportunities for SpaceX, and huge problems for all of their competitors. Most debris-storm clean-up ideas require plenty of launches, to get the Wonder Widgets and Space Squeegees into orbit. Likewise the replacements for all the smashed satellites. Which replacements may be substantially heavier, due to beefed-up propulsion systems for debris dodging, armor protection around their vitals, etc.

And guess what company is the world's miles-ahead provider of low-cost orbital launch services, with an easy path to oh-so-profitable scaling up?
Yep. I think we run into a different problem, which is the diminishing return to the employer.

Even if a person's growth is linear, most companies' ability to realize a return on that growth probably isn't.

It's not that the companies couldn't benefit from experience if they knew how to realize that benefit. It's more that their processes are set up in a way that prevents the benefit from being realized. I'm thinking about heavy-handed architectural diktats and constantly changing priorities when I write this.
<https://wealthyaccountant.com/2016/10/10/mister-indispensabl...> Gave me the confidence to make the final call, even if the issue is difficult. Someone has to, so why not me. It can take work and stress, but the answers are out there.
You would be surprised, but reading a transcript is much faster than listening, even on speedup (1.25x, 1.5x, )

You can also quickly scan ahead, or reread a sentence. Navigating audio is harder.
I would argue that price and complexity are exactly what caused the other issues you mentioned. Add the ridiculously glossy, pie-in-the-sky marketing mumbo-jumbo that gets sold to execs and combine it with the fact that it us literally impossible to simply click to download it and spin up a lab of VDI setups (Citrix and other major players, even VMware's latest versions) to tweak and study them extensively 9is what leads to rollouts under pressure that too often go horribly wrong.

Microsoft offers free 180-day versions of Windows Enterprise foe download at the click of a button that you can test and destroy or even use for a very realistic PoC. Why can't other companies offer that?
Consider me interested. I have never gotten quite warm with git and definitely agree about the overhead about project management ticket + branch + PR for small changes.

Git should be challenged. I can’t imagine that’s the best we can do. What will ultimately determine this project’s viability for larger projects is whether it’s really as powerful.

I’m definitely excited for new VCS solutions as I think the current state is a bit less than optimal.

Edit: Uhm, where’s the code? How do I self host?
Side comments via chat are fantastic, for exactly the reason you mention. Vocal side comments, OTOH, tend to make the main conversation unintelligible for anyone already trying to follow without being able to direct their ears in a particular direction.
Considering how many parents I know who post public photos of their children on social media, it’d be great for other services to provide such tools as well.
Oh yeah, forgot about that one. Good call out.
It’s very mainstream and been around for ages.
> I have to refer back to these long traditional rivals

Long traditional rivals? Iran and iraq are relatively new 20th century european colonial creations. Iran was carved out by the british/russians and Iraq was arbitrarily drawn out on a map by the british and french.

https://en.wikipedia.org/wiki/Sykes%E2%80%93Picot_Agreement

> when I read people waxing poetic about the prospect of erasing international borders and becoming a brotherhood of man and then at the same time rejecting homogenization of culture

Even with homogenous cultures, no guarantee of "brotherhood of man". Look at north and south korea. The elites will always find something to fight over.

> Maybe with the right governments they can work out deals like we work out with Canada and Mexico with regard to shared resources

It's not the "right" governments. It's called an insurmountable power differential. Canada and mexico simple have to do what they are told. We've fought wars against canada( british empire ) and mexico and taken significant amount of territory from both to ensure that these countries "share their resources" as told. The only way this power dynamic would change if an outside force with enough power helps either canada or mexico challenge the US. I don't see that happening anytime soon.

> but I’m not holding my breath on this given the Kurds are kind of the out group within the Iraqi family and probably won’t get full support from the central govt.

The kurds are the outgroup everywhere - turkey, iraq, iran, etc. The kurds have been used by the US/Europe as a separatist thorn in the side of many middle east nations to keep them unstable. Similar to what we are trying to do with the uyghurs in china, rohingya in myanmar, the balochs in pakistan, india, africa, etc. One of the benefits of having drawn out nations in africa is that the nations are full of different ethnic groups that can be pit against each other making these african nations easier to control. Not sure it was the original intent, but that's where we are right now.
Fortunately tools exist that can unroll those tweets to nice long post. As an example check Threadreader below. Although the result with one sentence per line is a bit strange and the meme pictures continue being pointless additions.

https://twitter.com/joelburgess/status/1428008043556622336
Show HN: Polypad – Scriptable Textpad for Developers (Cross Platform)
Cyrix was also in the 386 market.
The US government regulated critical parts of the supply chain of raw materials and preproducts in order to ensure that US manufacturers have no sourcing problems. It then compelled the manufacturers into exclusively servicing the US purchase contracts first before fulfilling competing contracts from other global buyers with any of the finished product produced on US territory.

I'd call that quite a lot of "market management". But as everyone could see it resulted in the fastest vaccination ramp-up worldwide (excluding Israel, which was a bit faster, but is also much smaller than the US and which had its own way to get "preferred" access to vaccine produced in the EU).
I'm glad it's at least resolved for now. I'll repeat what I posted elsewhere - if it pops back up you might want to reach out to Robert Barnes - this sounds like something he would be very interested in.

https://www.barneslawllp.com/about
How about over-18 too?
https://markmanson.net/question

This has changed my entire perception of what it means (or could possibly mean) to be happy and, by implication, of the entire self-improvement industry.
$70 < [cost of lead-acid battery] < [cost of lithium-ion battery], so how often does a customer trade the deposit for a battery?
So your thesis is that the government just sits on the tax money, rather than using it to purchase goods and services as fast as it comes in?
> It dawned on me that my attempt at completely controlling my life had, in fact, caused me to lose control over it.

Could you possibly unpack this for me a little bit? It strikes me as absolutely true for me, too, or at least sounds like it could be true, but I'm pulling at a thread I can't quite grasp.
> On the other, nearly everything I've read has changed me and how I saw the world, even ever so slightly.

Same here. The discrete life-changing stuff in my life have been things that happened to me or someone close to me.

Not stuff I've read. But the stuff I've read stay with me and have definitely changed my perspective, affected how I approach things etc.

So rather than reading a particular blog post, I'd say: read lots!
Not so, since the fact that it is in the range does not mean it will steadily go downwards. It might have numbers much bigger than the maximum value for a uint128 somewhere in its Collatz sequence and it is possible (though unlikely) that one of those numbers modulo the maximum value for a uint128 is the original number again. (That is, the modulo operation might introduce loops that are not present in the normal Collatz sequence because mathematical integers don't overflow)
HR: "Oh, let's start passing out free Ritalin pills."
How Big Data Carried Graph Theory into New Dimensions
>The Satellite TV and Radio industries spend the money to launch.

Correct, but this is an after-the-fact understanding. They spend money to launch now because the industries are no longer nascent and being launched on platforms designed around government investment. The key to my point is that the government spends money when the industries are young and risky to develop platforms. If those platforms work out that helps the private sector have a less risky path down the road. This is why telecoms weren't rushing to develop rockets in the 1960s.

>NASA isn't that big of a customer.

This is very much the same thing. Early on, NASA was really the only SpaceX customer and NASA helped keep them from going bankrupt [1]. In addition, NASA made early launches more palatable because the government is self-insured. Government contracts help usher along young, risky companies until they could have a less risky business model that the private sector feels more comfortable with. It's very similar to aerospace development over 100 years ago with the Wright brothers and Curtis vying for Army contracts. Without those contracts, they are as much hobbyists as entrepreneurs.

[1] https://www.ndtv.com/offbeat/elon-musk-says-nasas-1-5-billio...
Which isn't quite right: the C++ spec allows the compiler to assume that a loop without side-effects will terminate. And the only way the loop terminates will be by returning true.
Got an 486 laptop from my grandpa when he didn't need it anymore. It had a 3.5" FDD, a monochrome display that blurred heavily on movement and a builtin trackball.
Thank you for this, Twitter is even more annoying now that they’re forcing logins to even browse.
only if they have been built to do so.

the same busted (and hard to repair) body parts will occur in both. Think AC, window motors, lamps and switches, etc.

plus, none of the manufacturers seem to be investing in easily replaceable batteries. They'd rather you buy a new car. May as well right? the batt replacement is 60% of the cost!
That's a good point. I wonder why we consider that people telling people to spend less is okay, while telling people to earn more is not. Maybe because we consider that they have total control over what they spend, but not over what they earn? While this may be true, most people still could probably find a better job.
It's a long story but after suing for years the whole industry over DDR (they introduced in bad faith patented technology into the DDR process of JEDEC and patent trolled the industry since then with that), they have cross licensing agreements with everyone, including Nvidia and Samsung which I believe were the last holdouts that refused to pay (perhaps rightly so) the royalties Rambus asked.

Now it's basically an IP/patent company, and they try to get attention in articles such as these (talking about the articles linked in the linked one) as they look to place more of their IP.
wow, hackernews is extremely hostile to the idea that indigenous people have unique wisdom. Really big yikes your you all.
I was looking for a comment like this:

http://rootbug.com/how-could-it-be-solved/taxing-money-throu...

Let me put it in my own words:

If republicans think that unemployment benefits compete with private businesses on labor, then I get to think that 0% interest money competes with labor for capital.

The fundamental problem is that the 0% lower bound combined with a deposit guarantee represents not only a minimum wage for capital. It also presents a job guarantee. A minimum wage doesn't guarantee you a job.

So yes, the Federal Reserve is not responding to market conditions at all. It's artificially holding up interest rates at zero or above. This is causing massive distortions in the economy that can only be fixed by a swiss-army knife of policies. Among one of the needed responses is "free and open printing of money". The world economy is already flirting with disinflation (a reduction in inflation). If you don't have negative interest rates you will need a whole load of "money printing" to keep the system standing in place.

The assumption that a scarce money system (i.e. guaranteed non negative interest) has a fixed velocity of money is absurd. Put interest at -5% and just watch everyone withdraw cash from their bank account. The velocity of cash would be basically be zero and the velocity of money on bank accounts would be extremely high. As the government is doing deficit spending all the money just piles up somewhere and ends up doing nothing. QE is even worse because you cannot spend centralbank reserves to buy groceries.

https://youtu.be/j5l_Oeg6kMo

Ok, let's do the negative interest thing. It sounds like a big hassle right? Just think about the benefits: The first step after negative interest ratess would be to adjust the inflation target to 0% meaning perfect price stability. Actually, you wouldn't target inflation at all because the negative interest rate completely replaces the need for inflation. You would target the CPI itself meaning your goal as the government would be to maintain a CPI of 100 for all eternity. Any deviation would become inexcusable. Meanwhile today inflation is a hack to make a broken money system work.

Don't blame the fed. Blame the money.
Especially over-18 that gradce pictures online from when they were under 18.
I don't see how your FUD is relevant to this discussion of space debris, please stick to discussing the article.

Please see other reply to you why those articles are FUD, they explained it much better than I could.
You wouldn’t drain all accounts all at once. Pick a couple accounts to satisfy your needs and drain them. Harder to get caught.
I surely do not :) my job is very interesting, yeah it can suck debugging or going through bureaucracy and documents. However, I get to WFH, do chores as my break time, then at 4 or 5 I say Good Day and I use my evening for family, friends, and hobby. Happy life so far!
> If you see cooking primarily as a means of getting nutrients rather than a hobby, I very strongly recommend getting an electric pressure cooker.

Oh hi there!

Do you have any recipes that you recommend? I actually bought an Instant Pot a couple months ago, and so far have found one great one pot meal that I cook in bulk on the weekend - basically tomatoes + sweet potatoes + peppers + beans + quinoa. Toss it all in and press a button, magic.

I like to eat as healthily as possible, so I'm interested to hear if you have any go-to staple recipes for the instant pot that you'd suggest :)
Yeah, we should probably throw everyone in the oven who doesn't adhere to our worldview. /s

I sometimes wonder who the news is talking about re: fascism, but then I see it here: talking about not giving someone oxygen on HN who YOU don't agree with. Everyone must comply!!!!

Perhaps you need to calm down?
The Federal Reserve was originally devised to put an end to the boom-bust cycle... Well before the Great Depression.

If you're going to point a finger, the Federal Reserve is a very good institution to point at.
Power 101: Preach one thing, do the opposite

It is smart to project to the world that just in time manufacturing is effective and then stockpile parts.
This will get you ahead of competition if there is a problem like we experience now.
No, got the 13 inch M1 Macbook in May and love it. Haven't run into any of the bugs others were seeing on release. It's noticeably heavier than my 2014 Macbook Air, and I'd much rather have the extra portability and plug into an external monitor when I need extra screen. Only regret is that I didn't realize the 13 inch M1 only supports 1 external display out of the box.
I really like that illustration, Chris Philpot.
I also don't like the pen. It's clever to turn the controller upsidedown, that at least makes it tolerable. The desk whiteboard works a lot better than drawing in space without tactile feedback as well. If this went mainstream, I would need a tracked pen that I could hold normally and see on the VR desk. The Quest seems to be able to track known objects like with a few keyboard models, so maybe load in the model of a standard dry erase marker.
The Fed has a 2% inflation target (used to be their only stated target, now they balance unemployment in their target numbers as well). This allows companies to plan ahead knowing with a fair degree of accuracy the expected change in purchasing power year to year.
I don't consider the St Louis Fed to be "a random site", but perhaps you have some sort of special term for why citing government economists is also out-of-bounds. It almost seems as if you prefer to police rhetoric rather than actually engage with the argument.
Is there something uniquely strategic about property owners in Southern Pines?? If anything, based on my knowledge, military contractors would be the strategic play down there (just as in VA/MD).
I'm also confused by the confusion here... probably naive pattern matching? Reminds me of TAing undergrad courses where you could get more than half the class to confuse "positive feedback" and "negative feedback" on a midterm by just giving examples where stability = bad :)
Obviously there is no perfectly accurate machine for any application.

The extent it will be inaccurate depends on a lot of factors, such as tool length, material parameters, feeds/speeds, etc. You can probably cut aluminum somewhat accurately on this if you take extremely slow cuts, with a tiny tool spinning at an extremely high RPM (which keeps cutting forces to a minimum). Surface finish would still be pretty bad simply due to vibration of the arm. Likely going to break a lot of tools too. The majority of metal cutting setups you would do on a mill are simply impossible on this machine.

For a few tiny cuts, it might be handy to have one of these, but it definitely seems more useful as a 3D printer, plotter, etc. Though even most 3D printers are significantly more rigid than this design.
he forgot the trigger warning: this post does not blame capitalism for all modern ills.
The other half of it is how much you spend. You also have to keep your retirement spending at the same level. i.e. if you make 100k/yr and save 90% of it, you can retire in 3 years... however, you have to keep your spending at 10k/yr. So if you can handle living that frugally, great! Otherwise you have to save a lot more before you can retire at your "current" lifestyle.
A Guide to Game Localization in Unity 3D and Unreal Engine
"you think we're corrupt, this time you're correct. We'll convert your children, it happens but by bit"

"We're coming for your children, we're coming for them"

You lost...forever.
that is not making money. It is merely taking money from others for specious reasons.
I don't see that raising prices would make consuming companies want to stock up less. A company that requires an input to manufacturing is going to have a pretty steep price-demand curve for every individual component. Even if prices for one of their scarce inputs doubles, they're still going to buy as much as they can rather than risk shutting down their entire production if they run out. Since their competitors are feeling the same pressure, they'll just raise their own prices to compensate.

It's like foodstuffs during the early pandemic - when you finally found something that they had been out of, you didn't particularly care about the price, and you generally bought extra so you wouldn't run out if it went missing again.
DigiProcure seems like it would be useful outside of the construction industry - really any manufacturer that has multiple stakeholders. Do you have any competitors in that product market?
My NEC 286 had a Turbo button to slow things down. I only remember having to use it for a few games which ran too quickly.
For anyone who is interested: I used to work with a guy named Richard Wang, who indexed Wikipedia as his training data set in order to do named entity recognition. He'd be a good person to talk for anyone pursuing this.

Here's a demo: https://www.youtube.com/watch?v=SyhaxCjrZFw
I believe it to be the case that any optimization in conjunction with a non-conforming program can lead to a subtle or hard-to-understand bug, including giving literally the wrong answer. So what is the solution? Disallow optimization, or go to hellish lengths to write a hard-to-follow spec that only permits optimizations that do not surprise people?

On the other hand, it is not hard for me to incorporate into my mental model of a language that a program should eventually "do something" and if it doesn't, it is literally a wrong program.

In fact, that's exactly what I thought when I saw the code in question. Before even realizing what it is about: I read it like a normal program, I saw that it can only ever return true, therefore that code can do only one thing, and all that fluff in there does not impact the end result. So I don't think it's particularly non-obvious, but it does require something from the reader. I'm ok with that, there's a lot in C and C++ you can't just assume.

I call this a "weird program." It's trying to brute-force an answer out of the computer, but it's the kind of an answer that may or may not ever come. Hardly unlike a program that tries to answer the halting problem. Not necessarily an illegitimate program (bruteforcing is a legitimate way to find answers), but not the kind of thing you'd put inside a normal application. So I'm not concerned about normal applications running into this issue much. If a normal application could go into an infinite do-nothing loop, that is almost definitely a bug -- a literally wrong program. The optimization here only changes how that wrongness manifests, which is expected for UB & optimizations.

I do like that C gives you the escape hatch of using a constant controlling expression if you really want a true "potentially-infinite" loop.
I just wonder how deep this goes down the line of third party suppliers. Like, I know a lot of auto manufacturers use Bosch or Siemens for their ECUs, so I would think it’s really out of their hands. Then again, maybe they have terms in the contract to force Bosch to maintain a certain inventory?
Isn't TSMC working on expanding into the US?