Viewing profile — igt0

[dead]

I got tired of keep optimizing prompt and rolling out changes in production. So I built a neurosymbolic language to help with that, where prompts as policies instead as hard rules.…

Logic systems are a good place where the library first approach tends to work well: you keep a small, boring core (the inference engine), and let people extend it with predicates, …

I wonder why nobody said one word about Shen Language[1]. [1] http://www.shenlanguage.org/

Pony is amazing, I am curious about the object capability model applied to distributed systems.

The standardization is "easy", however we should not forget the browser must support the wrong behavior, because a bunch of applications are expecting that behavior, otherwise the …

In fact, it is a kind of common practice to generate tons of code. For C language, we have Csmith[1]. It is used to find bugs in llvm and GCC. [1] https://embed.cs.utah.edu/csmith/…

SVG is amazing, my main concern about it. it is because it creates a huge burden to browser developers. The spec is huge [1]. And some parts are outdated[2]. [1] https://github.com…

Probably local hire would be much better, however good programmers don't want to work in the Group 2. The want to work in a big company or in a cool startup.