Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its ...

Project Structure ├── cdk/ # AWS CDK Infrastructure │ ├── lib/ │ │ └── example-otel-lambda-stack.ts │ ├── bin/ │ │ └── cdk.ts │ └── package.json ├── lambdas/ # Lambda Functions │ ├── nodejs/ │ │ ├── ...

Set up "Thing" automatically and register to AWS IoT by executing Lambda Function. This is very useful when you have to register a lot of devices at a factory or something. The security is very ...