skysight-inc/HackerNews huggingface dataset:
> First, the halting problem only applies to systems with infinite memory. If memory is finite and the system is deterministic, the program will either halt or repeat a state. The halting problem is thus decidable for non-infinite systems. So there.

The article mentions this fact specifically in about the third paragraph, and goes on to talk about why it's less relevant than it might appear.

> The next question is whether there are programs with lower time bounds that can be made arbitrarily large. Actually, we don't know the answer to that.

No, the time hierarchy theorems prove that such programs exist.

> My usual comment on this is that if your program is unreasonably hard to test for termination, it's broken. Microsoft takes that position with their Static Driver Verifier. There's a timeout; if it takes too long to prove your kernel driver safe, it doesn't get signed for use in the kernel.

Timeouts make it much harder to reason about programs and perform safe refactors, because the class of refactors that are guaranteed to not break a program becomes quite small. E.g. you can no longer prove that "val y = f(x); g(y)" is correct if "g(f(x))" is correct and vice versa.
This is, to me, an odd way to approach parsing. I get the impression the author is relatively inexperienced with Rust and the PL ideas it builds on.

A few notes:

* The AST would, I believe, be much simpler defined as an algebraic data types. It's not like the sqlite grammar is going to randomly grow new nodes that requires the extensibility their convoluted encoding requires. The encoding they uses looks like what someone familiar with OO, but not algebraic data types, would come up with.

* "Macros work different in most languages. However they are used for mostly the same reasons: code deduplication and less repetition." That could be said for any abstraction mechanism. E.g. functions. The defining features of macros is they run at compile-time.

* The work on parser combinators would be a good place to start to see how to structure parsing in a clean way.
How I can talk with social media platforms for this?
I wrote "some exceptions apply" to try to avoid getting into the weeds, but yes, independent creation is an exception. Other exceptions include out-of-term works, public domain, Mise-en-scène (e.g., stock characters), fair use (a huge can of worms), etc.
Small batch, organic, artisanal, fair trade meth for the win!
I am probably not the only one who finds the above as pointless as trying to determine whether the sentence "this sentence is false" is true or false. It is neither, but most of the time we're interested in problems that have answers, and that problem space turns out to be huge and extremely useful.

What are some good examples of practical programs that aren't trying to create a chain of computation that is ultimately circular and self-referential yet still run into trouble with the halting problem?
Association between sleep duration trajectories and successful aging; study
Heh.

Are you sure you got it? ;)
I can get 15 of the 24 hour generic Claritins every 2 weeks. Works out to about 1 a day
They switched to microservices written in Kotlin, resembling the rest of their backend stack. They had an easier time hiring and retaining Kotlin developers than Erlang/Elixir developers.
I get where you're coming from but pharmacists have the right to refuse to fill a prescription and in fact can be held liable for not doing so. Pharmacists are trained medical professionals and are expected to use their judgement
> So the best you can have is "Solve the halting problem for a bunch of programs, but not for a bunch of others, but that's okay because will call the latter as 'trick programs.'"

The awesome and surprising thing is, I’ve actually written such a program! It regularly runs the program to test, but stops and screams “trick program!” if the program to test did not finish within five minutes. Sadly, I haven’t been awarded my Fields Medal yet, probably because I didn’t use LLMs.
I was sort of hoping that this was about sustaining the web itself and preventing things like link rot and centralization of content in non-web privately owned platforms.

Still, this is important too.
QNX is squeezed from above by Linux, especially as real time patches have finally been fully accepted. And from below by FreeRTOS and Zephyr.
Current attempt to open source is a desperate move by QNX as their market share is disappearing.
Why would anyone in their right mind step on the same landmine, called QNX, which already pulled a rug from under the developers feet once?
Absolutely no trust in QNX ecosystem.
Save yourself pain and aggregation. Don’t use QNX.
Newly minted HAM here.
HamStudy is excellent, but / and works very, very well with these "No Nonsense" guides: https://www.kb6nu.com/study-guides/

They are excellent - they're built around the exam questions, but structured in a way that you understand the mechanics behind everything.

I'd attempted my license before, but never managed. After finding HamStudy + those guides, got my technician, general and extra class within 3 weeks.

73!
Cities are more than just ultra dense urban cores and megacities. Cars work well for stand alone cities under ~500,000 people.

That said, America relies heavily on public transportation even in smaller communities we just call them school buses and ignore em. So cars aren’t the cheapest option even at these scales, but they can be quite convenient when there’s minimal traffic issues.
> Exercise doesn't always work like this. Yes you'll have bad days, but you'll find yourself more energised most of the time and mentally more at peace.

Is there anything that will convince you this isn't true for all (perhaps not even most) people?

The right type of exercise matters. I've often gone on bouts of cardio on a treadmill for months at a time (multiple times a week - at least 30 minutes each session). It never ceased to suck.

I can do a hike and never feel bad. But a treadmill or cycling device? Always feels bad. I hope it benefits me in the long run, because it definitely reduces the quality of life on days I do it.

My only real hope is to find some other kind of cardio that doesn't annoy as much.
It’s not just allergies - taken orally there is no evidence it works for anything, and there’s pretty good evidence it is basically metabolised away.

The frustration largely comes from pharmacists and pharmaceutical companies selling decongestant remedies that do nothing and are known to do nothing.
I thought that (1) meth (e.g. methylphenidate a.k.a. ritalin) blocks reuptake of dopamine, and (2) amphetamine (e.g. dextroamphetamine) stimulates production of dopamine, and (3) methamphetamine (a.k.a. desoxyn) does both. Is that understanding accurate?
Exactly. Why do I have to cough my head off because some idiot abuses codeine?
> That pretty much makes all internal APIs and code like Public APIs as a product (...)

No. Different versions are not different products. They are the exact same product, provided in a way that delivers features in a way that won't break clients.

> (...) adds a huge costs in terms of initial API designs (...)

Obviously not. From the producer side, all it takes to support versioning is picking up your versioning strategy and sticking with it. This can mean providing an endpoint through a different path parameter, reading a request header, or even get the version through a query parameter.

Does it take you much design work to add a "v1" in a URL path? How about reading a request header? Does passing a query parameter require meetings to review designs?

Some frameworks even explicitly support versioning as a high-level concept and make it a part of their routing strategies. Copy the source file of a controller to another folder, change it's namespace to avoid conflicts, add a tag to the class, done. You just released a new version of your API.

> (...) assumption validations, because you can't make any mistakes at all.

You somehow managed to get it entirely backwards. With versioning, you can afford making all kinds of mistakes all the time. Breaking interfaces is no longer w concern. You release your changes to an upstream dependency/producer with zero use, downstream dependencies/consumers can gradually switch as their test plans allow, and if any problem is detected then this can be worked out before either consumers go live or producers receive production traffic.

More importantly, you have your old stable versions ready to roll back.
Crucially, their object storage doesn't have an S3-compatible API. I'll migrate the day they add it.
here you go: https://auth.wiki/xacml
Article title: How Service Businesses can monetize their services online
Especially when you discover that Trump uses Emacs, and Harris uses vi. No wonder she lost the election. Trump simply typed M-x win-election.
> you lose out on any of the optimizations a libc has that you might not or didn't think about (like memoization of getpid() )

Not much of a big deal. These "optimizations" caused enough bugs that they actually got reverted.

https://www.man7.org/linux/man-pages/man2/getpid.2.html

Because of the aforementioned problems, since glibc 2.25,
the PID cache is removed: calls to getpid() always invoke
the actual system call, rather than returning a cached value.

Get rid of libc and you gain the ability to have zero global state in exchange. Freestanding C actually makes sense and is a very fun language to program in. No legacy nonsense to worry about. Even errno is gone.
Moving from Next.js to Htmx
I think you're confusing Pseudoephedrine (which works and is used to produce meth) with Phenylephrine (which doesn't work and cannot be used to produce meth).

This article is about removing phenylephrine (sudafed PE) from shelves. Studies have pretty thoroughly showed it is completely ineffective for what it is marketed for
data Color = Color
{ r :: Word8
, b :: Word8
, c :: Word8
} deriving Show

hex_primary :: Parser Word8
hex_primary = toWord8 <$> sat isHexDigit <*> sat isHexDigit
where toWord8 a b = read ['0', 'x', a, b]

hex_color :: Parser Color
hex_color = do
_ <- char '#'
Color <$> hex_primary <*> hex_primary <*> hex_primary

Sure, it works in Rust, but it's a pretty far cry from being as simple or legible - there's a lot of extra boilerplate in the Rust.
Elwood Edwards, Voice of AOL's 'You've Got Mail ' Alert, Dies at 74
> Pseudoephedrine being pulled from the shelves is one of the biggest crimes of our time.

What's even worse, modern pseudoephedrine is produced in a form that makes meth synthesis from it extremely tedious and generally impossible in home conditions: https://pmc.ncbi.nlm.nih.gov/articles/PMC3793278/
https://archive.ph/bxiFP
I cannot agree less, C++ is the best and always will be. You youngsters made up this new dialect that can also compile with the C++ compiler. This is like people putting VS Code in dark mode thinking they're now also working in the Terminal like the Gods of Binary.
Previously (12+25 points) https://news.ycombinator.com/item?id=42080594 https://news.ycombinator.com/item?id=42080782
> E.g. Collatz conjecture offers such a program that does not even require a colossal state to track during execution, its state is one integer.

Hence exactly as large as an infinite array of integers!

https://en.wikipedia.org/wiki/G%C3%B6del_numbering#G%C3%B6de...

Though I have the same intuition that the Collatz state doesn't feel large or complicated. It isn't updated, or used, in any complex way.
I don't agree. Some of the safest places to cycle have about 0 infrastructure. What matters are driving culture, speed limits (and enforcement of those) as well as lesser numbers of "modern" cars on roads (cause those have bad visibility, a lot of distractions and too much insulation causing people to underestimate their speed.
Many times the algorithm that you are implementing requires a precise data flow that is not reversible, so using traditional arithmetic (is/2) is better for catching errors.

On the other hand CLP(FD) is not new at all (it is very popular for constraint programming).
> they will be replacing influencer culture with something much, much stronger.

When I hear Serious People talk about "something much much stronger" I reach for my Dada: https://en.wikipedia.org/wiki/Dada
Go back to the source (book, whatever) and read it again, it's unlikely that it said that nothing is invented and you missed the point.
E.g. electromagnetism was discovered → electric engine was invented(mayb as a result of the discovery, maybe not). You can discover how a wheel works or invent a wheel without discovering the principle.
I understood your parent comment in a specific drug way: you can buy pseudo until your license to buy that specific compound, or maybe a group or related chemicals, is revoked. But you can still get any other compound.

Not that different from current situation: we have all our "license" to buy scheduled compounds revoked, but we still can get a lot of other compounds.
As long as we're giving decongestant advice, in my experience a neti pot (sinus rinse) really helps.

I also take pseudoephedrine when things get bad. I'm not trying to push a natural stuff only approach.

The neti pot really seems to reduce the odds that sinus congestion will spiral into a terrible sinus headache.

Do be aware of the need to use sterilized water to avoid a possible dangerous infection, though. Distilled water is the easiest way.
How did I miss this article before?!? Love it!

> Other side effects may include violent urges or, similarly, the urge to be successful in business or finance.
...
> We expect that the simultaneous trends of restricting pseudoephedrine sales while N-methylamphetamine becomes less expensive and of higher purity will make the methods presented here increasingly attractive.
Yes, exactly they don’t have it. Of course there must be a reason for that. Any other tech for example?
In my experience phenylephrine is worse than useless. Not only does it do nothing for congestion, but it makes me feel wired in a bad way and unable to sleep for at least 24 hours. I hate phenylephrine.
Also:

— “Sustainable Web Design” <https://sustainablewebdesign.org/>

— ”Other 'clubs'”: no-js.club, 1mb.club, 512kb.club, 250kb.club, 10kbclub.com, 1kb.club, js1k.com, js1024.fun

— “CSS Minecraft – written in 100% HTML/CSS with 0 javascript” <https://benjaminaster.com/css-minecraft/>

— “Low Tech – a solar-powered website” <https://solar.lowtechmagazine.com/>
I believe that it doesn’t work wholeheartedly, because every time I try it, it is ineffective - but my sinus problems are rarely bad enough to warrant medication (it’s been one year) and by then I’ve forgotten what works and what doesn’t.

Also, I suspect you’re mixing up your drugs. Phenylephrine (the drug in this article) lacks the methyl structure to be used for the synthesis of methamphetamines. In fact, that’s why it was popularized - pseudoephedrine, the truly effective sibling, was becoming too good for meth production, so they created a less potent alternative, phenylephrine, that lacks the ingredients necessary. They then locked pseudoephedrine behind the counter. Turns out the oral form of phenylephrine is less than “weaker” - it’s largely useless - so they pumped out enough of this crap to the tune of $1.7B that the American public spent every year for 18 years after they knew.
The source is most certainly not just one man. Go listen to recordings of Rush Limbaugh. Or the parody at the start of Hackers. The party has been stoking this blind populist destructive rage for decades, and then channeling the frustration into support for their establishment candidates. Their monster got loose, they got Trump, and now we've got Trump.

As for the larger social relations context, this link posted elsewhere in the thread nailed it for me: https://thedispatch.com/newsletter/boilingfrogs/liberal-tear... (Excuse the crapwall, it doesn't seem to show up with javascript disabled). I will likely ghost everyone that is openly cheering for this. I'm just not capable of entertaining the gloating over populist destruction at this time. Perhaps in six months or a few years I will be able to forgive what they have done.

For context, I'm libertarian. I own a compact tractor and burn cordwood for primary heat. I find much of the overbearing "woke mob" tedious, and internally roll my eyes when I hear things like parents talking about how their kid is trying out a new pronoun every week. But the left would never have been capable of damaging the very bedrock of our society the way that so-called conservatives throwing their own principles into the trash has.
Did they actually port the games to PC? Or did they link them with some kind of emulator layer?
Source?
And what are these consensus opinions?
(Honest questions)
> Pseudoephedrine should be easy and plentiful to obtain

Anything that isn't directly physically addictive (e.g. opiates) or subject to a tragedy of the commons (e.g. antibiotics) should be over the counter.
BeatSaber maybe? Something addictive is better even if it is less effective. I also do FitXR, which is more effective, but requires more of a grinding mindset so I often mix it with BeatSaber, which doesn’t grind.

I would experiment at least, there are things. A good instructor in an aerobics class can also help, although I find that too hit or miss to be sustainable.
I have high hopes for ladybird being our savior in this regard.
Yeah, it's fundamentally a "if god can create anything, can he create a rock that he himself cannot lift?" kind of deal - a meaningless philosophical debate because the parameters were constructed to make the problem possible in the first place. An "intellectual trap", if you will.

Alternatively: We know that the earth is not perfectly flat, so why are our spherical cows not rolling off the meadow?
Google Workspace Terms of Service
The Google Workspace Team emailed yesterday notifying me of a change in their terms of service "effective October 16, 2024" more than three weeks ago.

The terms of service linked are dated "16 November 2023" and they don't reflect the changes (summarized, but not specified) in the email.

It sounds like Google considers both parties to be bound by terms known only to it, and have been since more than three weeks before they announced the still-undisclosed terms.
That's nice, except for those who are professionally offended at everything under the sun. Just because you think something might be abuse, doesn't mean it is. Far too many people, including Gen Z, are entrenched in their self-righteousness and lack the ability to take any form of criticism or use critical thinking.
The most sustainable thing we could do for web capable devices is to make right to repair mandatory and include in that driver specifications required for custom software/firmware. e.g. an old iPad is now obsolete, but it may work fine it just can't connect to modern TLS and doesn't trust new root CA certs.

If it was possible to updated old devices with any custom OS, many devices would continue to work instead of being disposed of.
https://en.wikipedia.org/wiki/Demodex_folliculorum is also highly responsive to oral ivermectin. Which makes it very good for treating rosacea.
https://www.jaadcasereports.org/article/S2352-5126%2824%2900...

I also suspect that the much maligned "fish tank cleaner" hydroxychloroquine remains effective-as-ever for many issues, which "more targeted" in-patent drugs are on the market for.
They are unionized employees who have collectively decided to go on strike. They are likely not being paid anything at the moment. Their benefits may lapse if it's an extremely extended strike (although that would probably be unlikely).

This looks like a normal union activity: using the skills of their trade to get more attention from a wider public.

To be honest, I do have open questions about unionized approaches to labor in software-only technology businesses. But many sectors are already well established in having unionized labor. The US news media is one such sector. These are skilled professionals who are part of a union working for a large employer that negotiates contracts with a wide range of different unions. It's their right to decide to go on strike in order to secure a better contract.

(Not that not all unions are allowed to go on strike. An NYT reporter posted to BlueSky the other day that the reporter's union agreed to a contract that constrains the conditions under which they can actually strike.)
> ~~Pharmacists have no ability* to not dispense medicines if a doctor prescribes them.~~

As others said, it's not true. Pharmacists are also trained to spot any possible adverse drug interactions with other medications that you might be taking.

It more often happens in the clinical setting, rather than at retail pharmacies, but it still is a possibility.
Any pictures of the 11m high chamber?

I'm really intrigued by that because that height seems really excessive given the difficulty of carving that it of rock so they must have thought it was really important.
Portable Contact Light Source for Re-Programmable Multi-Color Textures
I'm not really sure what's weird. Programming is a skill -- it can be used for fun, for work, for your benefit, and/or for others' benefit.

The union does not want to work for their employer at the moment because they don't believe they're being treated fairly and not working is one of the only points of leverage a worker has. So they're using that leverage.

Why would that prevent them from working on a fun game or project to help further their cause?
"Nine Investors Instantly Make $16 Billion On GameStop Stock 'Squeeze'"

House still won. That fun narrative just makes people feel like they matter while they get screwed.

https://www.investors.com/etfs-and-funds/sectors/gme-stock-g...
Yep, I read that. But what particularly is relevant to Richard Cash?
That's not universally applicable, as I've purchased it in Washington plenty of times with an Oregon ID.
Heh. No worries- auto completion and other assists have butchered my comments at times also, I got a chuckle from it :-)
> When it’s that bad why wouldn’t you just get a prescription for an appropriate amount for your situation?

Prescriptions take time and money.
One exact name doesn't matter. And not all investors will be known or listed. Using fronts, etc.
Or, really, any other collectible. Old cars are the same thing. They're not practical to get around...
I hate trump. This is why trump won. That response.

I wish it wasn’t so.
Definitely something on my bucket list!

And I absolutely get the “theory doesn’t work” part, I’m the same, probably due to ADHD. Gotta give it a spin yourself at your own timing to understand how it works.
It works wonders on me and family members. Except we just always go for the Neil Med bottles from Costco or Target. They are also easy to disinfect in the microwave.

Always distilled water, though. It’s not worth waiting to boil the water, let it cool down, and then manage the dish used after. It’s also easy to get just the right temperature using distilled water in the microwave.
Because you think you don’t pay for your healthcare?

As an European, I have probably paid upwards of 150k for healthcare and probably got about 10k worth of it (at what might consider unreasonable prices, mind you). Even in countries with universal healthcare, it’s not free. There is always someone footing the bill.

EDIT: a word
CDK APIs in JavaScript are very nice. It's a much much developer experience than Pulumi/Terra form and even Server less Framework.
In our monorepo each service is in a separate folder with a folder called /infrastructure inside with a file called Stack.js that defines all the resources needed. When starting a new service we just copy one of the last similar services that we developed. We are able to deploy a new service in hours. Services are getting better and better with accumulation of nice to have features that you wouldn't have time to add to most services.