Viewing profile — philipfweiss

(Project creator here): Someone actually posted the site without me- I wasn’t planning on launching for a few weeks! If you see any issues, feel free to report them and i’ll get on…

(Project creator here): I have 0 interest in commercializing this. Im taking a lot of inspiration from MathOverflow, where I’ve been a user for several years. I think there is a pr…

Project creator here- I really did not expect it to get posted on hackernews! A nice surprise for sure though. Seems like someone found the site and posted without me. I am still w…

Explanation ~15 min in Gist: the seed for the curve has unknown origin. Possible attack: let's say there is an attack possible on 1/10^6 curves. Just loop through a million curves …

When I tried to read Crime and Punishment, I got confused by all the characters. When I tried to look things up online, I got spoilers! So I created an illustrated reader (using Cl…

I built a small, free site for reading public-domain books (magicbookshelf.org). Today, it has three books: 1. The Brothers Karamazov 2. Crime and Punishment 3. Pride and Prejudice…

Beyond the sensationalization here’s what Terry had to say -“ In any case, I would indeed say that this is a situation in which the AI-generated paper inadvertently highlighted a t…

I haven't really heard anyone bring up this topic, so I thought I'd open a discussion here. To me the appeals are obvious. AI governments could theoretically be incorruptible, tire…

I haven't seen this publicized widely, but it's really good content that flies under the radar. Posting here in case people find interesting.

Type theory is actually a stronger axiomatic system than ZFC, and is equiconsistent with ZFC+ a stronger condition. See this mathoverflow response here https://mathoverflow.net/a/4…