Fork me on GitHub
#off-topic
<
2017-05-28
>
sophiago05:05:57

@mobileink that doesn't make much sense to me. denotational and operational semantics are about how one can formally reason about the behavior of a process. in clojure we're mostly stuck with wholly operational semantics, spec being an example of formalizing that

shivekkhurana05:05:32

Hi. Thanks for replying. I read the article and found that there has to be some onboarding for new devs. But what is the process like once they figure out the system. Do they make a lot of mistakes after 20days ? (Assuming they are new to lisp as well and come from a python style or java style or javascript style background )

dominicm06:05:13

@shivekkhurana I'm not really sure. I'm just relaying here really.

shivekkhurana16:05:24

dominicm: Ok. Thanks.

qqq07:05:09

there are so many todo mvc in the world

qqq07:05:13

but I have not found a todo list I like

qqq07:05:34

I want something where: (1) there are multiple lists, (2) iunside each list, I can indent items (i.e. sub items) and (3) I can easily drag from one list to another

qqq07:05:41

it is surprisingly hard to find a todo list with these features

dominicm13:05:39

a recursive trello would be fun I think

qqq13:05:56

to state how desperate I am

qqq13:05:01

I'll even pay for such an app

dominicm14:05:30

@qqq do you want to drag around sub items?

dominicm14:05:17

I think remember the milk pro can do this. @qqq

qqq14:05:04

yeah, I want to be able to drag items from one list ot nather list

qqq14:05:07

via touch screen

qqq14:05:22

my menta lmodel is: I type a bunch of stuff nito an unsorted listc

qqq14:05:26

then I drag them around to the proper lists / sublists

qqq14:05:51

so there's trhree phaess (1) brain dump of stuff I need to do (2) organizing such items, and (3) doing them / checking them off

dominicm14:05:32

I've never used sub-items (I'm not a pro member). But I know you can drag a task "on top" of another, and it will become a sub-task of that list.

dominicm14:05:46

I imagine you can do the reverse too, but I've not tried.

dominicm14:05:09

@qqq todoist can probably do it too.

zen3516:05:44

@qqq Todoist has drag and drop. I started out using the free version and liked it so much I actually paid for it!

zen3516:05:32

I use it to manage both my life and much of my business and it works really well.

qqq17:05:39

premium upgrade is 28.99 ?

qqq17:05:43

these guys are insane

qqq17:05:31

eh, looks like free edition should be fine for now

dpsutton17:05:17

> to state how desperate I am > I'll even pay for such an app 30 bucks

dpsutton17:05:33

seems like a bargain for good software that makes you more productive

fellshard18:05:14

Got it for cheap off a humble bundle last year

qqq19:05:43

true, but ios store has conditioned me to see apps for $1.99 or , gasp, $4.99 -- will try the free version first and see if the $28.99/year is worth it 🙂

qqq19:05:29

when's the last time anyone paid $30.00 for a todo app? 🙂

fellshard19:05:02

I don't even use any of the premium features except comments/attachments, I think ¯\(ツ)

qqq19:05:05

alright, so I installed the app, and wsithin 5 seconds, I've twice hit : "you're discovered X, upgrade to premium! :-)"

fellshard19:05:39

Hmm, I don't remember it being quite that pushy...

qqq19:05:51

I hit "labels"

qqq19:05:54

then I hit "comments"

qqq19:05:55

if I were to do this premium feature, I'd do something more evil

fellshard19:05:59

Good webhook and cross-app integration

qqq19:05:09

like free for first 200 tasks

qqq19:05:19

then, after you've completed 200 tasks, you're locked out until you pay for premium 🙂

fellshard19:05:16

When I use a todo app, or a bookmarking app (currently Pinboard...), or a note-taking app (OneNote...), I'm just reminded that what I really want is a virtual workspace, a personal wiki of sorts

fellshard19:05:31

except it's impossible to find one that's reasonable to set up and use. 😐

fellshard19:05:45

Wiki or 'PKB', Personal Knowledge Base.

qqq19:05:01

for me, it's just emacs

qqq19:05:13

I need every device I own to remotely connect to the emacs session running on my desktop 🙂

mobileink19:05:29

how much you pay for that?

mobileink19:05:41

@fellshard we used to call that "pencil and paper". ;)

fellshard19:05:25

Yes, I'm sure you did. I much prefer the convenience of universal access without hauling said paper around, and the ability to embed hyperlinks 😛

noisesmith19:05:39

@fellshard where does evernote fall short of that?

fellshard19:05:05

Shoddy formatting, mostly. It can't even handle a basic nested list.

noisesmith19:05:28

OK - it was an honest question, I don't use it personally, but a coworker uses it as a personal wiki

mobileink19:05:33

http://orgmode.org is pretty awesome, if you're willing to put in the time to learn it.

fellshard19:05:48

Saw a lot about org mode, yeah.

noisesmith19:05:52

that plus a private git repo can get you pretty far

noisesmith19:05:44

org-mode is the one thing I miss since switching from emacs to vim over a year ago

mobileink19:05:46

i put in serious time with org mode when it was getting started. ended up dropping it when dealing with it began to be more effort than using it. it might be better now. but it is emacs. "i'll get that code wriiten as soon as i'm done customizing my env, real soon now."

noisesmith19:05:33

yeah - I do so much less unneeded yak grooming once I left emacs

mobileink19:05:09

leave emacs!!!?? how could you???

qqq19:05:23

yeah; how do you leave emacs?

mobileink19:05:26

noisesmith: best joke i've seen in months!!!

qqq19:05:42

it's an utter blackhole; I'm now using eshell instead of zsh

mobileink19:05:47

what will the yaks do without grooming???

qqq19:05:49

and everything is scripted in elisp (that's not in clojure)

mobileink19:05:05

then again, when you really need elisp you really need elisp.

mobileink19:05:23

i could not live without dired.

qqq19:05:34

I would pay $30.00 for this: emacs rewirtten in clojure

qqq19:05:51

I'm down to only having to use elisp/clj/cljs -- but only clj/cljs would make me even happier

mobileink19:05:11

i don't care about the implementation. my fingers simply will not learn a new set of keystrokes. age.

qqq19:05:23

it's not about keystrokes

qqq19:05:28

it's about scriptingth ide in clj instead of elisp

qqq19:05:55

what would you rather program in ? elisp or clj ?

noisesmith19:05:57

the fact that my editor is not programmed in a language I enjoy reinforces my self discipline to work on the things that actually matter - to me needing extensive editor tooling means I need better abstractions in my programming language, and if the abstractions aren't possible I need a better language

qqq19:05:02

what would you rather code your ide in? elisp or clj ?

mobileink19:05:33

@qqq ah, you're still scripting emacs. in the fullness of time you will get over that, heh.

mobileink19:05:54

i never code my ide, since i don't have one. i have an editor.

qqq19:05:55

;;; me --> keyboard --> emacs --> digital world ------
;;;                                                  |
;;;                                                  |
;;;                                                  |
;;; me <-- monitor <-- emacs <-- digital world -------

this is why configuring emacs is important

qqq19:05:28

ps: guess what I used to draw above ascii diagram ?

mobileink19:05:39

@noisesmith true enough, but i need my editr to deal with multiple languages. i'm not really an emacs bigot, use whatever works for you (often but not always the first one you learn). i do like the option of writing elisp stuff when i really need to. which happens about once every 2 years.

noisesmith19:05:48

I found so often with emacs that things almost worked, so it rewarded wasting my time with options because each one was an incremental improvement in productivity

noisesmith19:05:25

but eventually I had to check in and realize the productivity increases were small compared to the time spent fiddling with things that almost but didn't quite work

noisesmith19:05:56

and also chording is unnatural and very harmful to human wrists

mobileink19:05:58

i'm under the impression you can do in vim just about everything you would want to do.

noisesmith19:05:11

without the chording, also

mobileink19:05:16

google the editor wars from the 80s-90s. some pretty funny stuff. but thank god that's over.

mobileink19:05:02

@qqq you mean hear ye?

noisesmith19:05:22

oh, I learned all about the editor wars from the stuff that comes with the emacs source distro 😄

qqq19:05:15

I tried using emacs when my desktop was a 166 Mhz. Back then, VIM was awesome.

noisesmith19:05:18

I used vi variants for about a year, emacs for about 20 years, now back to vi year and counting

mobileink19:05:24

apostacy!!! leaving the One True Editor!

qqq19:05:27

Now that I had quadcore 3+ Ghz, I really like emacs more.

mobileink19:05:05

i can top you all: i learned emacs on os/2!

mobileink20:05:25

@noisesmith that's interesting. wouldn't you love to have some stats about "switchers"?

noisesmith20:05:28

yeah - I suspect that nobody that tried emacs first would have the patience to learn vi

mobileink20:05:40

i'm too old to even think about it, myself.

noisesmith20:05:48

it's just accident that I tried vi first, figured it out on its terms, so I could come back to it comfortably

mobileink20:05:40

i've learned just enuff vi to deal with config files. my advice to youngsters is "use whatever editor you like (as long as it's emacs), but you absolutely must master the basics of vi".

mobileink20:05:05

i'm not sure i would hire somebody who could not use vi cmds to navigate a manpage.

qqq20:05:30

I can navigate a man page with vi keys

qqq20:05:34

but I cant' open manpage from inside vim

noisesmith20:05:05

I can't microwave things inside my fridge

qqq20:05:43

I wouldn't hire anyone who couldn't write a basic vi emulation layer via emacs / hydra

mobileink20:05:38

@qqq You're fired! 😂

qqq20:05:04

I'm leaving #miraj

qqq20:05:13

good luck explaining the 50% drop to your VCs 🙂

mobileink20:05:28

fwiw, my first job was at a mainframe shop. the editor was ISPF. I spent all my time customizing it using Rexx. Maybe that explains why i like emacs so much.

mobileink20:05:00

@qqq you'll be back. 😉

adamvh20:05:51

i couldn't bring myself to learn vi after all the plugins just seemed worse than emacs major modes

fellshard23:05:54

The only thing that makes it hard is JS 😛

fellshard23:05:12

And HTML... and CSS...