This markdown is avaliable at github.com/Kiyoshi364/static-memory.
The link from Title is local to the git repository. The link from Main Repository is to somewhere else, you probably should use the link in this column to refer/cite/share.
| Type | Date (yyyy-mm) | Title | Where | Main Repository | Extras |
|---|---|---|---|---|---|
| BSc Thesis | 2024-02 | From Combinators to Concatenative and Back Again | UFRJ | Pantheon | slides pt-BR |
| Paper | 2024-09 | Converting Combinators to and from Concatenative | SBLP2024 | DOI(10.5753/sblp.2024.3460) | slides |
| Kind | Date (yyyy-mm[-dd]) | Title | Keywords | Place | Location | Slides | Extras |
|---|---|---|---|---|---|---|---|
| Meetup | 2025-11-14 | Towards an Implementation-Independent Interface for Reasoning about Semantic Web in Prolog | prolog; semantic web | 3rd Scryer Prolog Meetup | Hochschule Düsseldorf, Düsseldorf, Germany | image generators, repo, meetup discussion | |
| Invited | 2025-11-27 | Connections Between Applicative and Concatenative Tacit Programming | tacit programming; point-free programming; concatenative calculus; stack languages; combinatory logic; simulation | TallCat Seminars | TalTech, Tallinn, Estonia |
| Name | Kind | Summary | Language | Main Repository | Mirrors | Last Updated |
|---|---|---|---|---|---|---|
| wam | library/executable | 8-bit WAM interpreter, focusing on learning the abstract machine | C | github.com/Kiyoshi364/wam | - | 2025-03 |
| cbor.pl | file library | A prolog library for reasoning about CBOR | Prolog | gitlab.com/Hashi364/cbor-pl | github.com/Kiyoshi364/cbor-pl | 2025-02 |
| struct.pl | file library | A prolog library for defining and using structs-like functors | Prolog | gitlab.com/Hashi364/struct-pl | github.com/Kiyoshi364/struct-pl | 2025-02 |
| Yellowstone | executable | A Minecraft's Redstone inspired simulation | Zig | github.com/Kiyoshi364/yellowstone | - | 2024-06 |
| Cutils | many executables | Some self-contained small utilities written in C | C | github.com/Kiyoshi364/cutils | - | 2024-06 |
| crlf | executable | Converts files from linux to windows text file format or the other way around | Zig | github.com/Kiyoshi364/crlf | - | 2022-08 |
I am Daniel K Hashimoto (my first name is Daniel Kiyoshi), a master student at PPGI (UFRJ). My github account is Kiyoshi364, my gitlab is Hashi364.
If you run $ sha1sum "mailto:$EMAIL" (where $EMAIL is my email),
you should get a638c7eafa7ba4bbe8b9cab7281113798d09da13.
I called this markdown "static-memory" because static memory refers to a memory segment which holds global constants and variables allocated at the start of the program (in opposition to the ones allocated on the heap or the stack). And so does this markdown.
This markdown format was inspired by github.com/codereport/Content. It was generated via a Prolog script (see next subsubsection).
From machine-readable data files,
a Prolog script generates the tables in this readme
and some other data files in different formats in serializations/.
That's neat, right? If you think so too, feel free to take a look and inspire yourselffrom the generator's code. However, I won't give you any licences for it. Instead I encourage you to build your own generator specially tailored for your own needs.
If you choose to make your own generator, I suggest starting small and adding more as you go. I also suggest spliting the code in some parts:
- database: a human-writable and machine-readable file to hold your data. I use the script language for that, but you can also use any data format (JSON, TOML, YAML, ZIGGY, ...).
- serializer: a code that transforms your data into your desired format, such as a markdown table, a PDF, other data formats, ...
- (optional) checking: a code to verify that you have not done any silly mistakes while hand-editing the database file(s). You do not have to do this, but I am a bit paranoid, so I do it anyways.
- script: a glue code to read the database(, check it) and serialize it.
Consider taking a look at the commit
398266b20b5e119216b4116ee78b78e1757c53bb.
Machine-readable data
about what is in this readme.md
is available in serializations/ folder.
This data is also available at serializations/static-memory.typ.
Typst
#let publication = (
(
type: "BSc Thesis",
date: date(year: 2024, month: 02),
publication: link("file://./publications/From_Combinators_to_Concatenative_and_Back_Again.pdf")[From Combinators to Concatenative and Back Again],
where: link("https://ufrj.br/en/")[UFRJ],
main_repository: link("http://hdl.handle.net/11422/22871")[Pantheon],
extras: ( ( tag: "slides", type: "link", val: link("file://./publications/From_Combinators_to_Concatenative_and_Back_Again_slides.pdf")[slides pt-BR],), ),
), (
type: "Paper",
date: date(year: 2024, month: 09),
publication: link("file://./publications/Converting_Combinators_to_and_from_Concatenative.pdf")[Converting Combinators to and from Concatenative],
where: link("https://cbsoft.sbc.org.br/2024/sblp/?lang=en")[SBLP2024],
main_repository: link("https://doi.org/10.5753/sblp.2024.3460")[DOI(10.5753/sblp.2024.3460)],
extras: ( ( tag: "slides", type: "link", val: link("file://./publications/Converting_Combinators_to_and_from_Concatenative_slides.pdf")[slides],), ),
),
);
#let talk = (
(
kind: "Meetup",
date: date(year: 2025, month: 11, day: 14),
title: "Towards an Implementation-Independent Interface for Reasoning about Semantic Web in Prolog",
keywords: ( "prolog", "semantic web", ),
place: link("https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2025/")[3rd Scryer Prolog Meetup],
location: "Hochschule Düsseldorf, Düsseldorf, Germany",
slides: link("file://./talks/Towards_an_Implementation-Independent_Interface_for_Reasoning_about_Semantic_Web_in_Prolog.pdf")[PDF],
extras: ( ( tag: "internal_ref", type: "link", val: link("file://./talks/Towards_an_Implementation-Independent_Interface_for_Reasoning_about_Semantic_Web_in_Prolog/")[image generators],), ( tag: "external_ref", type: "link", val: link("https://gitlab.com/Hashi364/semweb")[repo],), ( tag: "external_ref", type: "link", val: link("https://github.com/mthom/scryer-prolog/discussions/2948")[meetup discussion],), ),
), (
kind: "Invited",
date: date(year: 2025, month: 11, day: 27),
title: "Connections Between Applicative and Concatenative Tacit Programming",
keywords: ( "tacit programming", "point-free programming", "concatenative calculus", "stack languages", "combinatory logic", "simulation", ),
place: link("https://compose.ioc.ee")[TallCat Seminars],
location: "TalTech, Tallinn, Estonia",
slides: link("file://./talks/Connections_Between_Applicative_and_Concatenative_Tacit_Programming.pdf")[PDF],
extras: (),
),
);
#let project = (
(
name: ( tag: "text", type: "text", val: "wam",),
kind: "library/executable",
summary: "8-bit WAM interpreter, focusing on learning the abstract machine",
programming_language: link("https://en.wikipedia.org/wiki/C_(programming_language)")[C],
main_repository: link("https://github.com/Kiyoshi364/wam")[github.com/Kiyoshi364/wam],
mirrors: (),
last_updated: date(year: 2025, month: 03),
), (
name: ( tag: "link", type: "link", val: link("https://gitlab.com/Hashi364/cbor-pl/blob/main/cbor.pl")[cbor.pl],),
kind: "file library",
summary: "A prolog library for reasoning about [CBOR](https://en.wikipedia.org/wiki/CBOR)",
programming_language: link("https://en.wikipedia.org/wiki/Prolog")[Prolog],
main_repository: link("https://gitlab.com/Hashi364/cbor-pl")[gitlab.com/Hashi364/cbor-pl],
mirrors: ( link("https://github.com/Kiyoshi364/cbor-pl")[github.com/Kiyoshi364/cbor-pl], ),
last_updated: date(year: 2025, month: 02),
), (
name: ( tag: "link", type: "link", val: link("https://gitlab.com/Hashi364/struct-pl/blob/main/struct.pl")[struct.pl],),
kind: "file library",
summary: "A prolog library for defining and using structs-like functors",
programming_language: link("https://en.wikipedia.org/wiki/Prolog")[Prolog],
main_repository: link("https://gitlab.com/Hashi364/struct-pl")[gitlab.com/Hashi364/struct-pl],
mirrors: ( link("https://github.com/Kiyoshi364/struct-pl")[github.com/Kiyoshi364/struct-pl], ),
last_updated: date(year: 2025, month: 02),
), (
name: ( tag: "text", type: "text", val: "Yellowstone",),
kind: "executable",
summary: "A Minecraft's Redstone inspired simulation",
programming_language: link("https://ziglang.org/")[Zig],
main_repository: link("https://github.com/Kiyoshi364/yellowstone")[github.com/Kiyoshi364/yellowstone],
mirrors: (),
last_updated: date(year: 2024, month: 06),
), (
name: ( tag: "text", type: "text", val: "Cutils",),
kind: "many executables",
summary: "Some self-contained small utilities written in C",
programming_language: link("https://en.wikipedia.org/wiki/C_(programming_language)")[C],
main_repository: link("https://github.com/Kiyoshi364/cutils")[github.com/Kiyoshi364/cutils],
mirrors: (),
last_updated: date(year: 2024, month: 06),
), (
name: ( tag: "text", type: "text", val: "crlf",),
kind: "executable",
summary: "Converts files from linux to windows text file format or the other way around",
programming_language: link("https://ziglang.org/")[Zig],
main_repository: link("https://github.com/Kiyoshi364/crlf")[github.com/Kiyoshi364/crlf],
mirrors: (),
last_updated: date(year: 2022, month: 08),
),
);RDF Triples (Turtle)
This data is also available at serializations/static-memory.ttl.
Warning
I don't own a server,
so it is hard to do Cool URIs.
The only URIs I consider what are safe to dereference
are the one surrounded by <>.
In another words,
DO NOT dereference URIs from the : prefix.
Everything with the : prefix is custom made.
So, there is no formal specification/ontology for them.
The :-prefixed predicates are pretty much stable
(but don't trust me),
they are based on the tables from this readme.
However, the :-prefixed things/objects are experimental.
Because of that,
consider using a structural approach
instead of relying on the resources identifiers.
For example,
find a publication via
its name (rdfs:label)
or its homepage (foaf:homepage).
(Cool URIs - Section 6.2. Reference by Description
has some info on what I mean by this structural approach)
Turtle RDF Triples
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix : <http://github.com/Kiyoshi364/static-memory#> .
:me
foaf:firstName "Daniel Kiyoshi"@pt-BR ;
foaf:homepage <https://github.com/Kiyoshi364/static-memory> ;
foaf:made
:projects\/cbor.pl ,
:projects\/crlf ,
:projects\/cutils ,
:projects\/struct.pl ,
:projects\/wam ,
:projects\/yellowstone ,
:publications\/converting%20combinators%20to%20and%20from%20concatenative.pdf ,
:publications\/from%20combinators%20to%20concatenative%20and%20back%20again.pdf ,
:talks\/connections%20between%20applicative%20and%20concatenative%20tacit%20programming.pdf ,
:talks\/towards%20an%20implementation\-independent%20interface%20for%20reasoning%20about%20semantic%20web%20in%20prolog.pdf ;
foaf:mbox_sha1sum "a638c7eafa7ba4bbe8b9cab7281113798d09da13"^^xsd:hexBinary ;
foaf:name "Daniel K Hashimoto"@pt-BR ;
foaf:nick
"Hashi364"^^xsd:string ,
"Kiyoshi364"^^xsd:string ;
foaf:publications <https://github.com/Kiyoshi364/static-memory> ;
foaf:schoolHomepage <https://ppgi.ufrj.br/> ;
rdf:type foaf:Person ;
rdfs:label "Daniel K Hashimoto"@pt-BR ;
.
:projects\/cbor.pl
:kind "file library"^^xsd:string ;
:last_updated "2025-02"^^xsd:gYearMonth ;
:main_repository_link <https://gitlab.com/Hashi364/cbor-pl> ;
:main_repository_text "gitlab.com/Hashi364/cbor-pl"^^xsd:string ;
:mirrors_link <https://github.com/Kiyoshi364/cbor-pl> ;
:mirrors_text "github.com/Kiyoshi364/cbor-pl"^^xsd:string ;
:name_link_link <https://gitlab.com/Hashi364/cbor-pl/blob/main/cbor.pl> ;
:name_link_text "cbor.pl"^^xsd:string ;
:programming_language_link <https://en.wikipedia.org/wiki/Prolog> ;
:programming_language_text "Prolog"^^xsd:string ;
:summary "A prolog library for reasoning about [CBOR](https://en.wikipedia.org/wiki/CBOR)"^^xsd:string ;
foaf:homePage <https://gitlab.com/Hashi364/cbor-pl> ;
foaf:name "cbor.pl"^^xsd:string ;
foaf:page
<https://github.com/Kiyoshi364/cbor-pl> ,
<https://gitlab.com/Hashi364/cbor-pl> ;
rdfs:label "cbor.pl"^^xsd:string ;
.
:projects\/crlf
:kind "executable"^^xsd:string ;
:last_updated "2022-08"^^xsd:gYearMonth ;
:main_repository_link <https://github.com/Kiyoshi364/crlf> ;
:main_repository_text "github.com/Kiyoshi364/crlf"^^xsd:string ;
:name_text "crlf"^^xsd:string ;
:programming_language_link <https://ziglang.org/> ;
:programming_language_text "Zig"^^xsd:string ;
:summary "Converts files from linux to windows text file format or the other way around"^^xsd:string ;
foaf:homePage <https://github.com/Kiyoshi364/crlf> ;
foaf:name "crlf"^^xsd:string ;
foaf:page <https://github.com/Kiyoshi364/crlf> ;
rdfs:label "crlf"^^xsd:string ;
.
:projects\/cutils
:kind "many executables"^^xsd:string ;
:last_updated "2024-06"^^xsd:gYearMonth ;
:main_repository_link <https://github.com/Kiyoshi364/cutils> ;
:main_repository_text "github.com/Kiyoshi364/cutils"^^xsd:string ;
:name_text "Cutils"^^xsd:string ;
:programming_language_link <https://en.wikipedia.org/wiki/C_(programming_language)> ;
:programming_language_text "C"^^xsd:string ;
:summary "Some self-contained small utilities written in C"^^xsd:string ;
foaf:homePage <https://github.com/Kiyoshi364/cutils> ;
foaf:name "Cutils"^^xsd:string ;
foaf:page <https://github.com/Kiyoshi364/cutils> ;
rdfs:label "Cutils"^^xsd:string ;
.
:projects\/struct.pl
:kind "file library"^^xsd:string ;
:last_updated "2025-02"^^xsd:gYearMonth ;
:main_repository_link <https://gitlab.com/Hashi364/struct-pl> ;
:main_repository_text "gitlab.com/Hashi364/struct-pl"^^xsd:string ;
:mirrors_link <https://github.com/Kiyoshi364/struct-pl> ;
:mirrors_text "github.com/Kiyoshi364/struct-pl"^^xsd:string ;
:name_link_link <https://gitlab.com/Hashi364/struct-pl/blob/main/struct.pl> ;
:name_link_text "struct.pl"^^xsd:string ;
:programming_language_link <https://en.wikipedia.org/wiki/Prolog> ;
:programming_language_text "Prolog"^^xsd:string ;
:summary "A prolog library for defining and using structs-like functors"^^xsd:string ;
foaf:homePage <https://gitlab.com/Hashi364/struct-pl> ;
foaf:name "struct.pl"^^xsd:string ;
foaf:page
<https://github.com/Kiyoshi364/struct-pl> ,
<https://gitlab.com/Hashi364/struct-pl> ;
rdfs:label "struct.pl"^^xsd:string ;
.
:projects\/wam
:kind "library/executable"^^xsd:string ;
:last_updated "2025-03"^^xsd:gYearMonth ;
:main_repository_link <https://github.com/Kiyoshi364/wam> ;
:main_repository_text "github.com/Kiyoshi364/wam"^^xsd:string ;
:name_text "wam"^^xsd:string ;
:programming_language_link <https://en.wikipedia.org/wiki/C_(programming_language)> ;
:programming_language_text "C"^^xsd:string ;
:summary "8-bit WAM interpreter, focusing on learning the abstract machine"^^xsd:string ;
foaf:homePage <https://github.com/Kiyoshi364/wam> ;
foaf:name "wam"^^xsd:string ;
foaf:page <https://github.com/Kiyoshi364/wam> ;
rdfs:label "wam"^^xsd:string ;
.
:projects\/yellowstone
:kind "executable"^^xsd:string ;
:last_updated "2024-06"^^xsd:gYearMonth ;
:main_repository_link <https://github.com/Kiyoshi364/yellowstone> ;
:main_repository_text "github.com/Kiyoshi364/yellowstone"^^xsd:string ;
:name_text "Yellowstone"^^xsd:string ;
:programming_language_link <https://ziglang.org/> ;
:programming_language_text "Zig"^^xsd:string ;
:summary "A Minecraft's Redstone inspired simulation"^^xsd:string ;
foaf:homePage <https://github.com/Kiyoshi364/yellowstone> ;
foaf:name "Yellowstone"^^xsd:string ;
foaf:page <https://github.com/Kiyoshi364/yellowstone> ;
rdfs:label "Yellowstone"^^xsd:string ;
.
:publications\/converting%20combinators%20to%20and%20from%20concatenative.pdf
:date "2024-09"^^xsd:gYearMonth ;
:extras_slides_link :publications\/Converting_Combinators_to_and_from_Concatenative_slides.pdf ;
:extras_slides_text "slides"^^xsd:string ;
:main_repository_link <https://doi.org/10.5753/sblp.2024.3460> ;
:main_repository_text "DOI(10.5753/sblp.2024.3460)"^^xsd:string ;
:publication_link :publications\/Converting_Combinators_to_and_from_Concatenative.pdf ;
:publication_text "Converting Combinators to and from Concatenative"^^xsd:string ;
:slides_link :publications\/Converting_Combinators_to_and_from_Concatenative_slides.pdf ;
:slides_name "slides"^^xsd:string ;
:type "Paper"^^xsd:string ;
:where_link <https://cbsoft.sbc.org.br/2024/sblp/?lang=en> ;
:where_text "SBLP2024"^^xsd:string ;
foaf:homepage <https://doi.org/10.5753/sblp.2024.3460> ;
foaf:name "Converting Combinators to and from Concatenative"^^xsd:string ;
foaf:page <https://doi.org/10.5753/sblp.2024.3460> ;
rdfs:label "Converting Combinators to and from Concatenative"^^xsd:string ;
.
:publications\/from%20combinators%20to%20concatenative%20and%20back%20again.pdf
:date "2024-02"^^xsd:gYearMonth ;
:extras_slides_link :publications\/From_Combinators_to_Concatenative_and_Back_Again_slides.pdf ;
:extras_slides_text "slides pt-BR"^^xsd:string ;
:main_repository_link <http://hdl.handle.net/11422/22871> ;
:main_repository_text "Pantheon"^^xsd:string ;
:publication_link :publications\/From_Combinators_to_Concatenative_and_Back_Again.pdf ;
:publication_text "From Combinators to Concatenative and Back Again"^^xsd:string ;
:slides_link :publications\/From_Combinators_to_Concatenative_and_Back_Again_slides.pdf ;
:slides_name "slides pt-BR"^^xsd:string ;
:type "BSc Thesis"^^xsd:string ;
:where_link <https://ufrj.br/en/> ;
:where_text "UFRJ"^^xsd:string ;
foaf:homepage <http://hdl.handle.net/11422/22871> ;
foaf:name "From Combinators to Concatenative and Back Again"^^xsd:string ;
foaf:page <http://hdl.handle.net/11422/22871> ;
rdfs:label "From Combinators to Concatenative and Back Again"^^xsd:string ;
.
:talks\/connections%20between%20applicative%20and%20concatenative%20tacit%20programming.pdf
:date "2025-11-27"^^xsd:date ;
:keywords
"combinatory logic"^^xsd:string ,
"concatenative calculus"^^xsd:string ,
"point-free programming"^^xsd:string ,
"simulation"^^xsd:string ,
"stack languages"^^xsd:string ,
"tacit programming"^^xsd:string ;
:kind "Invited"^^xsd:string ;
:location "TalTech, Tallinn, Estonia"^^xsd:string ;
:place_link <https://compose.ioc.ee> ;
:place_text "TallCat Seminars"^^xsd:string ;
:slides_link :talks\/Connections_Between_Applicative_and_Concatenative_Tacit_Programming.pdf ;
:slides_text "PDF"^^xsd:string ;
:title "Connections Between Applicative and Concatenative Tacit Programming"^^xsd:string ;
foaf:name "TallCat Seminars"^^xsd:string ;
rdfs:label "TallCat Seminars"^^xsd:string ;
.
:talks\/towards%20an%20implementation\-independent%20interface%20for%20reasoning%20about%20semantic%20web%20in%20prolog.pdf
:date "2025-11-14"^^xsd:date ;
:extras_external_ref_link
<https://github.com/mthom/scryer-prolog/discussions/2948> ,
<https://gitlab.com/Hashi364/semweb> ;
:extras_external_ref_text
"meetup discussion"^^xsd:string ,
"repo"^^xsd:string ;
:extras_internal_ref_link :talks\/Towards_an_Implementation\-Independent_Interface_for_Reasoning_about_Semantic_Web_in_Prolog\/ ;
:extras_internal_ref_text "image generators"^^xsd:string ;
:keywords
"prolog"^^xsd:string ,
"semantic web"^^xsd:string ;
:kind "Meetup"^^xsd:string ;
:location "Hochschule Düsseldorf, Düsseldorf, Germany"^^xsd:string ;
:place_link <https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2025/> ;
:place_text "3rd Scryer Prolog Meetup"^^xsd:string ;
:slides_link :talks\/Towards_an_Implementation\-Independent_Interface_for_Reasoning_about_Semantic_Web_in_Prolog.pdf ;
:slides_text "PDF"^^xsd:string ;
:title "Towards an Implementation-Independent Interface for Reasoning about Semantic Web in Prolog"^^xsd:string ;
foaf:name "3rd Scryer Prolog Meetup"^^xsd:string ;
rdfs:label "3rd Scryer Prolog Meetup"^^xsd:string ;
.