Skip to content

Instantly share code, notes, and snippets.

@tgbugs
tgbugs / why-coalton-is-a-language.org
Created August 26, 2023 18:56 — forked from digikar99/why-coalton-is-a-language.org
An attempt at introducing Coalton to lispers without a background in ML-like languages

Coalton: Why is the interop not easier, and why might it be necessary for Coalton to be an entire language in itself?

If you came here searching for the context in which some reddit comments were written, you might want to check out this previous version of the article.

Several blog posts have been written about Coalton, about how it can be useful and what it brings to the table. However, to me, it hasn’t been clear why Coalton is the way to solve the problems that it does solve. Isn’t a simpler solution possible without making a full embedded language, and giving users the cognitive overhead of thinking about interop between normal lisp and coalton?

I have been thinking about this for a while as one of my pasttimes, and below I’ll summarize the better reasons why coalton might be the way it is. Perhaps, I couldn’t se

@tgbugs
tgbugs / why-coalton-is-a-language.org
Created August 26, 2023 18:56 — forked from digikar99/why-coalton-is-a-language.org
An attempt at introducing Coalton to lispers without a background in ML-like languages

Coalton: Why is the interop not easier, and why might it be necessary for Coalton to be an entire language in itself?

If you came here searching for the context in which some reddit comments were written, you might want to check out this previous version of the article.

Several blog posts have been written about Coalton, about how it can be useful and what it brings to the table. However, to me, it hasn’t been clear why Coalton is the way to solve the problems that it does solve. Isn’t a simpler solution possible without making a full embedded language, and giving users the cognitive overhead of thinking about interop between normal lisp and coalton?

I have been thinking about this for a while as one of my pasttimes, and below I’ll summarize the better reasons why coalton might be the way it is. Perhaps, I couldn’t se

@tgbugs
tgbugs / utils-server.rc
Created November 29, 2018 07:27
racket servlet daemon
#!/sbin/openrc-run
# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
: ${LOG_LEVEL:=info}
: ${GROUP:=servers}
: ${USER:=servers}
: ${LOG_LOC:="/var/log/servers"}
# useradd servers -m -d /var/lib/servers -u 950 -g 950
@tgbugs
tgbugs / numbering_mismatch.diff
Created December 3, 2017 14:02
cogat.owl (converted to turtle) numbering mismatch between 0.3.0 and 0.3.1
--- NIF-Ontology/ttl/external/cogat.ttl 2017-12-03 05:37:46.221264069 -0800
+++ cogat/ontology/cogat.ttl 2017-12-03 05:32:11.467290677 -0800
@@ -1,4 +1,5 @@
@prefix : <file:///ERROR/EMPTY/PREFIX/BANNED/> .
+@prefix BFO1SPAN: <http://www.ifomis.org/bfo/1.1/span#> .
@prefix CAO: <http://www.cognitiveatlas.org/ontology/cogat.owl#CAO_> .
@prefix COGAT: <http://www.cognitiveatlas.org/ontology/cogat.owl#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@@ -12,36 +13,32 @@
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@tgbugs
tgbugs / scigraph_example.py
Created February 11, 2016 22:52
how to use scigraph_client
from scigraph_client import Vocabulary, Graph
v = Vocabulary(quiet=False)
output_json_1 = v.findByTerm('brain')
output_json_2 = v.searchByTerm('brain')
print('term results', output_json_1)
print('search results', output_json_1)
@tgbugs
tgbugs / pguri-9999.ebuild
Created November 7, 2015 03:41
gentoo ebuild for pguri
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
inherit git-2
EGIT_REPO_URI="git://github.com/petere/pguri.git"