Mezzano
sb-simd
Our great sponsors
Mezzano | sb-simd | |
---|---|---|
48 | 11 | |
3,481 | 72 | |
- | - | |
4.4 | 8.4 | |
about 2 months ago | almost 2 years ago | |
Common Lisp | Common Lisp | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Mezzano
-
A standalone zero-dependency Lisp for Linux
Have you made or plan to make any contributions to Mezzano (https://github.com/froggey/Mezzano) or are you mainly interested in seeing how far you can take this thing on your own?
- Ask HN: What are some of the most elegant codebases in your favorite language?
- Mezzano, an operating system written in Common Lisp
- Mezzano – An operating system written in Common Lisp
-
Why Lisp?
>> except building compilers and OSes
SBCL is written in Lisp, yes? Except the runtime, which is C + asm.
I've heard people wrote some OSes in the past, like Genera. Or if you prefer recent attempt, try https://github.com/froggey/Mezzano. Never tried it, though.
-
Help needed - new programming language
No need to.
-
Dynamic, JIT-compiled language for systems programming?
Not at all. See mezzano for a notable recent example of an OS written entirely in a dynamic language.
-
What help is needed for Lisp community in order to make Lisp more popular?
So..
"Why do you want to make Lisp more popular? If you were sucessful, what would be different in the world, and why is that desirable to you?"
Normally at this point I'd listen to the response, and ask more questions based on that. That would wind up with a very, very deep thread, so I'll break a cardinal rule and pre-guess at some answers.
This kind of question comes up pretty frequently. In many cases, I suspect the motivation behind the question is "Wow! Here's this cool tool I've discovered. I want to make something really useful with it. I want to do it as part of a community effort; share my excitement with others, share in their excitement, and know that what I'm making is useful because others find it desirable and are excited by it." The field could be cooking, sports, old machine tools, tiny homes, or demo scene. Its the fundemental driver for most content on HN, YouTube, Instructables, and such. It is a Good Thing.
If that is your motivator, then my suggestion is to find something that bugs you and fix it. You've already decided you're only interested in code, not other aspects. You said you preferred vim, but the emacs ecosystem has a very rich set of sharp edges that need filing off, and a rich set of tools with which to attack them.
One example: even after 50 years there's no open IDE which allows you to easily globally rename a Lisp identifier. I don't know about LispWorks or other proprietary environments, but you can't in emacs or vim do a right-click on "foo" in "(defun foo ()...)" and select a command which automatically renames it in all invocations. [Queue lots of "but you can..." replies here.] I don't think vim is up to the task of doing this internally. It would be possible in emacs; but would require a huge effort with lots of help from other people. If you emerged alive from that rabbit warren you'd join the company of Certified "How Hard Could it Be?" Mad Scientists such as Dr. "I just want to draw molecules" Meister [1] and "Wouldn't an OS in Lisp be Cool" Froggey [2].
[1] https://github.com/clasp-developers/clasp
[2] Mezzano https://github.com/froggey/Mezzano
-
Emacs should become a Wayland compositor
You might want to look at Mezzano which is an operation system written in Common Lisp https://github.com/froggey/Mezzano
I haven’t tried it since moving to M1/ARM, but it is cool.
- are there emacs machines?
sb-simd
-
The Usability of Advanced Type Systems: Rust as a Case Study
> fully dynamic
Well, no, it's SBCL. Common Lisp has support for types, but most compilers only use them for optimization, SBCL goes one step further and emits warnings when you mismatch types. And looking at the code, I can see lots of type declarations.
It's also interesting to note that the code does not seem to be using SBCL's new SIMD library*, so it could be sped up even more.
* <https://github.com/marcoheisig/sb-simd>, see the texinfo file for documentation.
-
Implementation comparison
I suppose that using arrays + using SIMD instructions could be even faster. Someone is already doing that: https://github.com/marcoheisig/sb-simd/blob/master/examples/simd-dot.lisp .
-
Which programming language or compiler is faster
Common Lisp (sbcl) performance via native implementation of simd [0] is very impressive ! It is litteraly acheieving C/Cpp speeds (within few ms). Great work by Marco Heisig
[0] https://github.com/marcoheisig/sb-simd
-
sb-simd vectorization speed
Here is another demonstration of how effective SIMD vectorization can be using sb-simd.
-
Quite amazing SBCL benchmark speed with sb-simd vectorization
You can see on Programming Language and Compiler Benchmark site the amazing speed of SBCL when sb-simd is used for vectorization.
-
How to speed up array writes?
For SBCL-specific, Marco and Bela have put in a ton of work at sb-simd - may be the OP finds the relevant simd interface there!
-
Programming Language and compiler Benchmarks
And sb-simd is getting very-very impressive to say the least thanks to Marco Heisig.
-
Best Lisp(s) for Functional & (seperately) Systems programming?
You can use sb-simd for manual vectorisation with SBCL. Manual vectorisation is definitely more hassle than automatic vectorisation, but often worth it.
-
Common Lisp (SBCL) slower than Python 3.9?
Fully agreed. One more library that could open up areas is also coming soon. Though documentation is still to be written. Please check sb-simd I wish I could have supported Marco even more.
- Question about Cons cell implementations
What are some alternatives?
mirage - MirageOS is a library operating system that constructs unikernels
sbcl - Mirror of Steel Bank Common Lisp (SBCL)'s official repository
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
PrimesResult - The results of the Dave Plummer's Primes Drag Race
Smalltalk - By the Bluebook implementation of Smalltalk-80
sleef - SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT
april - The APL programming language (a subset thereof) compiling to Common Lisp.
kandria - A post-apocalyptic actionRPG. Now on Steam!
ChezScheme - Chez Scheme
Programming-Language-Benchmarks - Yet another implementation of computer language benchmarks game
tao-theme-emacs - tao-theme - two uncoloured color themes for EMACS
Carp - A statically typed lisp, without a GC, for real-time applications.