Skip to content

DEV Community

Risav

Developer by need, theoretical CS guy by passion. My original posts reside at https://risav.dev. Please help us fight COVID using tech: https://bit.ly/covidsimteam

Germany + Nepal Joined on Jan 6, 2020 risavkarna@gmail.com https://risav.dev/

Education

Jacobs University Bremen

Work

Developer / Architect / Consultant at Germany + Nepal

Java, Scala, Spring, Ignite, Redis, Python, Flask, Typescript, Ionic, Angular, Vue

Blockchain, Rust, Go, Kotlin, Haskell, Erlang, Clojure

nep.work - ecommerce platform for high frequency (proof of) work exchanges, curedit - semantification editor for unifying various APIs and contents, cosys - a metaplatform to generate collaborative systems like nep.work using curedit

Anything related to one of my 3 umbrella projects

12 posts published

11 comments written

34 tags followed

Risav

Apr 14 '20

MAP III - Types of Types II

#typetheory #functional #scala #expressions

11 min read

Want to connect with Risav?

Create an account to connect with Risav. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in

Risav

Apr 5 '20

MAP III : Types of Types

#functional #types #scala #categorytheory

10 min read

Risav

Mar 26 '20

Play with Spring and Angular: Getting Started

#play #springboot #angular #graalvm

4 min read

Risav

Mar 25 '20

Time - II

#physics #metaphysics #einstein #minkowski

15 min read

Risav

Mar 25 '20

Time - I

#time #physics #metaphysics #semantics

3 min read

Risav

Mar 25 '20

COVID-19 Simulation for Nepal: A Call for Collaboration

#covid19 #simulation #models #ai

4 min read

Risav

Feb 25 '20

A Recipe for making a Developer - I

#outsourcing #dystopia #orwell #huxley

8 min read

Risav

Feb 25 '20

Wau Ϝ Wow

#one #wau #math #dihydrogenmonoxide

1 min read

Risav

Jan 21 '20

Mathematics' Anarchitecture & Processes for Programmers

#complex #chaotic #mathematics #architecture

3 min read

Risav

Jan 17 '20

Mathematics' Architecture & Processes for Programmers

#mathematics #logic #hypergraphs #calculus

4 min read

Risav

Jan 8 '20

Anarchitecture

#anarchy #postagile #management #architecture

9 min read

Risav

Jan 6 '20

Introducing nep.work

#anarchitekt #platform #omnichannel #blockchain

3 min read

loading...