Open in app

Sign in

Write

Sign in

Namdak Tonpa

445 Followers

Home

About

Oct 23

Function Spaces

П-type is a space that contains dependent functions, which codomain type depends on value from domain type. As fiber domain present in every defined function, П-type is also a dependent product. Spaces of dependent functions are using in type theory to model various mathematical constructions, objects, types, or spaces and…

Type Theory

2 min read

Function Spaces
Function Spaces
Type Theory

2 min read


Oct 7, 2022

N2O/WebSocket for F#

High-performance, idiomatic, zero-dependency, Async-based, F# WebSocket server with supervision and ticker in 200 LOC. — Annotation The idea to write web servers and web frameworks in all languages came to my mind ever since I realized that what I did for the Erlang ecosystem: the direction of frameworks for enterprises under the general brand N2O, and now as part of the erp.uno platform; quite applicable for…

Fsharp

9 min read

Fsharp

9 min read


Oct 6, 2022

Erlang Hospitality and Hostility

Hey @rvirding, @joeerl, you have created a disgusting community, worst ever. You are like Philip Wadler who is selling his soul for scaling Ponzi schemes with byzantine generals, except you’re sellling ignorance to young people. I’m talking directly to @joeerl R.I.P. because nobody want to talk with me in your…

Erlang

4 min read

Erlang Hospitality and Hostility
Erlang Hospitality and Hostility
Erlang

4 min read


Dec 10, 2018

N2O/WebSocket for Standard ML

The N2O ECO Standard ML implementation. This page contains the description of WebSocket and static HTTP server implementation and protocol stack for application development of top of it that conforms to N2O ECO specification. As you may know there was no WebSocket implementation for Standard ML until now. Here is…

Standard Ml

4 min read

Standard Ml

4 min read


Aug 31, 2018

Calm Application

Today I’m gonna recommend you Calm application, your personal mindfulness meditation guru. Based on Jon Kabat-Zinn books and works this audio guide reveals non-sectarian meditations. Narrated with different voices meditation track contains Daily Calm series on Awareness, Patience, Impermanence, Present Moment Focusing and other useful techniques for integrating continuous meditation to daily life. The application also includes breathing cycles metronomes which are known to be useful from sutras.

Mindfulness

1 min read

Mindfulness

1 min read


Aug 16, 2018

Absolute Lifestyle

Styling a life is not a big deal. The real question is to present the ultimate, complete, victorious, perfect lifestyle. Imagine all the lifestylers and photographers of Instagram with their beautiful photos of blue lagunas, vast skyspaces, infinite snow mountains, and mysterious lands of grazings with ships, cows, and unicorns…

Mindfulness

3 min read

Absolute Lifestyle
Absolute Lifestyle
Mindfulness

3 min read


Feb 25, 2018

EMQ vs VerneMQ

Here is the reason why we use EMQ based stack of libraries by Feng Lee instead of MQTT solutions by other vendors. As you may know, I was creating messaging apps 1) in pure Erlang, I mean storing messages inside Erlang process queues. This simple idea of BEAM usage is…

Erlang

4 min read

EMQ vs VerneMQ
EMQ vs VerneMQ
Erlang

4 min read


Sep 6, 2017

MQTT + N2O = Synrc Messaging Core

What is the most concise, modern, robust and practical protocol for Chat Messagers? We did it all. I did messaging platforms three times, each time using different technology. In university, I was charmed by relational algebra and keep everything in normal forms and OLAP cubes. Later I discovered the deep…

N2o

4 min read

MQTT + N2O = Synrc Messaging Core
MQTT + N2O = Synrc Messaging Core
N2o

4 min read

Namdak Tonpa

Namdak Tonpa

445 Followers

Wandering Artist

Help

Status

About

Careers

Blog

Privacy

Terms

Text to speech

Teams