mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

#lisp

34 posts31 participants0 posts today

screwlisp.small-web.org/emacs/

My #emacs #writing #writingExperience #emacsCarnival submission.

Discussing my transition to #eev away from being a heavy user of the popular #orgmode.

My writing primarily concerns #lisp #programming, so the difference between #eepitch and #orgBabel features heavily.

Looking forward to hearing from everyone including the other emacs carnivalians.

CC @greg (Writing Experience emacs carnival host)

screwlisp.small-web.orgWriting Experience - my eev & org comparison for emacs carnival
Replied in thread

@monkey1 @serge @kephalos This. Recursion is the basic building block of the universe. If you look at fern moss, or waterfalls, of birch trees, or clouds, or galaxies, or the human body, you can see that if God does not write #Lisp, God writes some language so close to Lisp as to make no difference.

@serge @kephalos I'm going to politely disagree with you. I am one of those people whose first introduction to computing was through #BASIC, and it was a thoroughly bad introduction. It's not a language in which it is easy to think.

I'm fortunate in that two years later I was introduced to #Lisp. I don't think I would have totally given up computing if I hadn't met Lisp, but I would not have become the person I am now.

I owe a lot to a few programming languages that taught me how to design a language, both from an engineering standpoint and computer science.

#Lisp & #haskell for what a good programming language might look like.

#Agda, #Idris2, #lean4 to show me how useful dependent types are.

#C++, to teach me what to avoid

#python, #javascript to be such giant examples of shitty languages and give me hope that I can do better. 😂

New general purpose processor chip that's claimed to be two orders of magnitude more power efficient than ARM, which is exciting enough in itself. But more, it's a hardware #DataFlow engine, so it looks to me as though it would be an ideal architecture for functional languages including #Lisp .

Downside, from what I've read so far? It appears to depend on proprietary compiler technology -- the compiler is obviously considerably different from a conventional design.

efficient.computer/electron-e1

www.efficient.computerEfficient Computer | E1 General-Purpose ProcessorMeet E1: the world’s most energy efficient general-purpose processor, fit to unlock unimaginable applications across industries.

🍷 Veritas v0.1.6: The #guile #scheme (#lisp) testing framework

codeberg.org/jjba23/veritas

Updated on #guix : codeberg.org/guix/guix/pulls/1

A lot of improvements made to it!✨
- More latin puns
- We have a powerful #test runner with auto-discovery and a lot of configurability
- Environment variables for more control
- Stability and performance improvements (on concurrency especially)
- Benchmarks with statprof
- Delayed computations in assertion
- Running ONLY tests or suites that match a regex

Replied in thread

P.S.
If that allusion is too obscure:
the three witches greet Macbeth, ending with
"All hail, Macbeth, who shalt be king hereafter!"

Then Banquo, his comrade-in-arms, inquires about himself and is told:
"Lesser than Macbeth and greater.
Thou shalt get kings though thou be none."

["Get" for"beget".]

#Lisp
#Macbeth
#Shakespeare

@phil @screwlisp