Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
hewtronic
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
10 ms
·
1.
▲
by
hewtronic
2y ago
> Anyways, the complexity of the Lean language itself doesn’t help either. The mode of thinking you need to have to operate it is much closer to programming than maths, and for those that think that the Rust borrow-checker is a pain, thi
2.
▲
by
hewtronic
4y ago
For a hint at how the bug works, see this https://issuetracker.google.com/issues/180526528 (more details coming soon™) From https://twitter.com/David3141593/status/1636979466860744704 Also: y