skysight-inc/HackerNews huggingface dataset:
Whether or not the recursion ever successfully reaches the base case in order to terminate is certainly equivalent to the halting problem, and thus undecidable for Turing-complete languages.

However, I was making a much weaker claim, which is that if you have exclusively statically-dispatched function calls, it should be possible for a compiler to detect the possibility of recursion 100% of the time.

For every function, you should be able to make a complete list of every other function that it calls directly (including branches that may never actually be taken at runtime (which it cannot know, because of the halting problem), making this overly conservative, like any type system). This list is both perfectly precise (because of static dispatch) and finite. With this, you can then construct a graph and run a cycle detector over the graph.
That's a good point about showing work. I originally opted to avoid having it show work for brevity's sake, but it's possible that by "showing work" ChatGPT is storing enough context to compute the answer. So, I asked it to "limit work on each bit to a single line." which a human with understanding of the rules of addition would be more than capable of. The result (below) is still wrong :)

Sure, let's add the two binary numbers you provided, keeping each bit operation to a single line.

10011111110100011100011011110010
+ 00111010100101000100000101111011

Starting from the least significant bit:

1. 0 + 1 = 1

2. 1 + 0 = 1

3. 0 + 1 = 1

4. 0 + 0 + 1 (carry from step 3) = 1

5. 1 + 1 = 0, with 1 carry.

6. 1 + 0 + 1 (carry from step 5) = 0, with 1 carry.

7. 0 + 0 + 1 (carry from step 6) = 1

8. 1 + 1 = 0, with 1 carry.

9. 1 + 0 + 1 (carry from step 8) = 0, with 1 carry.

10. 0 + 0 + 1 (carry from step 9) = 1

11. 0 + 1 = 1

12. 1 + 0 = 1

13. 1 + 1 = 0, with 1 carry.

14. 1 + 0 + 1 (carry from step 13) = 0, with 1 carry.

15. 0 + 1 + 1 (carry from step 14) = 0, with 1 carry.

16. 0 + 0 + 1 (carry from step 15) = 1

17. 1 + 1 = 0, with 1 carry.

18. 1 + 0 + 1 (carry from step 17) = 0, with 1 carry.

19. 1 + 1 + 1 (carry from step 18) = 1, with 1 carry.

20. 0 + 0 + 1 (carry from step 19) = 1

21. 0 + 1 = 1

22. 1 + 0 = 1

23. 0 + 0 = 0

24. 1 + 1 = 0, with 1 carry.

25. 0 + 0 + 1 (carry from step 24) = 1

26. 0 + 1 = 1

27. 1 + 0 = 1

28. 0 + 0 = 0

29. 1 + 1 = 0, with 1 carry.

30. 1 + 0 + 1 (carry from step 29) = 0, with 1 carry.

31. 1 + 1 + 1 (carry from step 30) = 1, with 1 carry.

32. 0 + 0 + 1 (carry from step 31) = 1

So, the result of the binary addition is:

11011001000010100010001110101101
I live in Madison, which is an incredibly bike friendly city and there is almost no bike usage once winter starts over here. This is in a city with dedicated bike paths and lanes all over town. Under heavy snowfall and -20 C temperatures with wind screeching in cause of the lakes, I really doubt this is a doable scenario.
> for casual gamers - a lot of games are offputting since you have to spend a lot of time trying to learn the mechanics / lore.

Now that I have kids, I have real trouble playing anything that requires you to actually build skill at the specific mechanics/controls of that particular game.

What happens is I get a ways in, have to put it down for a week or two, come back, am at a part of the game that's quite a bit more difficult than the beginning and requires you to know how to play moderately well, but don't even remember the controls, so I'm just fucked and can't make much headway without a ton of frustration and effort.

Same happens for narratives in games. I really appreciate the modern trend of reminding you WTF was going on when you load a game.
That is a false equivalence. Also, why would someone in 1970 think American soldiers were baby killers? https://www.newyorker.com/magazine/2015/03/30/the-scene-of-t...
Correct. Which is, incidentally, why most military air bases are superfund sites.
Ah, these are good things for me to keep in mind. Thanks for responding!
Roast me/it please
Seeing Wolf3d running on PC screens in those computer shows at the Cow Palace was what finally convinced me to move from the Amiga to PC.
It might be fun to add a few different podcasts for the same news day that present the material in different tones, like "Witty", "Dry", and "Sarcastic". I imagine it would just be adding prompt info for the LLM generating the text.
from the essay:

> That’s why I’ve never recommended running to others. If someone has an interest in long-distance running, he’ll start running on his own. If he’s not interested in it, no amount of persuasion will make any difference.
> US education institutes are laying off hundreds of teachers, cancelling courses, cutting services, etc

This also does not make much sense when one sees this humongous growth in new courses, departments, degrees and academic positions in first place over last few decades. So many universities did not become 5 star resorts by just keeping strictly educational services.
The existence doesn't annoy me. It's the sanctimonious tone that this should be the norm, when it's clearly not even remotely built for the reality of how families actually live, despite their marketing.

The actual solution to this short trips problem is better mass transit and cycling infrastructure, with cars reserved for highway travel and other long trips or cargo hauling. Good pre-car suburban neighborhoods existed on a network of walking and electric streetcars. That is the future of urban design, not cars designed for Oompa Loompas.
Why do things in two places when you can do it all in one place? This isn't limited to computers, but unless you are getting specific benefits, it isn't wise to continue with a SPA approach.

We had the same and worse problems with "thick clients" that came before the web grew. With the right requirements, team, tools etc., you could sometimes build great apps. This was incredibly difficult and the number of great apps was relatively small. Building with earlier server-side web tech, like PHP, isolated everything on the server and it was easier to iterate well than with the "thick clients" model.

SPA reinvents "thick clients" to some degree and brings back many of the complications. No one should claim you can't build a great SPA, or that they have few advantages, but the probability of achieving success is frequently lower. Frameworks try to mitigate these concerns, but you are still only moving a closing some of the gaps and the probability of failure remains higher. Depending on the app you can move the success metrics, but we often end up fudging on items like performance.

We get to a point where there is current model is fraying and energy builds to replace it with something else. We end up going back to old techniques, but occasionally we learn from what was done before.

I find that it's surprisingly rare for people with 1-2 years of experience to be able to give an accurate overview of the last 10 years of web development. A better understanding of this history can help with avoiding (or targeting) problems old timers have encountered and complain about in comments.
Currently the only option for cost-efficient ML inference is Linux. MacOS doesn't have CUDA drivers, which makes it pretty much useless for production.

The Pytorch support on M1 is nice, but there's a reason VPS providers aren't throwing away their A100s for an M1 Ultra any time soon. The inferencing performance is different by an order of magnitude on the latest chips, and still a sizable lead when adjusting for power consumption. Not sure why you'd switch to an OS with weaker driver support to try and eke out better ML performance.
At least in my case what I have observed is, the explosion of technology has made it easier to be happy alone quite easy. So the absence of a romantic interest or a roommate is felt less. When I have dated, I have loved being outside of the home, but I have been quite comfortable not having a partner as well.

Also, online dating and the ever constant flow of people in your face there has skewed my perspective and has led to a phase where it is harder to commit and stay with someone, so I just find it easier to be alone than be with someone and always be not sure whether this is the right thing.

Dating apps and their illusion of so much choice and options is a net negative to the actual dating structure; but maybe from a sociological perspective, this is where the society should head, I am not smart enough to comment on that.
If you Google 'password strength' the first result is https://www.passwordmonster.com/

This works like I described, it don't show 'dartboard requirements', only entropy. I think you've misunderstood what a password strength checker is. It's definitionally not a checklist like 'You need an uppercase letter, a lowercase letter, a number, a special character'. It's a tool which measures the strength i.e. the randomness or entropy of the password.
So what are you suggesting exactly, that the Dutch ban having children and expand their farms on the reclaimed residential land?

Keep in mind that they are severely bottlenecked by land, so they can't do both.
He spent 44 billion to be a right wing twitter troll.
> that's why the fps genre like call of duty reign. simple point and shoot. and the more you do it the better you become.

You need to grind gear nowadays to have a chance. It is not like CoD 2 anymore.
No - they just did something in Elasticsearch to make their own FieldType https://github.com/elastic/elasticsearch/pull/95257
I compile my F# application with --standalone and share a single exe file to my users. It still requires .NET to be executed (but note it works on many platforms thanks to Mono).
Duke Nukem 2D sidescrollers with the Keen sound fx.

The original Duke 3D and some expansions were alright but they got progressively worse with larger budgets and longer development cycles.
Like others have said, the PCs you're looking at might be mini in form factor but specced more traditional desktops. There there are plenty of mini PC options that compete at 15 watts and lower range. One example I use is https://www.amazon.com/Computer-Windows-Dual-Band-Bluetooth-.... This gets you built in 128 GB eMMC, dual display output, more USB 3, about the same overall CPU performance but significantly higher single core scores, an open native SATA slot,
Similarly there are boards even cheaper than this passively cooled, and will pull less than 15 watts under load as measured from the wall while being in a preassembled case.

The best part is it's easier to scale to your needs. E.g. if a single $200 box can get the latest generation CPUs that will absolutely demolish these cheap ARM boards in perf/watt, come with PCIe m.2 drives, support higher RAM limits, and have GPUs that are more on the usable side of things. As a result it can do the work of multiple devices (if you don't need them to be physically separate of course) and will last significantly longer in terms of usability.
Microsoft is allegedly working with AMD to expand into AI chips
Not that I know of, I would love to see them if they exist...
I'd love to play newer Wolfenstein games. However, I picked one up a few years ago and the very first thing you had to do was kill your pet dog as a crying and terrified child in a flashback while your abusive father yelled at you. I put the game down and haven't wanted to touch the series since. Notable because almost nothing in games gets to me like that did.
The majority of criminal cases in the USA result in a plea agreement. The majority of plea agreements take away a persons right to access to the Courts (taking away Constitutional protects. They claim that you CAN still access in certain constitutional situations but if you try both the lower court and Prosecutor will threaten you with revoking your plea if you pursue an appeal to higher courts. Source: that's how it went down in my situation). Plea agreements were unconstitutional for the majority of the existence of the USA but somehow later became constitutional (even though our system of law are required to respect precedence). While for appearance purposes some limited constitutional rights remain, for all practical purposes anyone convicted via plea has their constitutional rights to the courts removed. In addition, the Federal Court system only allows 14 days from sentencing to file an appeal. 14 days, including days being transferred from court to a Federal Detention Center to your final destination seems extremely unreasonable. Again, it was unlimited until recent history, but it was decided it needed to be 14 days for financial reasons (too many people were accessing their constitutional right to the court and clogging up the system).
I just turned off the t.v. and it went away. Go figure...
Developing an Intuition for Georgism
Current headcount of 1,070 and they really only have one product on the market that they're developing: Firefox. Their VPN is just a rebranded Mullvad and Pocket is barely more than an extension. I've lost track of whether Thunderbird is Mozilla supported or not at this point.

I have been a loyal Firefox user since the early 2000s and am just disappointed that this is where Mozilla ended up. I feel like there is some business development path where certain businesses de-emphasize their product in favor of caring more about their internal culture.
It sounds like unnatural "podcast speech".
You're off by about 4 years: by 1995, the number of Internet users was many times higher than users of all other networks of computers combined.

There were million of AOL customers in 1995, but most of them used AOL only to access web sites on the internet and send and receive SMTP email.

Getting back to the original topic, by 1995 there were hundreds of mainstream journalists who where predicting in their published output that the internet will quickly become an important part of society. It was the standard opinion among those that had an opinion on the topic.
I don't know. They make a lot of judgy statements about these stats that don't seem to be based on anything.

I think about how Alaska has relatively few roads and six times as many pilots as other US states. And I wonder how Alaska would fare in a comparison of infrastructure based on the assumption that roads are extremely important but airports aren't.

I honestly cannot manage to draw meaningful inferences from any of this and I hesitate to speculate off the cuff on HN.
Who regulates the regulators of regulators?
An enterprise React app I am currently working with takes about 50 requests to fully render the app post-login. Switching to another view (no reload) takes another few dozen. That's a lot of "server interactions", pretty standard for SPAs, but YMMV.
My read: you have an ambitious vision for a specific type of commune. Might work, who knows? If you believe in it, do it. Let us know how it goes.
Out of all of my US friends, only two drink tea on a fairly regular basis. The rest either never drink it, or drink it rarely.
I'm not aware of the specifics OP talk about (I'm not from the US) but any mature adult should of course care about the unfair loss of wealth. If you look at US marriage/divorce statistics, it'd not be paranoid to think that it could also happen to you. In fact, I bet most of the people who got to lose "material objects" unfairly never thought they'd be in that situation - which then makes them get to experience the miserable way of life you mentioned, at least for a while.

So yeah, I'd suggest to be mature and consider that things can go wrong, which shouldn't affect the depthness of the connection while things work (hopefully forever).
Why be on the internet at all? Why not distribute a desktop app that doesn't need any connectivity at all?
I applaud your privacy stance, but you might want to implement minimal feedback mechanisms, because you are not going to hear from people who leave.

Early adopters tend to be more vocal. If your product becomes successful, you will have to satisfy less vocal, regular users.
You still need libraries and the ecosystem.

If it can't find those, then because there is no training data, best case scenario is that it will hallucinate APIs that don't exist.
Nintendo are litigious fucks.
Roughly every time I can use something by just typing some words instead of downloading a .exe.
this is very true with the FAA

They’re so concerned with rule making and red tape they forget their actual mission
Agreed. Anyone who is curious about him should read the superb biography https://www.amazon.com/Hilbert-Constance-Reid/dp/0387946748.

It is excellent both for understanding his life, and slips in the subtle philosophical points that he introduced to mathematics. (Like what mathematical existence should mean in his view.) And yet manages to be appropriate for a general audience with no knowledge of math. I know of no better explanation for a lay audience of where Formalism, the philosophy of math that most mathematicians officially subscribe to, actually came from.
SAP (got this answer from a German once)
Governors as well. This would be an excellent use of the pardon, deliberately designed as a check on judicial power. But in this case they are both bloodthirsty.
I self-hosted my own email for about 15 years, but, managing an email server, even with just a single user, requires an insane amount of dedication and time. It got to the point where I just didn't want to deal with it (IP rep, gmail, outlook, spam, l33t h4x0rs, backscatter, joe jobs, any of it) anymore.

I looked at a few different hosted email options and settled on Fastmail. I'm now hosting all 12 of my domains with catch-all and redirects. I prepaid for something like 3 years. And it's so great... After initial setup, I've had to do zero admin. And the initial setup was pretty easy, they imported all my email from my email server, I moved all my contacts from iCloud, and linked in my iCloud calendars.

I'm not getting paid for this, I know I sound like an Ad, but I'm not. I'm just incredibly happy and relieved. Also, a shout-out to their support, before giving them any money I harassed them with a bunch of questions and they were super responsive.
> whew, I would not want to be in the business of lexing perl

Hence the saying: the only thing that can parse Perl is Perl :)
If you took time to read it you would find that meat packing and hazardous chemicals are still illegal under the new bill.
Especially if you have an induction stove, where the stove itself is hot instantly so you can pretty much just pour the water from the kettle into the pot and start cooking (unlike a resistive stove, where the water often cools quite a bit before the stove catches up so you end up waiting a couple of minutes after boiling the water in the kettle for it to be boiling on the stove again - still faster than going from room temp on the stove though).
The server cost is going to be the problem here, since you'll need SAS drives and a JBOD to house these hard drives, especially if you want to run a raidx for redundancy.
What's the business case, for them or for developers?

Ideas aside, the web app future belongs to those with the resources to sustain a response, or those who can restore the ability to capture/monetize developers and users in a closed system.

The scope of web apps is broad enough that many technologies arguably have their place. The open javascript ecosystem reduced the cost of creating candidates, but has no real mechanism to declare winners for the purpose of consolidating users, i.e., access to resources.

Careers and companies are built on navigating this complexity, but no one really has the incentive to reduce it unless they can capture that value.

I really appreciate Cloudflare because they are open about both their technology and their business model. They thus offer a reasonable guarantee that they can sustain their service and their technology, without basing that guarantee on the fact that they are a biggie like AWS, Microsoft, or Google (i.e., eating their own dog food, so we can join them at the trough).

The biggest cost in IT is not development or operating fees but reliance and opportunity.
> they were stealth games -- in the original you were terribly outmatched and couldn't just run around shooting Germans but had to sneak around, kill one by stealth to get a uniform, and so on.

Taking this off topic a bit but your description made me nostalgic for the video game Commandos Behind Enemy Lines. There's a lot to be said for stealth in video games!
I think people are blown away by the quality of the audio narration of this one, not by the idea or content itself. AWS Polly sounds like the current generation of artificial voice we are used to.
In retrospect I think I was hyper focused on a couple of pre pandemic examples that stood out to me. Thinking about it a little more it depends on the genre. I’ve definitely been to some shows that have different demographics.
Since covid happened, it's been harder to just hang out with people so finding new hobbies or spending time doing something outside the house has helped me a bit. Still haven't been able to make friends as easily as I did in my 20s.

I'm also working on a meetups+hangout app where people can chat and hangout based on a topic in real life, nothing ready yet so can't share a link or anything.
Another aspect of this is that a lot of regulation doesn't really work, it gets corrupted or bloated in numerous ways because it might help but actually doesn't. The separation between people doing the thing and those overseeing it leads to ineffective regulation that ends up not actually saving lives and also potentially costing a lot of manual time to adhere too.

I am not sure liability insurance is necessarily the complete answer. I think widening of criminal charges for breaching regulation should absolutely be pursued alongside liability for harms to humanity, there should be a basic duty of care to the the planet and its inhabitants and to the people that work for you that they are not harmed by your endeavours. We can't just continue allowing wage theft all the way up to mass destruction to the environment and treating it like its just a small fine that is necessary to resolve it. The system needs to expel those willing to take minor risk of getting caught for the large personal gain.
They are using a one pixel sensor but changing the light. See

https://graphics.stanford.edu/papers/dual_photography/

for something similar, where take very normal looking images with a single pixel sensor, scanning structured light with a projector.
"clown show" means something not organized well, so it's not exactly a foolish argument. Why would you hold VLC creators responsible if there are third parties spreading fake versions of it, and what can VLC do about it, and how does it help banning the original version? Why they need to contact the "local representative of that organization" instead of catching/banning other illegal websites?

So if someone creates few fake currency notes, will they ban all the original currency notes instead of catching the culprit?

Oh well, on that note, I remembered they did ban all currency notes of Rs.500 denomination to fight corruption, and then released new notes of "Rs.2000 denomination".
To not consider work opportunity shows a highly elitist attitude. It is an opportunity to have money, to buy food, to help support family, to build a resume, to have peers. You might be too good for blue collar jobs, but they are in fact in demand by adults. 6 million adult have risked their lives and climbed over border fences for these jobs. Not everyone gets to go to Stanford a code for google, but honestly, if more bay area elite tech industry folks had a tough job in high school, they'd be better for it.
No, it is not double. The 2017 Tax Cuts and Jobs Act reduced the marriage penalty quite a bit due to broadening the tax brackets. It is still there, especially for very high earners, but not noticeable for the vast majority.

https://www.bakerinstitute.org/sites/default/files/2019-03/i...