Do you guys like or dislike Reddit?

2023-06-14

Automated Notebook Analysis via ChatGPT Plugins

2023-05-12

LambdaPi: GPT-Driven Serverless Code Plugin

2023-04-18

Show HN: LambdaPi – Serverless Runtime Environment for LLM-Generated Code

2023-04-12

Lambda Calculus Tutorial

2023-04-03

Show HN: lambdaprompt – build, compose and call templated LLM prompts

2022-12-31

Show HN: Straight away on curved spaces [pdf]

2022-09-13

A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]

2022-05-10

Show HN: Jrosclient Java Client for ROS (Robotic Operation System)

2022-01-26

Show HN: Jeval allows to run Java scripts as ordinary executable files

2021-10-26