bagnalla
Joined 9 years ago
Karma
62
Submissions
12
Member since
Nov 11
Recent submissions
Comment · 4 years ago
"it's a collection of hand-crafted algorithms. No machine learning is involved."
Comment · 9 years ago
Verification of machine learning models, especially w.r.t. robustness to so-called "adversarial examples" [1], is a major research topic at the moment. There are certainly people worrying about it in the machine learning community, but it appears to be a very difficult problem.
Comment · 9 years ago
I've thought about using this Lisp interpreter to bootstrap a compiler for a new language, probably targeting HolyC. If someone were to write some decent lexer/parser generator tools in HolyC it would go a long way in making something like that possible.
Comment · 9 years ago
HolyC is great -- default arguments and built-in exception handling are big pluses over C. There are a few shortcomings, though, such as the lack of short-circuiting logical operators and some unfortunate behavior related to variable declarations within nested scopes (just avoid doing that IMO).