Search
361 results for “daviwil”
-
The user @[email protected] beyond the Mastodon Iron Curtain of the Balkanised Activitypub Federation asked David Wilson whether or not there is an equivalent for the GNU Guile
matchsyntax (also the documentation):@daviwil is there an equivalent in emacs lisp?
I would have replied that currently we have
pcase, but the boffins (including RMS!) at GNU are working hard oncond*, but I cannot. Oh well!imaginary cc: @[email protected]
#activitypub #balkanisation #emacs #gnu #guile #mastodon #mastodonironcurtain
-
My test bed X270 now has a working #guix system installed. I am still wrestling with the config files for sway, but making good progress. Thanks @daviwil for the guidance through #systemcrafters
-
うぉっ、EXWMの起動がめっちゃ早くなった! 🏎 =3
"Startup Performance"
。 。
(\_/) ___________________
(。-ω-)|
/ > :emacs: | 休眠中
⊂ ⊃ | ｽﾔｧ (。-ω-) 💤
|___________________
#Emacs #Emacsはいいぞぉ
https://github.com/daviwil/dotfiles/blob/master/Emacs.org#startup-performance -
RE: https://mastodon.social/@ctietze/116503658915086513
Nowadays, I almost never use a separate terminal as I cover all my use cases with vterm/eshell inside #emacs. While vterm is good, it has some quite rough edges here and there.
Recently, I was playing with #ghostty and it was super performant, standard complaint and just felt really nice. I guess ghostel can become my goto choice, when we properly package ghostty for #Guix.
I'm really glad to find this project, thanks to @daviwil for boosting the post 👇
-
What are the gifts of #Emacs? What does she provide that is precious to us? @chesheer
First gift: the Four Freedoms. I have learned a little, over lo, these 37 years, but (as @joeress might say) "I'm too thick." I cannot replace most of my packages, much less write a featureful version control like #Magit!
Second gift: the Community! Let the world know that I still trust @tarsius with my life. Here I again publicly thank him for Magit. I could give up this package or that package, but I WILL FIGHT to support @publicvoit @daviwil @sacha @rougier @howard @bbatsov @xenodium @danderzei @oantolin @minad @tusharhero @kickingvegas @divyaranjan @sanityinc @ramin_hal9001 @andros @yantar92 @bzg @mousebot @ericsfraga @amake @mms @pixelate @susam (sorry if I forgot you)
-
#blog front page works now I tried to "close" a kitten directive or w/e. https://screwlisp.small-web.org/
stand by for me
(1) blogging just like making game
(2) making that game.#lispgameJam https://itch.io/jam/spring-lisp-game-jam-2025 #gamedev #lisp Who else is even doing this other than @mdhughes @daviwil ??? inb4 look at the tag #springLispgamejam2025 #lispgames
-
Last year I started a webring like it was 1999 with the System Crafters community. And for its first anniversary I wrote a blog post about How I accidentally got better at self-hosting and FOSS contributing.
Sometimes you don’t have to wait for someone else, you can be a catalyst. Happy Birthday Craftering!
Thanks to @daviwil for fostering a great community and to @kern for building Ringfairy and being so encouraging.
-
Yes! My #emacs init file is finally my own. Brought over the last few modules from the crafted-emacs config over to my own setup. Feels so good to have a complete overview over everything emacs in one location :-) Extremely grateful to the #systemcrafters community and @daviwil for making the emacs transition so much easier for me, especially on the focus on creating a config that is _supposed_ to be superseded by a personal config when you get more experienced...
-
I brushed over my #emacs #orgmode and #orgagenda skills, and I feel ready to use org-agenda as my and only agenda.
There's one feature I need and am not totally sure about: how to access it on the go, on my phone for instance. I could export to ics and upload to an online calendar, or export to html and use that on my phone.
Any other suggestions or experience to share?
-
I brushed over my #emacs #orgmode and #orgagenda skills, and I feel ready to use org-agenda as my and only agenda.
There's one feature I need and am not totally sure about: how to access it on the go, on my phone for instance. I could export to ics and upload to an online calendar, or export to html and use that on my phone.
Any other suggestions or experience to share?
-
I brushed over my #emacs #orgmode and #orgagenda skills, and I feel ready to use org-agenda as my and only agenda.
There's one feature I need and am not totally sure about: how to access it on the go, on my phone for instance. I could export to ics and upload to an online calendar, or export to html and use that on my phone.
Any other suggestions or experience to share?
-
I brushed over my #emacs #orgmode and #orgagenda skills, and I feel ready to use org-agenda as my and only agenda.
There's one feature I need and am not totally sure about: how to access it on the go, on my phone for instance. I could export to ics and upload to an online calendar, or export to html and use that on my phone.
Any other suggestions or experience to share?
-
I brushed over my #emacs #orgmode and #orgagenda skills, and I feel ready to use org-agenda as my and only agenda.
There's one feature I need and am not totally sure about: how to access it on the go, on my phone for instance. I could export to ics and upload to an online calendar, or export to html and use that on my phone.
Any other suggestions or experience to share?
-
@aartaka I was curious how SRFI 253 could be supported without predicates, but I see the implementation-specific macros treat the predicates as identifier literals and translate them into the equivalent type names. That approach could definitely be made to work for #prescheme, nice!
I think the situation with support for explicit types in Scheme can be explained by survivorship bias. Programmers who strongly prefer type declarations are better served by other languages, so we're left with a community that are generally happy to omit them. FFI's are just one place where they're really not optional.
Cheers!
-
The systemcrafters website is on #cloudflare. This not only enables a tech giant to create profiles of people. #survillancecapitalism It's also very annoying to pass these "verify you are a human" checks when using tor.
Please move to a less invasive provider. Thanks.
@daviwil -
Trying to make @yasnippet work nicely with #companymode. There seems to be a backend company-yasnippet to be hooked into company-mode. Anyhow I don't understand how to properly use it with use-package. Esp. since the docs of that backend include women warning.
Any tips?
-
@bunz @prahou
@amszmidt ~ Viva la lispy revolution: https://mastodon.social/@amszmidt/110456317928556702
~ Gets many bites https://mastodon.social/@amszmidt/110424579983335258
#lispgamejam :
me (web mirrors) https://itch.io/jam/spring-lisp-game-jam-2023/topic/2881311/feedback-for-future-devlog-posts-for-my-jam
@cwebber & the spritely institute make an r7rs 2 webassembly compiler https://octodon.social/@cwebber/110458916915980059
@etenil uses SDL2 chicken scheme interactively in #emacs with #geiser https://emacs.ch/@etenil/110456828202212420
@dthompson https://toot.cat/@dthompson/110434662286687539
@daviwil https://fosstodon.org/@daviwil/110439122120296275
many more#retrofuturistic tooting: https://toobnix.org/w/7Dai4JKJYFw3H14ydrD1Ku
-
@aartaka thanks for working on SRFI 253, and thanks for your interest in #prescheme!
The original/legacy implementation of Pre-Scheme provides no support for runtime type checks. This is because there is no type information available at runtime; all types are inferred & resolved at compile-time, and the type information is discarded when lowering to machine code. This reflects the functionality of C, which has no analogue for Scheme's `integer?`.
It does have explicit types in two places: the definition of record types (where each field must have a type), and the declaration of external identifiers. The notation for types uses `(=> (integer integer) integer)` to represent a binary operation on integers, and `(^ integer)` to represent a pointer-to-integer. This resembles Chicken's notation (http://wiki.call-cc.org/man/5/Types) if `=>` was an alias for `procedure`, though Chicken doesn't appear to support typed pointers.
Given this starting point, something like Chicken's `:` and `the` (which is also a Common Lisp-ism) would be the easiest way to extend Pre-Scheme with support for type annotations. As for Bigloo's `::` type suffixes, they're not compatible with Scheme's rules for identifier naming, and therefore not compatible with Pre-Scheme's goal of being a Scheme "subset".
I think the "holy grail" for a future version of Pre-Scheme would be to support Scheme's type predicates as compile-time checks. This would be the most natural system for Scheme programmers, and could form the basis of a lightweight type checking syntax compatible with SRFI 145 and SRFI 253. In addition to type checking, predicates would introduce a general mechanism for ad-hoc polymorphism to Pre-Scheme, which would be very useful, but has implications for type inference which need to be explored.
In the coming months I'll be working on some initial (simpler!) extensions for Pre-Scheme's type system to support sized numeric types, polymorphic arithmetic, and unions/sum types. These all touch on the same topic from slightly different directions, and I'll be in a better position to plan further extensions once they're done.
-
🔴 Today on #SystemCrafters Live, we'll start building a web-based MUD (multi-user dungeon) using Guile Scheme and Spritely Goblins!
We've laid the ground work on the most recent Crafter Hours stream, so this stream will be where we really start working on the game logic and try to build a fun game from scratch.
Join us here:
- https://youtube.com/live/Xq2uMjWJWE0
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll experiment with Spritely Goblins, a Guile Scheme library that provides a distributed programming model for writing secure, asynchronous code that can be called either locally or across a network.
Let's try it out to see if it might be a good fit for the Spring Lisp Game Jam next week!
Join us here:
- https://youtube.com/live/rs1xyXquFKE
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll take a look at the `org-transclusion` package and investigate the ways that it can be used to dynamically assemble Org Mode files from other text, source, and Org files that you have on your system.
Writing a book? Writing a literate Emacs config? This package might be useful!
Join us here:
- https://youtube.com/live/6U9wG-pf-aQ
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll take a look at `jj` (Jujutsu), an interesting distributed version control system that intends to be more user-friendly than Git while having even more advanced features.
Can `jj` be a good replacement for Git in the long term? Let's find out!
Join us here:
- https://youtube.com/live/zej0A21PJyc
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll take a look at `jj` (Jujutsu), an interesting distributed version control system that intends to be more user-friendly than Git while having even more advanced features.
Can `jj` be a good replacement for Git in the long term? Let's find out!
Join us here:
- https://youtube.com/live/zej0A21PJyc
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll take a look at `jj` (Jujutsu), an interesting distributed version control system that intends to be more user-friendly than Git while having even more advanced features.
Can `jj` be a good replacement for Git in the long term? Let's find out!
Join us here:
- https://youtube.com/live/zej0A21PJyc
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll take a look at `jj` (Jujutsu), an interesting distributed version control system that intends to be more user-friendly than Git while having even more advanced features.
Can `jj` be a good replacement for Git in the long term? Let's find out!
Join us here:
- https://youtube.com/live/zej0A21PJyc
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
-
🔴 Today on #SystemCrafters Live, we'll take a look at `jj` (Jujutsu), an interesting distributed version control system that intends to be more user-friendly than Git while having even more advanced features.
Can `jj` be a good replacement for Git in the long term? Let's find out!
Join us here:
- https://youtube.com/live/zej0A21PJyc
- https://twitch.tv/SystemCrafters
- https://systemcrafters.net/live🕐 in your time zone: https://time.is/compare/1800_in_Athens
