Skip to content
View chriskevin's full-sized avatar
๐Ÿš€
Enjoy the ride
๐Ÿš€
Enjoy the ride
16 followers · 38 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report chriskevin

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
chriskevin/README.md

Hi ๐Ÿ‘‹, I'm Chris Sundberg ๐Ÿ‘จโ€๐Ÿ’ป

Technology Leader & Software Engineer @ Minna Technologies

My belief is that software is one of many tools that can empower ๐Ÿ’ช people ๐Ÿง‘๐Ÿฟโ€๐Ÿคโ€๐Ÿง‘๐Ÿป to solve almost any problem. However we are in the middle of a time with a lot of uncertainity. Absurd fragmentation of programming languages and ecosystem tools, a huge lack of mathematic and scientific formal principles and ignorance of program correctness. I know we can do better (โœ‚๏ธ๐Ÿ’ฉ) and when we finally do, it is going to be awesome! ๐ŸŒˆ

So what do I suggest that we should focus more on?

  • Category Theory
  • Functional Programming ฮป๐Ÿฆ„
  • Formal Verification
  • Pure functional languages: Haskell, Elm, PureScript, Idris, Unison
  • Dependent Types
  • Erlang/BEAM/OTP (Resilience/Fault Tolerance/Scalability)
  • Visual programming: Enso (formerly Luna)

What should we focus less on?

  • Java
  • JavaScript
  • Go
  • Python
  • Dynamic Typing
  • Mainstream Hype

โ€œA language that doesn't affect the way you think about programming is not worth knowing.โ€

โ€• Alan J. Perlis

bash git HTML5 CSS3 JavaScript TypeScript elm Haskell Scala

If you feel intrigued or just want to throw โšก or ๐Ÿ’ฉ at me, then look no further

chriskevin chriskevin chriskevin chrisxkevin Chris Sundberg chriskevin Chris Sundberg chrisxkevin

Chris-Kevin chriskevin ChrisKevin chriskevin

Popular repositories

  1. devcontainer-typescript-deno devcontainer-typescript-deno Public

    Visual Studio Code Devcontainer for TypeScript development environments.

    Dockerfile 4

  2. milos-mystery-maze milos-mystery-maze Public

    A pet project to improve my Java skills

    Java 2 1

  3. programming-idioms programming-idioms Public

    A repository of programming idioms in different languages for learning about similarities and differences.

    Java 2 1

  4. javascript-unittest-examples javascript-unittest-examples Public

    Examples of setting up unit tests for differrent Javascript frameworks

    JavaScript 1

  5. chriskevin.github.io chriskevin.github.io Public

    Main site for Chris Sundbergs open source projects

    CSS

  6. game-editor-web-app game-editor-web-app Public

    Web based game editor

    JavaScript