skysight-inc/HackerNews huggingface dataset:
It is not clear to me what you would define as the reason to return paradox from `halts`. It is pretty clear you can make a `halts` function that returns halts, loop or unsure. Renaming unsure to paradox would give a valid version of your 3-decidable `halts`. A concrete definition in terms of turing machines is necessary if you want to displace the halting problem.

> (I.E. Fregeian Sense and Reference, a different referent for the same sense).

For the traditional halting problem, all of the programs are encodings for some particular UTM and therefore we are only talking about referents. The halting problem is the statement that there does not exist a referent for the sense that is "Does referent P halt on input I?"

> Just because somebody outside the is_halting function can do something counterproductive, doesn't necessarily mean the specific invocation of do_opposite within the closure of is_halting is impossible to classify.

The problem is the inner call and the outer call are definitionally the same. The input to `halts` is an encoding a of turing machine and an input. The construction of the `do_opposite` function is possible no matter what the encoding of `halts` would be. So if `halts` has a valid encoding, there is a corresponding `do_opposite` that totally confuses it and forces the inner and outer eval to be the same.

> Every proof seems to boil down to "muh contradiction" which feels like, ok, so what?

I think you may misunderstand why everyone is like "muh contradiction". They are doing a proof by contradiction so as soon as they get to a contraction, the proof is complete. I will give a proof of the halting problem for python programs.

Theorem: There does not exist a function `halts(program, inputs)` that correctly determines if a given program halts for EVERY input.

For the sake of contraction, assume such a function `halts` exists. Then carefully construct a program `do_opposite` that intends to befuddle `halts` as follows:

def do_opposite(inputs):
if halts(do_opposite,inputs):
while True:
"Loop"
else:
return

if `halts(do_opposite, inputs) == True` then `do_opposite` must loop forever because the if statement will be followed leading to the inner loop.

if `halts(do_opposite, inputs) == False` then `do_opposite` must immediately return because the else statement will be executed.

For any return value of `halts(do_opposite, inputs)` it must contradict the definition because it does not correctly behave on this particular input. Because this is a contradiction with the only assumption we have made, that assumption must be wrong. QED.
> Use the right tool for the job.

yes, this. Engineers frequently try to converge everything into the one-true-way and go too far. (I blame this thinking for phones without buttons or touchscreen cars)

Makes no sense to write scripts in C++. I've worked on projects where people have tried to do this, and they end up being more fragile, cumbersome and not that useful.

I think python is ok for cross-platform.

a shell is good for command line/os logic.

seriously a shell script with 'set -e' at the top, and a lot of command invocations and not much else is pretty easy for a group to maintain.
Subscribed! This is great.

Also, I thoroughly enjoyed your article -- How AI is disrupting the demand for software engineers: data from 20M job postings (https://bloomberry.com/how-ai-is-disrupting-the-tech-job-mar...). I've subscribed to your newsletter as well. Keep up the great work!
Bow thrusters are only effective at very low speeds due to the Coandǎ effect
Yes, they graze on semi-arable areas where crops can't be grown, thereby transforming it into productive land.
The upcoming generation already have it much harder, with 5 rounds of leetcode interviews, high saturation of devs, offshoring and AI all working against them.

I would expect anyone doing this from 2010 to at least have decent savings and solid experience at known companies. If not, its definitely over for them.
Other photos of aftermath shows an anchor dropped. Was wondering if he dropped anchor before the impact.
Two easy anecdotes, have seen it play out similarly multiple times over the past decade:

- <self-funded startup> has <big name B2B client> in the sales pipeline. Client wants an invasive <data/reporting> feature for <legal/compliance/ops> reasons. No chance to say no, <CxO> decides to build it due to <market pressure/big name/bonus>.

- <self-funded startup> has a platform that deals with anonymous <reviews/surveys/comments>. <big mean company> sues to take down mean <review/survey/comment> and sue the user for defamation. No chance to defend, need to give in to survive the lawsuit.

Those cases will come and they will hurt. It's probably healthy to up front think about how you would deal with it (and assume a worst-case-life-or-death scenario).
I think the argument is that states are not laboratories for behaviors that violate the constitutional rights of others, or in the case of this law, go beyond the legislative branch's constitutional powers, so that just suggesting there isn't an experiment is in itself not sufficient to defend this law.
Remember that you also need to get people to desire the product, and at cost!
What You Stand to Gain as Microsoft integrates Copilot chatbot on new devices
A lot of software is purchased that never gets used. Sometimes the managerial sponsee leaves the company after acquiring the software for instance. The vendor will update their CRM with a new contact. Or, the vendor is trying to expand a customer and has new contacts in other parts of the company that haven’t converted yet. Or a customer that had converted but has not yet deployed. They could still be working with customer education and consulting services and/or CSM to get their deployment squared.
Lex Fridman's Second Podcast with Altman
I don't think traditional American understandings on freedom were for state identity document requirements.

That's why we have no federal IDs and social security numbers are abused and why we use driver's licenses for identification cards.
When detained, you have a right not to give police papers proving who you are, you just have to tell them your name. [1]

So Florida pushing the concept of using state id to verify age to access a website, which is probably what this law requires, is kind of against that tradition. [2]

[1] https://en.wikipedia.org/wiki/Hiibel_v._Sixth_Judicial_Distr...

[2] https://www.flsenate.gov/Session/Bill/2024/3/BillText/er/PDF
The Other Star Trek Game (2022)
I don't watch foot fetishists but I watch a lot of content made by people who would never get on TV on subjects too niche to ever get on TV.

Also, if you want learn how to do anything, you can find someone online that will show you how to do it.
The government will lose the surveillance on those 7M properties and the companies will have to go back to employing a meter man?
Reminds me of when premium movie channels would do that back when cable TV was king.

I wonder how many new FSD customers this will create.
I look forward to scoring some beefy Milan boxes with weird rails for cheap on ebay because the firmware only loads OpenSolaris.
I don't think this is a matter of merely re-shipping the same products. For example, if you look at poultry, the Netherlands imported 240 M€ worth of live poultry and exported 2300 M€.

https://www.cbs.nl/en-gb/news/2021/25/the-netherlands-is-the...
My sibling in the universe, we are talking about an actual LAW. WRT Texas, a law that is on the books and enforced TODAY.

Get informed.
A Playstation or Nintendo Switch has no internet browser, or access to any social media.
Not in commercial jet engines. The four big players have been in the engine game since the 1920s-1940s. Others came and went, some were bought or merged into them, but no one has eaten their lunch.

If they were still using the same designs they made 50+ years ago (like the rocket industry in the 2000s) I would agree with you... but they aren't. They have been constantly pushing performance to get better thrust-to-weight, efficiency, noise, etc. Whenever they get lazy (which they have) one of the other players is the one that gets to dine well. Look up "The Airforce and the Great Engine War" for an example.
If you’ve not seen it, there’s a vscode extension called CodeTour that does something similar, could be good inspiration (or maybe you already do better!)
>I am fluent in English and I have never heard that idiom before.

In that case, congratulations![0]. Especially given that the idiom is more than 800 years[1] old.

[0] https://xkcd.com/1053/

[1] https://www.phrases.org.uk/bulletin_board/20/messages/794.ht...

Edit: Removed superfluous comma.
Is it inspired from this? https://heynote.com/
By not having this law and doing it client side. My opinion is the law is bad.
> Credit cards have limits, too, just the same as debit cards.

The way car rental works is that they put a "hold" on some credit amount. So they would know at rental time if your card is too limited and will decline to loan you anything.
> But DeSantis will win some more heart and minds of the folks who secretly do want big government protecting them from the boogieman.

Those supporters aren't very secret about it. In fact, they are quite open about it.
I'm not sure what you're comparing this to or how you're making this comparison—can you enlighten us?

(Somehow I doubt whatever caldav software the above poster references takes more than a second to process multiple emails.)
Given modern trivial access to tuners, it's not that difficult to find in-tune performances...
Well then, enjoy your fungi!
That is VERY cool!
The US state has in place the laws, rules, regulations, law enforcement, etc, to safeguard numerous facilities. That whole apparatus needs to exist. One can't just walk in a factory that assembles F-35 jets, or Himars missiles, or even one that manufactures Tylenol. There were some Tylenol murders in 1982, and the FDA added measures to prevent that from happening again in the future [1].

So, while I agree that a solar farm needs virtually no safeguarding compared to a nuclear power plant, I don't think it would have any discernible effect in the overall state surveillance apparatus.

We live in a society that's quite obsessed with the checks and balances around state surveillance, and it's a healthy obsession. If anything, having nuclear power plants increases slightly the stakes in that debate, and the outcome could be more democracy rather than less. But I'm not willing to go as far as claiming that the effect in that direction is going to be any more measurable than the effect in the opposite direction.

[1] https://en.wikipedia.org/wiki/Chicago_Tylenol_murders#Pharma...
https://pico.sh - a set of services catered toward terminal workflows. Static site hosting, ngrok alternative, blog platform, and a docker registry using ssh
Etta – Melbourne Fine Dining
Some experiments can't be performed, for ethical reasons.

We don't test if parachutes work by throwing people not wearing them out of planes, for one.

States can experiment with variability in their legislature, but there is a unified federal law that guarantees certain fundamental rights. Much of the south is currently trampling all over them.
I disagree and I think if you follow the points I laid out, it’s pretty clear that the outcome is fairly obvious from someone who looks from above the system perspective.

When your system is predicated on taxes borne from income, and you implement a disturbance that displaces that income, it doesn’t take a rocket surgeon to see there will a problem looming on the horizon. It’s really just connecting two very obvious points that doesn’t need hindsight centuries later to see. People have been ringing the alarm for decades now, policy makers just found it easy and expedient to ignore them.

I think many politicians knew this but policy development has a different wrinkle. Politicians are incentivized to take a short term perspective because election cycles don’t operate on the same time scale as large scale societal issues. It’s the same reason they are incentivized to raid the general coffers for projects that will be completed during their tenure and leave long time horizon problems for someone else to fix. (If you disagree, look at Illinois and their public pension issues)

(And not to be pedantic, but automation dates back a couple thousand years, at least to the use of water wheels to automate grain flour production. The industrial revolution dates to the late 18th century. While they are related, they aren’t the same thing)
It doesn’t work though. Using instagram web bypasses the app limit. If you set a website limit, it only applies to Safari. If you block TikTok, they will find video compilations in Spotify, which shouldn’t have to be blocked. It’s a mess.
The more tractable problem is {halt, loop, unknown}. That problem us trivially solvable, and solved by every static analysis tool and optimizing compiler. Or at least, the generalized {yes, no, maybe} problem for various properties is.

The real question is, how small can you make the set of instances that results in "maybe", and how small can you make the intersection of that set, and the set of instances we actually care about.

And, it turns out, you can typically make that intersection pretty small.

Regarding the question as you stated it. If you define "paradox" as whatever situation your algorithm cannot handle, then it us trivial. If you define "paradox" as the smallest possible set of "maybe", then determining what instances belong in paradox is equivalent to solving the halting problem.
>For people who don't get the reference, one of the defining pieces of the Minimalist movement in 20th century music[1] was "In C" by Terry Riley

So they missed the opportunity to call this "In B#".
I've been eagerly awaiting the day when I can buy one of these: https://github.com/scottbez1/smartknob (or when building one myself doesn't require any soldering more advanced than thru-hole).
What accusation? I literally said it's a fan project. You're agreeing with me. I said it's not "grassroots" because it's a solo project. Grassroots refers to movements/organizations. This distinction is important.

I'm starting to think there is a number of SpaceX/Musk fans on here who fail at basic reading comprehension. I've repeated my point in several ways and all y'all seem to take away from it is "it's not grassroots so it's a paid shill" which is not even in the vicinity of anything I've written (and something I literally clarified I wasn't saying in the comment you replied to).
For people doomed to this fate like myself, please try cycling. My mom has had numerous knee surgeries due to lack of proper exercise and being overweight. My knee issues started at 15, so presumably it’s genetic. When I started cycling regularly at 24 the problems receded almost entirely. I doubt this will completely prevent the need for surgery later in life, but I’m glad I’m doing what I can.
In the context of loans, though? The point of a loan is to enable someone to do something they couldn't do under normal economic constraints.

Crop failure could be a matter of literal life and death. I can imagine the most forward-thinking community in a country coming together and funding the smartest guy they've ever heard of to figure out how to stop that. Or any of a number of other growth areas.
Please. The idiots at Xerox PARC were great at regurgitating the successes of Bell Labs, but their convoluted solutions revealed just how little they actually understood the elegant theory behind their clumsy missteps.
This is actually a really cool idea. I work in the fintech industry and a simulator where we (employees sitting through boring compliance training presentations) could play as money-launderers and attempt to launder cash through the various schemes like layering etc would be a fucking awesome learning experience. I think you'd have a ready market there.
In one week we have our anniversary for CloudCamping - a property management software for campsites. It is targeted for the European market at the moment, mainly the german market, because there is not much digital infrastructure in this space yet. In a nutshell: campsite administrators can create and configure their campsite and enable guest to book a place online.

[0] https://www.cloud-camping.com/
I'm sorry but if you're reaching ring-0 ... You're not just playing games.. Or at least you shouldn't be.. Looking up on that, it's wild that publishers feel so entitled to have higher than root access to your machine.. For a game.

I realise there are some esports and those machines, fine, but wow.. If I want to play for fun, I need to hand over my whole system ?

Why did nobody object to this ???
If you have the right model.
It's a Bezos-ism: https://www.theguardian.com/technology/2018/apr/24/the-two-p...
Interesting, never used it. Usually I have methods but not proc, by the time I have to write `.method(something)` a bunch of times I'd it doesn't make much sense anymore.

I love curried functions by default, but if it's not the default, it never works out even in functional languages like Elixir. You need to have every developer (and new hired developer) pretty much on board with that and exclude every library that doesn't do this, or wrap it (huge burden).

Given those, I'd rather stick to what I wrote. Not my favorite, I loved my brief experience with Elm
>That 1% tax has probably been a pretty massive drag on GDP. Imagine how many new schools we could have had instead.

There are trillions of dollars misspent by politicians on not building schools, not Visa or Mastercard's fault.
> Some algorithms need the parent or bidirectional pointers.

For trees some, not very good, algorithms require parent pointers
I like your comment because this is a truly spicy idea, and seems insane to me, but I love it. The problem would be that you'd have to basically strike every data centre on earth, or at the very least all of those owned by major cloud providers because you can't easily identify which data centres are being used for which workloads. That would have enormously terrible impacts beyond slowing AI, because you'd basically take down the internet.
I'm arguing for a completely separate kindernet. While on packed public transportation.
This is awesome, will likely subscribe--just need to pare down some of my other subscriptions--there are too many tempting AI products lately.
The secret was revealed in 2017 [1]. I guess there are new documents, though?

Facebook knew about Snap's struggles months before the public (Engadget)

> To be clear, Facebook isn't grabbing this data behind anyone's back. The company says Onavo Protect is explicit about what info it's collecting and how it's used, and that apps have incorporated market research services like this "for years." The odds are slim that many people read these disclosures before using Protect, but anyone who was concerned could have found them. The revelation here is more about how Facebook uses that information rather than the collection itself.

[1] https://www.engadget.com/2017-08-13-facebook-knew-about-snap...
I have learned recently that the Koreans are set apart in the world (perhaps uniquely) in that they were self missionizing to their own people with Christianity delivered back home from their kinfolk who traveled abroad. That must produce a very different ethos and flavor for them for getting things done internally without a lot of external support where foreigners are relied upon to get stuff done. This self starter spirituality is probably highlighted in this example you share above somehow.
I made an image host where you pay: https://imgz.org/
I think the solution is to force tiktok to sell to an American company we can trust
If panpsychism is true, presumably we are also conscious when we are dead.
This looks very sick!

any chance of getting this as native apps on mobile? or better yet like global macos utility like dictation so you can "type" in any apps?
I can share a few things! (but definitely not all)

- One is finding different T7 RNA polymerases with unique properties by manipulating the backbone. They can be used for things like in-vitro RNA production for vaccines
- Another is synthesizing a phage that has been sequenced for a specific organism, but that the samples are now lost of. So resynthesizing that genome from scratch
- A different project (personal one) is building a DNA parts toolkit with standardized DNA parts so you can combine em together like legos. Pretty much nowhere but FreeGenes has open source genetic parts (I used to run that project), and I think open source genetic parts need to be in the world
> People want something flashy: "Up to 7x fewer errors than macOS dictation" is cool, a comparison table is not.

Respectfully disagree on this one: as a startup, you can't effectively compete with the likes of Apple on flashiness. However, the very target market of those dictating large amounts of text will include a significant number of people in academia themselves. For those people, Aqua Voice will feel relevant. Those who aren't interested in comparison tables will simply skip over them :)
Very very small tweezers.
True, the topics do not have dates and a timestamp of 0.0 equals January 1st 1970. Interesting that it shows Dec31, 1969 for you. Maybe I could have used the average or first time of all the comments of that topic for the time of that topic.
Game description seems pretty clear that your version is original version. The other version is some (probably accidental) fork.
You can use the "vouch" link if you believe a dead post is worth showing other people.
I understand where you’re coming from but these were not social media.

I used Orkut too. It was a place to talk to your real-life friends, join local communities and organize events. You didn’t develop a personal following or post selfies looking for approval.

Social media, as we have it today, allows individuals to broadcast their twisted mind to millions, and not via text - only cute pictures, memes, and 30-second clips. These are worlds apart.
Last week, chatgpt literally generated a pptx file that I have downloaded, with the content that I asked for.
These rulings are 13 and 27 years old (the third is in progress), so I'd argue that revisiting the legal analysis of the laws and precedents is useful here in itself.
This law might have never come up if we had better parental controls at every level of the software and hardware stack.

I'm a parent I have parent controls setup on my child's devices but it's very hard to dial it in properly and cover all the bases. It should be far more straight forward to manage than it is now.

I'm obviously pretty tech savvy and I would say 99% of parents are not going to get this right.
That was pretty much the point of Onavo: https://techcrunch.com/2019/02/21/facebook-removes-onavo/
> Your weird neighbour who has a feet fetish would never get to be a TV star

Look up Nickelodeon and Dan Schneider my man.
It's the first time I've heard of CodeTour, I'm really impressed from what I've seen thus far. Digging a bit deeper now, thanks for sharing!
That's how Twist/Agilent do oligo pool synthesis (and Dynegene now). I'm pretty interested in the Genscript / Avery digital method of electrochemical synthesis. Turns out those pools ain't good enough to be used in a biological context, which is where I come in - I can assemble them well into sequence perfect stuff
It seems like it'd be easier to just simply search by mood of the book, then allow the user to figure out how they want to leverage this to manage their own mood.

Trying to guess what the user actually needs or wants seems nearly impossibly difficult.
Because people wanted to enter dates in familiar formats in 1993.
It is just a bad example.

One of the main points is that there are very few algorithms that require back links that create cycles.

Cyclic data structures, rare as they are, are also hard to reason about. Even for garbage collectors!

If you have to implement one in Rust (I have) it is a bother, a big hassle.

It is a good thing that in the general case when a programmer is implementing back links they are doing the Wrong Thing.