Viewing profile — aaritea
aaritea
HN member- Joined
- Sat, Nov 02, 2024, 5:08 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About aaritea
No profile information was provided.
Recent public activity
-
comment
Comment #42027638
Location: Bergen, Norway (Swedish national) Remote: Yes Willing to relocate: No Technologies: Haskell, Python, Agda, Coq, Lean Expertise: Type theory, category theory, functional p…