skysight-inc/HackerNews huggingface dataset:
Even if you never got a SIBO diagnosis, look into the mBiota elemental diet course they offer. 2 weeks of it has been proven to normalize the gut microbiome for SIBO patients (methane & hydrogen).

I also had a very negative reaction to ciprofloxacin and later moxifloxacin (I took them for different infections). In any case, I haven’t suffered tendon issues just neurological effects (hard to describe how my cognition changed but I was simply unable to sleep for several days until I stopped the medication prematurely).
Sounds similar to how you need to do Some(x) when passing x to something expecting an Option in rust.

Swift interestingly doesn’t require this, but only because Optionals are granted lots of extra syntax sugar in the language. It’s really wrapping it in .some(x) for you behind the scenes, but the compiler can figure this out on its own.

This means that in swift, changing a function from f(T) to f(T?) (ie. f(Optional<T>)) is a source-compatible change, albeit not an ABI-compatible one.
Show HN: Manually curated 100 AI Video Tools for run faceless channels
I've put together a directory of 100+ AI tools for video generation to streamline content creation.

It cuts through the clutter, saving you time and choice overload for run faceless channels.

As a content creator, I wish I had this earlier. Hope it helps you too.

Pablo
NYC is notorious for behavior like this. NYPD, Port Authority, corrupt unions, and other mafia like behavior. It’s the reason they have a hard time updating their subway and other things. It immediately becomes a power grab for many parties.

In other cities like mine this would be big news. Not to say they won’t give other cops a break but the card system is corrupt at its core.
Why is police stationed in the subway a bad thing? In civilized countries, they barely do a bad thing but are very helpful in deterring would-be offenders, or helping out the subway staff. Most of the time, they're lowly constables and recruits doing national service.

Of course, NY subway police is something else, and that's a very NY thing.
Can be bypassed with ADB...

adb install --bypass-low-target-sdk-block apk.apk

...albeit it still does not resolve the issue of whether or not the app will run on 14/15.
So space will become more expensive.
like AI images too! :) But no worries, if people don’t want them, I’m happy to remove them. :) And yes, the pricing works exactly like you understand! It’s real! This is unsustainably affordable, haha. Welcome aboard!
I haven't had a chance to read the original paper but as an editor and frequent reviewer I had a couple of questions.

First, a lot of journals post criteria to evaluate papers by. For various reasons, open journals seem to push these more strictly. Some of them get adopted across journals and even publishers. I could see a reviewer using the exact language of these criteria just to make it clear they're following the criteria.

Second, reviewing is kind of in crisis, ironically for reasons that cut against the the argument of the paper. It's often thankless and increasingly hard to find reviewers. When you can they're short on time. These boilerplate bits of text or even use of AI might just be a way to save time while still acting in good faith.

I don't mean to suggest there's nothing problematic going on or that the authors didn't address these issues but I can think of other interpretations of things that would be important to address.
The future of Boeing's crewed spaceflight program muddy after Starliner's return
If Google translate is correct your link says CPU, not memory. I would be surprised by a memory trottle because I can't think of a sensible way to implement it and for example AWS limits CPU but not memory.
> View other people’s matches

"BRB going to slaughter everyone my wife has chatted to"

Hard to believe the levels of incompetence here

They have investor funding ... how come no due diligence was done ?
map(function, iterable)

That seems very logical to me, but then, I’m not a functional programmer, I just like map. It’s elegant, compact, and isn’t hard to understand. Not that list comps are hard to understand either, but they can sometimes get overly verbose.

filter has also lost ground in favor of list comps, partially because Guido hates FP [0], and probably due to that, there has been a lot of effort towards optimizing list comps over the years, and they’re now generally faster than filter (or map, sometimes).

[0]: https://www.artima.com/weblogs/viewpost.jsp?thread=98196
It also helps that JPL is a public good and not a wealth-extraction machine
One doesn't happen without the other. Haskell is hugely influential with it's ideas and impact. But commercially it never really took off. Stuff like that needs to come from within the community; it's never going to come from the outside.
Yeah, because nobody ever writes 'on Windows' or 'on Linux'. It's really only Mac users who every specify which platform they're recommending something about.
For a long time already I've wanted to make the leap towards learning dependently typed programming, but I was never sure which language to invest in - they all seemed either very focused on just proofs (Coq, Lean) or just relatively far from Haskell in terms of maturity (Agda, Idris).

I went through Software Foundations [0] (Coq) which was fun and interesting but I can't say I ever really applied what I used there in software (I did get more comfortable with induction proofs).

You're mentioning Lean with Agda and Idris - is Lean usable as a general purpose language? I've been curious about Lean but I got the impression it sort of steps away from Haskell's legacy in terms of syntax and the like (unlike Agda and Idris) so was concerned it would be a large investment and wouldn't add much to what I've learned from Coq.

I'd love any insights on what's a useful way to learn more in the area of dependent types for a working engineer today.

[0] https://softwarefoundations.cis.upenn.edu/
Correcting reversed steering only while backing up is entirely possible. Drive by wire allows it.

Car designers realize the user base knows the older UI and uses the older UI without issue. The "install base" of existing user skills is a compelling reason to not change.
The coincidence of receiving one of these emails (with home picture), shortly followed by the first ever MacOS notification to upgrade from MalwareBytes Free for 40% off, and then seeing this MB post has me feeling … conspiratorial.

That email sure did raise my heart rate for a moment :)
Yeah, the way capitalism made goods more expensive. /s
But couldn‘t the same be said about standard MLPs or NNs in general?
The original rust compiler was written in OCaml. That's not evidence it "had an influence", but it's highly striking considering how many other languages Greydon could've used.
As far as I remember, the two extensions are mostly interchangeable, and are only used as a convention to indicate whether a given file contains an executable application or data.

Palm OS doesn't really have a concept of files; everything's a record-oriented database, containing either resources, including executable code, or data. Palm Desktop would just queue up every .prc or .pdb for copying during the next HotSync. (I've never tested it, but presumably renaming a .prc to .pdb and installing it would lead to it being backed up as a .prc.)

For some reason, Mobipocket (which was originally a Palm OS based ebook format) has landed on using .prc over .pdb for their books, which are definitely not executable, so every once in a while I stumble over a book with a .prc extension and it annoys me ever so slightly – it'll work, but that should be a .pdb :)
Oh, this is because the page linked above is for the “Times Guild”, not the Time Tech Guild. Times Guild is the journalists; the Times Tech Guild is the product engineering folks that just authorized a strike. They are two separate unions within the Times. They support each other but do mot have precisely the same platforms or negotiations with the company.

This press release goes into more detail as to the motivations for the strike: https://www.nyguild.org/post/new-york-times-tech-guild-votes...
Maybe not all of us are Americans?
OpenSCAD basically has no tools to aid complex modeling. You have to know trigonometry and often use pen and paper to calculate points.

Build123d has stateless algebra mode. And you could replace math with simple construction elements and simply ask intersection points.
Hi-Tech Bifocals Improved My Eyesight but Made Me Look Like a Dork
I'm surprised at how easy everyone involved takes it. I would imagine people hastily trying to shove it under the rug, maybe mumble a little about how it's totally unacceptable but only a few bad apples. Instead everyone in this story just seem OK with the status quo.
It seems very rigid, but it's also much less bulky than the current ISS EVA suit batch. The requirements are very different though - ISS suits are modular and designed to stay in space for as long as possible before needing to get back down for a refurbish.
The way monopolies do.
Neugebauer's books are a fantastic resource. I am mostly familiar with their contents.

I am aware of Babylonian's contribution to positional astronomy. If I remember right, Hipparchus, considered the father of trigonometry, was familiar with Babylonian astronomy. Contemporaneous (meaning Hipparchus's times) Greek astronomy was not as accurate in comparison.

However, I have missed the Fourier series that you mention or any record that shows trigonometric manipulation or working out the values of the trigonometric functions. If you have a reference I would love to read, perhaps a specific Neugebauer book. Almagest model too can be considered a crude Fourier decomposition. So I am quite keen to learn about this Fourieresque decomposition that you speak of.

If ancient trigonometry interests you, you should definitely checkout Indian scholars of the middle ages. Neugebauer covers some of that in his books. Glen Van Brummelen is another good resource.

Awareness of angle measurement is not yet trigonometry, that would amount to saying Euclid's Elements- I has trigonometry. Trigonometry, whether planar or spherical becomes trigonometry with the awareness of trigonometric functions, their evaluations and trigonometric identities.

> > However, "the same kind of mathematics" rings dismissive.

> That's on you if you read it that way;

Yes I do. The 'same kind of mathematics' is too broad a brush stroke that can easily sweep away any form of mathematical originality and novelty. As a characterization it is somewhere between 'vapid' and 'not very useful'.

We do agree about how mind-bogglingly sophisticated Babylonian math was. They had Algebra that the Greeks didn't, and as you noted had figured out the technique of area under the curve well before Archimedes ... another person who seems centuries ahead of his times.
It's definitely not the case for modern sapiens, people have sex with anything, including animals and inanimate objects.
Why is this on a phone?

Are you supposed to draw the UI with your finger or something?
No, tasks are deducted from the project owner's account. For the rest of the users, the system is free. If someone on the team creates a task, it will be charged from the project owner's task account.
I think I was too scared of losing it so kept it in the stash the whole time. (is it even possible to lose it?)
Pave (and many other comp platforms) are prolifically used in the UK and across the EU because no individuals personal data is being shared. Pave doesn't get told 'louthy is a software engineer and gets paid £50k a year' - they get a list of job titles, seniority, and salaries but no identifiable data.
In my highly corrupt country, it's enough to tell the officer you know person so-and-so. They might ask you a question or two, or even threaten to call the person you claim to know, but they rarely do.
And then there's the new rector of the University of Salamanca.

https://english.elpais.com/science-tech/2024-05-31/internal-...

Also see https://en.m.wikipedia.org/wiki/Goodhart's_law
Corruption is always nice when it works in your favor, that's why it exists.
Who wants to bring a baby onto a sinking ship?
It would be hard to make things worse than big classical aerospace.
I have a question, which might not even be related to this -- one of the keys to the power of neural networks is exploiting the massive parallelism enabled by GPUs, but are we leaving some compute on the table by using just scalar weights? What if instead of a matrices of weights, what if they were matrices of functions?
The West hardly knows anything "true" of India; almost everybody looks at it only through a narrow perspective and thus are "incorrect".

The History of India is a multi-branched tree with the main branches being; a) Oral Tradition b) Linguistic Tradition c) Philosophical/Religious Tradition d) Literature/Poetry e) Mythologies f) Historical writings g) Writings by other cultures/civilizations h) Archeology. All of them have to be studied to get an idea of what India was/is.

1) A good book to start with is A.L.Basham's The Wonder That Was India: A Survey of the Culture of the Indian Sub-Continent Before the Coming of the Muslims.

The Book: https://archive.org/details/TheWonderThatWasIndiaByALBasham_...

The Author : https://en.wikipedia.org/wiki/Arthur_Llewellyn_Basham

2) For a modern idiosyncratic and funny take, see Sam Miller's book A Strange Kind of Paradise: India through Foreign Eyes.
> compared to mainstream languages like C#

Out of curiosity does this also hold true for F#?
I still recommend RealThunder's fork (https://github.com/realthunder/FreeCAD/) at the moment, even though his fork is a bit lagging at the moment.

Most of his contributions to the topology fixes got merged back into freecad now, but his enhancements to UI/behavior aren't (yet), and they make a night and day compared to ondsel too.

I didn't find any significant limitation to RealThunder's assembly3.

In any case, while far from most commercial offerings, FreeCAD is progressing and the future looks bright. I've stopped using f360/onshape in the last years for my hobby designs. Once you know the specific limitations of freecad+occt (something you learn in each cad program) and how to work them around effectively, it's already pretty powerful.
So - why isn't Elan in oh-so-public talks with the UK, Australia, France, and a few other countries with launch-friendly coastal locations, about relocating most of SpaceX's operations to saner shores? It would seem like the obvious strategy.
Will become more expensive? Are you willfully ignoring the actual data?
This press release elaborates on the motivations for the strike: https://www.nyguild.org/post/new-york-times-tech-guild-votes...
That link is out of date. The site and backend are now open source. Only the repo containing the RFD contents is private.

https://github.com/oxidecomputer/rfd-site

https://github.com/oxidecomputer/rfd-api
According to the founders and early engineers on their podcast - no, they tried to fairly evaluate all the oses and were willing to go with other options.

Practically speaking, its hard to do it completely objectively and the in-house expertise probably colored the decision.
I recommend Parkinson's essay on injelitence
Tiny Trackers Are Revealing the Secret Lives of Birds
> Wouldn't that make it explicit?

No, the casting is still done implicitly. That is I can make the following compile fine in Delphi if I add an implicit cast operator to either Foo or Bar:

Foo x := Foo.Create();
Bar y := x;

If neither of them have a suitable implicit cast operator defined, it will of course fail to compile.

Just an example, nothing unique about Delphi. You can see an example of the operator definition here[1].

[1]: https://docwiki.embarcadero.com/RADStudio/Alexandria/en/Oper...
Yes, the image is kinda creepy! Already working on changing it! What do you mean by AI-generated parts of the product?
> Your best option was basically a `Maybe SomeResponseType` which in the `None` case gave a 200 response with a "{'status': 'error'}" content.

This seems to be an area where my tastes diverge from the mainstream, but I'm not a fan of folding errors together. I'd rather a http status code only correspond to the actual http transport part, and if an API hosted there has an error to tell me, that should be layered on top.
The law, in its majestic equality, forbids rich and poor alike to sleep under bridges, to beg in the streets, and to steal their bread.

Anatole France
Not so fast
https://github.com/rails/rails/pull/52889
Well what kind of values and how many updates? You might have to call an external library to get decent performance, like you would use NumPy in Python. This might be of interest: https://www.acceleratehs.org/
That's because SpaceX is run with the goal of building actual space transit capabilities, not milking the taxpayer and distributing pork to as many politically influential districts as possible.

Until SpaceX and post-Apollo most of the space program was really a pork distribution system and a way to keep certain high-skill labor areas 'hot' in case we need them again. It wasn't a serious effort to learn about the universe or build a real presence in space. Some of that did happen but it happened almost as a side effect.

Edit:

Honestly I think SpaceX is just a decent aerospace company. They've appeared superhuman by contrast with companies like Boeing that have done nothing to innovate in the sector since the 1970s. When the comparison is with people completely asleep at the wheel, mere competence looks striking.
You know what definitely doesn’t exist? Fake versions of these cards.

There’s no way an enterprising college student would ever charge $25 for a knockoff get out of jail free card.

Sarcasm aside, we are one nation under law. The NYPD needs to step up and accept the moral authority they’ve been given…they’re like an older brother to the other police departments in the country and they are watching.
Rust was bootsrapped in OCaml.

https://github.com/mozilla/rust/tree/ef75860a0a72f79f97216f8...
Hybrids are definitely going to be the way at least for the next decade.
This isn't low-level. This is institutionalized through the police union and being enforced throughout the organization, including knowledge of that enforcement at the highest levels.

But yeah, banana republic is misapplied.
Yeah its gone be more expensive then literally not able to buy something. Practically infinity expensive.

Because this literally something you couldn't buy before. Maybe if you went to Russia and gave them a lot of money.

SpaceX has made everything cheaper in Space cheaper and many things possible that literally weren't a commercial thing before.
I'm semi-convinced my current doctor is using ChatGPT to write messages to me. I'd rather she sent 2000s hyperabbreviated chatspeak than read another trite statement about how "she" "understands" my human reason for a request.
Thank you!!! Regarding the scrollbars – I’ll check! We’ve fought a lot with them. :)
Go look up the cost of a soyuz launch, let alone a shuttle launch, and then tell us more about how this is making space more expensive.
LOL. Between how much Matt Stoller has made it to the top page of HN over the years and the waste I've seen anecdotally this made me chuckle.
Looking for B2B Beta Testers
Hi Everyone,
I developed a B2B sales AI tool. The way it works is as follows. If you're looking to add companies to your sales pipeline/ partner with them, we've found that personalised outreach is the most effective. One one hand we will create a report that you can share with a company you want to work with and it will outline how that company will benefit from working with your startup in a unique and quantitative way, outlining all of the synergies. It will also recommend companies that you should reach out to!
If you want to beta test,the username is test and the password is vesper.
But what about a year later when someone's changed the code but not the comment?
In the US there are speed traps in small towns already where it's known that it is a major source of government income. To be somewhat fair, people often speed through these small towns they'll never see or think about again and cause issues.
What problem? Not fraud, if there's no statistically significant amount of fraud happening. [1] The only people who want to argue about it are doing it to sow doubt in a remarkably robust system.

The problem they're trying to solve is ballot access by people who won't vote with them. Here in Texas, the AG is suing any organization who's trying to register voters in liberal areas. [2]

[1] https://www.heritage.org/voterfraud/ with context by https://www.brookings.edu/articles/widespread-election-fraud...
[2] https://www.texastribune.org/2024/09/06/texas-ken-paxton-tra...
Oh man I've gotten a few PR reviews that, in addition to really great feedback about correctness and performance, also include "remove this single blank line" comments for code that was already autoformatted.

I'm trying to work on getting less annoyed about these, but I feel like they're really not worth anyone's time.
I think of it as "Could Newton have used this to find the expressions for the forces he was analyzing (eg gravitational force = g m_1 m_2 / d^2)?". I once asked a physics prof whether that was conceivable in principle, and he said yes. It seems to me like KANs should be able to find expressions like these given experimental data. If that was true, then I don't see how that wouldn't deserve being called interpretability.
Those types of bugs can be sold for millions so you probably won't hear about them
> The irony is that they have gas BYDs, which I had never heard of until last year

BYD bought out a failing automotive company decades ago which became BYD Auto, and continued building ICE cars. They only began mass producing EVs in the 2010s after getting a massive cash infusion from Berkshire Hathaway and Blackrock around 2008-09
Depression – What is it and what is it for?
93 mpg = 2.53 l/100km
Did you miss the fact that reusable rockets have made it cheaper? Have you kept up with the economics of space travel?
> Almost every decision has unclear outcomes

And to make matters worse, many of the outcomes are identical. It's disheartening to save scum through an exchange only to find that the exact same thing happens no matter which option you choose.

And then you'll see that you get some bonus effect for one choice for a d20 roll, which makes it seem more likely to succeed than the others, but then the number to beat is also higher, making it actually a worse option.

> Item and spell descriptions are good at least

I don't agree with this. Most item descriptions make no distinction between items you should definitely hold onto and ones that are just garbage to sell for gold, which you don't even need because there just isn't that much to buy relative to the amount of incense flooding the world. And finding out what it means for something to add e.g. "momentum" can be non-obvious. And dyes don't describe their use. And a potion/elixir might say that you can get the same effect from throw/splash vs drinking but not say that if you do then the effect goes from "until next long rest" to "for three turns".

But the absolute worst here is the character selection and leveling. You have zero guidance whatsoever on what it means to pick a bard vs a druid etc, both short term and long term. It just assumes that have a D&D character guide. Turns out that bards are actually really good at combat magic after a few levels. Who knew.