ijustlovemath

one less level of indentation; reading down is happy path, seems nice!

The website design is so pleasing, props!

This is especially true if you simply increase the minimum password length to a certain amount. The major browsers include password managers for specifically this purpose which can generate passwords; why don't we move towards educating users how to use these tools instead of centralizing all the failure points of the web?

And yes, I understand the major conflict of interest in saving important passwords to Google, which I personally don't do and wouldn't recommend, but I think if they're interested in staying out of the Googleverse, we can also tell people about the good paid alternatives out there.

Where can I sign?

I found this pretty fascinating; the two really are tremendously close to joining together, see [1] (closest point of Hominy creek) and [2] (closest point of the Pigeon River). Hominy sits slightly above the Pigeon at this closest point, so the capture would find flow reversing from dumping into the French Broad to dumping into the Pigeon.

[1] - 35.531518, -82.832689

[2] - 35.52846, -82.840061

Nation states can use the baseband radios to track/monitor you, so it's best to leave your phone at home. You can't disable or observe baseband from the higher level OS.

My steam deck has superceded my rpi for this kind of stuff. Probably not as power efficient but I live in the South and use A/C and hot water so I feel like those are far bigger spends of electricity

Hallucination obstruction, I'd imagine. When you have an LLM create a formal system, it can be verified way easier than a general purpose one

There are no viable competitors because nobody is big enough to take on Amazon. Anyone with aspirations to will inevitably just get undercut and run out of business.

Hm, not sure how much math you've had, so let's start with fairly basic stuff.

A and B are statements within a given set of axioms whose truth value is knowable within those axioms. A could be something like "Some number k that we pick is prime", and B could be something like "k is even"

When you see in math people saying "some statement is true iff some other statement is true", that "iff" stands for "if and only if", which really just means two things hold:

1. Starting with statement A, we can prove statement B.

2. Starting with statement B, we can prove statement A.

In math shorthand, we'd write this as

1. A implies B, or just A => B

2. B => A

You need to prove both directions for you to be able to say "A iff B"

Let's try it with our example statements. Does it hold? Your intuition should be saying "absolutely not", and let's see why:

1. k prime implies k is either 2, or odd. So the statement A => B only holds when k is 2. We choose k, so this could be true in a trivial case, but does not hold in the generic case

2. k even implies k is divisible by 2, so again, the statement "k even => k prime" only holds for one trivial case and not in the generic one.

Now for the original comment. I was pointing out that just because you have some proof of A iff B, does not mean there couldn't be another, completely separate statement C, for which you can prove A iff C. These relationships have equivalence, but are nonetheless not the same (outside of a categorical sense of sameness).

Some of the most compelling math of the 20th century was showing the sameness of many different fields by finding new iff relationships.

feel free to expound once you're feeling regulated.

A iff B doesn't mean "this is the only way for this to be true", it means A implies B and B implies A. B being the statement that a number is prime, but you can have any arbitrary A that is actually true.

My jaw dropped when HN loaded first try from Termux! Nice work!

They'll most likely pursue some sort of business source licensing, where you will not be allowed to deploy apps in production using their tooling without the business paying some kind of subscription. I understand that none of their existing products fit this use case, but it will probably be a similar approach. VCs are not charities.

Have you all looked at how Pyrefly does it, or are your methods incompatible?

Did you go through many iterations on the API of the registration? If so, which designs did you disqualify and why?

I think QuickJS wins over Duktape for ES5 compliance, though it's been a few years since I was evaluating embedded JS. They're both extremely easy to integrate into an application, in contrast to V8

In case the author comes in, I'm curious about how you designed the registration mechanism. We have a Python application that makes heavy use of decorators to give strong runtime introspection capabilities, and I've always wondered if the same could be done at or near compile time in an equivalent Rust context. I think learning about the drawbacks and boons of the designs you settled on would be really informative!

sounds like it's not fast enough for their use case. plus, have you ever tried to integrate v8 into a project? Deno is fine for building binaries, but to date doesn't really have good support out of the box for bundling a script into a library, which this application seems like it would need.

have you tried showing them LabVIEW? it ticks tons of boxes:

- graphical

- more advanced (inherently parallel, more useful async data structures like events and queues)

- interfaces with tons of cool hardware

- built in network programming

- pretty powerful debugging

- free with community edition

Once they have the basics down, you could transition them out to a text based language slowly, even using the c/Matlab based text nodes to start

I've been using a Brondell Thinline for just over 5 years now; It's got a great design (accidentally bumping into it turns it onto the clean rather than spray mode), looks like it's part of the toilet (unlike the vast majority of the ones you see on Amazon), and very easy to use. Cheap as well!

People who haven't used a bidet before balk at the cold water, but honestly I think when you really need a bidet, the cold water is a godsend. And if you want heat, I think just throwing in more pressure does the same kinda job. Plus it's one less set of valves to have to worry about!

If you really hate it, you're only out $30, which I think is not that bad.

It's much cheaper just keep pulling in cool water than it is to cool it yourself

AI is fundamentally learning the entire conditional probability distribution of our collective knowledge; but sampling it over and over is not going to fundamentally enhance it, except to, perhaps, reinforce a mean, or surface places we have insufficiently sampled. For me, even the deep research agents aren't the best when it comes to surfacing truth, because the nuance of that is lost on the distribution.

I think that if we're realistic with ourselves, AI will become exponentially more expensive to train, but without additional high quality data (not you, synthetic data), we're back to 1980s era AI (expert systems), just with enhanced fossil fuel usage to keep up with the TPUs. What's old is new again, I suppose!

I sincerely hope to be proven wrong, of course, but I think recent AI innovation has stagnated in terms of new things it can do. It's a great tool, when you use it to leverage that distribution (eg, semantic search), but it might not fundamentally be the approach to AGI (unless your goal is to replicate what we can, but less spikey)

YCW27

I've had a lot of success using podman with pyenv for python versions, and plain old venv for the actual environment. All of this lives within WSL, but you can still access everything locally with localhost://

If you just want to use windows, pyenv-win exists and works pretty well; just set a local version, then instantiate your venv.

uv does certainly feel like the future, but I have no interest in participating in a future VC rugpull.

I wish vanguard would release a 0-fossil fuels fund. I'd buy it in a heartbeat

is there a difference between this and product market fit?

They have some incredible hardware talent (TPUs, Pixels), but I'm guessing this project will not get the polish of those more public facing products

I'd counter that the cost to the American taxpayer is far less when you avoid the consultant upcharge, all else being equal.

Personally, I get this from my interactions with the reviewers at the FDA. Absolutely buried in work, always make the best effort to improve your submission, etc.