Sitemap

Comments

Post a Comment

Popular posts from this blog

💻 Programming: recipe: response validation against OpenAPI schema in Python

Image
Summary: code snippets and explanation of how to validate HTTP-response using  openapi-core package If you deal with some service based on OpenAPI Specification you might want to perform validation of HTTP responses returned by it. One of the ways to do this an internet search provides for Python is to use openapi-core package. If you look at their documentation ( here or here ) you will find it very stingy: couple of short code snippets and couple of sentences just stating what is done. In particular for response validation we have exactly the following:   You can also validate against responses   from openapi_core . validation . response . validators import ResponseValidator   validator = ResponseValidator (spec) result = validator . validate (request, response)   # raise errors if response invalid result .raise_for_errors()   # get list of errors errors = result .errors ...   Here we see some confusing things: why do we need a request objec...
Read more

Ï• Logic vs. ‘common sense’

Logic is a doctrine of correct judgment and it’s “our everything” (in the sense that it is necessary for any theory and learning). But to discover or ‘invent’ (formulate for the very first time) the laws of logic it is already necessary to think (judge) correctly — so there is a question: Isn’t there a kind of paradox? Or at least a vicious circle? Indeed, if you think correctly you can formulate correct logic laws and using them prove something (and maybe the way of how you judged about correctness of the laws formulated) — but if you don’t then the laws are invalid and you are unable even to find that. Seems the ability of reasoning is intrinsic for people (at least for those who is educated enough) and the ‘discovery’ of the ‘laws’ is just a result of observations (of own and other people thinking and judgments and their correspondence to a real state) and further refinements of them. But usually that ability is unconscious (intuitive) and informal (nobody judges like “A is true bec...
Read more

💡💻 Genius inventions: FORTH programming language

Forth  is an example of what I call “ elegant solution  of a complicated problem”. What will you do if you have a computer without any software to operate on it? It’s hard to imagine an alternative to what Charles H. Moore invented in 1970. Indeed, if you don’t have an operational environment to accomplish your goal you have to create that environment from zero. The question is only of ‘cost’ — efforts you will spend. The geniousness of the Forth language is that it is designed so that it can be easily implemented step by step from scratch and on each next step existing part of the system helps you a lot to move further. _________ ..other articles..
Read more