krismuniz

A Domain-Specific Language for Constrained Generation?

• I want to write a domain-specific language for producing LLM constraints, to use specifically for code generation.
• My main motivation at the moment is to write a framework for constrained generation that operates at the semantic level.
• I am curious to see how much of a deep integration we can write between a programming language's type system.

Mechanics

This is an example program for constraining the LLM output to be one of the following alternatives:

krismuniz

I Ask

var body: some View {
    VStack(alignment: .leading, spacing: 12) {
        Text("MacDiffusion")
            .font(.title)
            .multilineTextAlignment(.center)
        if (image != nil) {
 image

krismuniz

  // Available variables:
  // - Machine
  // - interpret
  // - assign
  // - send
  // - sendParent
  // - spawn
  // - raise
  // - actions

krismuniz

# $1 = the path to your png image
imageDir=$(dirname $1);
filename=$(basename $1);
name="${filename%.*}";

# create iconset directory
iconsetDir="${imageDir}/${name}.iconset";
mkdir $iconsetDir;

# generate resized images

krismuniz

import { serve, ServerRequest, Server } from "https://deno.land/std@v0.36.0/http/server.ts";

type Handler = (req: ServerRequest) => void

export default async function (port: number, handler: Handler) {
  const s: Server = serve({ port });
  
  for await (const req of s) {
    handler(req)
  }

krismuniz

This allows you to use back-access syntax to access items in an array or characters in a string.

In practical terms, it adds the negative integer in arr[-1] to the length of the array/string and tries to search for that property inside the object.

Examples

const arr = backAccess(['first', 'second', 'last'])
arr[-1] // => "last"
arr[-2] // => "second"

krismuniz

Various COBOL programs for SICI4144 – Fall 2016

These are a couple excersise programs for my programming languages class. In this example we learned the basics of the language, its roots, and explored the structured programming paradigm.

Programs

• calc2000 A simple future-value calculator (prog-calc.cbl)
• calcGPA GPA calculator (prog-calcGPA.cbl)
• stu1000 Creates a student list report taking file as input (prog-stu1000.cbl)

krismuniz

public class Bank {
  public static void main (String[] args) {
    BankAccount myAccount = new BankAccount(0, "Kristian");

    myAccount.deposit(10.20);
    myAccount.withdraw(5.10);
    System.out.println("Status: " + (myAccount.getIsActive() ? "Active" : "Inactve"));
    System.out.println("Owner: " + myAccount.getOwner());
    System.out.println("Balance: " + myAccount.getBalance());
  }