philprx

Make the proof from LLMs with the same constraints as human mathematicians have:

The proof must be as succinct as possible so that it's reviewable. It's ok for the same LLM to publish repeatedly, but it's not Ok to drop a bulk 600kb Lean proof.

The proof must build on other works that are similarly bite sized and published before (so that it's incrementally reviewed)

The proof must be published as soon as fully formed, and not in bulk like current LLMs proofs.

"Good job, Microsoft, amazing uptime."

Recaptcha is taking ages

that's roughly 1/45th probable downtime window = 2.22% downtime probability (yeah, it's a figure not a real proba ;-) )

compared to say, roughly 1/365 probable downtime window for a 398 days cert lifetime = 0.25% downtime probability

let's pray you don't need to rotate when it's down...

Dan Geer famously said: "Dependency is the root cause of risk"...

PS: even stricter shortlived durations in some context:

Internal/Private 1 – 7 days Corporate VPNs, Internal apps

Ephemeral 5 mins – 1 hour Docker containers, CI/CD runners

Trust is down ;-)

Strudel.cc ?

You're advocating for going the way of dystopian china?

Gee... Those who trade privacy for security will get neither (and deserve none?)

wooohooo... it had been a long long time since I last entered VMS command in a terminal !

Thank you sooo much for making this happen! very happy here

I didn't find the GitHub project for bufstream... Any clue?

Given the uptake of FastAPI and FastHTML, is there any plans for these on top of Flask?

Passion, focus.... Just like tech.

What are other equipments similar to this one but different?

There seems to have many GPS location trackers on the market, are they all based on the same hardware?

Paid content click bait

How does Ollama compare to LocalGPT ?