philprx

5 ms·

1.
by philprx 10d ago
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 bul
2.
by philprx 5mo ago
"Good job, Microsoft, amazing uptime."
3.
by philprx 6mo ago
Recaptcha is taking ages
4.
by philprx 7mo ago
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% downtim
5.
by philprx 7mo ago
Trust is down ;-)
6.
by philprx 9mo ago
Strudel.cc ?
7.
by philprx 1y ago
You're advocating for going the way of dystopian china? Gee... Those who trade privacy for security will get neither (and deserve none?)
8.
by philprx 2y ago
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
9.
by philprx 2y ago
I didn't find the GitHub project for bufstream... Any clue?
10.
by philprx 2y ago
Given the uptake of FastAPI and FastHTML, is there any plans for these on top of Flask?
11.
by philprx 2y ago
Passion, focus.... Just like tech.
12.
by philprx 2y ago
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?
13.
by philprx 2y ago
Paid content click bait
14.
by philprx 3y ago
How does Ollama compare to LocalGPT ?
15.
by philprx 3y ago
Excellent composite quote: "Art is for seeing the world from different perspectives. And also money laundering and tax avoidance." ;-)
16.
by philprx 3y ago
Is there a fastapi equivalent?
17.
by philprx 3y ago
Well they certainly can’t feel good about not detecting egress DDoS from their customer usage. It could be VPN originating or maybe Worker originating maybe? Don’t they have a security.txt and security@ email address? Looks like posting to
18.
by philprx 3y ago
Excellent ! I learned some things. I'll consider making posters of this ;-)
19.
by philprx 3y ago
Great, congrats! What's the equivalent in python?
20.
by philprx 3y ago
So what's the rationale behind this data? They got so much better at advising startups? Startups are being insulated for real world truth eg. Due to too much funding? Data is corrupted?
21.
by philprx 3y ago
Last or first nail in the coffin for Google? Definitely ground for breakup IMHO.
22.
by philprx 3y ago
What's written is quite right, but is quite short ;-) I was expecting a bit more "Then what" (the rest of the website is okayish). One thing that also is important is: luck in timing, mass in market. You can be as daring as y
23.
by philprx 3y ago
No, it would mean for Firefox developers that it's illegal to have feature that can disable the EU member state certificates. Such crypto backdooring failed in the past, so they're trying to go after the weakest link they can thin
24.
by philprx 3y ago
You obviously didn't have to deal with the misuse of security, "for the children" pretext for interception, and crypto scare attempts... Yes, there are too much ill conceived attempts against security that in the end will hur
25.
by philprx 3y ago
Which is great because being an awesome tree for bowmaking, nobody cares if you harvest a few straight stave: On the contrary people will say "Good, you're removing these" :-) Plus they give excellent liquid yellow honey and
26.
by philprx 3y ago
actime24 is possibly for Arrival City time, not aircraft time. Fun research!
27.
by philprx 3y ago
Behind paywall :-(
28.
by philprx 3y ago
School of self learning with open source. Sorry if it's half a joke, because of course it's not a school per se, but that's the best source for me of great programmers I've seen in my 30+ years dev hiring experience (usu
29.
by philprx 3y ago
From searches I made, content returned is not relevant enough
30.
by philprx 3y ago
Not available internationally, geographic blocking :-( "This content is not available in your country/region."

More ›