Published inGroupoid InfinityVolume IIIVolume III coutains articles dedicated to synthetical mathematical languages designed to be optimal at proving theorems from specific…May 27May 27
Published inGroupoid InfinityVolume IIVolume II coutains articles dedicated to operating systems and runtimes where languages are running as applications. Two basic models of…May 27May 27
Published inGroupoid InfinityVolume IVolume I establishes common preliminary foundations: 1) Martin-Löf Type Theory for set valued mathematics; and 2) Homotopy Type Theory for…May 27May 27
Function SpacesП-type is a space that contains dependent functions, which codomain type depends on value from domain type. As fiber domain present in…Oct 23, 2023Oct 23, 2023
N2O/WebSocket for F#High-performance, idiomatic, zero-dependency, Async-based, F# WebSocket server with supervision and ticker in 200 LOC.Oct 7, 2022Oct 7, 2022
Erlang Hospitality and HostilityHey @rvirding, @joeerl, you have created a disgusting community, worst ever. You are like Philip Wadler who is selling his soul for scaling…Oct 6, 2022Oct 6, 2022
Calm ApplicationToday I’m gonna recommend you Calm application, your personal mindfulness meditation guru. Based on Jon Kabat-Zinn books and works this…Aug 31, 2018Aug 31, 2018
Absolute LifestyleStyling a life is not a big deal. The real question is to present the ultimate, complete, victorious, perfect lifestyle.Aug 16, 2018Aug 16, 2018
EMQ vs VerneMQHere is the reason why we use EMQ based stack of libraries by Feng Lee instead of MQTT solutions by other vendors.Feb 25, 2018A response icon2Feb 25, 2018A response icon2