Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
flaviens
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
flaviens
3y ago
Guys if somebody makes a cool UI like this for Cascade (both fuzzing and program reduction) I'll merge your PR with greatest pleasure <3
2.
▲
by
flaviens
3y ago
Correct. One beneficial thing with Cascade's long programs with dependencies is that it will tendentially produce problematic values (values around NaNs, around zero, etc.). Formal methods won't be replaced by Cascade :) but it&#x