Viewing profile — ripecoconut
ripecoconut
HN member- Joined
- Tue, Mar 06, 2018, 12:37 AM UTC
- HN karma
- 11
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About ripecoconut
No profile information was provided.
Recent public activity
-
comment
Comment #36250940
I clicked join a server and it just let me browse no problem.
-
comment
Comment #25974599
https://sat-smt.codes/main.html is a good introduction to applying SMT to many kinds of problems. https://rise4fun.com/ for all sorts of examples of what these sorts of algorithms …
-
comment
Comment #25435263
That's why they put a filter on it