Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
eddiepete
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
eddiepete
4mo ago
I wonder how formal methods can help us move faster with GenAI. Is it that they can help write formulas faster? That they can help ensure formulas match the system they're modeling faster? If the problem you think formal methods will h
2.
▲
by
eddiepete
9mo ago
My idea is admittedly half-baked, but I've been thinking of the concept of an alternative web. I don't know how it would work. Ignoring implementation for a second, what if you could stay within a network of non-corporate content,