Modulus
Hosting, Scaling, and Data for Node.js applications
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
2023-08-16
Ask HN: If we train an LLM with “data” instead of “language” tokens
2023-08-16
Show HN: Retinello – An AI-Driven Learning Platform with Custom Context
2023-08-16
Show HN: Prompt-Compose.js Use Axioms and Compositions to Build Modular Prompts
2023-08-16
The New York Times forbids using its content to train AI models
2023-08-16
Ask HN: Given the Data Processing Inequality, Can LLMs Produce Novel Knowledge?
2023-08-16
OctoPack: Instruction Tuning Code Large Language Models
2023-08-16
The New York Times forbids using its content to train AI models
2023-08-15
I Got Rickrolled by a Terraform Module
2023-08-15
On Modularity of Lexical Analysis
2023-08-15
