Skip to content
View viluon's full-sized avatar
πŸ‘οΈ
stop the race towards misaligned AI
πŸ‘οΈ
stop the race towards misaligned AI

Organizations

@p4lang @tmpim @lang-talk @Deutsche-Boerse-Dev @fiks-org @nix-clan

Block or report viluon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
viluon/README.md

πŸ‘‹ Hi! I'm Andrew (or, at your option, OndΕ™ej), and I hack on compilers.

Some thoughts to paint a picture:

  • specifications are cool. A machine-readable specification is a specification which itself has a specification.
  • I'm surprised I haven't come across compiler combinators, i.e. a DSL for specifying language semantics that lets you automatically derive a compiler and/or a language server. This would be a fun project to work on.
  • if you care about (high-level) information, you have to stop throwing it away. This is why I love how Unison preserves typed ASTs and why I prefer the purely functional paradigm with static typing to conventional programming.
  • objective complexity should play an important role in design decisions. This is why I consider the UNIX filesystem principle of a unified rooted tree to be cleaner than drive letter assignment and the reason why I dislike languages like C++.

Here's an overview of coding time for the past seven days spent in personal projects and coursework:

Kotlin            17 hrs 2 mins   β–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–ˆβ–‘β–‘β–‘β–‘β–‘β–‘   76.17 %
Markdown          3 hrs 34 mins   β–ˆβ–ˆβ–ˆβ–ˆβ–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   16.00 %
TOML              39 mins         β–“β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   02.96 %
Protocol Buffer   19 mins         β–’β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   01.43 %
protobuf          12 mins         β–’β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘β–‘   00.96 %

Pinned Loading

  1. afx afx Public

    a pure Rust, cross-platform soundboard app

    Rust 17 2

  2. yalcr yalcr Public

    Yet Another Ξ»-Calculus Repl.

    Scala 2

  3. Zombease Zombease Public

    A top-down zombie survival shooter for ComputerCraft.

    Lua

  4. tautly tautly Public

    A simple blackboard drawing program.

    Kotlin 1

  5. nixos nixos Public

    my nixos config

    Nix 1

  6. lession-hs lession-hs Public

    A rough introduction to Haskell, in Czech πŸ‡¨πŸ‡Ώ

    Haskell 1