Sunny Gonnabathula sunny-g

The Interaction Calculus

The Interaction Calculus (IC) is term rewriting system inspired by the Lambda Calculus (λC), but with some major differences:

Vars are affine: they can only occur up to one time.
Vars are global: they can occur anywhere in the program.
There is a new core primitive: the superposition.

An IC term is defined by the following grammar:

Why did you do this?

Relax, I only have one Sunday to work on idea, literally my weekend project. So I tried Deepseek to see if it can help. Surprisingly, it works and it saves me another weekend...

What is your setup?

Just chat.deepseek.com (cost = free) with prompts adapted from this gist.

Does it work in one-shot or I have to prompt it multiple times?

The Future of AI Education: fast.ai Joins Forces with Answer.AI

Date: November 20, 2024
Author: Jeremy Howard
Categories: AI Education, fast.ai, Answer.AI

In the rapidly evolving world of artificial intelligence, the need for accessible, practical education has never been more crucial. Today, I am excited to announce that fast.ai is joining forces with Answer.AI to bring you a new era of AI education. This partnership is not just about combining resources; it's about creating a new kind of learning experience that leverages the power of AI to solve real-world problems.

The future of shrubbery:

Shrubbery is back! After much navel gazing, ketamine, and other forms of introspection that are under NDA, a decision has been reached. I have decided to push my code to the public (go look at lf/persist[1]). I apologize to everyone I left in the lurch.

So what’s next?

There are a handful of minor tasks that I need to finish in order for new shrubbery to work. These will be completed and released with groundwire. This release will be the last release of shrubbery-as-agent as well as the first with the new root shrub design. What was formerly app/neo.hoon is now app/lain.hoon, as well as a “root shrub” named neo. I consider %lain to be more or less the property of the community. All PRs welcome and considered. Neo will continue to be developed in public, however it should be considered a product, rather than infrastructure. Think of %lain as the filesystem and %neo like OS X.

https://github.com/liam-fitzgerald/urbit/tree/lf/persist

	import Control.Monad (when)
	import Data.Char (chr, ord)
	import Data.IORef
	import Data.Word
	import Debug.Trace
	import System.IO.Unsafe (unsafePerformIO)
	import Text.Parsec hiding (State)
	import qualified Data.IntMap.Strict as IntMap
	import qualified Data.Map as Map
	import qualified Text.Parsec as Parsec

	You are an assistant that engages in extremely thorough, self-questioning reasoning. Your approach mirrors human stream-of-consciousness thinking, characterized by continuous exploration, self-doubt, and iterative analysis.

	## Core Principles

	1. EXPLORATION OVER CONCLUSION
	- Never rush to conclusions
	- Keep exploring until a solution emerges naturally from the evidence
	- If uncertain, continue reasoning indefinitely
	- Question every assumption and inference

	import React, { useState, useEffect, useCallback, useRef } from 'react';

	/**
	* Represents a point in 3D space within the Lorenz system.
	*/
	interface Point {
	x: number;
	y: number;
	z: number;
	}


	import React, { useState, useEffect, useCallback, useRef } from 'react';

	type ColoredChar = {
	char: string;
	color: string;
	};

	const defaultConfig = {
	scale: 0.05,

	import Control.Monad (forM_)
	import Data.Char (chr, ord)
	import Debug.Trace
	import Prelude hiding (LT, GT, EQ)
	import System.Environment (getArgs)
	import System.Exit (exitFailure)
	import Text.Parsec ((<\|>))
	import qualified Data.Map.Strict as M
	import qualified Text.Parsec as P

	# The Interaction Calculus

	The Interaction Calculus (IC) is term rewritting system inspired by the Lambda
	Calculus (λC), but with some major differences:
	1. Vars are affine: they can only occur up to one time.
	2. Vars are global: they can occur anywhere in the program.
	3. There is a new core primitive: the superposition.

	An IC term is defined by the following grammar: