Focus on the referentially transparent, pure predicates.
Delight in unification and backtracking.
Rejoice in logical domain modelling relations.
/** | |
* Copyright (c) 2024 Mikael Brockman <https://github.com/mbrock> | |
* | |
* Permission is hereby granted, free of charge, to any person obtaining a copy | |
* of this software and associated documentation files (the "Software"), to deal | |
* in the Software without restriction, including without limitation the rights | |
* to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
* copies of the Software, and to permit persons to whom the Software is | |
* furnished to do so, subject to the following conditions: | |
* |
// transcription-client.js | |
class TranscriptionClient { | |
constructor(options = {}) { | |
this.language = options.language || 'en-US'; | |
this.websocketUrl = options.websocketUrl || this._getDefaultWebsocketUrl(); | |
this.onTranscript = options.onTranscript || (() => {}); | |
this.onInterimTranscript = options.onInterimTranscript || (() => {}); | |
this.onError = options.onError || console.error; | |
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | |
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | |
@prefix owl: <http://www.w3.org/2002/07/owl#> . | |
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | |
@prefix bfo: <http://purl.obolibrary.org/obo/bfo.owl#> . | |
@prefix mfo: <http://purl.obolibrary.org/obo/mfo.owl#> . | |
@prefix sfo: <http://timbl.org/ontologies/scent-flavor#> . | |
@prefix beer: <http://www.semanticbeer.org/ontology/> . | |
@prefix time: <http://www.w3.org/2006/time#> . |
// MIT license (c) Mikael Brockman | |
class TypeWriter extends HTMLElement { | |
limit = 0 | |
blind = new Range() | |
timer?: number | |
scout = new MutationObserver(() => { | |
this.update() | |
if (!this.timer) this.proceed() | |
}) |
document.addEventListener('DOMContentLoaded', function() { | |
let mediaRecorder; | |
let audioChunks = []; | |
let isRecording = false; | |
const recordBtn = document.getElementById('recordBtn'); | |
const transcriptionEl = document.getElementById('transcription'); | |
let token = localStorage.getItem('apiToken'); | |
if (!token) { | |
token = prompt('Please enter your OpenAI API token:'); |
;;; hole-mode.el --- fill holes with GPT-4 -*- lexical-binding: t -*- | |
;; Author: Mikael Brockman <[email protected]> | |
;; Version: 1.0 | |
;;; Commentary: | |
;; This package provides a minor mode for filling holes in code with AI. | |
;; | |
;; It is designed to work with the `llm' command-line tool, which is a |
// swa.sh - a tool, for naught | |
// Copyright (C) 2023 Mikael Brockman | |
// | |
// This program is free software: you can redistribute it and/or modify | |
// it under the terms of the GNU Affero General Public License as published by | |
// the Free Software Foundation, either version 3 of the License, or | |
// (at your option) any later version. | |
// | |
// This program is distributed in the hope that it will be useful, | |
// but WITHOUT ANY WARRANTY; without even the implied warranty of |
// I made this in like one hour while baby was napping. | |
// It's a proof of concept, but I hope to improve it soon. | |
// In particular, I really want to grab photos from Telegram. | |
// | |
// Make a page in your Roam called [[Telegram Bot]]. | |
// | |
// Put two nodes in there: | |
// | |
// API Key:: <key you get from Telegram's bot system> | |
// Last Update ID:: |
{-# Language DataKinds #-} | |
{-# Language FlexibleContexts #-} | |
{-# Language FlexibleInstances #-} | |
{-# Language KindSignatures #-} | |
{-# Language ScopedTypeVariables #-} | |
{-# Language TypeApplications #-} | |
{-# Language ViewPatterns #-} | |
module Tax where |