Looks like you have JavaScript disabled. For the full Twine experience, you will need to re-enable it.

I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror. I’m looking for a full-time development job. I’m comfortable working with or without LLM-based tools, and I try not to rely on them when learning or doing research. I’m familiar with web development using modern frameworks (such as React and Svelte), graphics programming with WebGL, and functional programming with the Lean theorem prover. I enjoy participating in game jams and experimenting with creative tools like ShaderToy, Filter Forge, and Blender. Some areas I’m currently studying on my own include compiler programming, safety-critical software, and category theory.…I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror. I’m looking for a full-time development job. I’m comfortable working with or without LLM-based tools, and I try not to rely on them when learning or doing research. I’m familiar with web development using modern frameworks (such as React and Svelte), graphics programming with WebGL, and functional programming with the Lean theorem prover. I enjoy participating in game jams and experimenting with creative tools like ShaderToy, Filter Forge, and Blender. Some areas I’m currently studying on my own include compiler programming, safety-critical software, and category theory.

Can Baykar

Web Developer, Programmer, Game Developer, +2





I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror. I’m looking for a full-time development job. I’m comfortable working with or without LLM-based tools, and I try not to rely on them when learning or doing research. I’m familiar with web development using modern frameworks (such as React and Svelte), graphics programming with WebGL, and functional programming with the Lean theorem prover. I enjoy participating in game jams and experimenting with creative tools like ShaderToy, Filter Forge, and Blender. Some areas I’m currently studying on my own include compiler programming, safety-critical software, and category theory.…I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror. I’m looking for a full-time development job. I’m comfortable working with or without LLM-based tools, and I try not to rely on them when learning or doing research. I’m familiar with web development using modern frameworks (such as React and Svelte), graphics programming with WebGL, and functional programming with the Lean theorem prover. I enjoy participating in game jams and experimenting with creative tools like ShaderToy, Filter Forge, and Blender. Some areas I’m currently studying on my own include compiler programming, safety-critical software, and category theory.

Available to hire

I’m a math graduate currently working on an educational proof assistant personal project called Twig, built with Svelte and ProseMirror.

I’m looking for a full-time development job. I’m comfortable working with or without LLM-based tools, and I try not to rely on them when learning or doing research.

I’m familiar with web development using modern frameworks (such as React and Svelte), graphics programming with WebGL, and functional programming with the Lean theorem prover.

I enjoy participating in game jams and experimenting with creative tools like ShaderToy, Filter Forge, and Blender.

Some areas I’m currently studying on my own include compiler programming, safety-critical software, and category theory.