Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
akkaygin
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
akkaygin
4mo ago
> In fact, std::span is a class template, and somebody would suggest to make the function that processes the generic memory blob a function template! Really? Something like this?? Yes.
2.
▲
by
akkaygin
1y ago
What is your (company's) motivation behind using non-deterministic tools for "verification" instead of actually verifying designs using formal methods?