lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

66
active users

#Lisp

16 posts13 participants1 post today

#leonardoCalculus #Sandewall #programming #objectOriented #simulation #lisp #commonLisp

I feel like this article is one of those moments that is a monumental achievement for the writer themselves, but precedes adding glitzy picture making (which will eventually come too).

If you remember, I was recapitulating my somewhat failed #lispgamejam #gamedev . This time and in about half a week just now - I got the plant/insect/bird Breitenbergian Vehicle simulation workin'.

screwlisp.small-web.org/lispga

I'm working on John Lisp, a #LISP in #Python that I cobbled together from other LISPs in Python that I've made, but it's a mess, being a chimera. I think I'm going to release it, but LISPs are so easy to make. And there's a bug I can't pin down. I'm tempted to just make another.

Got the final chip emulator ported to SatouSynth from YunoSynth: the YM2413 (aka VRC7). So now the two libraries have the same chips implemented, one in #CommonLisp, one in #CrystalLang. SatouSynth (the #lisp one) is just slightly ahead in terms of functionality since I didn't back-port VGM seeking into YunoSynth yet, but I will soon, probably in a day or two.

This also means
#benben is now much closer to a v0.7.0 release. Just gotta fix up some unimplemented command line arguments, then finish the milestone for v0.7.0 (just one item left), then just do a thorough round of testing.

Testing will be a bit longer this time since the whole program was rewritten from scratch in Common Lisp, so I want to make sure everything is just right. I'll of course post new development AppImages as I go.

So my guess? Benben v0.7.0 will be out this fall.

#LinuxAudio

#programming #formal #ontology #lisp #Sandewall #knowledgeRepresentation #article #leonardoCalculus

Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes

Adding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?

screwlisp.small-web.org/lispga

screwlisp.small-web.orgLeonardo Calculus Knowledge Representation: Fleshing out organism’s attributes

#article #ontology #programming #formal #lisp #concrete

screwlisp.small-web.org/lispga

Plant Insect Bird practical formal ontology with Leonardo calculus

I revisit my #lispgames #gamejam #gamedev. In this article I create a formal ontology to be a vehicle for my concrete game redux of the jam (which had been lacklustre if technically interesting. Let's be technically interesting and have more lustre this time round.

Thoughts, commentary, ontological guidance gentle and stern if you will please.

Replied in thread

@robpike Cool to look at, but it's a well-known first-order error term of Stirling’s formula revealing itself in base-10 notation.

My code here differs slightly from what you did to get your results, but look at the (stubborn( similarities.

(defparameter *bernoulli-coeffs*
'(-1/12 1/360 -1/1260 1/1680 -1/1188)) ; not working this out from scratch lol

(defun log-error (n &optional (terms 3))
(let ((sum 0d0) (nk n))
(dotimes (j terms)
(setf sum (+ sum (/ (float (nth j *bernoulli-coeffs*) 1d0) nk)))
(setf nk (* nk n n))) ; N, N³, N⁵, …
sum))

(defun stirling-ratio (k &optional (places 25) (terms 3))
(let* ((n (expt 10d0 k))
(ratio (exp (log-error n terms))))
(format nil "~,vF" places ratio)))

(defun show-pattern (&optional (max-k 6) (places 25) (terms 3))
(loop for k from 1 to max-k
do (format t "k = ~d ⇒ ~a~%" k
(stirling-ratio k places terms))))

Try this with (show-pattern 15 17). This is from clisp, but it should work on any common lisp.

There are people much smarter than I that can probably do this more efficiently. but this should show you why you see what you see.

Google "borrow trail" for more info about what it is.