skysight-inc/HackerNews huggingface dataset:
Pseudoephedrine is the one that is both proven to be effective and is the precursor to meth. Phenylephrine is the useless placebo that they put in the tablets on the shelf only because it can’t be used to make meth. It should be torn off the shelves because it’s useless.

The only reason the ‘PE’ (marketing term for the ineffective phenylephrine) tablets might be helpful is because they usually also have paracetamol (acetaminophen) in them which is probably the only bit that works. They don’t work as a decongestant for most people like pseudoephedrine does though.
Same in New Zealand, we removed pseudoephedrine as an option unless you had a special dispensation from the Ministry of Health - mainly due to pharmacies being ram-raided for the pseudo.

The end result? The gangs just started importing pseudo, before later just switching to importing methamphetamine directly (something that Australia's deportation policies really helped with as the "501s" as we call them that were deported back to NZ often had existing connections that could facilitate the direct importation of meth).

It's a really interesting supply chain that involves organised crime groups in multiple countries, often starts in India for the precursors, then clandestine labs in Laos/Vietnam/Thailand overseen by Chinese groups in conjunction with local groups, then smuggled via the Pacific Islands, notably Fiji and Samoa where the Chinese groups have established transshipment facilities, before being smuggled into Australia and NZ by local groups who then distribute and supply it.

A new development has been the Central American cartels branching out from cocaine to meth so there's been a bunch of meth coming directly from the Americas.
> 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?

Almost any unproven mathematical conjecture, e.g. a program that searches for counterexamples to the Riemann hypothesis. More practically, a lot of problems reduce to SAT, so these days quite a lot of systems work by just running a SAT solver on the problem (e.g. dependency resolution in some build systems), and it's fast most of the time but you can never be sure it's not going to get stuck.
I think "Star Trek" (fictitious 22nd-24th century?) may have had that perspective. We may not have food replicators yet but artificial and lab-grown meat seem to be happening. And we're already building AI systems that rely on an energy supply rather than traditional food.

There are probably many popular 21st century practices that will not age well (along with obviously bad practices that may very well persist.)

As a mundane example, lead pipes for water[1] seem like a bad idea (ask the Romans), but drinking out of plastic containers also seems bad[2].

[1] https://www.epa.gov/ground-water-and-drinking-water/basic-in...

[2] https://www.npr.org/2024/01/10/1223730333/bottled-water-plas...
I experienced that and the following product solved it: AWINNER Headband Cover Compatible for Apple AirPods Max (https://amzn.eu/d/diJ2eXY)
Aren’t there better things to take longer term for allergies? Pseudoephedrine is amazing for colds etc. but I’ve always seen warnings not to take it for more than a few days at a time…
Flouride has no benefits. Not even for tooth health once you reach adulthood
Way overdue. I wonder if the purveyors of this fraud have ever been sued.

One refrain I got tired of hearing was that it "wasn't a safety issue." WRONG. Anyone who has ever had a ruptured eardrum can tell you that it is 100% a safety issue.

If you're about to take a flight with any congestion, you're relying on decongestant to save your ears. I've had ruptured eardrums; it's probably the worst pain I've experienced. I had to take a flight a couple years ago with only this crap, and must have come extremely close to rupturing them again. It was EXCRUCIATING.
Ah gotcha. So the cynical thing I thought would happen already happened.

Glad to hear we're on a road where peak cynicism is looking behind us.
Rust being a dialect of c++ is certainly a novel take
There are plenty of people who would argue that getting to end credits means beating the game.

You can however say that skipping levels also skips the story, so they did not finish the story.
Globalism is the counter model to localized Globalism ,aka empires, starving the little map filler countries without power and who than band together to build catch-up-empires of their own warring on the predecessor empires aka worldwars.
> Cyclists make mistakes

Stats in the UK show that the majority of car/bicycle collisions are due to driver error, not cyclist error. Given the USA standard of driving is much lower, and policing is much less consistent, I’d put good money on that being higher in the USA.

> Cars and bikes don't mix

Yes but you’re looking at the wrong category of people making the mistake.
Have always been told to never throw weeds in the compost...
Talking Head Anime from a Single Image 4: Improved Model and Its Distillation
Is that just because no one cares to create a TAS for the game? I don't know anyway a RTA would be faster than TAS other than no good TAS exists.
> So it's got nothing to do with the halting conjecture - we know this program will definitely halt, because we don't have infinite memory. It also doesn't solve the conjecture, because it will halt. This seems like circular reasoning.

Nothing circular there. The point is that "does this program halt on a computer of size xyz?" is a very uninteresting question (as you say, it will) whereas "does it halt on an infinite computer?" is a much more interesting question (because it's equivalent to the Goldbach conjecture). So the halting problem really is deep and interesting, in a way that the "finite halting problem" isn't.
Except if you’re wearing black: then drivers and pedestrians will scream at you to tell you how invisible you are.
Torvalds Lands a 2.6% Performance Improvement with Minor Linux Kernel Patch
I had a very sad day. This thing helped me relax. Thanks for sharing!
don't make it sound as if it's bad, it's actually superb on all these levels: the typelevel, the SMP runtime, and throughput.
Pinning by ‘pip freeze’ only works for a specific platform since there are often differences in the wheels available, particularly for older things.

Conda is it’s own kettle of fish especially given different channels and conda-forge which you have to remember.
>I agree shorter workouts are much easier to stick to though, especially since I'm easily bored.

Walking is one of the best mild exercises, if you can do it in a safe place, where you can't trip or fall into a hole or be mugged (or some other risk), because you can think while walking. So you can use the time to think about your work (if applicable, like for software people, at least in some cases), or your life, or anything else. You can also not think deliberately (although thoughts may come anyway), and just enjoy the walk.

For example, I think about my side projects while walking, and have been surprised to find that I have sometime made good progress on some of them while doing so.
Cycling is analogous with skydiving without parachute?! Why not suicide?

Poor choice of synonym.

But true, the system is very badly 'designed' in lots of places. Mostly where they just wanted to pretend having a system, but not really putting the efforts into (e.g. UK and its 'making bicycle infrastructure by lines painted on pavement' attitude)
> although probably not more effective than a saline solution

I guess saline is a baseline against which effectiveness should be measured here, especially since nasal sprays are usually saline plus something. (I guess? Not sure about Sudafed specifically.)
Does ctrl+v+shift not work anymore?
It's about as hard as you think, yeah. Its quasi-isolate nature means that both its vocabulary and its grammar structure are pretty alien to anyone from the outside looking in.

On the other hand, Finns are super active on the Internet. There's a lot of Finnish content out there if you know where to look. ChatGPT writes passable, if clearly English-word-ordered, Finnish, as confirmed by my native speaker wife. So it's a long climb to the top -- but at least you have a lot of comprehensible input to work with. Can't quite say that for, say, the Algonquian languages.
Previously (11 points, 7 days ago) https://news.ycombinator.com/item?id=42007695
Async was a good example where that didn’t happen, but to be fair to the maintainers, it was fairly experimental
My grocery store pharmacy has homeopathic stuff next to the Sudafed too. Is literally a placebo.

At least the Sudafed has acetaminophen in it ...
Well, that's exactly what's in dispute. The person I replied to said "it doesn't even matter if you agree with the claims that were made about voter fraud"; if your whole argument is that those claims are wrong then it matters quite a lot.
I imagine most soundbars cheat since consumer protection is dead, but they're still better (and more convenient) than two simple speakers.
/tin-foil-hat on

The last time he pushed some actual code, it turned out to be fixing some secret vulnerabilities with some code-obfuscation, which they only admitted weeks later. I wonder what will we learn of this change around February.
> Almost any unproven mathematical conjecture, e.g. a program that searches for counterexamples to the Riemann hypothesis.

This is a very good example. We don't know whether such programs will ever stop, and knowing is exactly equivalent to resolving the conjectures.

> More practically, a lot of problems reduce to SAT, so these days quite a lot of systems work by just running a SAT solver on the problem (e.g. dependency resolution in some build systems), and it's fast most of the time but you can never be sure it's not going to get stuck.

This is a less good example because SAT solvers can always run in finite time and can be proven to halt. Even if they do "get stuck", they will take exponential time rather than infinite time.

There are probably some problems that arise practically that are undecidable in general (e.g. type checking for sufficiently expressive type systems), but problems that "reduce to SAT" are never examples of such undecidable problems because SAT is decidable.
Huge kudos for creating something like this from scratch!
I don’t get it. Ear plugs that let you hold a conversation?
Exploring Pashupatinath Temple: Nepal's Spiritual Gem
Welcome to Nepal Pilgrimage Tours, your gateway to the most sacred pilgrimage sites in Nepal. Our journey begins with the iconic Pashupatinath Temple, a revered sanctuary for millions of Hindus worldwide. Located in Kathmandu, this UNESCO World Heritage Site is not only a spiritual epicenter but also a cultural treasure that embodies the essence of Nepalese heritage.
Do we know the story around the people who pushed this? (EDIT: By "this" I mean phenylephrine.)

Had they never had a stuffy nose?
Interesting!

Being in the same product space for more than 3 months, I wonder how one can not come across 2 popular open source tools that do more or less the same thing.

Like Aider has 21k stars, and Cline has around 11k stars. Both these product names come up on HN, Reddit frequently.

Curious to know if YC does some research on existing products before backing a new business.
There are multiple chronologies and uses here; the necropolis complex also had use as an early quarry - following strata of "softer" rock to carve out blocks for use elsewhere.

See: https://phys.org/news/2020-02-necropolis-asyut-important-ele...

for a view from the distance and more general notes.
I don’t know, I’ve worked in companies using GitHub having to halt everything twice per month due to GitHub outage,and some other Doing pretty well with self hosted GitLab inside a vpn, factor the cost of having the devs stopping twice a month in the cost of GitHub.
It’s also a great example of how playful web audio can be!
It's rather annoying that the only actually effective nasal decongestants are amphetamines or otherwise closely related compounds. Sudafed is great for daytime relief, but there really is no good sleep time decongestant. Sure Nyquil is a thing, but it just relies on the antihistamine to produce drowsiness without any actual decongestant effect. And Dextromethorphan is arguably even more useless than Phenylephrine since at least the latter could conceivably be effective if you shot it up.
Excellent read of how things go in the EU about SW. Some places are different, in Germany the LOVE to put price to the hour, but still don't see that technical debt will have interest to be pay at the end.
Extending the Algebraic Manipulability of Differentials (2018) [pdf]
And they are proud of their low tax system, because high taxes kill businesses.

Better people than businesses, right?! : /

(Trump will bring the paradise with even lower corporate taxes for the common people voted for him)
I guess worst case you just pay $6 per 15 additional hours. Or get a second subscription for another $20/100 hours?
I can't pronounce either one of the Sudafed substances. One time, an old lady asked me which Sudafed work for her as she pointed to a shelf full of Sudafed plus other decongestant drugs. I told her just buy the one that you need to take the flyer and bring it to the pharmacist to get it. Others are just scam. The real one is used to make meth so they put it behind the counter.

She was surprised that the US gov would allow fake decongestant to be sold.
From MOOC to MAIC:Reshaping Online Teaching and Learning Through LLMdriven Agent
Tristram Shandy is not a eloquent testament to the limitation of words. It's an eloquent testament how to evade censorship of words.
Eg. every occurrence of the word sword can be replaced by penis, and you have a much bigger story.
He'll probably get a lot of fun out of tapping around
Really hard to trust the FDA when they let this obvious scam go on for so long.
Ill pay the nearly 3x markup in India just for its db meter. I enter the headphone impedance and sensitivity (dB/mW) and it shows the real time (estimated) volume. Also I converted the frequency response to V-shape so my open back headphones sounds good at lower volumnes. I moved from "25 hours a week" volume levels to "168 hours a week".
Only 1.7m square foot though.
The weirdest thing is when I search for GitLab integration or bots, but I _always_ see them hosted on Github. Maybe this is just because GitLab has still god awful Google indexing.
To my knowledge, transcranial doppler doesn’t form images. It just gives you a single channel measurement that is very low resolution.

The method we’re proposing would have mm resolution.
Principles for product velocity
It only takes one to end your life and all you have to do is read Facebook or Twitter comments to see how many harbour a deep fantasy to murder cyclists. Phil Gaimon has done videos describing his experiences, too. If you’d like to experience the difference in person, ride a bike in the U.K. with and without cameras. You’ll see how a marked difference in the space drivers give you. Pick a region with decent enforcement like London or the north east.

I don’t have the inclination to look but I’d put good money on statistics showing a negative correlation between enforcement of driving offences against cyclists and cyclist deaths or injuries.
So you evidently see a demand for Gitlab support (you can barely reject the requests at the same rate they come), at the same time you claim that there is simply no market for it?
Same in my work. We would happily spend weeks settings things up and then hours maintaining it over months, without proper backups and with abysmal security, just to save few hundreds of bucks.

I never understood that attitude, but I'm not the one who makes financial decision and tinkering with stuff is somewhat fun for me, so I don't really complain.
Your comment helped me get this:

function HALT(program, input):
# This is a "magic" function for our proof - we assume it exists for all programs
# In reality, this function cannot exist because of the paradox we're about to create
# Returns True if `program(input)` halts, False if it runs forever
...

# Program D: Creates the paradox
function D(self):
if HALT(D, self) == True:
loop_forever()
else:
halt()
Like many, the monkeys were dissatisfied with the status quo. Presumably they voted to cut animal research funding.
Many developers, often the best, program for joy not [only] money.
> Cars are a political choice that we made but don't have to make.

Ambulances aren't though. Same with delivery vehicles. Public transport is, but typically one associated with less cars.

All of these are both dangerous to cyclists and essential in a functioning city.
Offline installer that doesn't ring home.
I remember when the law first went into place. I bought some meds and the next day was back at the store because the new stuff didn’t work. For me it was even more obvious because pseudoephedrine works so well for me.
Poor gitlab marketing team having to deal with an blog post like this on the front page of this site lol

Side comment to the screenshotted tweet. You can like open source with out making commits. It's nice to just be able to read the code or take something and just run it or fork it privately
React is wildly different from 11 years ago, react router is wildly different and the way state is managed in react is still constantly changing
Don't really see what point is being made here.

No real criticisms of Gitlab itself, just someone being weirdly upset about being asked to support more than 1 git hosting platform because some people don't want to buy into Microsoft's ecosystem and trying to argue that you should just use Github purely because it's more popular and more profitable, with the obligatory ugly AI-generated image at the top.
Same. Python has a certain elegance when writing it, but the lack of static typing, a nightmare for dependency management (recently had to do a change in Python and spend about 80% of my time getting the dev env en dependencies right) and runtime compilation (slow and you'll error in production) have put me firmly on the Go train.

I do want to do Rust in production too. I'm dreaming of moving data engineers to a staticly typed language (crazy to transform data with dynamic typing) and Rust with Polars seems like a great match. The learning curve is steep though.
A simple, repeated structure can create something that sounds so pleasing and musical
Under $1,000: a commercial-style toilet with a pressurized mechanism called Flush-mate, installed by a GC. I have a severely developmentally disabled adult child who… seriously clogged the toilet even without using toilet paper (see bidet recommendations elsewhere on this page) every week or so. I tried 6 different toilets, stationed a wet/dry vac in the living room, added a drain to the bathroom, added a water alarm, etc. etc.

The new toilet never gets clogged. No water alarms now. No cleaning up shitwater. Also while other toilet mechanisms die in a couple of years, this one is guaranteed for 10 years.
I think you need to cycle in a country with good infrastructure and laws that protect cyclists. Most countries’ “cycling infrastructure” is a pathetic joke.
That reminds me of a similar study I read about via the front page of HN, just recently
Sorry to bother you, but would that be open-source by any chance? Is there any public repo available? Thank you.
Wait until you found out about X
They could have very well used lots or reusable parts of GCC. It was possible, and were many projects trying to change GCC.
> Stop prewashing dishes in the sink. Put them straight into the dishwasher and you’re good.

In my experience ... no, you're not. Basically any kind of sauce or dessert will get baked on and become much harder to remove, as will anything from a day before the dishwasher actually gets full enough to be worth running.
"how to operate a radio", so when the station on the other end is like "change to 146.58" they'll definitely rememeber how to do that after a 5min primer during a regional disaster? Or when interference comes in (perhaps from a similarly-5min-trained rando), will they just toss the radio on the table and forget about it? Heck, how many vital comms will the person stomp over by not giving enough time for responses or urgent messages?

Ever listened to nets and comms during disasters? the experience and expertise of the station operators is immediately clear. it's not something the average person can get the hang of in a few minutes.
Gitlab is pretty good, it's decentralized and it's open source. Frankly we should see less centralization at GitHub and more gitlab instances.

In particular after the US election - Github is owned by Microsoft and they love training their AI on your code (which i don't mind for open source projects).
The 'Invisibility Cloak' – Slash-Proc Magic
Yeah, this is a very strange article that completely contradicts its headline.
That sounds dignified. I had a 911 a few years ago and it aquaplaned on the motorway at ~160-180kmh, spun 180º, and sent me into the central barrier.

I learned my last words were "AAAAAAAAAAAGGHHHHHHHHHH!!!!!!"
Even then, GitLab is super heavyweight compared to just running Gitea. Gitea is a million times easier to set up.
Yes. I live and work with this and I think it will help. It's not going to be quick, or a silver bullet, but very few problems in this world have quick and easy solutions.
I think anyone who's watched enough politics knows that an uneducated electorate is easily manipulated.
I don't follow. You won't support gitlab, because people who use it won't spend money, instead preferring to support github, which is cheaper than gitlab across the board?
4 way stops are such insane traffic flow devices. Love the comedy, Larry David vibes but c’mon America.
Even worst! When everything was signed, you would get no support at all! Worst experience ever!
> mostly old white dudes

Why is skin color important to you in this
context?
I wouldn't consider FEN a great parsing example, simply because it can be implement in a simple function with a single loop.

Just a few days ago, I wrote a FEN "parser" for an experimental quad-bitboard impelementation. It almost wrote itself.

P.S.: I am the author of chessIO on Hackage
Under $100:

1) Geox shoes: I love this Italian brand for their breathable shoes. I’m now refusing to wear anything else if I know I’ll be walking more than a few kilometers because my feet don’t get tired. I can easily walk 20km+ a day during trips. I just got my 8th pair recently.

2) MUJI T-shirts: I bought several in the same colors, and they’re made of great-quality material with a fit that I genuinely enjoy wearing. It’s surprising how much difference there can be in something as simple as a basic T-shirt.

Under $1000:

1) All-season car tires: I bought Michelin CrossClimate 2 tires for my car, and it’s such a relief. In my climate (EU), you have to change tires twice a year, but when that time comes, it’s hard to book an appointment because everyone does it at once. Now, I don’t have to think about it anymore, and as a bonus, I also save money on those appointments.

2) Bedroom A/C: I finally bought an A/C unit, and I’m sleeping so much better in the summer. We’re not as used to A/C here as in the US, but with global warming, my high-rise apartment becomes unbearable for weeks. Technically, I spent over $1000 since I bought two units, but the bedroom one alone fits this category.

3) Wiim Ultra: I upgraded my vintage receiver with this high-quality streaming media input. The noise level is much lower than any cheap inputs I’ve used before, allowing me to enjoy the quiet parts of familiar songs on a whole new level.