Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #206873
| From | Nicholas Geovanis <nickgeovanis@gmail.com> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: text editors |
| Date | 2019-04-01 16:00 +0200 |
| Message-ID | <xI5DI-2GF-3@gated-at.bofh.it> (permalink) |
| References | (7 earlier) <xH4JH-6ek-3@gated-at.bofh.it> <xI238-HI-13@gated-at.bofh.it> <xI237-HI-11@gated-at.bofh.it> <xI238-HI-19@gated-at.bofh.it> <xI5DI-2GF-5@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
[Multipart message — attachments visible in raw view] - view raw
On Mon, Apr 1, 2019 at 5:53 AM Gian Uberto Lauri <saint@eng.it> wrote: > .....Yet Lisp gave me something useful on my work, and that is not > just being used to functional programming, but also being ready to > accept that "Ok, guys, here is a place where you have to start > thinking _very_ differently from where you were used to"; and > understanding why elegance is so good in coding: a piece of elegant > code is a piece of code that you actually "feel" is good code, its > correctness being almos blatant :). > In other words, lisp and prolog (and clojure and guile and scheme....) give the "feeling" that "elegant code" can be the best software representation "in coding". Why? Because "the correctness is almost blatant", as stated. In other words, semantics collapses to syntax. As in mathematics.
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
text editors mick crane <mick.crane@gmail.com> - 2019-03-25 05:40 +0100
Re: text editors Cindy-Sue Causey <butterflybytes@gmail.com> - 2019-03-25 06:00 +0100
Re: text editors Jude DaShiell <jdashiel@panix.com> - 2019-03-25 06:10 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-25 06:40 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-25 09:00 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-25 11:20 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-25 11:40 +0100
Re: text editors Dan Hitt <dan.hitt@gmail.com> - 2019-03-25 07:00 +0100
Re: text editors john doe <johndoe65534@mail.com> - 2019-03-25 07:40 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-25 12:10 +0100
Re: text editors rhkramer@gmail.com - 2019-03-25 12:50 +0100
Re: text editors rhkramer@gmail.com - 2019-03-25 13:10 +0100
Re: text editors Étienne Mollier <etienne.mollier@mailoo.org> - 2019-03-25 21:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-25 22:10 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-25 13:30 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-26 08:40 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-26 16:50 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-26 18:00 +0100
Re: text editors Håkon Alstadheim <hakon@alstadheim.priv.no> - 2019-03-26 21:20 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-27 03:30 +0100
Re: text editors rhkramer@gmail.com - 2019-03-27 13:10 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-27 14:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-27 15:10 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-27 15:40 +0100
Re: text editors rlharris@oplink.net - 2019-03-27 17:30 +0100
Re: text editors rlharris@oplink.net - 2019-03-28 18:40 +0100
keyboard macros (was: Re: text editors) rhkramer@gmail.com - 2019-03-28 19:00 +0100
Re: keyboard macros John Hasler <jhasler@newsguy.com> - 2019-03-28 19:30 +0100
Re: keyboard macros Cindy-Sue Causey <butterflybytes@gmail.com> - 2019-03-28 20:00 +0100
Re: keyboard macros rlharris@oplink.net - 2019-03-28 19:50 +0100
Re: keyboard macros John Hasler <jhasler@newsguy.com> - 2019-03-28 20:10 +0100
xfce launchers rlharris@oplink.net - 2019-04-03 18:40 +0200
Re: xfce launchers Mike Kupfer <mkupfer@alum.berkeley.edu> - 2019-04-04 07:20 +0200
Re: xfce launchers rlharris@oplink.net - 2019-04-04 07:40 +0200
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 06:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 03:40 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 03:50 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 08:00 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 09:20 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 10:40 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:10 +0100
Emacs without knowing any Lisp (was: text editors) Ben Finney <bignose@debian.org> - 2019-03-29 02:50 +0100
Re: Emacs without knowing any Lisp (was: text editors) Bill Wood <william.wood3@comcast.net> - 2019-03-29 06:50 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 14:10 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 14:50 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-28 14:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 15:20 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 15:30 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:30 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 00:40 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 06:30 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-29 09:00 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 10:20 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 12:40 +0100
Re: text editors Stefan Monnier <monnier@iro.umontreal.ca> - 2019-03-29 18:00 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 19:50 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-29 20:10 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-30 00:10 +0100
Re: text editors Gene Heskett <gheskett@shentel.net> - 2019-03-30 00:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-30 01:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-30 01:40 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-30 04:30 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-30 09:30 +0100
What does all this mean? was Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-30 17:20 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-30 05:30 +0100
Re: text editors Bob Bernstein <poobah@ruptured-duck.com> - 2019-03-30 02:20 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-30 02:30 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-30 01:50 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-04-01 12:10 +0200
Re: text editors <tomas@tuxteam.de> - 2019-04-01 12:10 +0200
Re: text editors Gene Heskett <gheskett@shentel.net> - 2019-04-01 12:50 +0200
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-04-01 16:40 +0200
Re: text editors Nicholas Geovanis <nickgeovanis@gmail.com> - 2019-04-01 16:00 +0200
Re: text editors "Thomas Schmitt" <scdbackup@gmx.net> - 2019-04-01 16:30 +0200
Re: text editors deloptes <deloptes@gmail.com> - 2019-04-01 16:50 +0200
Re: text editors Curt <curty@free.fr> - 2019-04-01 17:40 +0200
Re: text editors Nicholas Geovanis <nickgeovanis@gmail.com> - 2019-04-01 18:20 +0200
Re: text editors "Thomas Schmitt" <scdbackup@gmx.net> - 2019-04-01 19:50 +0200
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-04-01 18:40 +0200
Re: text editors deloptes <deloptes@gmail.com> - 2019-04-01 16:50 +0200
Re: text editors <tomas@tuxteam.de> - 2019-04-01 17:10 +0200
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 11:00 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-29 13:00 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 10:50 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 11:50 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-28 17:20 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 17:50 +0100
Re: text editors Curt <curty@free.fr> - 2019-03-28 18:20 +0100
Re: text editors Dekks Herton <dekkzz78@gmail.com> - 2019-03-29 10:40 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-29 20:30 +0100
Re: text editors Jude DaShiell <jdashiel@panix.com> - 2019-03-30 03:20 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-04-01 18:40 +0200
Re: text editors Dekks Herton <dekkzz78@gmail.com> - 2019-03-29 10:40 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-27 20:40 +0100
Re: text editors Stefan Monnier <monnier@iro.umontreal.ca> - 2019-03-28 01:30 +0100
Re: text editors Dan Purgert <dan@djph.net> - 2019-03-27 12:10 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-28 07:30 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 11:40 +0100
Re: text editors "tomas@tuxteam.de" <tomas@tuxteam.de> - 2019-03-28 12:30 +0100
Re: text editors "tomas@tuxteam.de" <tomas@tuxteam.de> - 2019-03-28 13:00 +0100
Re: text editors Pierre Fourès <pierre.foures@gmail.com> - 2019-03-28 17:50 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:40 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-27 10:00 +0100
Re: text editors Curt <curty@free.fr> - 2019-03-27 11:20 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-27 16:50 +0100
Understanding (some) Lisp (was: Re: text editors) rhkramer@gmail.com - 2019-03-28 17:10 +0100
Re: Understanding (some) Lisp Teemu Likonen <tlikonen@iki.fi> - 2019-03-28 17:20 +0100
Re: text editors Ben Finney <bignose@debian.org> - 2019-03-26 03:30 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-26 06:30 +0100
Re: text editors Tony Rowe <ay986@chebucto.ns.ca> - 2019-03-26 23:40 +0100
Re: text editors Stefan Monnier <monnier@iro.umontreal.ca> - 2019-03-28 01:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 03:00 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 09:20 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-27 12:10 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 07:30 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 09:30 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-30 12:20 +0100
csiph-web