Viewing profile — akkaygin
akkaygin
HN member- Joined
- Thu, Feb 02, 2023, 10:08 AM UTC
- HN karma
- 3
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About akkaygin
No profile information was provided.
Recent public activity
-
comment
Comment #48459766
> 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?? …
-
comment
Comment #44268702
What is your (company's) motivation behind using non-deterministic tools for "verification" instead of actually verifying designs using formal methods?