Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

What Is Control Flow Analysis for Lambda Calculus? – Iowa Type Theory Commute

Show HN: A fast CLI and MCP server for managing Lambda cloud GPU instances

Making Rust gRPC services AWS Lambda compatible without rewriting your code

The Call for Papers for J On The Beach, Lambda World and Wey Wey Web are OPEN!

An Adequate Left-Associated Binary Numeral System in the lambda-Calculus

lambda-grpc-web - run tonic gRPC services in AWS lambda

Alternative for the archived aws-lambda-go-api-proxy

First day using Rust in a lambda as a Cloud Engineer

Lightning Talk: Lambda None of the Things - Braden Ganetsky - C++Now 2025

Comparing AWS Lambda ARM64 vs. x86_64 Performance Across Runtimes in Late 2025

def, assigned lambda, and PEP8

State of Apache Iceberg Writers: Is there a high-level "append" API yet (AWS Lambda)?

Remote CLI on AWS Lambda with Cobra

I put a real search engine into a Lambda, so you only pay when you search

Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

Building Serverless Applications with Rust on AWS Lambda – AWS Compute Blog

The Lambda Papers (transcribed)

AWS Lambda adds support for Rust

should I use AWS Lambda or a web framework like FASTAPI for my background job?

Many Factorials in Lambda Calculus

Opportunistically Parallel Lambda Calculus

Making Sense of Lambda Calculus 6: Recurring Problems

Shifts with de Bruijn Indices in Lambda Calculus.

Can we talk about C++ style lambda captures?

Learn rust + aws lambda

Toda Arrow function é uma lambda?

The Lambda Calculus (2023)

API Gateway Lambda OIDC Authorizer

Smalltalk and Lambda Calculus

A positive lambda: '+[]{}'

More →