Trending

#LISP

Latest posts tagged with #LISP on Bluesky

Posts tagged #LISP

Preview
quiz.el v1.7 I wondered yesterday:

Figured out how to fix the headers in quiz.el: blog.davep.org/2026/04/08/q...

#emacs #lisp #elisp #programming

0 0 0 0
Preview
quiz.el v1.7 I wondered yesterday:

Figured out how to fix the headers in quiz.el: https://blog.davep.org/2026/04/08/quiz-el-v1-7.html

#emacs #lisp #elisp #programming

0 0 0 0
Preview
fasta.el v1.1 Today's Emacs Lisp package tidy-up is of a package I first wrote a couple of employers ago. While working on code I often found myself viewing FASTA files in an Emacs buffer and so I thought it would ...

Today's cleaned-up Emacs package is fasta.el; not really of much use to me any more, probably not of use to anyone else, but I couldn't ignore it.

blog.davep.org/2026/04/08/f...

#emacs #lisp #elisp #bioinformatics #programming

2 0 0 0
Preview
fasta.el v1.1 Today's Emacs Lisp package tidy-up is of a package I first wrote a couple of employers ago. While working on code I often found myself viewing FASTA files in an Emacs buffer and so I thought it would be fun to use this as a reason to knock up a simple mode for highlighting them.

Today's cleaned-up Emacs package is fasta.el; not really of much use to me any more, probably not of use to anyone else, but I couldn't ignore it.

https://blog.davep.org/2026/04/08/fasta-el-v1-1.html

#emacs #lisp #elisp #bioinformatics #programming

1 0 0 0
Preview
Почему я перестал писать bash-скрипты и написал свой язык Вам нужно пройтись по всем файлам в папке, найти те, в которых есть определённая строка, и переместить их в другую директорию. Казалось бы — 30 секунд работы. Вы открываете терминал, начинаете писать…...

Почему я перестал писать bash-скрипты и написал свой язык Время от времени мне нужно выполнить примитивный сц...

#скриптовый #язык #bash #функциональное #программирование #REPL #автоматизация #open #source #Rust #Lisp

Origin | Interest | Match

0 0 0 0
Original post on functional.cafe

Coalton is a typed language build on top of CommonLisp, which takes inspiration from Haskell, Scheme and Ocaml. It supports type classes and in general is fairly enjoyable to use as it integrates well into the existing Lisp tool support. I wrote a small optics library with it (WIP) […]

0 0 1 0
Preview
expando.el v1.5 While I have been doing a lot of hacking on blogmore.el, I haven't forgotten my plan to revisit and refresh some of my older personal packages. This evening I've paid some attention to expando.el.

A tidy up of another one of my old packages, expando.el, a tool to expand and view macros: blog.davep.org/2026/04/06/e...

#emacs #lisp #elisp #programming

0 0 0 0
Preview
expando.el v1.5 While I have been doing a lot of hacking on blogmore.el, I haven't forgotten my plan to revisit and refresh some of my older personal packages. This evening I've paid some attention to expando.el.

A tidy up of another one of my old packages, expando.el, a tool to expand and view macros: https://blog.davep.org/2026/04/06/expando-el-v1-5.html

#emacs #lisp #elisp #programming

0 1 0 0
Preview
blogmore.el v4.0 Despite having bumped it from 2.x to 3.x yesterday, I'm calling v4.0 on blogmore.el today. There's a good reason for this though. While tinkering with some of the configuration yesterday, and also ans...

blogmore.el v4.0 is available, with a tag removing command and a handful of utility functions made "public": blog.davep.org/2026/04/06/b...

#blogmore #blogging #ssg #emacs #lisp #elisp

0 0 0 0

Medley Interlisp comes with the BITMAPFNS library for reading, writing, and viewing bitmaps in the native system format.

files.interlisp.org/medley/lispu...

#interlisp #lisp

0 0 0 0
Preview
blogmore.el v3.1 When I first started writing blogmore.el it was just going to be a handful of commands that let me spin up a new blog post, and insert the odd link here and there when needed. Initially it only handle...

So blogmore.el has had a pretty big overhaul with a pretty big breaking change so now we're up to v3.1: blog.davep.org/2026/04/05/b...

#emacs #lisp #elisp #blogging #ssg #programming

0 0 0 0
A section of a design document I am working on, comprising text surrounding a box diagram. The text is:

In the beginning was the Word

My intention is that memory will be considered as an array of 64 bit words.

Each word may be considered as

1. a cons cell: two instances of object32, each having one mark bit, three tag bits and 28 payload bits;

2. a single object64, having one mark bit, seven tag bits, and 56 payload bits.

Note that, for any word, the first four bits comprise the mark and (part or all of) the tag, whether the cell is an object64 or a cons of two object32 s; for this reason, all object64s will have all of the first three
bits of the tag set. So:

[the diagram is inserted here; it comprises boxes illustrating the layout described in the text]

I've tried to do this with C structs but I've failed to get the bit fields to pack properly so I'm just going to be a barbarian and use bit masks and bit shifts.

A section of a design document I am working on, comprising text surrounding a box diagram. The text is: In the beginning was the Word My intention is that memory will be considered as an array of 64 bit words. Each word may be considered as 1. a cons cell: two instances of object32, each having one mark bit, three tag bits and 28 payload bits; 2. a single object64, having one mark bit, seven tag bits, and 56 payload bits. Note that, for any word, the first four bits comprise the mark and (part or all of) the tag, whether the cell is an object64 or a cons of two object32 s; for this reason, all object64s will have all of the first three bits of the tag set. So: [the diagram is inserted here; it comprises boxes illustrating the layout described in the text] I've tried to do this with C structs but I've failed to get the bit fields to pack properly so I'm just going to be a barbarian and use bit masks and bit shifts.

#Software peeps: do you still do box diagrams to work out how your structures will sit in memory?

#Lisp

2 1 0 0
Post image

Think Ruby needs less 'sugar'? Rubysyn is stripping down Ruby's syntax to its Lisp-based core, not to change how you code, but to build a stronger future for the language.

thepixelspulse.com/posts/rubysyn-ruby-synta...

#rubysyn #ruby #lisp

0 0 0 0
Preview
Readings shared April 4, 2026 The readings shared in Bluesky on 4 April 2026 are: Why Lean?. ~ Leonardo de Moura. #LeanProver #ITP A formalization of the Gelfond-Schneider theorem. ~ Michail Karatarakis, Freek Wiedijk. #LeanProve

Readings shared April 4, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #ATP #Agda #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Programming #Prolog #Racket #RocqProver

2 0 0 0

The pseudo scripts I'm talking about are not exactly like GDScript resources you have within Godot. They are semi-opaque to the Godot editor, because they are defined within a #Lisp runtime. But functional just as much as a regular scripts - that's the best part.

0 1 0 0
Video

Nonetheless, #Pozzo is already functional. A small teaser for Emacs-minded SLIME/SLY peeps. It's not much, but it's interactive, it's #Lisp, it's REPL and it drives #Godot instance.

0 0 0 0
Preview
blogmore.el v2.7 There's no question that the experiment that is BlogMore has resulted in me blogging more. Although my previous setup wasn't exactly all friction, there's something about "owning" most of the tools an...

So I needed to make a second release of blogmore.el in one day: blog.davep.org/2026/04/04/b...

#emas #lisp #elisp #programming #blogging #ssg

1 0 0 0
Preview
blogmore.el v2.7 There's no question that the experiment that is BlogMore has resulted in me blogging more. Although my previous setup wasn't exactly all friction, there's something about "owning" most of the tools and really knowing how they work, and being able to quickly modify them so they work "just so", that makes me more inclined to quickly write something up.

So I needed to make a second release of blogmore.el in one day: https://blog.davep.org/2026/04/04/blogmore-el-v2-7.html

#emas #lisp #elisp #programming #blogging #ssg

0 0 0 0
Preview
blogmore.el v2.6 Like most people, I imagine, I first ran into transient when first using magit. I took to it pretty quickly and it's always made sense to me as a user interface. But... I've never used it for any code...

I've release blogmore.el v2.6, which adds a useful menu approach using transient.

blog.davep.org/2026/04/04/b...

#emacs #lisp #elisp #blogging #programming #ssg

1 0 0 0
Preview
blogmore.el v2.6 Like most people, I imagine, I first ran into transient when first using magit. I took to it pretty quickly and it's always made sense to me as a user interface. But... I've never used it for any code I've ever written.

I've release blogmore.el v2.6, which adds a useful menu approach using transient.

https://blog.davep.org/2026/04/04/blogmore-el-v2-6.html

#emacs #lisp #elisp #blogging #programming #ssg

0 0 0 0
Original post on mastodon.scot

SO!

I can fix my code so that the arguments to FEXPRs are not evaluated, by deferring the call to EVLIS into APPLY; but this is not what the code given on pages 70-71 does, and so my code will then not directly follow the specification in the #Lisp 1.5 Programmer's Manual;

OR,

I can not do […]

0 0 0 0
Original post on mastodon.scot

OK, Beowulf bug. Both EVAL and APPLY in Beowulf are straight transcriptions of the mexprs on pages 70 and 71 of the #Lisp 1.5 Porgammer's Manual.

CONC is the only FEXPR I have implemented so far (and one of only FEXPRs in the manual).

The unit test for CONC fails, because EVLIS is called on […]

0 0 1 0

What Gödel discovered. ~ Stepan Parunashvili. stopa.io/post/269 #Logic #Math #Lisp #Programming

2 1 0 0
A Lisp trace of the evaluation of the function RANGE, in Beowulf. Beowulf is a recreation of Lisp 1.5, and therefore has all its prompts and error messages written in Old English.

The evaluation trace naturally forms the symbol Lambda.

A Lisp trace of the evaluation of the function RANGE, in Beowulf. Beowulf is a recreation of Lisp 1.5, and therefore has all its prompts and error messages written in Old English. The evaluation trace naturally forms the symbol Lambda.

I've been hacking on Beowulf again, today; and I'm reminded how enchanted I am with the Beowulf logo, which sort-of designed itself.

I take no credit for it, really.

#Lisp 1.5

https://git.journeyman.cc/simon/beowulf

0 0 0 0
Post image

Finally, after all these years, having a play with transient.

#emacs #lisp #elisp

1 0 0 0
Preview
nukneval.el v1.3 Back when I first really got into writing Emacs Lisp code, one of the first things I got very used to and really fell in love with was being able to eval-last-sexp (C-x C-e) the code I was writing, ei...

Updated another #Emacs package I've carried around for years, and it's another one I wrote a long time back, called nukneval.el: blog.davep.org/2026/04/03/n...

#Lisp #Elisp #programming

0 0 0 0
Preview
nukneval.el v1.3 Back when I first really got into writing Emacs Lisp code, one of the first things I got very used to and really fell in love with was being able to eval-last-sexp (C-x C-e) the code I was writing, either to test it right there in the buffer, or to cause it to be bound so I could use it elsewhere. It was so different from any other mode of working I'd used before and it was really addictive as a way of hacking on code.

Updated another #Emacs package I've carried around for years, and it's another one I wrote a long time back, called nukneval.el: https://blog.davep.org/2026/04/03/nukneval-el-v1-3.html

#Lisp #Elisp #programming

0 0 0 0
Preview
make-phony.el v1.3 A wee bit over 5 years back I wrote a tiny package to quickly insert PHONY target markers into a Makefile. While it's far from my most-used package, it's one that gets a call on occasion, so it's one ...

Gave make-phony.el a little cleanup and update: blog.davep.org/2026/04/03/m...

#emacs #lisp #elisp

0 0 0 0
Preview
make-phony.el v1.3 A wee bit over 5 years back I wrote a tiny package to quickly insert PHONY target markers into a Makefile. While it's far from my most-used package, it's one that gets a call on occasion, so it's one I still carry around in my Emacs configuration.

Gave make-phony.el a little cleanup and update: blog.davep.org/2026/04/03/make-phony-el...

#emacs #lisp #elisp

0 0 0 0

This 1988 report contains rare screenshots of Jericho Interlisp, an Interlisp-D port to the experimental Jericho workstation developed at BBN in the early 80s.

apps.dtic.mil/sti/tr/pdf/A...

More details on the Jericho (page 6):

ojs.aaai.org/aimagazine/i...

#interlisp #bbn #lisp #retrocomputing

0 0 0 0