kmx.io Blog

• • 2025-02-10 12:43:37 Viewed 1820 times

    KC3 macros are like Common Lisp macros, but with pattern matching and formal semantics for algorithmic types.

  • KC3 macros are like Common Lisp macros with Elixir pattern-matching and can destructure and return KC3 algorithmic data structures.

    Macros are like functions but start with macro instead of fn and their arguments do not get evaluated. Ho...

• • 2025-02-09 19:22:37 Viewed 989 times

    KC3, the programming language with eval- and run-time introspective semantics.

  • We released version 0.1.14 of our prototype for a semantic-oriented programming language.

    The core of the language, the triple store and recursive iterator query system which we call facts-db, is used everywhere in the language. From...

• • 2024-12-31 11:37:15 Viewed 967 times

    OpenBSD on SPARC64

  • We have three SPARC64 machines at kmx.io. One is a SUN Entreprise 5400, and we have two SUN Ultra 60 of which one is broken : the bios needs an update which is a pai...

• • 2024-12-22 16:29:21 Viewed 934 times

    New Lenovo X1 Carbon gen 12 almost compatible with OpenBSD 7.6-current

  • It seems that OpenBSD 7.6-current (snapshots) amd64 is installable on our new Lenovo X1 Carbon gen 12.

    Suspend/resume works, audio works, graphics are incredible (120Hz) with OpenGL 4.6 running fully accelerated by Intel graphics (firmwa...

• • 2024-12-21 12:46:48 Viewed 746 times

    An example of purely functional KC3 code

  • Here are a few examples of KC3 code. Some are original pieces for this article, some are taken from existing code.

    Factorial

    def factorial = fn {
      (0) { 1 }
      (n) {
        if (n > 0) do
          n * factorial(n - 1)
        ...