philipfweiss

3 ms·

1.
by philipfweiss 1mo ago
Maybe consider an integration with theoremdb.org?
2.
by philipfweiss 1mo ago
One thing about human mathematicians is that they only publish positive results. Professors etc might have file drawers full of "negative results", but the incentives and bandwidth of human mathematicians makes publishing these us
3.
Reflections on Airbnb(medium.com)
2 points by philipfweiss 1mo ago|0 comments
4.
TheoremDB: A public workspace for machine mathematics(theoremdb.org)
2 points by philipfweiss 1mo ago|0 comments
5.
by philipfweiss 2mo ago
(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 fixing them right away! I’m active on the discord, feel fre
6.
by philipfweiss 2mo ago
(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 protocol approach to this project that can be built, but it’s
7.
by philipfweiss 2mo ago
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 working on the site and was planning on launching in a few we
8.
Autoportrait(philipweiss.net)
1 points by philipfweiss 2mo ago|0 comments
9.
Is the determinant of this "Fibonacci sum" indicator matrix always -1, 0 or 1?(mathoverflow.net)
2 points by philipfweiss 2mo ago|0 comments
10.
Autoportrait(philipweiss.net)
1 points by philipfweiss 2mo ago|0 comments
11.
by philipfweiss 2mo ago
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 until you find one vulnerable, and publish it into
12.
Dan Boneh: The elliptic curve running the modern internet might have a backdoor [video](youtube.com)
4 points by philipfweiss 2mo ago|2 comments
13.
Show HN: Autoportrait- Painting Timelapses in JavaScript(github.com)
2 points by philipfweiss 2mo ago|0 comments
14.
Show HN: Autoportrait Playground – painting timelapses in the browser(philipweiss.net)
3 points by philipfweiss 2mo ago|1 comments
15.
by philipfweiss 2mo ago
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 Claude Fable) which updates as you read, so that there are no
16.
Show HN: Dostoevsky's "Crime and Punishment" with an inline, spoiler aware guide(magicbookshelf.org)
1 points by philipfweiss 2mo ago|1 comments
17.
MSE – Why am I finding the Catalan numbers in these "Snowball Numbers"?(math.stackexchange.com)
1 points by philipfweiss 3mo ago|0 comments
18.
MagicBookShelf – A modern reader for classic novels – Crime and Punishment(magicbookshelf.org)
1 points by philipfweiss 3mo ago|0 comments
19.
Magicbookshelf.org – Using AI to create a spoiler-free companion to any book(magicbookshelf.org)
2 points by philipfweiss 3mo ago|0 comments
20.
Magicbookshelf.org – a spoiler-aware companion for public domain classics(magicbookshelf.org)
23 points by philipfweiss 3mo ago|4 comments
21.
by philipfweiss 3mo ago
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 You don't have to make an account and there are no ads
22.
GPT 5.4 solves major open math problem- Comments by Terry Tao and Jared Lichtman(erdosproblems.com)
3 points by philipfweiss 5mo ago|1 comments
23.
by philipfweiss 5mo ago
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 tighter connection between two areas of mathematics (in this
24.
Discussion: What would an AI government look like?
2 points by philipfweiss 7mo ago|2 comments
25.
by philipfweiss 8mo ago
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.
26.
Anthropic's Interpretability Research Blog(transformer-circuits.pub)
3 points by philipfweiss 8mo ago|1 comments
27.
by philipfweiss 10mo ago
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/437200/477593
28.
by philipfweiss 3y ago
You’re not doing calculus on a graph- you’re using a graph algorithm to automate the derivative taking process. Essentially, you transform your function into a “circuit” or just a graph with edge labels according to the relationship between
29.
Recovering Individual from Genomes of Relatives(cs.stackexchange.com)
1 points by philipfweiss 4y ago|1 comments
30.
by philipfweiss 4y ago
The rationale I remember learning was: Think about your blood vessels. They run, and branch, and then branch again, in an intricate pattern. Your DNA has to encode for this, but our DNA holds a finite amount of information. So does it seem

More ›