Fernando J. Corbató was a Professor Emeritus at MIT, renowned for his pioneering work in the development of time-sharing and resource-sharing computer systems. He was instrumental in creating the Compatible Time-Sharing System (CTSS) and Multics, both influential systems that laid the groundwork for modern operating systems. Corbató's contributions have been widely recognized through numerous awards and fellowships, including the Turing Award (1990) and the Computer Pioneer Award (1982). He was a long-time member of the MIT Computation Center and the Laboratory for Computer Science, and held leadership positions within the department. His work significantly impacted the field of computer science and the evolution of computing technology.
A forum dedicated to bug-lispm, a project related to the Lisp Machine. The page lists recent threads with their creation dates, titles, and number of posts/days spanned.
This GitHub repository directory contains resources for evaluating Large Language Models (LLMs), including a Jupyter Notebook demonstrating how to use LLM Arena as a judge and a Python script for the same purpose. It also includes a README file with instructions on how to view the notebook if it doesn't render correctly on GitHub.
An Apple study shows that large language models (LLMs) can improve performance by using a checklist-based reinforcement learning scheme, similar to a simple productivity trick of checking one's work.
A workshop that teaches you how to build your own coding agent. Similar to Roo code, Cline, Amp, Cursor, Windsurf or OpenCode.
Nvidia’s NeMo Retriever models and RAG pipeline make quick work of ingesting PDFs and generating reports based on them. Chalk one up for the plan-reflect-refine architecture.
SRE.ai, a Y Combinator-backed startup, has raised $7.2 million to develop AI agents that automate complex enterprise DevOps workflows, offering chat-like experiences across multiple platforms.
This repository contains the source code for the summarize-and-chat project. This project provides a unified document summarization and chat framework with LLMs, aiming to address the challenges of building a scalable solution for document summarization while facilitating natural language interactions through chat interfaces.
An open-source background coding agent. Designed to understand, reason about, and contribute to existing codebases. Licensed for open-source use under MIT License. It sets up isolated execution environments for AI agents to work on GitHub repositories with tools to understand code, edit files, and much more.
A pilot program allows teachers to use AI to tackle their classroom problems. Researchers found that teachers learned to build and customize tools quickly, but successful integration depended on solving specific problems rather than just seeking efficiency.
